summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRSimpleVals.cpp
Commit message (Collapse)AuthorAgeFilesLines
...
* When reporting branch conditions that evaluate to an uninitialized value,Ted Kremenek2008-05-051-5/+77
| | | | | | | | | | highlight the most nested subexpression that appears most responsible (giving the user better diagnostic feedback). Updated test cases to illustrate this feature. Implements: <rdar://problem/5880443> llvm-svn: 50647
* Support implicit casts from pointers to references.Ted Kremenek2008-04-301-1/+7
| | | | llvm-svn: 50498
* Teach more of the static analyzer about ObjCQualifiedIdType.Ted Kremenek2008-04-301-6/+6
| | | | llvm-svn: 50494
* Handle lval::ArrayOffset and lval::FieldOffset in EvalNE and EvalEQ.Ted Kremenek2008-04-301-0/+10
| | | | llvm-svn: 50486
* Fixed: <rdar://problem/5881148>Ted Kremenek2008-04-231-1/+1
| | | | | | | | | | Problem: In the recently refactored VisitDeref (which processes dereferences), we were incorrectly skipping the node just generated for the subexpression of the dereference. This was a horrible regression. llvm-svn: 50176
* Added lval type (and tracking) for StringLiterals.Ted Kremenek2008-04-221-0/+4
| | | | llvm-svn: 50109
* Generalize caching mechanism for bugs reports. Now individual BugTypesTed Kremenek2008-04-181-11/+10
| | | | | | | | can decide the policy on how to cache related bugs. This allows us to properly to handle warning about multiple leaks in the same location in the ref count checker (not yet done). llvm-svn: 49918
* Simplified internal logic of BugReporter, consolidating EmitWarning andTed Kremenek2008-04-181-4/+4
| | | | | | | | EmitPathWarning into one method. We now properly handle emitting warnings without a PathDiagnosticClient when the warning does not involve a particular statement. llvm-svn: 49884
* Added some comments to GRExprEngine. Reorder some of the method definitionsTed Kremenek2008-04-151-1/+30
| | | | | | | | to start logically organizing them. Added initial plug-in transfer function support for Objective-C message expressions. llvm-svn: 49752
* Fix a compiler error on MSVC (variable name 'E' clash).Argyrios Kyrtzidis2008-04-151-1/+1
| | | | llvm-svn: 49727
* Hooked up the dead-store checker to the BugReporter interface. Now dead-storeTed Kremenek2008-04-141-43/+22
| | | | | | warnings are emitted as part of the warnings registered by GRSimpleVals. llvm-svn: 49658
* Refactored all logic to run the GRSimpleVals and CFRef checker into a commonTed Kremenek2008-04-101-28/+3
| | | | | | | | code path in the clang driver. Renamed options --grsimple to -checker-simple and -check-cfref to -checker-cfref. llvm-svn: 49500
* Fixed regressions in error reporting due to copy-paste errors (using the "begin"Ted Kremenek2008-04-101-4/+4
| | | | | | | iterator instead of "end") and not implementing "getDescription()" for Nil argument checks. llvm-svn: 49485
* Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter.Ted Kremenek2008-04-091-116/+192
| | | | | | | | | | | | | | | 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
* templates can't be static.Chris Lattner2008-04-061-7/+7
| | | | llvm-svn: 49258
* Better range highlight for undefined-argument checks.Ted Kremenek2008-04-031-7/+27
| | | | llvm-svn: 49184
* When reporting "bad receiver" warnings, highlight the receiver.Ted Kremenek2008-04-031-3/+20
| | | | llvm-svn: 49183
* Hooked up GRSimpleAPICheck and the simple Objective-C Foundation checks to useTed Kremenek2008-04-031-3/+4
| | | | | | the new BugReporter interface. llvm-svn: 49180
* Created new path-sensitive bug-reporting scheme based on the classesTed Kremenek2008-04-031-347/+144
| | | | | | | | | | | "BugReporter" and "BugDescription". BugDescription is used to describe a bug and provide pieces of the PathDiagnostic, and BugReporter creates the actual PathDiagnostic by crawling through the ExplodedGraph. Migrated checks done by GRSimpleVals to be reported using the new BugReporter mechanism. llvm-svn: 49127
* 80 col violationTed Kremenek2008-04-021-1/+1
| | | | llvm-svn: 49120
* Added more PathDiagnostic rendering for terminators: switch, goto, loops.Ted Kremenek2008-04-021-27/+127
| | | | llvm-svn: 49119
* Shorted bug-description.Ted Kremenek2008-04-021-1/+1
| | | | llvm-svn: 49102
* simplify some code by using PointerLikeType.Chris Lattner2008-04-021-1/+1
| | | | llvm-svn: 49101
* Beginning of some cleanups; start generating path diagnostics using objectsTed Kremenek2008-04-021-119/+152
| | | | | | that describe a bug. llvm-svn: 49086
* Added initial hacked support for display path diagnostics withTed Kremenek2008-04-021-3/+107
| | | | | | GRSimpleVals warnings. Cleaning up, but now we get multiple bubbles (branches are annotated). llvm-svn: 49077
* Patch by Argiris Kirtzidis: Fix a dangling pointer error!Ted Kremenek2008-04-011-1/+3
| | | | llvm-svn: 49057
* Do not prepend the keyword "[CHECKER]" to checker messages when usingTed Kremenek2008-03-311-2/+5
| | | | | | a PathDiagnosticClient. llvm-svn: 48996
* Include ranges in GRSimpleVals diagnostics.Ted Kremenek2008-03-311-1/+3
| | | | llvm-svn: 48990
* Inlined clang/Analysis/Analyses/GRSimpleVals.h into LocalCheckers.h and removedTed Kremenek2008-03-311-21/+25
| | | | | | | | | | GRSimpleVals.h Added a PathDiagnosticClient option to the driver functions for the CFRefCountChecker and the GRSimpleVals analysis. Both analyses now accept a "-o" argument from the driver that specifies where HTML reports should be dumped. llvm-svn: 48989
* Added path-sensitive check for return statements that return the addressTed Kremenek2008-03-311-0/+5
| | | | | | | of a stack variable. This is the path-sensitive version of a check that is already done during semantic analysis. llvm-svn: 48980
* Hooked up initial NSString interface checking to GRSimpleVals.Ted Kremenek2008-03-271-1/+1
| | | | llvm-svn: 48895
* Add creation of BasicObjCFoundationChecks when running GRSimpleVals from the ↵Ted Kremenek2008-03-271-3/+9
| | | | | | driver. llvm-svn: 48886
* GRSimple analysis now outputs additional diagnostic warnings aboutTed Kremenek2008-03-251-8/+14
| | | | | | passing an uninitialized value to a message expresion. llvm-svn: 48776
* Rename "Nodify" to "MakeNode"Ted Kremenek2008-03-211-1/+1
| | | | llvm-svn: 48659
* Make a major restructuring of the clang tree: introduce a top-levelChris Lattner2008-03-151-0/+462
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
OpenPOWER on IntegriCloud