summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] [NFC] Remove unused typedef from SVals.hGeorge Karpenkov2017-11-071-3/+0
* [analyzer] Use the same filename for the header and the implementation of Bug...George Karpenkov2017-10-302-4/+4
* [analyzer] Make issue hash related tests more conciseGabor Horvath2017-10-301-4/+0
* StaticAnalyzer: Modularize/fix ODR violations making functions inline but non...David Blaikie2017-10-274-21/+16
* [Analyzer] Assume that CFBooleanRef const globals are non-nullGeorge Karpenkov2017-10-131-1/+1
* [Analyzer] Assume that string-like const globals are non-nil.George Karpenkov2017-10-111-0/+4
* [Analyzer] Clarify error messages for undefined resultDaniel Marjamaki2017-10-111-0/+7
* [analyzer] Add new delete with non-virtual destructor checkGabor Horvath2017-09-221-0/+5
* Updated two annotations for Store.h and CodeGenFunction.h.Krasimir Georgiev2017-09-081-5/+5
* [StaticAnalyzer] Fix failures due to the iteration order of ExplodedNodeMandeep Singh Grang2017-09-061-3/+3
* [CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.hGeorge Karpenkov2017-09-067-7/+7
* [NFC] [CSA] Move AnyFunctionCall::getRuntimeDefinition implementation to cpp.George Karpenkov2017-09-061-14/+1
* [StaticAnalyzer] LoopUnrolling: Keep track the maximum number of steps for ea...Peter Szecsi2017-08-281-1/+1
* [StaticAnalyzer] LoopUnrolling: Track a LoopStack in order to completely unro...Peter Szecsi2017-08-211-8/+22
* [StaticAnalyzer] Handle LoopExit CFGElement in the analyzerPeter Szecsi2017-08-211-0/+2
* [CFG] Add LoopExit information to CFGPeter Szecsi2017-08-191-0/+10
* [StaticAnalyzer] LoopUnrolling: Exclude cases where the counter is escaped be...Peter Szecsi2017-08-191-3/+3
* [Analyzer] Add support for displaying cross-file diagnostic paths in HTML outputDevin Coughlin2017-08-031-2/+3
* clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h: Add a forward decl A...NAKAMURA Takumi2017-07-251-0/+2
* [StaticAnalyzer] Completely unrolling specific loops with known bound optionPeter Szecsi2017-07-252-0/+41
* [analyzer] Add diagnostic text for generalized refcount annotations.Devin Coughlin2017-07-251-2/+4
* Revert "[StaticAnalyzer] Completely unrolling specific loops with known bound...Peter Szecsi2017-07-202-41/+1
* [StaticAnalyzer] Completely unrolling specific loops with known bound option Peter Szecsi2017-07-201-0/+33
* This feature allows the analyzer to consider loops to completely unroll. NewPeter Szecsi2017-07-191-1/+8
* fix typos in comments; NFCHiroshi Inoue2017-07-131-1/+1
* Revert "[analyzer] Support generating and reasoning over more symbolic constr...Dominic Chen2017-07-121-12/+4
* [analyzer] Support generating and reasoning over more symbolic constraint typesDominic Chen2017-07-121-4/+12
* CFG: Add CFGElement for automatic variables that leave the scopeMatthias Gehre2017-07-121-1/+21
* [analyzer] Start fixing modeling of bool based typesAlexander Shaposhnikov2017-07-111-1/+1
* [analyzer] Move zero-size allocation checks to optin.portability.Artem Dergachev2017-06-271-1/+17
* [analyzer] Fix logical not for pointers with different bit widthDaniel Marjamaki2017-06-192-0/+12
* [analyzer] Nullability: fix notes around synthesized ObjC property accessors.Artem Dergachev2017-06-051-5/+11
* [analyzer] Fix immutable map factory lifetime for partial taint.Artem Dergachev2017-05-292-4/+2
* [analyzer] Support partially tainted records.Artem Dergachev2017-05-292-0/+25
* [analyzer] Initial commit for the upcoming refactoring of the IteratorChecker.Artem Dergachev2017-05-291-4/+4
* [analyzer] Fix memory error bug category capitalization.Artem Dergachev2017-05-031-0/+1
* [analyzer] Enforce super-region classes for various memory regions.Artem Dergachev2017-04-132-42/+66
* [analyzer] Add numerous assertions to SVal, SymExpr, and MemRegion classes.Artem Dergachev2017-04-135-115/+228
* [analyzer] Simplify values in binary operations a bit more aggressively.Artem Dergachev2017-04-131-0/+5
* [analyzer] Add new Z3 constraint manager backendDominic Chen2017-04-042-0/+4
* Spelling mistakes in comments. NFCI. (PR27635)Simon Pilgrim2017-03-302-2/+2
* [analyzer] When creating a temporary object, properly copy the value into it.Artem Dergachev2017-03-281-7/+7
* [analyzer] Add MisusedMovedObjectChecker for detecting use-after-move errors.Artem Dergachev2017-03-241-0/+5
* Remove all uses of std::mem_fun and std::bind1st removed in C++17.Richard Smith2017-03-231-6/+6
* [analyzer] Extend taint propagation and checking to support LazyCompoundValAnna Zaks2017-03-091-0/+24
* [analyzer] Improve valist checks and move it out from alpha state.Gabor Horvath2017-03-071-3/+2
* [analyzer] Refactor and simplify SimpleConstraintManagerDominic Chen2017-02-252-0/+94
* [analyzer] Proper caching in CallDescription objects.Gabor Horvath2017-02-151-1/+3
* [analyzer] Add LocationContext as a parameter to checkRegionChangesAnna Zaks2017-01-135-14/+24
* [analyzer] Add checker for iterators dereferenced beyond their range.Gabor Horvath2017-01-091-0/+8
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-09 15:07:03 +0000