summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/SVals.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] print() JSONify: SVal implementationCsaba Dabis2019-05-291-0/+10
* Fix file headers. NFCFangrui Song2019-03-011-1/+1
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* Fix header issues.Richard Trieu2019-01-111-0/+4
* [analyzer] Fix symbol discovery in nonloc::LocAsInteger values.Artem Dergachev2018-10-021-1/+1
* Remove \brief commands from doxygen comments.Adrian Prantl2018-05-091-2/+2
* [analyzer] Don't crash on printing ConcreteInt of size >64 bitsAleksei Sidorin2018-04-231-7/+3
* [StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko2018-03-061-21/+30
* SVal::getAsSymbol(bool IncludeBaseRegions): Follow clang/StaticAnalyzer/Core/...NAKAMURA Takumi2017-10-121-2/+2
* [analyzer] Add a new SVal to support pointer-to-member operations.Devin Coughlin2016-12-151-0/+53
* Annotate dump() methods with LLVM_DUMP_METHOD, addressing Richard Smith r2591...Yaron Keren2016-01-291-1/+1
* [analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency.Artem Dergachev2016-01-131-4/+4
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-6/+6
* [analyzer] Ensure BugReporterTracking works on regions with pointer arithmeticAnna Zaks2013-04-201-6/+14
* [analyzer] Loc-Loc operations (subtraction or comparison) produce a NonLoc.Jordan Rose2013-03-231-4/+3
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-12/+12
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-28/+26
* [analyzer] Reuse a LazyCompoundVal if its type matches the new region.Jordan Rose2013-02-011-1/+1
* Include pruning and general cleanup.Benjamin Kramer2012-12-011-0/+1
* [analyzer] Teach the analyzer about implicit initialization of staticsAnna Zaks2012-09-171-1/+2
* [analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.Jordan Rose2012-08-131-2/+2
* [analyzer] Remove obsolete ObjCPropRef SVal kind.Jordan Rose2012-07-181-16/+0
* [analyzer] Remove redundant if statement (pointed out by Ted).Anna Zaks2012-04-051-4/+0
* [analyzer] +CommentsAnna Zaks2012-03-161-5/+9
* Remove unnecessary default cases in switches over enums.David Blaikie2012-01-171-2/+0
* [analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use itAnna Zaks2011-12-061-48/+0
* [analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks2011-12-061-0/+5
* [analyzer] Unify SymbolVal and SymExprVal under a single SymbolValAnna Zaks2011-12-051-11/+6
* [analyzer] First step toward removingAnna Zaks2011-12-051-1/+1
* [analyzer] Add a helper method.Anna Zaks2011-11-171-0/+7
* [analyzer] Cleanup: Null->0, comments.Anna Zaks2011-11-161-4/+4
* Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie2011-09-231-1/+0
* Switch assert(0/false) llvm_unreachable.David Blaikie2011-09-231-2/+2
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-1/+1
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-4/+4
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-6/+3
* [analyzer] Remove SVal::getAsVarDecl() and reason about MemRegions, not Decls...Argyrios Kyrtzidis2011-03-011-10/+0
* [analyzer] Introduce SVal::getAsVarDecl().Argyrios Kyrtzidis2011-02-281-0/+10
* Step #1/N of implementing support for __label__: split labels intoChris Lattner2011-02-171-1/+1
* Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan2011-02-161-2/+2
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-1/+1
* [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis2011-02-081-0/+378
OpenPOWER on IntegriCloud