mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-05-14 00:16:05 +00:00
Code Issues Projects Releases Wiki Activity
67,046 Commits 1,258 Branches 288 Tags
Commit Graph

326 Commits

Author SHA1 Message Date
Ted Kremenek
acefba896c Fixed elusive caching bug that led to false positives. 
llvm-svn: 49914
 2008-04-18 19:34:16 +00:00
Ted Kremenek
4d83728a57 Added "GetErrorNodes()" to BugType so that -trim-egraph can recognize errors 
from registered BugTypes.  This helps with debugging.

Add detection of NULL values in ref count checker; this suppresses false positives.

llvm-svn: 49912
 2008-04-18 19:23:43 +00:00
Ted Kremenek
3388381993 Added "EvalAssume" virtual method to GRTransferFuncs; this is for evaluating 
the checker-specific logic of symbolic assumptions.

llvm-svn: 49910
 2008-04-18 17:20:23 +00:00
Ted Kremenek
9c375158a0 Handle ReturnStmts by dispatching to "EvalReturn" in the transfer function object. 
llvm-svn: 49826
 2008-04-16 23:05:51 +00:00
Ted Kremenek
7145489c37 Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV to 
represent possible stores to "Unknown."

llvm-svn: 49811
 2008-04-16 20:40:59 +00:00
Ted Kremenek
90c7cb6810 Hook up "EvalStore" from GRTransferFuncs to GRExprEngine. 
llvm-svn: 49804
 2008-04-16 18:39:06 +00:00
Ted Kremenek
2044a5183d Take first step to migrating handling of "stores" to values from GRExprEngine 
to the plug-in GRTransferFuncs object.

llvm-svn: 49801
 2008-04-16 18:21:25 +00:00
Ted Kremenek
667cacb2ff Added some comments to GRExprEngine. Reorder some of the method definitions 
to start logically organizing them.

Added initial plug-in transfer function support for Objective-C message expressions.

llvm-svn: 49752
 2008-04-15 23:06:53 +00:00
Steve Naroff
08899ff85d Remove FileVarDecl and BlockVarDecl. They are replaced by VarDecl::isBlockVarDecl() and VarDecl::isFileVarDecl(). 
This is a fairly mechanical/large change. As a result, I avoided making any changes/simplifications that weren't directly related. I did break two Analysis tests. I also have a couple FIXME's in UninitializedValues.cpp. Ted, can you take a look? If the bug isn't obvious, I am happy to dig in and fix it (since I broke it).

llvm-svn: 49748
 2008-04-15 22:42:06 +00:00
Ted Kremenek
4b77209694 Fixed some logic errors in the CF ref count checker; we now can detect simple 
use-after-release errors.  Added test case.

llvm-svn: 49509
 2008-04-10 23:44:06 +00:00
Ted Kremenek
7acc3a36ef Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. 
Bugs are now reported using a combination of "BugType" (previously
BugDescription) and Bug "BugReport" objects, which are fed to BugReporter (which
generates PathDiagnostics). This provides a far more modular way of registering
bug types and plugging in diagnostics.

GRExprEngine now owns its copy of GRCoreEngine, and is not owned by the
ExplodedGraph.

ExplodedGraph is no longer templated on the "checker", but instead on the state
contained in the nodes.

llvm-svn: 49453
 2008-04-09 21:41:14 +00:00
Chris Lattner
182f660d8d simplify some code by using PointerLikeType. 
llvm-svn: 49101
 2008-04-02 17:45:06 +00:00
Ted Kremenek
f646774f32 Added path-sensitive check for return statements that return the address 
of a stack variable.  This is the path-sensitive version of a check that
is already done during semantic analysis.

llvm-svn: 48980
 2008-03-31 15:02:58 +00:00
Ted Kremenek
27156c8c9f Hooked up initial NSString interface checking to GRSimpleVals. 
llvm-svn: 48895
 2008-03-27 21:15:17 +00:00
Ted Kremenek
c04149299c Added "GRAuditor" and "GRSimpleAPICheck" interface to allow simple stateless checkers to be injected into the analyzer. 
Added "AnnotatedPath" class to record an annotated path that will be useful for inspecting paths.
Added some boilerplate code for simple checks of Apple's Foundation API.

llvm-svn: 48867
 2008-03-27 07:25:52 +00:00
Ted Kremenek
ea128437b3 Bug fix: use GetRVal instead of GetLVal (were getting the value of a DeclRefExpr, not it's address). 
llvm-svn: 48846
 2008-03-26 22:21:58 +00:00
Ted Kremenek
cb047289a8 Bug fix in transfer function for ObjCMessageExpr: Visit the receiver expression as an ordinary expression, not using VisitLVal. 
llvm-svn: 48842
 2008-03-26 21:36:08 +00:00
Ted Kremenek
3335120f69 Tweak to transfer function for ObjCMessageExpr: handle both instance methods 
and message expressions with a specified receiver.

llvm-svn: 48773
 2008-03-25 16:07:41 +00:00
Ted Kremenek
945a246ad8 Added logic to check for uninitialized values as the receivers for message expressions 
and uninitialized values passed-by-value as arguments to message expressions.

llvm-svn: 48760
 2008-03-25 02:10:28 +00:00
Ted Kremenek
64100da427 Added initial transfer function support for ObjCMessageExpr. 
llvm-svn: 48757
 2008-03-25 00:34:37 +00:00
Ted Kremenek
181f72369f Rename "Nodify" to "MakeNode" 
llvm-svn: 48659
 2008-03-21 21:30:14 +00:00
Ted Kremenek
a9b30c0651 Fix assertion. 
llvm-svn: 48470
 2008-03-17 22:18:22 +00:00
Ted Kremenek
9eae403cde Fix integer overflow bug when processing switch statements. 
llvm-svn: 48469
 2008-03-17 22:17:56 +00:00
Ted Kremenek
58021a617b Properly hook up inline asm transfer function logic to the main GRExprEngine logic. 
llvm-svn: 48468
 2008-03-17 21:31:48 +00:00
Ted Kremenek
7c7a331f74 Added initial transfer function support for inline asm. 
llvm-svn: 48466
 2008-03-17 21:11:24 +00:00
Chris Lattner
7a51313d8a Make a major restructuring of the clang tree: introduce a top-level 
lib dir and move all the libraries into it.  This follows the main
llvm tree, and allows the libraries to be built in parallel.  The
top level now enforces that all the libs are built before Driver,
but we don't care what order the libs are built in.  This speeds
up parallel builds, particularly incremental ones.

llvm-svn: 48402
 2008-03-15 23:59:48 +00:00