C++ (Cpp) GRExprEngine::registerCheck示例

示例#1

文件： NSAutoreleasePoolChecker.cpp 项目： aaasz/SHP

void clang::RegisterNSAutoreleasePoolChecks(GRExprEngine &Eng) {
  ASTContext &Ctx = Eng.getContext();
  if (Ctx.getLangOptions().getGCMode() != LangOptions::NonGC) {    
    Eng.registerCheck(new NSAutoreleasePoolChecker(GetNullarySelector("release",
                                                                      Ctx)));
  }
}

示例#2

文件： BasicObjCFoundationChecks.cpp 项目： jhoush/dist-clang

void clang::RegisterAppleChecks(GRExprEngine& Eng, const Decl &D) {
  ASTContext& Ctx = Eng.getContext();
  BugReporter &BR = Eng.getBugReporter();

  Eng.AddCheck(CreateBasicObjCFoundationChecks(Ctx, BR),
               Stmt::ObjCMessageExprClass);
  Eng.AddCheck(CreateAuditCFNumberCreate(Ctx, BR), Stmt::CallExprClass);
  Eng.AddCheck(CreateAuditCFRetainRelease(Ctx, BR), Stmt::CallExprClass);

  RegisterNSErrorChecks(BR, Eng, D);
  RegisterNSAutoreleasePoolChecks(Eng);
  Eng.registerCheck(new ClassReleaseChecker(Ctx));
}

示例#3

文件： ReturnPointerRangeChecker.cpp 项目： CPFL/guc

void clang::RegisterReturnPointerRangeChecker(GRExprEngine &Eng) {
  Eng.registerCheck(new ReturnPointerRangeChecker());
}

示例#4

文件： VLASizeChecker.cpp 项目： aaasz/SHP

void clang::RegisterVLASizeChecker(GRExprEngine &Eng) {
  Eng.registerCheck(new VLASizeChecker());
}

示例#5

文件： ReturnUndefChecker.cpp 项目： Gcrosby5269/clamav-bytecode-compiler

void clang::RegisterReturnUndefChecker(GRExprEngine &Eng) {
  Eng.registerCheck(new ReturnUndefChecker());
}

示例#6

文件： FixedAddressChecker.cpp 项目： Gcrosby5269/clamav-bytecode-compiler

void clang::RegisterFixedAddressChecker(GRExprEngine &Eng) {
  Eng.registerCheck(new FixedAddressChecker());
}

示例#7

文件： UndefinedArraySubscriptChecker.cpp 项目： HenderOrlando/clamav-bytecode-compiler

void clang::RegisterUndefinedArraySubscriptChecker(GRExprEngine &Eng) {
  Eng.registerCheck(new UndefinedArraySubscriptChecker());
}

示例#8

文件： OSAtomicChecker.cpp 项目： CPFL/guc

void clang::RegisterOSAtomicChecker(GRExprEngine &Eng) {
  Eng.registerCheck(new OSAtomicChecker());
}

示例#9

void clang::RegisterAttrNonNullChecker(GRExprEngine &Eng) {
  Eng.registerCheck(new AttrNonNullChecker());
}

示例#10

文件： CallInliner.cpp 项目： Gcrosby5269/clamav-bytecode-compiler

void clang::RegisterCallInliner(GRExprEngine &Eng) {
  Eng.registerCheck(new CallInliner());
}

示例#11

文件： DereferenceChecker.cpp 项目： CPFL/guc

void clang::RegisterDereferenceChecker(GRExprEngine &Eng) {
  Eng.registerCheck(new DereferenceChecker());
}

示例#12

文件： UndefBranchChecker.cpp 项目： aaasz/SHP

void clang::RegisterUndefBranchChecker(GRExprEngine &Eng) {
  Eng.registerCheck(new UndefBranchChecker());
}

示例#13

文件： DivZeroChecker.cpp 项目： CPFL/guc

void clang::RegisterDivZeroChecker(GRExprEngine &Eng) {
  Eng.registerCheck(new DivZeroChecker());
}

示例#14

文件： AdjustedReturnValueChecker.cpp 项目： Gcrosby5269/clamav-bytecode-compiler

void clang::RegisterAdjustedReturnValueChecker(GRExprEngine &Eng) {
  Eng.registerCheck(new AdjustedReturnValueChecker());
}

示例#15

文件： MacOSXAPIChecker.cpp 项目： CPFL/guc

void clang::RegisterMacOSXAPIChecker(GRExprEngine &Eng) {
  if (Eng.getContext().Target.getTriple().getVendor() == llvm::Triple::Apple)
    Eng.registerCheck(new MacOSXAPIChecker());
}

示例#16

文件： CastToStructChecker.cpp 项目： CPFL/guc

void clang::RegisterCastToStructChecker(GRExprEngine &Eng) {
  Eng.registerCheck(new CastToStructChecker());
}