aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/GRState.cpp
AgeCommit message (Expand)Author
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-08-12[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek
2011-08-10Analyzer Core: In checkDeadSymbols checker callback, provide the state in whi...Anna Zaks
2011-08-06[analyzer] Change SymbolReaper to store region roots implied by the Environme...Ted Kremenek
2011-07-28[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek
2011-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner
2011-05-02Augment retain/release checker to not warn about tracked objects passed as ar...Ted Kremenek
2011-02-19Change 'StoreRef' back to 'Store' in GRState, shrinking the size of GRState b...Ted Kremenek
2011-02-19Add 'StoreRef' smart pointer to allow more fine-grain memory lifetime control...Ted Kremenek
2011-02-16Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan
2011-02-11Rename 'InvalidateRegions()' to 'invalidateRegions()'.Ted Kremenek
2011-02-11Allow the 'Eng' entry in GRStateManager to be a (possibly null) pointer inste...Ted Kremenek
2011-02-10Run ~GRState() when reclaiming GRStates.Ted Kremenek
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek
2011-02-08[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis