Gabor Horvath 21aa8db606 [analyzer] Assume that we always have a SubEngine available ...

The removed codepath was dead.

Differential Revision: https://reviews.llvm.org/D55697

llvm-svn: 349266

2018-12-15 13:20:33 +00:00

..

AnalysisManager.cpp

[analyzer] Evaluate all non-checker config options before analysis

2018-11-30 20:44:00 +00:00

AnalyzerOptions.cpp

[analyzer] Evaluate all non-checker config options before analysis

2018-11-30 20:44:00 +00:00

APSIntType.cpp

…

BasicValueFactory.cpp

Fix -Wimplicit-fallthrough warning in LLVM_ENABLE_ASSERTIONS=Off builds

2018-11-02 04:09:08 +00:00

BlockCounter.cpp

…

BugReporter.cpp

Misc typos fixes in ./lib folder

2018-12-10 12:37:46 +00:00

BugReporterVisitors.cpp

[analyzer] Evaluate all non-checker config options before analysis

2018-11-30 20:44:00 +00:00

CallEvent.cpp

[analyzer] Assume that we always have a SubEngine available

2018-12-15 13:20:33 +00:00

Checker.cpp

[analyzer] Be more plugin-friendly by moving static locals into .cpp files.

2018-10-20 00:29:24 +00:00

CheckerContext.cpp

[analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently

2018-01-17 20:27:29 +00:00

CheckerHelpers.cpp

Model type attributes as regular Attrs.

2018-08-20 21:47:29 +00:00

CheckerManager.cpp

[NFC][Test commit] Fix typos in a comment

2018-10-20 14:47:37 +00:00

CheckerRegistry.cpp

Move static analyzer core diagnostics to common.

2018-12-15 02:30:16 +00:00

CMakeLists.txt

Add the ability to output static analysis results to SARIF.

2018-10-30 18:55:38 +00:00

CommonBugCategories.cpp

[analyzer] Fix memory error bug category capitalization.

2017-05-03 11:47:13 +00:00

ConstraintManager.cpp

[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).

2018-02-28 01:10:04 +00:00

CoreEngine.cpp

[analyzer][NFC] Collect all -analyzer-config options in a .def file

2018-11-02 15:50:44 +00:00

DynamicTypeMap.cpp

[analyzer] Be more plugin-friendly by moving static locals into .cpp files.

2018-10-20 00:29:24 +00:00

Environment.cpp

[analyzer] Fix the "Zombie Symbols" bug.

2018-11-30 03:27:50 +00:00

ExplodedGraph.cpp

[AST] [analyzer] NFC: Reuse code in stable ID dumping methods.

2018-12-03 22:19:05 +00:00

ExprEngine.cpp

[analyzer] Assume that we always have a SubEngine available

2018-12-15 13:20:33 +00:00

ExprEngineC.cpp

Revert "Revert r347417 "Re-Reinstate 347294 with a fix for the failures.""

2018-11-30 23:41:18 +00:00

ExprEngineCallAndReturn.cpp

[analyzer] Evaluate all non-checker config options before analysis

2018-11-30 20:44:00 +00:00

ExprEngineCXX.cpp

[analyzer] Evaluate all non-checker config options before analysis

2018-11-30 20:44:00 +00:00

ExprEngineObjC.cpp

[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter

2018-09-28 18:49:41 +00:00

FunctionSummary.cpp

[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).

2018-02-28 01:10:04 +00:00

HTMLDiagnostics.cpp

[analyzer] Evaluate all non-checker config options before analysis

2018-11-30 20:44:00 +00:00

IssueHash.cpp

Remove trailing space

2018-07-30 19:24:48 +00:00

LoopUnrolling.cpp

[analyzer] Unroll the loop when it has a unsigned counter.

2018-03-31 12:46:46 +00:00

LoopWidening.cpp

[analyzer] Avoid querying this-pointers for static-methods.

2018-08-07 23:13:28 +00:00

MemRegion.cpp

[Analyzer] Iterator Checkers - Use the region of the topmost base class for iterators stored in a region

2018-12-04 10:22:28 +00:00

PathDiagnostic.cpp

[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter

2018-09-28 18:49:41 +00:00

PlistDiagnostics.cpp

Misc typos fixes in ./lib folder

2018-12-10 12:37:46 +00:00

PrettyStackTraceLocationContext.h

[CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.h

2017-09-06 21:45:03 +00:00

ProgramState.cpp

[analyzer] Assume that we always have a SubEngine available

2018-12-15 13:20:33 +00:00

RangeConstraintManager.cpp

[analyzer] Fix the "Zombie Symbols" bug.

2018-11-30 03:27:50 +00:00

RangedConstraintManager.cpp

[analyzer] Be more plugin-friendly by moving static locals into .cpp files.

2018-10-20 00:29:24 +00:00

RegionStore.cpp

[analyzer] Assume that we always have a SubEngine available

2018-12-15 13:20:33 +00:00

RetainSummaryManager.cpp

[analyzer] Move out tracking retain count for OSObjects into a separate checker

2018-12-07 20:21:51 +00:00

SarifDiagnostics.cpp

Using llvm::find_if() instead of a range-based for loop; NFC.

2018-12-14 21:14:44 +00:00

SimpleConstraintManager.cpp

…

SimpleSValBuilder.cpp

[analyzer] Assume that we always have a SubEngine available

2018-12-15 13:20:33 +00:00

Store.cpp

Misc typos fixes in ./lib folder

2018-12-10 12:37:46 +00:00

SubEngine.cpp

…

SValBuilder.cpp

[analyzer] Assume that we always have a SubEngine available

2018-12-15 13:20:33 +00:00

SVals.cpp

[analyzer] Fix symbol discovery in nonloc::LocAsInteger values.

2018-10-02 20:48:12 +00:00

SymbolManager.cpp

[analyzer] Fix the "Zombie Symbols" bug.

2018-11-30 03:27:50 +00:00

TaintManager.cpp

[analyzer] Be more plugin-friendly by moving static locals into .cpp files.

2018-10-20 00:29:24 +00:00

WorkList.cpp

Misc typos fixes in ./lib folder

2018-12-10 12:37:46 +00:00

Z3ConstraintManager.cpp

[analyzer] Cleanup constructors in the Z3 backend

2018-11-28 17:22:49 +00:00