summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer/Core/PathSensitive
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Treat functions without run-time branches as "small".Artem Dergachev2019-04-301-0/+19
* Reapply "[analyzer] Introduce a simplified API for adding custom path notes."Artem Dergachev2019-04-192-0/+23
* Revert "[analyzer] Introduce a simplified API for adding custom path notes."Artem Dergachev2019-03-292-23/+0
* [analyzer] Move taint API from ProgramState to a separate header. NFC.Artem Dergachev2019-03-293-124/+0
* [analyzer] Introduce a simplified API for adding custom path notes.Artem Dergachev2019-03-292-0/+23
* [Analyzer] Constraint Manager - Calculate Effective Range for DifferencesAdam Balogh2019-03-281-1/+2
* Moved everything SMT-related to LLVM and updated the cmake scripts.Mikhail R. Gadelha2019-03-253-524/+133
* [analyzer] ConditionBRVisitor: Remove GDM checkingCsaba Dabis2019-03-163-2/+14
* Revert "[analyzer] ConditionBRVisitor: Remove GDM checking"Csaba Dabis2019-03-163-14/+2
* [analyzer] ConditionBRVisitor: Remove GDM checkingCsaba Dabis2019-03-163-2/+14
* hello, clangCsaba Dabis2019-03-151-1/+1
* Fix VS2015 build problem introduced by r353370.Douglas Yung2019-02-121-2/+2
* [StaticAnalyzer] Add missing include to SMTAPI.h. [NFC]David L. Jones2019-02-091-0/+1
* This reverts commit 1440a848a635849b97f7a5cfa0ecc40d37451f5b.Mikhail R. Gadelha2019-02-093-133/+523
* Move the SMT API to LLVMMikhail R. Gadelha2019-02-073-523/+133
* Moved the whole SMT API to a single file. NFC.Mikhail R. Gadelha2019-02-074-160/+108
* Got rid of the `Z3ConstraintManager` classMikhail R. Gadelha2019-02-071-4/+3
* Generalised the SMT state constraintsMikhail R. Gadelha2019-02-074-17/+23
* [analyzer] Canonicalize declarations within variable regions.Artem Dergachev2019-02-071-1/+1
* Revert "[analyzer] Remove the "postponed" hack, deal with derived symbols..."Artem Dergachev2019-02-061-3/+0
* Replace llvm::isPodLike<...> by llvm::is_trivially_copyable<...>Serge Guelton2019-01-201-9/+0
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-1943-172/+129
* [analyzer] Make sure base-region and its sub-regions are either all alive or ...Artem Dergachev2019-01-181-2/+9
* [analyzer] Introduce a convenience method for getting a CallEvent from an arb...George Karpenkov2019-01-111-0/+7
* Fix header issues.Richard Trieu2019-01-112-3/+2
* [analyzer] Assume that we always have a SubEngine availableGabor Horvath2018-12-151-4/+4
* [analyzer] Fix a minor typo.Gabor Horvath2018-12-111-1/+1
* [Analyzer] Iterator Checkers - Use the region of the topmost base class for i...Adam Balogh2018-12-041-0/+4
* [analyzer] Fix the "Zombie Symbols" bug.Artem Dergachev2018-11-302-20/+4
* [analyzer] [NFC] Some miscellaneous clean ups and documentation fixes.George Karpenkov2018-11-301-2/+2
* [analyzer] Fix a bug in "collapsed" graph viewerGeorge Karpenkov2018-10-251-7/+14
* [analyzer] Move canReasonAbout from Z3ConstraintManager to SMTConstraintManagerMikhail R. Gadelha2018-10-252-0/+49
* [analyzer] [NFC] Change scanReachableSymbols to use rangesGeorge Karpenkov2018-10-231-22/+7
* [analyzer] Be more plugin-friendly by moving static locals into .cpp files.Artem Dergachev2018-10-204-14/+5
* [analyzer] Add doxygen comments for the new CXXAllocatorCall APIs.Artem Dergachev2018-10-151-5/+7
* [analyzer] Teach CallEvent about C++17 aligned operator new().Artem Dergachev2018-10-151-3/+16
* [analyzer] Small SMT API improvementEnrico Steffinlongo2018-10-131-1/+1
* [analyzer] Experiment with an iteration order only based on location, and not...George Karpenkov2018-10-111-0/+1
* [analyzer] Improvements to the SMT APIMikhail R. Gadelha2018-10-023-39/+30
* [analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameterGeorge Karpenkov2018-09-285-16/+11
* [analyzer] Provide an option to dump generated exploded graphs to a given file.George Karpenkov2018-09-281-0/+12
* [analyzer] NFC: CallDescription: Improve array management.Artem Dergachev2018-09-251-17/+6
* [analyzer] NFC: Legalize state manager factory injection.Artem Dergachev2018-09-252-57/+97
* [analyzer] [NFC] Dead code removalGeorge Karpenkov2018-09-212-9/+0
* [analyzer] ExplodedGraph printing fixesGeorge Karpenkov2018-09-171-22/+12
* [analyzer] Dump reproducible identifiers for statements in exploded graph in ...George Karpenkov2018-09-151-0/+1
* [analyzer] Remove the "postponed" hack, deal with derived symbols using an ex...George Karpenkov2018-09-072-0/+5
* [analyzer] Skip printing trivial nodes in exploded graphGeorge Karpenkov2018-09-071-2/+17
* [analyzer] Dump stable identifiers for exploded nodesGeorge Karpenkov2018-09-061-0/+2
* [analyzer] Remove traces of ubigraph visualizationGeorge Karpenkov2018-09-062-14/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-20 21:57:57 +0000