summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer/Core
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
* StaticAnalyzer: Modularize/fix ODR violations making functions inline but non...David Blaikie2017-10-274-21/+16
* [Analyzer] Clarify error messages for undefined resultDaniel Marjamaki2017-10-111-0/+7
* 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
* 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
* 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] 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] 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
* 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] 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
* Migrate PathDiagnosticPiece to std::shared_ptrDavid Blaikie2017-01-053-93/+79
* Remove use of intrusive ref count ownership acquisitionDavid Blaikie2017-01-041-4/+4
* [ADT] Delete RefCountedBaseVPTR.Justin Lebar2016-12-291-2/+2
* [analyzer] Refer to macro names in diagnostics for macros representing a literalAnna Zaks2016-12-151-0/+1
* [analyzer] Add a new SVal to support pointer-to-member operations.Devin Coughlin2016-12-155-2/+119
* [analyzer] Refactor recursive symbol reachability check to use symbol_iteratorDominic Chen2016-11-181-2/+3
* [analyzer] Remove unused check::RegionChanges::wantsRegionChangeUpdate callbackAnna Zaks2016-11-164-28/+3
* [analyzer] Rename assumeWithinInclusiveRange*()Dominic Chen2016-11-152-54/+52
* [analyzer] Provide Contains() on ImmutableMap program state partial trait.Dominic Chen2016-11-081-3/+7
* Add a method to get the list of registered static analyzer checkers.Alexander Kornienko2016-11-081-0/+3
* Fix style issue. Spaces in argument list.Daniel Marjamaki2016-10-101-1/+1
* [analyzer] Re-apply r283092, attempt no.4, chunk no.4 (last)Artem Dergachev2016-10-072-2/+35
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-25 20:04:38 +0000