aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRExprEngine.cpp
AgeCommit message (Expand)Author
2008-05-09Rename IsPointerType to LVal::IsLValType, and update CFRefCount::EvalSummary ...Ted Kremenek
2008-05-02Really noreturn on exceptions.Ted Kremenek
2008-05-01Added temporary fix for Obj-C exception handling in the static analyzer: trea...Ted Kremenek
2008-05-01Added __assert_rtn to list of panic functions.Ted Kremenek
2008-05-01Added ziperr as a panic function. Eventually inter-procedural analysisTed Kremenek
2008-04-30Add placeholder code in the static analyzer for MemberExprs involving struct ...Ted Kremenek
2008-04-30Add workaround for __builtin_offsetof in the static analyzer.Ted Kremenek
2008-04-30Provide SizeOfAlignTypeExpr workaround in the static analyzer for taking the ...Ted Kremenek
2008-04-30When creating LVals for array entries, canonicalize entries with a 0 index.Ted Kremenek
2008-04-30Teach more of the static analyzer about ObjCQualifiedIdType.Ted Kremenek
2008-04-30Teach the static analysis engine about ObjCQualifiedIdType.Ted Kremenek
2008-04-30Add conjured symbols for decl initializations.Ted Kremenek
2008-04-30Invalidate old subexpression bindings when binding UnknownVal.Ted Kremenek
2008-04-29Add lval::ArrayOffset, which represent the locations of entries in an array.Ted Kremenek
2008-04-29Added lval::FieldOffset, which represents symbolic lvalues for field offsets ...Ted Kremenek
2008-04-29Major rewrite/refactoring of static analysis engine. We now useTed Kremenek
2008-04-25Do a better job at computing dead symbols.Ted Kremenek
2008-04-24More boilerplate for handling specialized-transfer function logic for dead sy...Ted Kremenek
2008-04-24Added initial boilerplate in GRExprEngine to allow checker-specific transferTed Kremenek
2008-04-23Fixed: <rdar://problem/5881148>Ted Kremenek
2008-04-23Remove false path where the default branch in a switch statement wouldTed Kremenek
2008-04-23Added panic function "assfail".Ted Kremenek
2008-04-22Rewrote VisitDeclStmt to properly handle initializers that can do anything.Ted Kremenek
2008-04-22Added lval type (and tracking) for StringLiterals.Ted Kremenek
2008-04-22Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers...Ted Kremenek
2008-04-22Added panic function "dtrace_assfail".Ted Kremenek
2008-04-22Hardcode "Assert" as a no-return function (panic).Ted Kremenek
2008-04-22Added null-dereference check for ArraySubscriptExpr.Ted Kremenek
2008-04-21Added support for detected bad dereferences involving MemberExprs, e.g. x->f ...Ted Kremenek
2008-04-18Fixed more caching bugs related to the one fixed in r49914. SilenceTed Kremenek
2008-04-18Fixed elusive caching bug that led to false positives.Ted Kremenek
2008-04-18Added "GetErrorNodes()" to BugType so that -trim-egraph can recognize errorsTed Kremenek
2008-04-18Added "EvalAssume" virtual method to GRTransferFuncs; this is for evaluatingTed Kremenek
2008-04-16Handle ReturnStmts by dispatching to "EvalReturn" in the transfer function ob...Ted Kremenek
2008-04-16Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV toTed Kremenek
2008-04-16Hook up "EvalStore" from GRTransferFuncs to GRExprEngine.Ted Kremenek
2008-04-16Take first step to migrating handling of "stores" to values from GRExprEngineTed Kremenek
2008-04-15Added some comments to GRExprEngine. Reorder some of the method definitionsTed Kremenek
2008-04-15Remove FileVarDecl and BlockVarDecl. They are replaced by VarDecl::isBlockVar...Steve Naroff
2008-04-10Fixed some logic errors in the CF ref count checker; we now can detect simpleTed Kremenek
2008-04-09Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter.Ted Kremenek
2008-04-02simplify some code by using PointerLikeType.Chris Lattner
2008-03-31Added path-sensitive check for return statements that return the addressTed Kremenek
2008-03-27Hooked up initial NSString interface checking to GRSimpleVals.Ted Kremenek
2008-03-27Added "GRAuditor" and "GRSimpleAPICheck" interface to allow simple stateless ...Ted Kremenek
2008-03-26Bug fix: use GetRVal instead of GetLVal (were getting the value of a DeclRefE...Ted Kremenek
2008-03-26Bug fix in transfer function for ObjCMessageExpr: Visit the receiver expressi...Ted Kremenek
2008-03-25Tweak to transfer function for ObjCMessageExpr: handle both instance methodsTed Kremenek
2008-03-25Added logic to check for uninitialized values as the receivers for message ex...Ted Kremenek
2008-03-25Added initial transfer function support for ObjCMessageExpr.Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-07 02:15:38 +0000