Gabor Horvath bb81bfb69c [analyzer] Handle ObjC messages conservatively in CallDescription ...

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

llvm-svn: 316885

2017-10-30 08:47:13 +00:00

..

AnalysisManager.cpp

[Analyzer] Do not use static storage to for implementations created in BodyFarm.cpp

2017-10-23 23:59:52 +00:00

AnalyzerOptions.cpp

[CFG] Add LoopExit information to CFG

2017-08-19 11:19:16 +00:00

APSIntType.cpp

…

BasicValueFactory.cpp

[analyzer] Add a new SVal to support pointer-to-member operations.

2016-12-15 21:27:06 +00:00

BlockCounter.cpp

…

BugReporter.cpp

[analyzer] Rename functions responsible for CFG-based suppress-on-sink.

2017-08-14 08:38:47 +00:00

BugReporterVisitors.cpp

[analyzer] Match more patterns in bugreporter::getDerefExpr() API.

2017-09-27 09:50:45 +00:00

CallEvent.cpp

[analyzer] Handle ObjC messages conservatively in CallDescription

2017-10-30 08:47:13 +00:00

Checker.cpp

…

CheckerContext.cpp

[Analyzer] Clarify error messages for undefined result

2017-10-11 14:49:35 +00:00

CheckerHelpers.cpp

…

CheckerManager.cpp

[analyzer] Add LocationContext as a parameter to checkRegionChanges

2017-01-13 00:50:57 +00:00

CheckerRegistry.cpp

[analyzer] Command line option to show enabled checker list.

2016-08-08 13:41:04 +00:00

CMakeLists.txt

[StaticAnalyzer] Completely unrolling specific loops with known bound option

2017-07-25 19:23:23 +00:00

CommonBugCategories.cpp

[analyzer] Fix memory error bug category capitalization.

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

ConstraintManager.cpp

[analyzer] Refactor and simplify SimpleConstraintManager

2017-02-25 04:51:31 +00:00

CoreEngine.cpp

[StaticAnalyzer] Handle LoopExit CFGElement in the analyzer

2017-08-21 16:10:19 +00:00

DynamicTypeMap.cpp

Spelling mistakes in comments. NFCI. (PR27635)

2017-03-30 14:13:19 +00:00

Environment.cpp

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

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

ExplodedGraph.cpp

…

ExprEngine.cpp

[analyzer] Fix leak false positives on stuff put in C++/ObjC initializer lists.

2017-10-05 08:43:32 +00:00

ExprEngineC.cpp

[analyzer] Fix logical not for pointers with different bit width

2017-06-19 08:55:51 +00:00

ExprEngineCallAndReturn.cpp

[StaticAnalyzer] Move inline counter increaser to inlineCall function

2017-05-16 11:54:00 +00:00

ExprEngineCXX.cpp

[analyzer] Enforce super-region classes for various memory regions.

2017-04-13 09:56:07 +00:00

ExprEngineObjC.cpp

[analyzer] Add LocationContext as a parameter to checkRegionChanges

2017-01-13 00:50:57 +00:00

FunctionSummary.cpp

…

HTMLDiagnostics.cpp

[Analyzer] Add support for displaying cross-file diagnostic paths in HTML output

2017-08-03 18:12:22 +00:00

IssueHash.cpp

…

LoopUnrolling.cpp

[analyzer] LoopUnrolling: check the bitwidth of the used numbers (pr34943)

2017-10-28 12:19:08 +00:00

LoopWidening.cpp

…

MemRegion.cpp

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

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

PathDiagnostic.cpp

[CFG] Add LoopExit information to CFG

2017-08-19 11:19:16 +00:00

PlistDiagnostics.cpp

Migrate PathDiagnosticPiece to std::shared_ptr

2017-01-05 17:26:53 +00:00

PrettyStackTraceLocationContext.h

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

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

ProgramState.cpp

[analyzer] Fix immutable map factory lifetime for partial taint.

2017-05-29 18:54:02 +00:00

RangeConstraintManager.cpp

[analyzer] Refactor and simplify SimpleConstraintManager

2017-02-25 04:51:31 +00:00

RangedConstraintManager.cpp

[analyzer] Refactor and simplify SimpleConstraintManager

2017-02-25 04:51:31 +00:00

RangedConstraintManager.h

[analyzer] Refactor and simplify SimpleConstraintManager

2017-02-25 04:51:31 +00:00

RegionStore.cpp

[analyzer] pr28449: Fix support for various array initializers.

2017-10-13 20:54:56 +00:00

SimpleConstraintManager.cpp

[analyzer] Refactor and simplify SimpleConstraintManager

2017-02-25 04:51:31 +00:00

SimpleSValBuilder.cpp

[analyzer] Implement pointer arithmetic on constants

2017-10-10 11:01:49 +00:00

Store.cpp

[analyzer] Fix handling of labels in getLValueElement

2017-10-23 23:46:06 +00:00

SubEngine.cpp

…

SValBuilder.cpp

Revert "[analyzer] Support generating and reasoning over more symbolic constraint types"

2017-07-12 21:43:42 +00:00

SVals.cpp

SVal::getAsSymbol(bool IncludeBaseRegions): Follow clang/StaticAnalyzer/Core/PathSensitive/SVals.h, s/IncludeBaseRegion/IncludeBaseRegions/g [-Wdocumentation]

2017-10-12 09:42:12 +00:00

SymbolManager.cpp

[analyzer] Dump signed integers in SymIntExpr and IntSymExpr correctly

2017-10-19 11:58:21 +00:00

Z3ConstraintManager.cpp

Revert "[analyzer] Support generating and reasoning over more symbolic constraint types"

2017-07-12 21:43:42 +00:00