summaryrefslogtreecommitdiffstats
path: root/lib/StaticAnalyzer/Core
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Don't display implementation checkers under -analyzer-checker-help...Kristof Umann2019-05-012-3/+3
* [analyzer] Treat functions without run-time branches as "small".Artem Dergachev2019-04-302-19/+30
* [analyzer] Fix crash when returning C++ objects from ObjC messages-to-nil.Artem Dergachev2019-04-261-1/+8
* [analyzer] Fix macro names in diagnostics within bigger macros.Artem Dergachev2019-04-231-36/+15
* [analyzer][CrossTU] Extend CTU to VarDecls with initializerRafael Stahl2019-04-231-3/+3
* [analyzer] Unbreak body farms in presence of multiple declarations.Artem Dergachev2019-04-231-0/+3
* [analyzer] PR41335: Fix crash when no-store event is in a body-farmed function.Artem Dergachev2019-04-231-5/+8
* Reapply "[analyzer] Introduce a simplified API for adding custom path notes."Artem Dergachev2019-04-193-1/+28
* [analyzer] Make default bindings to variables actually work.Artem Dergachev2019-04-181-1/+4
* [analyzer] Escape pointers stored into top-level parameters with destructors.Artem Dergachev2019-04-131-34/+30
* [analyzer] NoStoreFuncVisitor: Suppress reports with no-store in system headers.Artem Dergachev2019-04-051-22/+49
* Make SourceManager::createFileID(UnownedTag, ...) take a const llvm::MemoryBu...Nico Weber2019-04-041-2/+2
* Revert "[analyzer] Toning down invalidation a bit".Artem Dergachev2019-04-031-17/+5
* Range-style std::find{,_if} -> llvm::find{,_if}. NFCFangrui Song2019-03-311-2/+1
* Revert "[analyzer] Introduce a simplified API for adding custom path notes."Artem Dergachev2019-03-293-28/+1
* [analyzer] PR41239: Fix a crash on invalid source location in NoStoreFuncVisi...Artem Dergachev2019-03-291-1/+1
* [analyzer] Move taint API from ProgramState to a separate header. NFC.Artem Dergachev2019-03-294-226/+0
* [analyzer] PR37501: Disable assertion for logical op short circuit evaluation.Artem Dergachev2019-03-291-2/+27
* [analyzer] Introduce a simplified API for adding custom path notes.Artem Dergachev2019-03-293-1/+28
* Make helper functions static. NFC.Benjamin Kramer2019-03-281-2/+2
* [Analyzer] Constraint Manager - Calculate Effective Range for DifferencesAdam Balogh2019-03-281-5/+28
* [CFG] [analyzer] pr41142: C++17: Skip transparent InitListExprs in ExprEngine.Artem Dergachev2019-03-261-1/+1
* Moved everything SMT-related to LLVM and updated the cmake scripts.Mikhail R. Gadelha2019-03-254-852/+21
* [analyzer] ConditionBRVisitor: Unknown condition evaluation supportCsaba Dabis2019-03-161-7/+12
* [analyzer] ConditionBRVisitor: Remove GDM checkingCsaba Dabis2019-03-162-6/+10
* Revert "[analyzer] ConditionBRVisitor: Remove GDM checking"Csaba Dabis2019-03-162-8/+6
* Revert "[analyzer] ConditionBRVisitor: Unknown condition evaluation support"Csaba Dabis2019-03-161-14/+7
* [analyzer] ConditionBRVisitor: Unknown condition evaluation supportCsaba Dabis2019-03-161-7/+14
* [analyzer] ConditionBRVisitor: Remove GDM checkingCsaba Dabis2019-03-162-6/+8
* Add missing override specifier [NFC]Aaron Puchert2019-03-151-1/+1
* [analyzer] Support C++17 aggregates with bases without constructors.Artem Dergachev2019-03-151-1/+46
* [analyzer] Fix an assertation failure for invalid sourcelocation, add a new d...Kristof Umann2019-03-141-1/+11
* Remove unused variable to silence compiler warning [NFC]Mikael Holmen2019-03-141-2/+1
* [analyzer] Fix function macro crashKristof Umann2019-03-141-4/+22
* Revert "[analyzer] Fix function macro crash"Kristof Umann2019-03-121-20/+4
* [analyzer] Fix function macro crashKristof Umann2019-03-121-4/+20
* [analyzer] Fix infinite recursion in printing macrosKristof Umann2019-03-081-11/+41
* [analyzer] Emit an error rather than assert on invalid checker option inputKristof Umann2019-03-081-0/+10
* [analyzer] Handle comparison between non-default AS symbol and constantDavid Stenberg2019-03-071-1/+9
* [Fixed Point Arithmetic] Fixed Point and Integer ConversionsLeonard Chan2019-03-061-1/+3
* [analyzer] Enable subcheckers to possess checker optionsKristof Umann2019-03-041-17/+40
* Fix file headers. NFCFangrui Song2019-03-011-1/+1
* [analyzer] Fix infinite recursion in printing macrosKristof Umann2019-02-251-1/+11
* [Analyzer] Crash fix for FindLastStoreBRVisitorAdam Balogh2019-02-131-1/+28
* Use llvm::is_contained. NFCFangrui Song2019-02-101-1/+1
* [analyzer] Add a comment that FunctionCodeRegions may also need canonicalizationArtem Dergachev2019-02-091-0/+1
* This reverts commit 1440a848a635849b97f7a5cfa0ecc40d37451f5b.Mikhail R. Gadelha2019-02-094-21/+852
* Move the SMT API to LLVMMikhail R. Gadelha2019-02-074-852/+21
* Got rid of the `Z3ConstraintManager` classMikhail R. Gadelha2019-02-071-16/+1
* Generalised the SMT state constraintsMikhail R. Gadelha2019-02-071-26/+36
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-18 00:57:22 +0000