summaryrefslogtreecommitdiffstats
path: root/lib/StaticAnalyzer/Checkers
Commit message (Expand)AuthorAgeFilesLines
* [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
* [Analyzer] Update the LLVM license in PointerSortingChecker.cppMandeep Singh Grang2019-03-131-5/+4
* [Analyzer] Skip symbolic regions based on conjured symbols in comparison of t...Adam Balogh2019-03-131-3/+46
* [Analyzer] Checker for non-determinism caused by sorting of pointer-like elem...Mandeep Singh Grang2019-03-082-0/+115
* [analyzer] Emit an error rather than assert on invalid checker option inputKristof Umann2019-03-085-28/+45
* [analyzer] Use the new infrastructure of expressing taint propagation, NFCKristof Umann2019-03-081-126/+58
* [analyzer] Fix taint propagation in GenericTaintCheckerKristof Umann2019-03-051-1/+1
* [analyzer] Enable subcheckers to possess checker optionsKristof Umann2019-03-0411-32/+33
* Fix file headers. NFCFangrui Song2019-03-014-4/+4
* [analyzer] MIGChecker: Add support for more APIs.Artem Dergachev2019-02-221-18/+82
* [analyzer] MIGChecker: Fix an FN when the object is released in a destructor.Artem Dergachev2019-02-221-3/+18
* [analyzer] MIGChecker: Improve intermediate diagnostic notes.Artem Dergachev2019-02-221-7/+50
* [analyzer] MIGChecker: Take advantage of the mig_server_routine annotation.Artem Dergachev2019-02-221-14/+21
* [analyzer] MIGChecker: A checker for Mach Interface Generator conventions.Artem Dergachev2019-02-212-0/+145
* Make some helper functions static. NFC.Benjamin Kramer2019-02-111-3/+2
* [analyzer] New checker for detecting usages of unsafe I/O functionsKristof Umann2019-02-111-3/+95
* [analyzer] CStringSyntaxChecks: Fix an off-by-one error in the strlcat() check.Artem Dergachev2019-02-081-9/+2
* [analyzer] Opt-in C Style Cast Checker for OSObject pointersGeorge Karpenkov2019-02-082-0/+91
* [analyzer][UninitializedObjectChecker] New flag to ignore guarded uninitializ...Kristof Umann2019-02-022-13/+110
* [analyzer] Hotfix for RetainCountChecker: assert was too strong.George Karpenkov2019-02-011-4/+3
* [analyzer] [RetainCountChecker] Fix object type for CF/Obj-C bridged castsGeorge Karpenkov2019-02-011-1/+10
* Add a new builtin: __builtin_dynamic_object_sizeErik Pilkington2019-01-301-0/+1
* [analyzer] [RetainCountChecker] Bugfix for tracking top-level parameters of O...George Karpenkov2019-01-302-7/+7
* [analyzer] NFC: GenericTaintChecker: Revise rule specification mechanisms.Artem Dergachev2019-01-301-112/+103
* [analyzer] [RetainCountChecker] Track input parameters to the top-level functionGeorge Karpenkov2019-01-293-28/+80
* [analyzer] [ARCMT] [NFC] Unify entry point into RetainSummaryManagerGeorge Karpenkov2019-01-291-3/+3
* Extend AnyCall to handle callable declarations without the call expressionsGeorge Karpenkov2019-01-291-1/+1