summaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers
Commit message (Expand)AuthorAgeFilesLines
* Fix parameter name comments using clang-tidy. NFC.Rui Ueyama2019-07-1611-14/+14
* Delete dead storesFangrui Song2019-07-121-2/+1
* [analyzer] CastValueChecker: Remove a dump()Csaba Dabis2019-07-101-1/+0
* [analyzer] CastValueChecker: Model castsCsaba Dabis2019-07-102-0/+192
* Revert "[analyzer] CastValueChecker: Model casts"Csaba Dabis2019-07-092-191/+0
* [analyzer] CastValueChecker: Model castsCsaba Dabis2019-07-092-0/+191
* [analyzer][IDF] Add a control dependency calculator + a new debug checkerKristof Umann2019-07-051-6/+31
* [analyzer] ReturnValueChecker: Model the guaranteed boolean return value of f...Csaba Dabis2019-07-042-0/+171
* [analyzer][Dominator] Add post dominators to CFG + a new debug checkerKristof Umann2019-07-031-2/+28
* Change std::{lower,upper}_bound to llvm::{lower,upper}_bound or llvm::partiti...Fangrui Song2019-07-031-4/+2
* [analyzer] Support kfree in MallocCheckerNathan Huckleberry2019-07-011-12/+14
* [analyzer] NonnullGlobalConstants: Don't be confused by a _Nonnull attribute.Artem Dergachev2019-07-011-8/+15
* [analyzer] CStringChecker: Modernize to use CallDescriptions.Artem Dergachev2019-07-011-147/+58
* [analyzer] DeadStores: Update the crude suppression for files generated by IIG.Artem Dergachev2019-06-201-1/+1
* [analyzer] NFC: Change evalCall() to provide a CallEvent.Artem Dergachev2019-06-199-78/+84
* [analyzer] DeadStores: Add a crude suppression files generated by DriverKit IIG.Artem Dergachev2019-06-191-0/+23
* [analyzer] print() JSONify: Type information implementationCsaba Dabis2019-05-291-2/+2
* [Analyzer] Replace `CXXSelfAssignmentBRVisitor` with `NoteTags`Adam Balogh2019-05-281-2/+18
* [Analyzer] Checker for non-determinism caused by iteration of unordered conta...Mandeep Singh Grang2019-05-242-0/+101
* [CFG] NFC: Remove implicit conversion from CFGTerminator to Stmt *.Artem Dergachev2019-05-241-2/+2
* [Analyzer] Refactor begin and end symbol creationAdam Balogh2019-05-201-22/+36
* MIGChecker - assert we have a non-null LocationContext. NFCI.Simon Pilgrim2019-05-181-0/+2
* [analyzer] Remove the default value arg from getChecker*OptionKristof Umann2019-05-1711-24/+19
* [analyzer] RetainCount: Fix os_returns_retained_on_zero with weird return types.Artem Dergachev2019-05-151-0/+5
* [analyzer] MIGChecker: Fix redundant semicolon.Artem Dergachev2019-05-151-1/+1
* [analyzer] MIGChecker: Add support for os_ref_retain().Artem Dergachev2019-05-151-5/+28
* [c++20] Implement P1009R2: allow omitting the array bound in an arrayRichard Smith2019-05-061-2/+2
* [analyzer][UninitializedObjectChecker] PR41741: Regard all scalar types as pr...Kristof Umann2019-05-051-2/+1
* [analyzer][UninitializedObjectChecker] PR41611: Regard vector types as primitiveKristof Umann2019-04-301-1/+2
* [analyzer] SmartPtrModeling: Fix a null dereference.Artem Dergachev2019-04-301-1/+1
* [Analyzer] Iterator Checkers - Do an early return after handling callsAdam Balogh2019-04-261-22/+64
* [analyzer] RetainCount: Allow offsets in return values.Artem Dergachev2019-04-261-2/+4
* [analyzer] Add FIXMEs for alpha.unix.cstring.OutOfBounds false positives.Artem Dergachev2019-04-251-0/+4
* [analyzer][UninitializedObjectChecker] PR41590: Regard _Atomic types as primi...Kristof Umann2019-04-251-1/+1
* [Analyzer] Second fix for last commit for IteratorCheckerAdam Balogh2019-04-231-1/+1
* [Analyzer] Fix for previous commitAdam Balogh2019-04-231-2/+2
* [Analyzer] Instead of recording comparisons in interator checkers do an eager...Adam Balogh2019-04-231-258/+126
* [analyzer] PR41269: Add a bit of C++ smart pointer modeling.Artem Dergachev2019-04-234-0/+117
* [analyzer] Move UninitializedObjectChecker out of alphaKristof Umann2019-04-191-5/+5
* Reapply "[analyzer] Introduce a simplified API for adding custom path notes."Artem Dergachev2019-04-191-36/+11
* [analyzer] PR41185: Fix regression where __builtin_* functions weren't recogn...Kristof Umann2019-04-171-0/+4
* Make SourceManager::createFileID(UnownedTag, ...) take a const llvm::MemoryBu...Nico Weber2019-04-041-1/+1
* [analyzer] When failing to evaluate a __builtin_constant_p, presume it's false.Artem Dergachev2019-04-031-1/+9
* Fix compiler warning, remove extra ";" [NFC]Mikael Holmen2019-04-021-1/+1
* Range-style std::find{,_if} -> llvm::find{,_if}. NFCFangrui Song2019-03-311-4/+4
* [analyzer] MIGChecker: Add support for more deallocator APIs.Artem Dergachev2019-03-291-0/+22
* Revert "[analyzer] Introduce a simplified API for adding custom path notes."Artem Dergachev2019-03-291-11/+36
* [analyzer] Move taint API from ProgramState to a separate header. NFC.Artem Dergachev2019-03-298-11/+361
* [analyzer] Introduce a simplified API for adding custom path notes.Artem Dergachev2019-03-291-36/+11
* [analyzer] Fix an assertation failure for invalid sourcelocation, add a new d...Kristof Umann2019-03-141-0/+31