OSchip
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
13
0
Fork 6
Code Issues Packages Projects Releases Wiki Activity
74,737 Commits 31 Branches 0 Tags 2.2 GiB
Commit Graph

20 Commits

Author SHA1 Message Date
Zhongxing Xu 1042bf4ae2 Refactor OSAtomic evaluation logic into OSAtomicChecker. 
llvm-svn: 90968
 2009-12-09 12:23:28 +00:00
Zhongxing Xu fe2f901269 Refactor builtin function evaluation into a checker. 
llvm-svn: 90847
 2009-12-08 09:07:59 +00:00
Zhongxing Xu 175447f743 Add EvalCallExpr interface to checker, and migrate the no-return function 
handler to this interface.
GRExprEngine::CheckerEvalCall() will return true if one of the checkers has
processed the node. In the future this might return void when we have some 
default checker.

llvm-svn: 90755
 2009-12-07 09:17:35 +00:00
Zhongxing Xu c6123a1a3c Refactor undefined result checker. This is the last one. 
llvm-svn: 89750
 2009-11-24 08:24:26 +00:00
Zhongxing Xu 72269ec8cb rename UndefinedArgChecker to CallAndMessageChecker. 
llvm-svn: 89735
 2009-11-24 04:45:44 +00:00
Zhongxing Xu 56dd5f0f70 Initial refactor of UndefBranchChecker. We still use GRBranchNodeBuilder 
in the checker directly. But I don't have a better approach for now.

llvm-svn: 89640
 2009-11-23 03:20:54 +00:00
Zhongxing Xu f0b7fc8890 Remove UndefinedAssignmentChecker's header. 
llvm-svn: 89585
 2009-11-22 12:29:52 +00:00
Ted Kremenek caf2c51fad Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker also handled undefined receivers in message expressions. 
llvm-svn: 89524
 2009-11-21 01:25:37 +00:00
Zhongxing Xu b166712d02 Add undefined array subscript checker. 
llvm-svn: 86837
 2009-11-11 13:42:54 +00:00
Zhongxing Xu 4f7759a339 Reimplement out-of-bound array access checker with the new checker interface. 
Now only one test case is XFAIL'ed.

llvm-svn: 86834
 2009-11-11 12:33:27 +00:00
Ted Kremenek 4325315935 Remove public headers for UndefinedArgChecker, AttrNonNullChecker, and BadCallChecker, making their implementations completely private. 
llvm-svn: 86809
 2009-11-11 05:50:44 +00:00
Ted Kremenek 5e1f78aeb1 Refactor DereferenceChecker to use only the new Checker API instead of 
the old builder API.  This percolated a bunch of changes up to the
Checker class (where CheckLocation has been renamed VisitLocation) and
GRExprEngine.  ProgramPoint now has the notion of a "LocationCheck"
point (with PreLoad and PreStore respectively), and a bunch of the old
ProgramPoints that are no longer used have been removed.

llvm-svn: 86798
 2009-11-11 03:26:34 +00:00
Zhongxing Xu ab0e27ff0c Add check for pointer arithmetic on non-array variables. 
llvm-svn: 86538
 2009-11-09 13:23:31 +00:00
Zhongxing Xu f06c684a33 Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer. 
llvm-svn: 86529
 2009-11-09 08:07:38 +00:00
Zhongxing Xu 6c306c8b89 Add checker for CWE-587: Assignment of a Fixed Address to a Pointer. 
llvm-svn: 86523
 2009-11-09 06:52:44 +00:00
Zhongxing Xu 86b1e01c13 Add checker for CWE-469: Use of Pointer Subtraction to Determine Size. This 
checker does not build sink nodes. Because svaluator computes an unknown value
for the subtraction now.

llvm-svn: 86517
 2009-11-09 05:34:10 +00:00
Ted Kremenek 795c611cfa Make the VLASizeChecker implementation private, and its creation only known to GRExprEngineInternalChecks.cpp. 
llvm-svn: 86292
 2009-11-06 21:51:50 +00:00
Ted Kremenek 53a70c055d Make the implementation of DivZeroChecker private. 
llvm-svn: 86288
 2009-11-06 20:47:51 +00:00
Zhongxing Xu 167bce9cf1 Add a checker for CWE-466: Return of Pointer Value Outside of Expected Range. 
llvm-svn: 86252
 2009-11-06 13:30:44 +00:00
Ted Kremenek bee01e5b61 static analyzer: refactor checking logic for returning the address of a stack variable or a garbage 
value into their own respective subclasses of Checker (and put them in .cpp files where their
implementation details are hidden from GRExprEngine).

llvm-svn: 86215
 2009-11-06 02:24:13 +00:00