summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* Remove BasicStore.h (migrated function prototype for CreateBasicStore() to St...Ted Kremenek2008-08-281-1/+0
* Make store "Regions" and "Bindings" more abstract instead of concrete variants.Ted Kremenek2008-08-281-1/+1
* Fixed analyzer caching bug involving the transfer function for loads.Ted Kremenek2008-08-281-4/+5
* Fixed analyzer caching bug in DeclStmt.Ted Kremenek2008-08-281-22/+11
* Refactor Assume logic into a separate class ConstraintManager.Zhongxing Xu2008-08-271-1/+1
* Added 'extents' for Regions.Ted Kremenek2008-08-251-1/+1
* Move the handling of DeclStmt from GRExprEngine to BasicStoreManager.Zhongxing Xu2008-08-211-69/+2
* Patch by Zhongxing Xu!Ted Kremenek2008-08-191-42/+2
* Add ExplicitCastExpr to replace the current CastExpr, and have ImplicitCastEx...Argyrios Kyrtzidis2008-08-181-8/+3
* GRState:Ted Kremenek2008-08-161-117/+5
* Default initialize only pointers and integer types (for now).Ted Kremenek2008-08-141-0/+9
* Renamed GRState::CheckerStatePrinter to GRState::Printer.Ted Kremenek2008-08-131-6/+19
* Rename ValueState -> GRState.Ted Kremenek2008-08-131-62/+62
* Initialize tracked local variables to undefined.Ted Kremenek2008-08-131-4/+9
* Added path-sensitive checking for null pointer values passed to function argu...Ted Kremenek2008-07-221-2/+2
* Add panic function.Ted Kremenek2008-07-181-2/+3
* Created ValueStateSet class to manage the creation of multiple states by a me...Ted Kremenek2008-07-181-28/+26
* 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
OpenPOWER on IntegriCloud