- 43f19f7 Fix early-return logic in scanReachableSymbols() to match the rest of the recursive logic in the methods of ScanReachableSymbols. by Ted Kremenek · 15 years ago
- ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
- 9dce71f Added batch versions of GRState::scanReachableSymbols() so that clients can scan a collection of SVals or MemRegions all at once. by Ted Kremenek · 15 years ago
- 1acfe8e Remove obsolete 'struct NullDerefTag'. by Ted Kremenek · 15 years ago
- 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
- 8e02934 Rename 'bindExpr' to 'BindExpr'. by Ted Kremenek · 15 years ago
- 6d2c657 Move the AnalysisContext* from GRState to Environment. by Ted Kremenek · 15 years ago
- 0fb0bc4 Simplify 'Environment' to contain only one map from 'const Stmt*' to SVals, greatly simplifying the logic of the analyzer in many places. We now only distinguish between block-level expressions and subexpressions in Environment::RemoveDeadBindings and GRState pretty-printing. by Ted Kremenek · 15 years ago
- 5032ffe Remove CodeDecl and CFG from GRExprEngine and GRStateManager. by Zhongxing Xu · 15 years ago
- 17fd863 To make the analysis independent on the locally stored liveness and cfg by Zhongxing Xu · 15 years ago
- 2f26bc3 Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulate the entire GRState, not just the Store. by Ted Kremenek · 15 years ago
- 5f85e17 Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. by Ted Kremenek · 15 years ago
- 6f9b3a4 Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', and implementing operator<< support for llvm::raw_ostream. by Ted Kremenek · 15 years ago
- e4f2142 Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions. by Chris Lattner · 15 years ago
- 4f596c2 Remove the last 'GetXXX' methods from GRStateManager. by Ted Kremenek · 15 years ago
- 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 15 years ago
- 233e913 Remove GRStateManager::GetSValAsScalarOrLoc()/GetSVal(). by Ted Kremenek · 15 years ago
- 76500d0 Remove GRStateManager::BindLoc() and GRStateManager::Unbind(). by Ted Kremenek · 15 years ago
- dbc2afc API cleanup: move more methods from GRStateManager to GRState. by Ted Kremenek · 15 years ago
- 47fed90 Remove GRStateRef. by Ted Kremenek · 15 years ago
- b65be70 Remove more dependencies on GRStateRef. As a consequence, we can now by Ted Kremenek · 15 years ago
- 67f2853 Start moving in the direction of removing GRStateRef. Now each by Ted Kremenek · 15 years ago
- 044b6f0 analyzer: Introduce a new class, ValueManager, that serves as an aggregate by Ted Kremenek · 15 years ago
- 380022d Simplify more code by using SVal::getAsSymbol() instead of by Ted Kremenek · 15 years ago
- 63d1d60 Adjust indentation. by Zhongxing Xu · 15 years ago
- 1cb151e Add "GetSValAsScalarOrLoc" methods to GRState/GRStateRef that only perform a by Ted Kremenek · 15 years ago
- 14453bf Don't use std::auto_ptr with getSubRegionMap(). by Ted Kremenek · 15 years ago
- 6076e0a Fix extra ';' bug noticed by Mike Stump. by Ted Kremenek · 15 years ago
- 5dc2746 Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 15 years ago
- 5216ad7 Added GRStateManager::scanReachableSymbols(), a method which scans the reachable by Ted Kremenek · 16 years ago
- 241677a Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore. by Ted Kremenek · 16 years ago
- 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
- 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
- 2ed14be StoreManager::Retrieve and StoreManager::RemoveDeadBindings now take a GRState* argument instead of a Store. This allows them to use the GDM for storing other data. by Ted Kremenek · 16 years ago
- d493163 GRStateRef: - Rename SetSVal to BindLoc - Add BindDecl - Add BindExpr by Ted Kremenek · 16 years ago
- f22679e Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is by Zhongxing Xu · 16 years ago
- 4230da6 Fix 80-col violations. by Zhongxing Xu · 16 years ago
- 8cd5aae Rename: by Zhongxing Xu · 16 years ago
- 8b2e05d Rename: AddDecl => BindDecl by Zhongxing Xu · 16 years ago
- 4f09027 Added preliminary support for CompoundLiterals in the static analyzer: by Ted Kremenek · 16 years ago
- 8485ec6 Modify Store interface: GetSVal/SetSVal => Retrieve/Bind. by Zhongxing Xu · 16 years ago
- 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
- 6d69b5d This is the first step to build a better evaluation model for GRExprEngine. A by Zhongxing Xu · 16 years ago
- c1d1bbf Remove redundant parameter and rename StMgr to StateMgr. by Zhongxing Xu · 16 years ago
- 9e24049 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 16 years ago
- 7360fda Implement second part of PR 2600: NSError** parameter may be null, and should be checked before being dereferenced. by Ted Kremenek · 16 years ago
- a95d375 Patch by Csaba Hruska! by Ted Kremenek · 16 years ago
- 39cfed3 Migrate the rest symbolic analysis stuff to BasicConstraintManager. by Zhongxing Xu · 16 years ago
- 05125f1 Make the destructor of ConstraintManager virtual. by Ted Kremenek · 16 years ago
- 30ad167 Refactor Assume logic into a separate class ConstraintManager. by Zhongxing Xu · 16 years ago
- 405674c adjust to changes in various APIs from LLVM. We can't print by Chris Lattner · 16 years ago
- e53c069 Simplify interface to Store::AddDecl by Ted Kremenek · 16 years ago
- bbe8ff4 Move the handling of DeclStmt from GRExprEngine to BasicStoreManager. by Zhongxing Xu · 16 years ago
- df9cdf8 Patch by Zhongxing Xu: by Ted Kremenek · 16 years ago
- 4f7b483 Patch by Zhongxing Xu: We should set back the modified ConstEq map. by Ted Kremenek · 16 years ago
- a622d8c Move store pretty-printing logic inside of StoreManager (previously in GRState). by Ted Kremenek · 16 years ago
- caa3724 Patch by Zhongxing Xu! by Ted Kremenek · 16 years ago
- 9aa77f1 various updates to match r54873 on mainline. by Chris Lattner · 16 years ago
- ffdbefd Migrate GRState::ConstEqTy (map used from tracking constants for symbols) to use the generic data map instead. by Ted Kremenek · 16 years ago
- e7aa9a1 Added GRStateTrait.h, which includes boilerplate code for creating specializations of GRStateTrait<>. by Ted Kremenek · 16 years ago
- 1c72ef0 GRState: by Ted Kremenek · 16 years ago
- 72cd17f Migrated retain/release checker to use the Generic Data Map in GRState (instead by Ted Kremenek · 16 years ago
- ae6814e Renamed GRState::CheckerStatePrinter to GRState::Printer. by Ted Kremenek · 16 years ago
- 62e1dcc Rename ValueState.h -> GRState.h Rename ValueState.cpp -> GRState.cpp by Ted Kremenek · 16 years ago[Renamed from lib/Analysis/ValueState.cpp]
- 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 16 years ago
- 4502022 Added GenericDataMap as a component of ValueState. by Ted Kremenek · 16 years ago
- 2619be0 Added AssumeSymGT, AssumeSymGE, AssumeSymLT, AssumeSymLE to add some minor improvements to path-sensitivity. Right now we basically treat 'x > y' and 'x < y' as implying 'x != y', but this restriction will only inevitably apply to our must rudimentary value tracking component (we'll implement more advanced value reasoning later). by Ted Kremenek · 16 years ago
- 584def7 Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
- 729a9a2 Move GRTransferFunc* into ValueStateManager, and move the assumption logic there as well. by Ted Kremenek · 16 years ago
- f59bf48 Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual RemoveDeadBindings method in StoreManager. by Ted Kremenek · 16 years ago
- 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
- d72ee90 Move some environment methods from ValueState/ValueStateManager to Environment/EnvironmentManager. by Ted Kremenek · 16 years ago
- 8133a26 Initial work on splitting the ValueState into an Environment, Store, and by Ted Kremenek · 16 years ago
- e8fdc83 Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. by Ted Kremenek · 16 years ago
- 9040c65 Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand. by Ted Kremenek · 16 years ago
- ad87d25 Simplify RemoveDeadBindings. by Ted Kremenek · 16 years ago
- 4d0348b Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 16 years ago
- 718c4f7 Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 16 years ago
- 1b8bd4d Major rewrite/refactoring of static analysis engine. We now use by Ted Kremenek · 16 years ago
- 4b443a6 Handle dereferences of function pointers (which return a handle to the function). by Ted Kremenek · 16 years ago
- 2bfe9ea Don't abort on GetRVal when the LVal is a StringLiteralVal. by Ted Kremenek · 16 years ago
- 910e999 Do a better job at computing dead symbols. by Ted Kremenek · 16 years ago
- 77d7ef8 Added initial boilerplate in GRExprEngine to allow checker-specific transfer by Ted Kremenek · 16 years ago
- a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 16 years ago
- 0fe33bc Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers. by Ted Kremenek · 16 years ago
- bda0b62 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 16 years ago[Renamed from Analysis/ValueState.cpp]
- 4454006 Fixed 80 col. violations. by Ted Kremenek · 16 years ago
- 8b65de4 Disable creation of "ContentsOf" symbols. It was fundamentally broken on many by Ted Kremenek · 16 years ago
- 461f977 Expanded ValueState pretty-printing to use an optional "CheckerStatePrinter" by Ted Kremenek · 16 years ago
- 6b3a0f7 Added main skeleton for CFRetain transfer function logic. by Ted Kremenek · 16 years ago
- 9b5551d Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generated values to Block-Level Expressions). by Ted Kremenek · 16 years ago
- 240f1f0 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 16 years ago
- 843e934 fix typos by Gabor Greif · 16 years ago
- 98be494 remove the source location arguments to various target query methods. by Chris Lattner · 16 years ago
- 59894f9 Implemented "print" method for ValueState. by Ted Kremenek · 16 years ago
- aed9b6a Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine::StateTy just becoming ValueState*. by Ted Kremenek · 16 years ago
- 4a4e524 Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine. by Ted Kremenek · 16 years ago
- 0793263 When analyzing a function, eagerly create symbolic values for all by Ted Kremenek · 16 years ago
- 0f5f059 Header file cleanups: reduce number of includes; move ValueState.h into include directory tree. by Ted Kremenek · 16 years ago
- 5a7b382 Fix bug when processing '?' operator: invalidate the old "Uninitialized" value of the block-level expression for ?. by Ted Kremenek · 17 years ago