maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/lib/StaticAnalyzer/Checkers
History
Anna Zaks c000e7ed3d Add a basic CallGraph to Analysis. 
The final graph contains a single root node, which is a parent of all externally available functions(and 'main'). As well as a list of Parentless/Unreachable functions, which are either truly unreachable or are unreachable due to our analyses imprecision.

The analyzer checkers debug.DumpCallGraph or debug.ViewGraph can be used to look at the produced graph.

Currently, the graph is not very precise, for example, it entirely skips edges resulted from ObjC method calls.

llvm-svn: 152272
 		2012-03-08 00:42:23 +00:00
..
AdjustedReturnValueChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
AnalyzerStatsChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
ArrayBoundChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
ArrayBoundCheckerV2.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
AttrNonNullChecker.cpp Revert my patches which removed Diagnostic.h includes by moving some operator overloads out of line. 2012-02-07 22:29:24 +00:00
BasicObjCFoundationChecks.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
BoolAssignmentChecker.cpp [analyzer] New checker for assignment of non-0/1 values to Boolean variables. 2012-02-11 16:32:09 +00:00
BuiltinFunctionChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
CMakeLists.txt [analyzer] New checker for assignment of non-0/1 values to Boolean variables. 2012-02-11 16:32:09 +00:00
CStringChecker.cpp Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once. 2012-02-17 23:13:45 +00:00
CStringSyntaxChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
CallAndMessageChecker.cpp Teak CallAndMessageChecker to only warn about uninitialized struct fields in call arguments 2012-03-05 23:57:14 +00:00
CastSizeChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
CastToStructChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
CheckObjCDealloc.cpp Switch the ObjC*Decl raw_stream overloads to take a reference, for consistency with NamedDecls. 2012-02-07 11:57:45 +00:00
CheckObjCInstMethSignature.cpp Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. 2011-10-14 18:45:37 +00:00
CheckSecuritySyntaxOnly.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
CheckSizeofPointer.cpp Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses. 2011-10-24 01:32:45 +00:00
CheckerDocumentation.cpp [analyzer] Make Malloc Checker optimistic in presence of inlining. 2012-02-14 21:55:24 +00:00
Checkers.td Add a basic CallGraph to Analysis. 2012-03-08 00:42:23 +00:00
ChrootChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
ClangCheckers.cpp [analyzer] Overhaul of checker registration in preparation for basic plugin support. Removes support for checker groups (we can add them back in later if we decide they are still useful), and -analyzer-checker-help output is a little worse for the time being (no packages). 2011-08-16 21:24:21 +00:00
ClangSACheckers.h [analyzer] Overhaul of checker registration in preparation for basic plugin support. Removes support for checker groups (we can add them back in later if we decide they are still useful), and -analyzer-checker-help output is a little worse for the time being (no packages). 2011-08-16 21:24:21 +00:00
DeadStoresChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
DebugCheckers.cpp Add a basic CallGraph to Analysis. 2012-03-08 00:42:23 +00:00
DereferenceChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
DivZeroChecker.cpp Revert my patches which removed Diagnostic.h includes by moving some operator overloads out of line. 2012-02-07 22:29:24 +00:00
FixedAddressChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
GenericTaintChecker.cpp [analyzer] Change naming in bug reports "tainted" -> "untrusted" 2012-02-22 02:35:58 +00:00
IdempotentOperationChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
InterCheckerAPI.h [analyzer] Fix another false positive in the Malloc Checker, by making 2012-02-17 22:35:31 +00:00
IteratorsChecker.cpp StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers that don't care about the language don't have to pull in all the headers. 2012-01-28 12:06:22 +00:00
LLVMConventionsChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
MacOSKeychainAPIChecker.cpp [analyzer] Leaks should be uniqued by the allocation point in the 2012-02-28 03:07:06 +00:00
MacOSXAPIChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
Makefile Clang-side build system infrastructure for multiple tblgens. 2011-10-06 01:52:10 +00:00
MallocChecker.cpp [analyzer] Remove now-unused constant. No functionality change. 2012-03-06 00:33:35 +00:00
MallocOverflowSecurityChecker.cpp Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses. 2011-10-24 01:32:45 +00:00
MallocSizeofChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
NSAutoreleasePoolChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
NSErrorChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
NoReturnFunctionChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
OSAtomicChecker.cpp Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. 2012-01-26 21:29:00 +00:00
ObjCAtSyncChecker.cpp Revert my patches which removed Diagnostic.h includes by moving some operator overloads out of line. 2012-02-07 22:29:24 +00:00
ObjCContainersASTChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
ObjCContainersChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
ObjCSelfInitChecker.cpp [analyzer] False positive in SelfInit - teach the checker about method 2012-03-05 18:58:25 +00:00
ObjCUnusedIVarsChecker.cpp Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. 2011-10-14 18:45:37 +00:00
PointerArithChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
PointerSubChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
PthreadLockChecker.cpp Revert my patches which removed Diagnostic.h includes by moving some operator overloads out of line. 2012-02-07 22:29:24 +00:00
RetainCountChecker.cpp Add static analyzer support for new NSArray/NSDictionary/NSNumber literals. 2012-03-06 20:06:12 +00:00
ReturnPointerRangeChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
ReturnUndefChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
StackAddrEscapeChecker.cpp [analyzer] do not warn about returning stack-allocated memory when it comes from an ancestor stack frame. 2012-03-03 01:22:03 +00:00
StreamChecker.cpp Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once. 2012-02-17 23:13:45 +00:00
TaintTesterChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
UndefBranchChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
UndefCapturedBlockVarChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
UndefResultChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
UndefinedArraySubscriptChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
UndefinedAssignmentChecker.cpp Basic: import OwningPtr<> into clang namespace 2012-02-05 02:12:40 +00:00
UnixAPIChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
UnreachableCodeChecker.cpp [analyzer] Tweak the UnreachableCode checker to not warning about unreachable default blocks. Patch by Cyril Roelandt! 2012-02-29 06:05:28 +00:00
VLASizeChecker.cpp Basic: import SmallString<> into clang namespace 2012-02-05 02:13:05 +00:00
VirtualCallChecker.cpp Move llvm/ADT/SaveAndRestore.h -> llvm/Support/SaveAndRestore.h. 2012-03-01 19:45:56 +00:00