shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity
115,675 Commits 1,713 Branches 298 Tags
Commit Graph

14 Commits

Author SHA1 Message Date
Anna Zaks
b473816b4a [analyzer] Simplify CheckerContext 
Remove dead members/parameters: ProgramState, respondsToCallback, autoTransition.
Remove addTransition method since it's the same as generateNode. Maybe we should
rename generateNode to genTransition (since a transition is always automatically
generated)?

llvm-svn: 142946
 2011-10-25 19:57:06 +00:00
Anna Zaks
3eae33412d [analyze] Convert EndOfPath callback to use CheckerContext 
Get rid of the EndOfPathBuilder completely.
Use the generic NodeBuilder to generate nodes.
Enqueue the end of path frontier explicitly.

llvm-svn: 142943
 2011-10-25 19:56:48 +00:00
Anna Zaks
23d7ba3579 [analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context. 
llvm-svn: 141112
 2011-10-04 20:43:05 +00:00
Ted Kremenek
001fd5b498 Rename GRState to ProgramState, and cleanup some code formatting along the way. 
llvm-svn: 137665
 2011-08-15 22:09:50 +00:00
Argyrios Kyrtzidis
6a5674ffa6 [analyzer] Rename CheckerV2 -> Checker. 
llvm-svn: 126726
 2011-03-01 01:16:21 +00:00
Argyrios Kyrtzidis
785459a2a9 [analyzer] Migrate StreamChecker to CheckerV2. 
llvm-svn: 126351
 2011-02-24 01:05:33 +00:00
Argyrios Kyrtzidis
f1b5d1f01b [analyzer] Refactor EndOfFunctionNodeBuilder. 
-Introduce EndOfFunctionNodeBuilder::withCheckerTag to allow it be "specialized" with a
 checker tag and not require the checkers to pass a tag.
-For EndOfFunctionNodeBuilder::generateNode, reverse the order of tag/P parameters since
 there are actual calls that assume the second parameter is ExplodedNode.

llvm-svn: 126332
 2011-02-23 21:04:49 +00:00
Argyrios Kyrtzidis
507ff53e39 [analyzer] Pass CheckerManager to the registration functions. 
llvm-svn: 125777
 2011-02-17 21:39:17 +00:00
Argyrios Kyrtzidis
2d3905ffac [analyzer] Use the new registration mechanism on some of the experimental checks. These are: 
CStringChecker
   ChrootChecker
   MallocChecker
   PthreadLockChecker
   StreamChecker
   UnreachableCodeChecker

MallocChecker creates implicit dependencies between checkers and needs to be handled differently.

llvm-svn: 125598
 2011-02-15 21:25:03 +00:00
Ted Kremenek
f8cbac4b91 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 
This layout matches lib/StaticAnalyzer, which corresponds to two StaticAnalyzer libraries.

llvm-svn: 125251
 2011-02-10 01:03:03 +00:00
Argyrios Kyrtzidis
f410a6299f [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h 
llvm-svn: 125122
 2011-02-08 22:30:11 +00:00
Ted Kremenek
b86ec25256 Remove unnecessary save-and-restore of the 
node builder's 'HasGeneratedNode' field.

llvm-svn: 123362
 2011-01-13 04:36:40 +00:00
Ted Kremenek
926c96211e Rename misc. methods in GRSubEngine to start 
with a lower-case letter.  No functionality change.

llvm-svn: 123211
 2011-01-11 02:34:45 +00:00
Ted Kremenek
d99bd55a5e Chris Lattner has strong opinions about directory 
layout.  :)

Rename the 'EntoSA' directories to 'StaticAnalyzer'.

Internally we will still use the 'ento' namespace
for the analyzer engine (unless there are further
sabre rattlings...).

llvm-svn: 122514
 2010-12-23 19:38:26 +00:00