summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ProgramState.cpp
Commit message (Expand)AuthorAgeFilesLines
* Revert "[analyzer] Keep track of escaped locals"Gabor Horvath2019-12-101-9/+1
* [analyzer] Keep track of escaped localsGabor Horvath2019-12-101-1/+9
* [analyzer] NFC: Don't clean up range constraints twice.Artem Dergachev2019-11-211-6/+4
* [analyzer] CastValueChecker: Store the dynamic types and castsCsaba Dabis2019-08-221-1/+1
* [analyzer] print() JSONify: Program state implementationCsaba Dabis2019-05-291-8/+15
* [analyzer] print() JSONify: Constructing objects implementationCsaba Dabis2019-05-291-1/+1
* [analyzer] print() JSONify: Type information implementationCsaba Dabis2019-05-291-1/+1
* [analyzer] print() JSONify: Constraints implementationCsaba Dabis2019-05-291-1/+1
* [analyzer] print() JSONify: Environment implementationCsaba Dabis2019-05-291-2/+2
* [analyzer] print() JSONify: Store implementationCsaba Dabis2019-05-291-10/+10
* [analyzer] Move taint API from ProgramState to a separate header. NFC.Artem Dergachev2019-03-291-183/+0
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer] Assume that we always have a SubEngine availableGabor Horvath2018-12-151-35/+24
* [AST] [analyzer] NFC: Reuse code in stable ID dumping methods.Artem Dergachev2018-12-031-4/+1
* [analyzer] [NFC] Change scanReachableSymbols to use rangesGeorge Karpenkov2018-10-231-16/+5
* [analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameterGeorge Karpenkov2018-09-281-4/+4
* [analyzer] Dump reproducible identifiers for statements in exploded graph in ...George Karpenkov2018-09-151-3/+6
* [analyzer] Dump a reproducible, deterministic ID of program state to exploded...George Karpenkov2018-09-061-0/+7
* [analyzer] [NFC] Simplify some visitors by giving a convenient getter from st...George Karpenkov2018-07-301-0/+5
* [analyzer] Use sufficiently large types for index bounds calculation.Artem Dergachev2018-06-281-2/+1
* [analyzer] pr18953: Split C++ zero-initialization from default initialization.Artem Dergachev2018-05-041-7/+18
* Remove redundant casts. NFCGeorge Burgess IV2018-03-011-1/+1
* [analyzer] Self-debug: Dump dynamic type info and taint with the program state.Artem Dergachev2018-02-271-1/+8
* [analyzer] Self-debug: Dump the core's internal state traits to the egraph.Artem Dergachev2018-02-081-1/+1
* [analyzer] Self-debug: Dump environment frame-by-frame.Artem Dergachev2018-02-081-5/+5
* [analyzer] a few helper methods for getting and comparing symbolic valuesGeorge Karpenkov2018-01-181-0/+11
* [analyzer] Make isSubRegionOf reflexiveGeorge Karpenkov2018-01-171-2/+1
* [analyzer] do not crash when trying to convert an APSInt to an unexpected typeGeorge Karpenkov2017-11-091-1/+3
* [analyzer] Fix immutable map factory lifetime for partial taint.Artem Dergachev2017-05-291-13/+10
* [analyzer] Support partially tainted records.Artem Dergachev2017-05-291-20/+83
* [analyzer] Add LocationContext as a parameter to checkRegionChangesAnna Zaks2017-01-131-5/+10
* [analyzer] Refactor recursive symbol reachability check to use symbol_iteratorDominic Chen2016-11-181-24/+9
* 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-9/+9
* [Static Analyzer] Properly clean up the dynamic type information for dead reg...Gabor Horvath2015-09-111-33/+0
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-21/+21
* Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko2015-06-221-2/+1
* Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko2015-06-221-1/+2
* unique_ptrify the result of ConstraintManagerCreator and StoreManagerCreatorDavid Blaikie2014-09-041-2/+2
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-2/+2
* Remove a whole lot of unused variablesAlp Toker2013-11-271-1/+0
* [analyzer] This patch removes passing around of const-invalidation vs regular...Anton Yartsev2013-09-241-55/+35
* [analyzer] Fix inefficiency in dead symbol removalPavel Labath2013-08-191-17/+19
* [analyzer] Remove now-unused bindCompoundLiteral helper function.Jordan Rose2013-05-061-8/+0
* [analyzer] Ensure BugReporterTracking works on regions with pointer arithmeticAnna Zaks2013-04-201-1/+1
* [analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose2013-04-091-1/+1
* [analyzer] Properly handle the ternary operator in trackNullOrUndefValueAnna Zaks2013-04-031-1/+5
* Silencing warnings in MSVC due to duplicate identifiers.Aaron Ballman2013-04-021-2/+2
* [analyzer] Teach invalidateRegions that regions within LazyCompoundVal need t...Anna Zaks2013-04-021-17/+56
* [analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks2013-03-281-5/+14
OpenPOWER on IntegriCloud