summaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Match more patterns in bugreporter::getDerefExpr() API.Artem Dergachev2017-09-271-5/+17
* [analyzer] Fix and refactor bugreporter::getDerefExpr() API.Artem Dergachev2017-09-271-30/+50
* [analyzer] Fix crash on modeling of pointer arithmeticAlexander Shaposhnikov2017-09-251-3/+5
* [analyzer] Add new delete with non-virtual destructor checkGabor Horvath2017-09-222-0/+154
* [Analyzer] Log when auto-synthesized body is used.George Karpenkov2017-09-221-3/+14
* [analyzer] Fix an assertion fail in VirtualCallCheckerGabor Horvath2017-09-211-1/+1
* [Analyzer] Check function name size before indexing.George Karpenkov2017-09-151-1/+2
* Update users of llvm::sys::ExecuteAndWait etc.Alexander Kornienko2017-09-131-2/+1
* [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-0/+16
* Removed dead code (PR34467). NFCI.Simon Pilgrim2017-09-051-3/+0
* [analyzer] Increase minimum complexity filter of the CloneChecker.Raphael Isemann2017-09-041-1/+1
* [analyzer] Performance optimizations for the CloneCheckerRaphael Isemann2017-08-311-5/+5
* Remove trailing space.Rui Ueyama2017-08-281-3/+3
* [analyzer] Fix crash in modeling arithmeticAlexander Shaposhnikov2017-08-281-0/+8
* [StaticAnalyzer] LoopUnrolling: Keep track the maximum number of steps for ea...Peter Szecsi2017-08-282-31/+57
* [StaticAnalyzer] LoopUnrolling: Excluding loops which splits the statePeter Szecsi2017-08-281-1/+26
* [StaticAnalyzer] LoopUnrolling fixesPeter Szecsi2017-08-283-12/+10
* [analyzer][GSoC] Re-implemente current virtual calls checker in a path-sensit...Gabor Horvath2017-08-281-230/+223
* [StaticAnalyzer] LoopUnrolling: Track a LoopStack in order to completely unro...Peter Szecsi2017-08-212-96/+82
* [StaticAnalyzer] Handle LoopExit CFGElement in the analyzerPeter Szecsi2017-08-212-3/+28
* [CFG] Add LoopExit information to CFGPeter Szecsi2017-08-194-2/+11
* [StaticAnalyzer] LoopUnrolling: Exclude cases where the counter is escaped be...Peter Szecsi2017-08-192-37/+84
* [analyzer] Fix modeling of constructorsAlexander Shaposhnikov2017-08-181-0/+13
* [analyzer] Add support for reference counting of parameters on the callee sideDevin Coughlin2017-08-171-9/+90
* [analyzer] Fix SimpleSValBuilder::simplifySValAlexander Shaposhnikov2017-08-141-1/+2
* [analyzer] Rename functions responsible for CFG-based suppress-on-sink.Artem Dergachev2017-08-141-13/+21
* [Analyzer] Add support for displaying cross-file diagnostic paths in HTML outputDevin Coughlin2017-08-031-105/+209
* [StaticAnalyzer] Fix false positives for unreachable code in macros.Daniel Marjamaki2017-08-021-1/+1
* [StaticAnalyzer] LoopUnrolling - Attempt #2 to fix a crash in r309006.Peter Szecsi2017-07-251-2/+2
* [StaticAnalyzer] LoopUnrolling - Attempt to fix a crash in r309006.Peter Szecsi2017-07-251-1/+3
* [StaticAnalyzer] Completely unrolling specific loops with known bound optionPeter Szecsi2017-07-255-0/+238
* [analyzer] Add diagnostic text for generalized refcount annotations.Devin Coughlin2017-07-251-11/+13
* [analyzer] Treat throws as sinks for suppress-on-sink purposes.Artem Dergachev2017-07-251-2/+23
* [analyzer] Further improve suppress-on-sink behavior in incomplete analyses.Artem Dergachev2017-07-251-3/+41
* Remove Bitrig: Clang ChangesErich Keane2017-07-211-1/+0
* Revert "[StaticAnalyzer] Completely unrolling specific loops with known bound...Peter Szecsi2017-07-205-235/+1
* [StaticAnalyzer] Completely unrolling specific loops with known bound option Peter Szecsi2017-07-201-0/+203
* This feature allows the analyzer to consider loops to completely unroll. NewPeter Szecsi2017-07-194-1/+32
* [analyzer] Add annotation attribute to trust retain count implementationDevin Coughlin2017-07-191-4/+31
* [analyzer] Add annotation for functions taking user-facing stringsErik Verbruggen2017-07-141-10/+59
* Revert "[analyzer] Support generating and reasoning over more symbolic constr...Dominic Chen2017-07-123-38/+22
* [analyzer] Support generating and reasoning over more symbolic constraint typesDominic Chen2017-07-123-22/+38
* CFG: Add CFGElement for automatic variables that leave the scopeMatthias Gehre2017-07-124-1/+16
* [analyzer] Start fixing modeling of bool based typesAlexander Shaposhnikov2017-07-111-5/+2
* [analyzer] Move zero-size allocation checks to optin.portability.Artem Dergachev2017-06-271-20/+35
* [analyzer] Do not continue to analyze a path if the constraints contradict wi...Gabor Horvath2017-06-221-1/+3
* [analyzer] Bump a few default performance thresholds.Artem Dergachev2017-06-211-2/+2
* [analyzer] LocalizationChecker: Support new localizable APIs.Artem Dergachev2017-06-211-0/+43
* [analyzer] Teach CloneDetection about Qt Meta-Object Compiler to filter auto ...Leslie Zhai2017-06-201-1/+1
View Lorry Controller Status