summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* Move GRTransferFunc* into ValueStateManager, and move the assumption logic th...Ted Kremenek2008-07-171-181/+9
* Remove redundant logic.Ted Kremenek2008-07-171-15/+0
* Begin major changes to EvalXXX methods in GRTransferFuncs. Currently some of...Ted Kremenek2008-07-171-2/+39
* Refactored auditor interface within GRExprEngine and GRCoreEngine to use a "b...Ted Kremenek2008-07-111-40/+87
* Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek2008-07-101-63/+70
* Remove getParentMap() from GRExprEngine.Ted Kremenek2008-07-091-13/+0
* Refactored some of the BugReporter interface so that data such as the ASTCont...Ted Kremenek2008-07-021-4/+4
* GRExprEngine now expects the LiveVariables information to be provided by its ...Ted Kremenek2008-07-021-8/+4
* Modified the dead stores checker to...Ted Kremenek2008-06-201-1/+14
* Introduce initial transfer function support for __imag__ and __real__. We don'tTed Kremenek2008-06-191-3/+50
* Added a new ProgramPoint: PostPurgeDeadSymbols. This new program point disti...Ted Kremenek2008-06-181-2/+12
* Change self/_cmd to be instances of ImplicitParamDecl instead of ParmVarDecl.Chris Lattner2008-06-171-5/+11
* Fixed bug in the transfer function for dereferences: the loaded value from Ev...Ted Kremenek2008-05-211-1/+1
* Micro-optimization when checking for panic functions.Ted Kremenek2008-05-171-1/+4
* Fix 80 col violation.Ted Kremenek2008-05-171-1/+3
* Added panic function _XCAssertionFailureHandler.Ted Kremenek2008-05-171-0/+4
* Rename IsPointerType to LVal::IsLValType, and update CFRefCount::EvalSummary ...Ted Kremenek2008-05-091-9/+9
* 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
OpenPOWER on IntegriCloud