summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Always use 'bool' as the SValBuilder condition type in C++.Jordan Rose2013-12-191-1/+1
* Correct hyphenations in comments and assert messagesAlp Toker2013-12-051-1/+1
* [analyzer] Fix an infinite recursion in region invalidation by adding block c...Anna Zaks2013-11-201-2/+4
* [analyzer] Don't even try to convert floats to booleans for now.Jordan Rose2013-09-181-0/+4
* [analyzer] Add support for testing the presence of weak functions.Jordan Rose2013-08-281-3/+6
* [analyzer] Weaken assertion to account for pointer-to-integer casts.Jordan Rose2013-07-251-1/+1
* [analyzer] Handle C string default values for const char * arguments.Jordan Rose2013-07-171-0/+11
* [analyzer] Use the expression’s type instead of region’s type in ArrayToP...Anna Zaks2013-05-281-2/+4
* [analyzer] Don't try to evaluate MaterializeTemporaryExpr as a constant.Jordan Rose2013-05-021-2/+7
* [analyzer] Consolidate constant evaluation logic in SValBuilder.Jordan Rose2013-05-011-0/+57
* Re-apply "[analyzer] Model casts to bool differently from other numbers."Jordan Rose2013-05-011-0/+16
* Revert "[analyzer] Model casts to bool differently from other numbers."Jordan Rose2013-04-291-16/+0
* [analyzer] Model casts to bool differently from other numbers.Jordan Rose2013-04-261-0/+16
* [analyzer] Do not crash when processing binary "?:" in C++Anna Zaks2013-04-151-5/+12
* [analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose2013-04-091-5/+5
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-11/+7
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-17/+22
* [analyzer] Teach the analyzer to use a symbol for p when evaluatingAnna Zaks2013-02-051-11/+16
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-4/+4
* Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek2012-08-221-20/+17
* Implement initial static analysis inlining support for C++ methods.Ted Kremenek2012-06-221-0/+16
* [analyzer] Anti-aliasing: different heap allocations do not aliasAnna Zaks2012-06-071-0/+12
* [analyzer] Treat cast of array to reference in the same way as array toAnna Zaks2012-05-241-1/+1
* [analyzer] Do not assert on constructing SymSymExpr with diff types.Anna Zaks2012-05-031-1/+0
* [analyzer] Add a complexity bound on history tracking.Anna Zaks2012-05-031-3/+7
* [analyzer] Revert the functional part of r155944. Anna Zaks2012-05-031-0/+3
* [analyzer] Fix an assertion failure triggered by the analyzer buildbot.Anna Zaks2012-05-021-17/+16
* Teach SValBuilder to handle casts of symbolic pointer values to an integer tw...Ted Kremenek2012-05-011-1/+4
* [analyzer] Construct a SymExpr even when the constraint solver cannotAnna Zaks2012-05-011-21/+17
* [analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek2012-03-101-9/+28
* Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek2012-02-171-2/+4
* StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer2012-01-281-0/+5
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-3/+3
* [analyzer] Unwrap the pointers when ignoring the const cast.Anna Zaks2012-01-131-1/+28
* Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie2011-12-201-0/+2
* [analyzer] Address Jordy's comments for r145985.Anna Zaks2011-12-151-4/+0
* [analyzer] CStringChecker should not rely on the analyzer generating UndefOrU...Anna Zaks2011-12-111-1/+1
* [analyzer]Fixup r146336.Anna Zaks2011-12-101-1/+1
* [analyzer] Introduce IntSymExpr, where the integer is on the lhs.Anna Zaks2011-12-101-0/+13
* [analyzer] Fix inconsistency on when SValBuilder assumes that 2Anna Zaks2011-12-091-2/+1
* [analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks2011-12-061-19/+12
* [analyzer] Unify SymbolVal and SymExprVal under a single SymbolValAnna Zaks2011-12-051-2/+2
* [analyzer] Minor cleanup of SValBuilder: Comments + code reuse.Anna Zaks2011-11-281-11/+1
* [analyzer] Warn when non pointer arguments are passed to scanf (only when run...Anna Zaks2011-11-181-1/+0
* [analyzer] Do not conjure a symbol when we need to propagate taint.Anna Zaks2011-11-171-0/+25
* Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek2011-10-241-1/+1
* [analyzer] Fix a new failure encountered while building Adium exposed as a re...Anna Zaks2011-09-121-2/+7
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-3/+3
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-1/+1
* [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek2011-08-121-2/+2
OpenPOWER on IntegriCloud