summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp
Commit message (Expand)AuthorAgeFilesLines
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [AST] Remove ASTContext from getThisType (NFC)Brian Gesiak2019-01-111-2/+2
* [analyzer] Assume that we always have a SubEngine availableGabor Horvath2018-12-151-1/+1
* Revert "Revert r347417 "Re-Reinstate 347294 with a fix for the failures.""Fangrui Song2018-11-301-2/+2
* Revert r347417 "Re-Reinstate 347294 with a fix for the failures."Fangrui Song2018-11-301-2/+2
* [analyzer] Evaluate all non-checker config options before analysisKristof Umann2018-11-301-1/+1
* Re-commit r347417 "Re-Reinstate 347294 with a fix for the failures."Hans Wennborg2018-11-281-2/+2
* Revert r347417 "Re-Reinstate 347294 with a fix for the failures."Hans Wennborg2018-11-271-2/+2
* Re-Reinstate 347294 with a fix for the failures.Bill Wendling2018-11-211-2/+2
* Revert r347364 again, the fix was incomplete.Nico Weber2018-11-211-2/+2
* Reinstate 347294 with a fix for the failures.Bill Wendling2018-11-201-2/+2
* [analyzer] [NFC] Remove unused "state" argument from makeSymExprValNNGeorge Karpenkov2018-08-291-2/+1
* [analyzer] Fix constraint being dropped when analyzing a program without tain...Mikhail R. Gadelha2018-07-161-3/+1
* DR330: look through array types when forming the cv-decomposition of a type.Richard Smith2018-07-111-1/+5
* [analyzer] Add option to set maximum symbol complexity thresholdMikhail R. Gadelha2018-07-101-1/+5
* [analyzer] Treat more const variables and fields as known contants.Artem Dergachev2018-05-041-1/+8
* [StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko2018-03-061-18/+31
* [analyzer] a few helper methods for getting and comparing symbolic valuesGeorge Karpenkov2018-01-181-1/+10
* Revert "[analyzer] Support generating and reasoning over more symbolic constr...Dominic Chen2017-07-121-2/+5
* [analyzer] Support generating and reasoning over more symbolic constraint typesDominic Chen2017-07-121-5/+2
* Added LLVM_FALLTHROUGH to address warning: this statement may fall through. NFC.Galina Kistanova2017-06-031-0/+1
* [analyzer] Treat pointers to static member functions as function pointersDevin Coughlin2017-01-101-0/+12
* [analyzer] Add a new SVal to support pointer-to-member operations.Devin Coughlin2016-12-151-0/+4
* Remove custom handling of array copies in lambda by-value array capture andRichard Smith2016-12-141-1/+4
* [analyzer] Add LocationContext information to SymbolMetadata.Artem Dergachev2016-08-171-1/+2
* [analyzer] Avoid crash when attempting to evaluate binary operation on LazyCo...Devin Coughlin2016-02-081-0/+5
* [analyzer] Fix an off-by-one in evalIntegralCast()Artem Dergachev2016-01-181-1/+1
* [analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency.Artem Dergachev2016-01-131-3/+3
* [analyzer] Evaluate integral casts as cast symbols if truncations are detected.Pierre Gousseau2016-01-121-0/+39
* [analyzer] Improve modelling of nullptr_t in the analyzer. Fix PR25414.Gabor Horvath2015-12-041-0/+17
* [analyzer] Improve modeling of static initializers.Anna Zaks2015-11-191-4/+10
* Analyzer: Teach analyzer how to handle TypeTraitExprIsmail Pazarbasi2015-09-221-0/+5
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-5/+5
* [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
OpenPOWER on IntegriCloud