]> granicus.if.org Git - clang/history - lib/StaticAnalyzer/Core/SValBuilder.cpp
projects / clang / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[analyzer] Improve modelling of nullptr_t in the analyzer. Fix PR25414.
[clang] / lib / StaticAnalyzer / Core / SValBuilder.cpp
2015-12-04 Gabor Horvath[analyzer] Improve modelling of nullptr_t in the analyz... blob | commitdiff | raw
2015-11-19 Anna Zaks[analyzer] Improve modeling of static initializers. blob | commitdiff | raw | diff to current
2015-09-22 Ismail PazarbasiAnalyzer: Teach analyzer how to handle TypeTraitExpr blob | commitdiff | raw | diff to current
2015-09-08 Ted Kremenek[analyzer] Apply whitespace cleanups by Honggyu Kim. blob | commitdiff | raw | diff to current
2013-12-19 Jordan Rose[analyzer] Always use 'bool' as the SValBuilder conditi... blob | commitdiff | raw | diff to current
2013-12-05 Alp TokerCorrect hyphenations in comments and assert messages blob | commitdiff | raw | diff to current
2013-11-20 Anna Zaks[analyzer] Fix an infinite recursion in region invalida... blob | commitdiff | raw | diff to current
2013-09-18 Jordan Rose[analyzer] Don't even try to convert floats to booleans... blob | commitdiff | raw | diff to current
2013-08-28 Jordan Rose[analyzer] Add support for testing the presence of... blob | commitdiff | raw | diff to current
2013-07-25 Jordan Rose[analyzer] Weaken assertion to account for pointer... blob | commitdiff | raw | diff to current
2013-07-17 Jordan Rose[analyzer] Handle C string default values for const... blob | commitdiff | raw | diff to current
2013-05-28 Anna Zaks[analyzer] Use the expression’s type instead of region... blob | commitdiff | raw | diff to current
2013-05-02 Jordan Rose[analyzer] Don't try to evaluate MaterializeTemporaryEx... blob | commitdiff | raw | diff to current
2013-05-01 Jordan Rose[analyzer] Consolidate constant evaluation logic in... blob | commitdiff | raw | diff to current
2013-05-01 Jordan RoseRe-apply "[analyzer] Model casts to bool differently... blob | commitdiff | raw | diff to current
2013-04-29 Jordan RoseRevert "[analyzer] Model casts to bool differently... blob | commitdiff | raw | diff to current
2013-04-26 Jordan Rose[analyzer] Model casts to bool differently from other... blob | commitdiff | raw | diff to current
2013-04-15 Anna Zaks[analyzer] Do not crash when processing binary "?:... blob | commitdiff | raw | diff to current
2013-04-09 Jordan Rose[analyzer] Replace isIntegerType() with isIntegerOrEnum... blob | commitdiff | raw | diff to current
2013-02-20 David BlaikieInclude llvm::Optional in clang/Basic/LLVM.h blob | commitdiff | raw | diff to current
2013-02-20 David BlaikieReplace SVal llvm::cast support to be well-defined. blob | commitdiff | raw | diff to current
2013-02-05 Anna Zaks[analyzer] Teach the analyzer to use a symbol for p... blob | commitdiff | raw | diff to current
2012-12-04 Chandler CarruthSort all of Clang's files under 'lib', and fix up the... blob | commitdiff | raw | diff to current
2012-08-22 Ted KremenekRename 'getConjuredSymbol*' to 'conjureSymbol*'. blob | commitdiff | raw | diff to current
2012-06-22 Ted KremenekImplement initial static analysis inlining support... blob | commitdiff | raw | diff to current
2012-06-07 Anna Zaks[analyzer] Anti-aliasing: different heap allocations... blob | commitdiff | raw | diff to current
2012-05-24 Anna Zaks[analyzer] Treat cast of array to reference in the... blob | commitdiff | raw | diff to current
2012-05-03 Anna Zaks[analyzer] Do not assert on constructing SymSymExpr... blob | commitdiff | raw | diff to current
2012-05-03 Anna Zaks[analyzer] Add a complexity bound on history tracking. blob | commitdiff | raw | diff to current
2012-05-03 Anna Zaks[analyzer] Revert the functional part of r155944. blob | commitdiff | raw | diff to current
2012-05-02 Anna Zaks[analyzer] Fix an assertion failure triggered by the... blob | commitdiff | raw | diff to current
2012-05-01 Ted KremenekTeach SValBuilder to handle casts of symbolic pointer... blob | commitdiff | raw | diff to current
2012-05-01 Anna Zaks[analyzer] Construct a SymExpr even when the constraint... blob | commitdiff | raw | diff to current
2012-03-10 Ted Kremenek[analyzer] fix regression in analyzer of NOT actually... blob | commitdiff | raw | diff to current
2012-02-17 Ted KremenekHave conjured symbols depend on LocationContext, to... blob | commitdiff | raw | diff to current
2012-01-28 Benjamin KramerStaticAnalyzer: Move ObjC- and CXX-specific methods... blob | commitdiff | raw | diff to current
2012-01-26 Ted KremenekChange references to 'const ProgramState *' to typedef... blob | commitdiff | raw | diff to current
2012-01-13 Anna Zaks[analyzer] Unwrap the pointers when ignoring the const... blob | commitdiff | raw | diff to current
2011-12-20 David BlaikieUnweaken vtables as per http://llvm.org/docs/CodingStan... blob | commitdiff | raw | diff to current
2011-12-15 Anna Zaks[analyzer] Address Jordy's comments for r145985. blob | commitdiff | raw | diff to current
2011-12-11 Anna Zaks[analyzer] CStringChecker should not rely on the analyz... blob | commitdiff | raw | diff to current
2011-12-10 Anna Zaks[analyzer]Fixup r146336. blob | commitdiff | raw | diff to current
2011-12-10 Anna Zaks[analyzer] Introduce IntSymExpr, where the integer... blob | commitdiff | raw | diff to current
2011-12-09 Anna Zaks[analyzer] Fix inconsistency on when SValBuilder assume... blob | commitdiff | raw | diff to current
2011-12-06 Anna Zaks[analyzer] Propagate taint through NonLoc to NonLoc... blob | commitdiff | raw | diff to current
2011-12-05 Anna Zaks[analyzer] Unify SymbolVal and SymExprVal under a singl... blob | commitdiff | raw | diff to current
2011-11-28 Anna Zaks[analyzer] Minor cleanup of SValBuilder: Comments ... blob | commitdiff | raw | diff to current
2011-11-18 Anna Zaks[analyzer] Warn when non pointer arguments are passed... blob | commitdiff | raw | diff to current
2011-11-17 Anna Zaks[analyzer] Do not conjure a symbol when we need to... blob | commitdiff | raw | diff to current
2011-10-24 Ted KremenekRename AnalysisContext to AnalysisDeclContext. Not... blob | commitdiff | raw | diff to current
2011-09-12 Anna Zaks[analyzer] Fix a new failure encountered while building... blob | commitdiff | raw | diff to current
2011-08-15 Ted KremenekRename GRState to ProgramState, and cleanup some code... blob | commitdiff | raw | diff to current
2011-08-12 Ted KremenekCleanup various declarations of 'Stmt*' to be 'Stmt... blob | commitdiff | raw | diff to current
2011-08-12 Ted Kremenek[analyzer] Introduce new MemRegion, "TypedValueRegion... blob | commitdiff | raw | diff to current
2011-03-01 Zhanyong WanImproves the coding style in SValBuilder. This patch: blob | commitdiff | raw | diff to current
2011-02-19 Argyrios Kyrtzidis[analyzer] Fix crash when analyzing C++ code. blob | commitdiff | raw | diff to current
2011-02-16 Zhanyong WanMakes most methods in SVals.h conform to the naming... blob | commitdiff | raw | diff to current
2011-02-11 Ted KremenekRename 'InvalidateRegions()' to 'invalidateRegions()'. blob | commitdiff | raw | diff to current
2011-02-10 Ted KremenekSplit 'include/clang/StaticAnalyzer' into 'include... blob | commitdiff | raw | diff to current
2011-02-08 Argyrios Kyrtzidis[analyzer] Move the files in lib/StaticAnalyzer to... blob | commitdiff | raw | diff to current
Unnamed repository; edit this file 'description' to name the repository.