Searched refs:DereferenceChecker (Results 1 – 3 of 3) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DereferenceChecker.cpp | 30 class DereferenceChecker class
53 DereferenceChecker::AddDerefSource(raw_ostream &os, in AddDerefSource()
120 void DereferenceChecker::reportBug(ProgramStateRef State, const Stmt *S, in reportBug()
195 void DereferenceChecker::checkLocation(SVal l, bool isLoad, const Stmt* S, in checkLocation()
247 void DereferenceChecker::checkBind(SVal L, SVal V, const Stmt *S, in checkBind()
305 mgr.registerChecker<DereferenceChecker>(); in registerDereferenceChecker()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | Checkers.td | 104 def DereferenceChecker : Checker<"NullDereference">,
|
| /freebsd-12.1/lib/clang/libclang/ |
| H A D | Makefile | 500 SRCS_FUL+= StaticAnalyzer/Checkers/DereferenceChecker.cpp
|