C++ (Cpp) ExprEngine::registerCheck Exemples

Exemple #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());
}

Exemple #2

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

Exemple #3

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

Exemple #4

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

Exemple #5

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

Exemple #6

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

Exemple #7

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

Exemple #8

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

Exemple #9

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