aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/SValBuilder.cpp
AgeCommit message (Expand)Author
2013-04-15[analyzer] Do not crash when processing binary "?:" in C++Anna Zaks
2013-04-09[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-02-05[analyzer] Teach the analyzer to use a symbol for p when evaluatingAnna Zaks
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-08-22Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek
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-24[analyzer] Treat cast of array to reference in the same way as array toAnna Zaks
2012-05-03[analyzer] Do not assert on constructing SymSymExpr with diff types.Anna Zaks
2012-05-03[analyzer] Add a complexity bound on history tracking.Anna Zaks
2012-05-03[analyzer] Revert the functional part of r155944. Anna Zaks
2012-05-02[analyzer] Fix an assertion failure triggered by the analyzer buildbot.Anna Zaks
2012-05-01Teach SValBuilder to handle casts of symbolic pointer values to an integer tw...Ted Kremenek
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-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
2012-01-13[analyzer] Unwrap the pointers when ignoring the const cast.Anna Zaks
2011-12-20Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie
2011-12-15[analyzer] Address Jordy's comments for r145985.Anna Zaks
2011-12-11[analyzer] CStringChecker should not rely on the analyzer generating UndefOrU...Anna Zaks
2011-12-10[analyzer]Fixup r146336.Anna Zaks
2011-12-10[analyzer] Introduce IntSymExpr, where the integer is on the lhs.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-12-05[analyzer] Unify SymbolVal and SymExprVal under a single SymbolValAnna Zaks
2011-11-28[analyzer] Minor cleanup of SValBuilder: Comments + code reuse.Anna Zaks
2011-11-18[analyzer] Warn when non pointer arguments are passed to scanf (only when run...Anna Zaks
2011-11-17[analyzer] Do not conjure a symbol when we need to propagate taint.Anna Zaks
2011-10-24Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek
2011-09-12[analyzer] Fix a new failure encountered while building Adium exposed as a re...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-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-16Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan
2011-02-11Rename 'InvalidateRegions()' to 'invalidateRegions()'.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
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-04 22:47:47 +0000