summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
Commit message (Expand)AuthorAgeFilesLines
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer] [NFC] Remove unused "state" argument from makeSymExprValNNGeorge Karpenkov2018-08-291-2/+2
* Remove trailing spaceFangrui Song2018-07-301-7/+7
* [analyzer] Improve performance of the SVal simplification mechanism.Artem Dergachev2018-05-311-0/+9
* Remove \brief commands from doxygen comments.Adrian Prantl2018-05-091-3/+3
* [StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko2018-03-061-11/+29
* [analyzer] a few helper methods for getting and comparing symbolic valuesGeorge Karpenkov2018-01-181-1/+8
* [analyzer] Fix logical not for pointers with different bit widthDaniel Marjamaki2017-06-191-0/+7
* [analyzer] Simplify values in binary operations a bit more aggressively.Artem Dergachev2017-04-131-0/+5
* [analyzer] Add a new SVal to support pointer-to-member operations.Devin Coughlin2016-12-151-0/+10
* [analyzer] Add LocationContext information to SymbolMetadata.Artem Dergachev2016-08-171-3/+5
* [StaticAnalyzer] Pull SymExpr and SymbolData into its own header to avoid cyc...Benjamin Kramer2016-02-021-0/+1
* [analyzer] Use a wider integer type for an array index.Artem Dergachev2016-02-011-1/+1
* [analyzer] Evaluate integral casts as cast symbols if truncations are detected.Pierre Gousseau2016-01-121-1/+5
* Roll-back r250822.Angel Garcia Gomez2015-10-201-1/+1
* Apply modernize-use-default to clang.Angel Garcia Gomez2015-10-201-1/+1
* Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko2015-06-221-2/+2
* Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko2015-06-221-2/+2
* Header guard canonicalization, clang part.Benjamin Kramer2014-08-131-2/+2
* [C++11] Use 'nullptr'Craig Topper2014-05-061-2/+2
* Fix code typos spotted while working on type traitsAlp Toker2013-12-061-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-1/+2
* [analyzer] Don't try to evaluate MaterializeTemporaryExpr as a constant.Jordan Rose2013-05-021-3/+0
* [analyzer] Consolidate constant evaluation logic in SValBuilder.Jordan Rose2013-05-011-0/+9
* [analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose2013-04-091-1/+2
* Sort #include lines for all files under include/...Chandler Carruth2012-12-041-1/+1
* Don't include Type.h in DeclarationName.h.Benjamin Kramer2012-12-011-1/+0
* Change SValBuilder::getConditionType() to return BoolTy in C++. Fixes <rdar:...Ted Kremenek2012-11-291-1/+1
* Whitespace.Bob Wilson2012-09-291-1/+1
* Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek2012-09-261-1/+1
* [analyzer] Disallow creation of int vals with explicit bit width / signedness.Jordan Rose2012-09-011-5/+0
* Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek2012-08-221-24/+24
* Drop the ASTContext.h include from Stmt.h and fix up transitive users.Benjamin Kramer2012-07-041-0/+1
* Implement initial static analysis inlining support for C++ methods.Ted Kremenek2012-06-221-0/+7
* [analyzer] Anti-aliasing: different heap allocations do not aliasAnna Zaks2012-06-071-0/+6
* Fix suspicous isIntegerType() check, found by PVS Studio (PR12357).Benjamin Kramer2012-05-281-1/+1
* [analyzer] Construct a SymExpr even when the constraint solver cannotAnna Zaks2012-05-011-6/+3
* [analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek2012-03-101-8/+13
* Add static analyzer support for new NSArray/NSDictionary/NSNumber literals.Ted Kremenek2012-03-061-0/+6
* Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek2012-02-171-6/+14
* StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer2012-01-281-4/+4
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-10/+7
* Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie2011-12-201-0/+1
* [analyzer]Fixup r146336.Anna Zaks2011-12-101-1/+4
* [analyzer] Fix inconsistency on when SValBuilder assumes that 2Anna Zaks2011-12-091-0/+11
* [analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks2011-12-061-2/+7
* [analyzer] Minor cleanup of SValBuilder: Comments + code reuse.Anna Zaks2011-11-281-2/+8
* [analyzer] Do not conjure a symbol when we need to propagate taint.Anna Zaks2011-11-171-2/+16
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-11/+11
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-11 10:45:46 +0000