summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* Really noreturn on exceptions.Ted Kremenek2008-05-021-3/+3
* Added temporary fix for Obj-C exception handling in the static analyzer: trea...Ted Kremenek2008-05-011-4/+72
* Added __assert_rtn to list of panic functions.Ted Kremenek2008-05-011-0/+4
* Added ziperr as a panic function. Eventually inter-procedural analysisTed Kremenek2008-05-011-0/+5
* Add placeholder code in the static analyzer for MemberExprs involving struct ...Ted Kremenek2008-04-301-10/+45
* Add workaround for __builtin_offsetof in the static analyzer.Ted Kremenek2008-04-301-0/+6
* Provide SizeOfAlignTypeExpr workaround in the static analyzer for taking the ...Ted Kremenek2008-04-301-0/+6
* When creating LVals for array entries, canonicalize entries with a 0 index.Ted Kremenek2008-04-301-1/+9
* Teach more of the static analyzer about ObjCQualifiedIdType.Ted Kremenek2008-04-301-4/+0
* Teach the static analysis engine about ObjCQualifiedIdType.Ted Kremenek2008-04-301-8/+12
* Add conjured symbols for decl initializations.Ted Kremenek2008-04-301-3/+22
* Invalidate old subexpression bindings when binding UnknownVal.Ted Kremenek2008-04-301-3/+7
* Add lval::ArrayOffset, which represent the locations of entries in an array.Ted Kremenek2008-04-291-62/+26
* Added lval::FieldOffset, which represents symbolic lvalues for field offsets ...Ted Kremenek2008-04-291-16/+11
* Major rewrite/refactoring of static analysis engine. We now useTed Kremenek2008-04-291-559/+542
* Do a better job at computing dead symbols.Ted Kremenek2008-04-251-2/+2
* More boilerplate for handling specialized-transfer function logic for dead sy...Ted Kremenek2008-04-241-29/+32
* Added initial boilerplate in GRExprEngine to allow checker-specific transferTed Kremenek2008-04-241-4/+25
* Fixed: <rdar://problem/5881148>Ted Kremenek2008-04-231-80/+54
* Remove false path where the default branch in a switch statement wouldTed Kremenek2008-04-231-2/+5
* Added panic function "assfail".Ted Kremenek2008-04-231-0/+4
* Rewrote VisitDeclStmt to properly handle initializers that can do anything.Ted Kremenek2008-04-221-54/+84
* Added lval type (and tracking) for StringLiterals.Ted Kremenek2008-04-221-0/+1
* Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers...Ted Kremenek2008-04-221-5/+51
* Added panic function "dtrace_assfail".Ted Kremenek2008-04-221-0/+5
* Hardcode "Assert" as a no-return function (panic).Ted Kremenek2008-04-221-0/+4
* Added null-dereference check for ArraySubscriptExpr.Ted Kremenek2008-04-221-1/+35
* Added support for detected bad dereferences involving MemberExprs, e.g. x->f ...Ted Kremenek2008-04-211-77/+123
* Fixed more caching bugs related to the one fixed in r49914. SilenceTed Kremenek2008-04-181-11/+26
* Fixed elusive caching bug that led to false positives.Ted Kremenek2008-04-181-1/+2
* Added "GetErrorNodes()" to BugType so that -trim-egraph can recognize errorsTed Kremenek2008-04-181-4/+15
* Added "EvalAssume" virtual method to GRTransferFuncs; this is for evaluatingTed Kremenek2008-04-181-7/+20
* Handle ReturnStmts by dispatching to "EvalReturn" in the transfer function ob...Ted Kremenek2008-04-161-9/+28
* Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV toTed Kremenek2008-04-161-12/+6
* Hook up "EvalStore" from GRTransferFuncs to GRExprEngine.Ted Kremenek2008-04-161-3/+20
* Take first step to migrating handling of "stores" to values from GRExprEngineTed Kremenek2008-04-161-3/+8
* Added some comments to GRExprEngine. Reorder some of the method definitionsTed Kremenek2008-04-151-316/+365
* Remove FileVarDecl and BlockVarDecl. They are replaced by VarDecl::isBlockVar...Steve Naroff2008-04-151-1/+1
* Fixed some logic errors in the CF ref count checker; we now can detect simpleTed Kremenek2008-04-101-0/+2
* Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter.Ted Kremenek2008-04-091-0/+62
* simplify some code by using PointerLikeType.Chris Lattner2008-04-021-1/+1
* Added path-sensitive check for return statements that return the addressTed Kremenek2008-03-311-8/+46
* Hooked up initial NSString interface checking to GRSimpleVals.Ted Kremenek2008-03-271-4/+4
* Added "GRAuditor" and "GRSimpleAPICheck" interface to allow simple stateless ...Ted Kremenek2008-03-271-0/+13
* Bug fix: use GetRVal instead of GetLVal (were getting the value of a DeclRefE...Ted Kremenek2008-03-261-1/+1
* Bug fix in transfer function for ObjCMessageExpr: Visit the receiver expressi...Ted Kremenek2008-03-261-1/+1
* Tweak to transfer function for ObjCMessageExpr: handle both instance methodsTed Kremenek2008-03-251-66/+70
* Added logic to check for uninitialized values as the receivers for message ex...Ted Kremenek2008-03-251-8/+64
* Added initial transfer function support for ObjCMessageExpr.Ted Kremenek2008-03-251-0/+41
* Rename "Nodify" to "MakeNode"Ted Kremenek2008-03-211-25/+27
OpenPOWER on IntegriCloud