aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
AgeCommit message (Expand)Author
2013-05-02[analyzer] Don't try to evaluate MaterializeTemporaryExpr as a constant.Jordan Rose
2013-05-01[analyzer] Consolidate constant evaluation logic in SValBuilder.Jordan Rose
2013-04-09[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose
2012-12-04Sort #include lines for all files under include/...Chandler Carruth
2012-12-01Don't include Type.h in DeclarationName.h.Benjamin Kramer
2012-11-29Change SValBuilder::getConditionType() to return BoolTy in C++. Fixes <rdar:...Ted Kremenek
2012-09-29Whitespace.Bob Wilson
2012-09-26Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek
2012-09-01[analyzer] Disallow creation of int vals with explicit bit width / signedness.Jordan Rose
2012-08-22Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek
2012-07-04Drop the ASTContext.h include from Stmt.h and fix up transitive users.Benjamin Kramer
2012-06-22Implement initial static analysis inlining support for C++ methods.Ted Kremenek
2012-06-07[analyzer] Anti-aliasing: different heap allocations do not aliasAnna Zaks
2012-05-28Fix suspicous isIntegerType() check, found by PVS Studio (PR12357).Benjamin Kramer
2012-05-01[analyzer] Construct a SymExpr even when the constraint solver cannotAnna Zaks
2012-03-10[analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek
2012-03-06Add static analyzer support for new NSArray/NSDictionary/NSNumber literals.Ted Kremenek
2012-02-17Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek
2012-01-28StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2011-12-20Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie
2011-12-10[analyzer]Fixup r146336.Anna Zaks
2011-12-09[analyzer] Fix inconsistency on when SValBuilder assumes that 2Anna Zaks
2011-12-06[analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks
2011-11-28[analyzer] Minor cleanup of SValBuilder: Comments + code reuse.Anna Zaks
2011-11-17[analyzer] Do not conjure a symbol when we need to propagate taint.Anna Zaks
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-05-21A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.Douglas Gregor
2011-03-08static analyzer: Fix use-after-free bug in RegionStore involving LazyCompound...Ted Kremenek
2011-03-01Improves the coding style in SValBuilder. This patch:Zhanyong Wan
2011-02-19[analyzer] Fix crash when analyzing C++ code.Argyrios Kyrtzidis
2011-02-17Step #1/N of implementing support for __label__: split labels intoChris Lattner
2011-02-16Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek