summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Fix buildbot failures caused by a forgotten initializationKristof Umann2019-05-011-5/+6
* [analyzer] Don't display implementation checkers under -analyzer-checker-help...Kristof Umann2019-05-015-23/+48
* [analyzer] Treat functions without run-time branches as "small".Artem Dergachev2019-04-301-0/+19
* [analyzer] PR41335: Fix crash when no-store event is in a body-farmed function.Artem Dergachev2019-04-231-1/+3
* [analyzer] PR41269: Add a bit of C++ smart pointer modeling.Artem Dergachev2019-04-231-0/+4
* [analyzer] Move UninitializedObjectChecker out of alphaKristof Umann2019-04-191-37/+37
* Reapply "[analyzer] Introduce a simplified API for adding custom path notes."Artem Dergachev2019-04-194-0/+88
* [analyzer][NFC] Reimplement checker optionsKristof Umann2019-04-193-15/+346
* [analyzer] Fix an assertion failure if plugins added dependenciesKristof Umann2019-04-191-0/+6
* [analyzer][NFC] Prefer binary searches in CheckerRegistryKristof Umann2019-04-181-2/+5
* [analyzer][NFC] Clang-format CheckerRegistryKristof Umann2019-04-181-10/+6
* [analyzer][NFC] Use capital variable names, move methods out-of-line, rename ...Kristof Umann2019-04-181-23/+6
* Revert "[analyzer] Introduce a simplified API for adding custom path notes."Artem Dergachev2019-03-294-89/+0
* [analyzer] Move taint API from ProgramState to a separate header. NFC.Artem Dergachev2019-03-294-138/+0
* [analyzer] Introduce a simplified API for adding custom path notes.Artem Dergachev2019-03-294-0/+89
* [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
* [analyzer] Fix an assertation failure for invalid sourcelocation, add a new d...Kristof Umann2019-03-141-0/+4
* [Analyzer] Checker for non-determinism caused by sorting of pointer-like elem...Mandeep Singh Grang2019-03-081-0/+14
* [analyzer] Emit an error rather than assert on invalid checker option inputKristof Umann2019-03-081-0/+6
* [analyzer] Enable subcheckers to possess checker optionsKristof Umann2019-03-041-21/+41
* [analyzer] MIGChecker: Enable by default as `osx.MIG'.Artem Dergachev2019-02-221-9/+5
* [analyzer] MIGChecker: A checker for Mach Interface Generator conventions.Artem Dergachev2019-02-211-0/+9
* [analyzer] Make valist.Uninitialized depend on ValistBaseKristof Umann2019-02-171-0/+1
* Fix VS2015 build problem introduced by r353370.Douglas Yung2019-02-121-2/+2
* [analyzer] New checker for detecting usages of unsafe I/O functionsKristof Umann2019-02-111-0/+7
* [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
* [analyzer] Opt-in C Style Cast Checker for OSObject pointersGeorge Karpenkov2019-02-081-0/+8
* 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
* [analyzer] Make NullReturnedFromNonnullChecker depend on NullabilityBaseKristof Umann2019-01-301-0/+1
* [analyzer] Add CheckerManager::getChecker, make sure that a registry function...Kristof Umann2019-01-261-4/+12
* [analyzer] Reimplement dependencies between checkersKristof Umann2019-01-263-89/+251
* [analyzer] Fix an bug where statically linked, but not registered checkers we...Kristof Umann2019-01-261-2/+5
* [analyzer][NFC] Keep track of whether enabling a checker was explictly specif...Kristof Umann2019-01-261-2/+24
* [analyzer][NFC] Supply CheckerRegistry with AnalyzerOptionsKristof Umann2019-01-262-9/+12
* [analyzer] Supply all checkers with a shouldRegister functionKristof Umann2019-01-264-10/+29
* [analyzer] Port RetainSummaryManager to the new AnyCall interface, decouple A...George Karpenkov2019-01-251-804/+0
* [analyzer] Model another special-case kind of cast for OSObject RetainCountCh...George Karpenkov2019-01-221-0/+3
* 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-1967-268/+201
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-21 01:25:45 +0000