Esempi in C++ (Cpp) per ExprEngine::registerCheck

Esempio n. 1

void ento::RegisterAppleChecks(ExprEngine& Eng, const Decl &D) {
  Eng.registerCheck(new NilArgChecker());
  Eng.registerCheck(new CFNumberCreateChecker());
  RegisterNSErrorChecks(Eng.getBugReporter(), Eng, D);
  RegisterNSAutoreleasePoolChecks(Eng);
  Eng.registerCheck(new CFRetainReleaseChecker());
  Eng.registerCheck(new ClassReleaseChecker());
}

Esempio n. 2

void ento::RegisterVLASizeChecker(ExprEngine &Eng) {
  Eng.registerCheck(new VLASizeChecker());
}

Esempio n. 3

void ento::RegisterIdempotentOperationChecker(ExprEngine &Eng) {
  Eng.registerCheck(new IdempotentOperationChecker());
}

Esempio n. 4

void ento::RegisterReturnPointerRangeChecker(ExprEngine &Eng) {
  Eng.registerCheck(new ReturnPointerRangeChecker());
}

Esempio n. 5

void ento::RegisterArrayBoundCheckerV2(ExprEngine &Eng) {
  Eng.registerCheck(new ArrayBoundCheckerV2());
}

Esempio n. 6

void ento::RegisterDivZeroChecker(ExprEngine &Eng) {
  Eng.registerCheck(new DivZeroChecker());
}

Esempio n. 7

void ento::RegisterPthreadLockChecker(ExprEngine &Eng) {
  Eng.registerCheck(new PthreadLockChecker());
}

Esempio n. 8

void ento::RegisterOSAtomicChecker(ExprEngine &Eng) {
  Eng.registerCheck(new OSAtomicChecker());
}

Esempio n. 9

void ento::RegisterObjCAtSyncChecker(ExprEngine &Eng) {
  // @synchronized is an Objective-C 2 feature.
  if (Eng.getContext().getLangOptions().ObjC2)
    Eng.registerCheck(new ObjCAtSyncChecker());
}