..
APSIntType.cpp
…
AnalysisManager.cpp
[analyzer] Add scope information to CFG
2018-03-12 12:26:15 +00:00
AnalyzerOptions.cpp
[analyzer] Add scope information to CFG
2018-03-12 12:26:15 +00:00
BasicValueFactory.cpp
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
2018-03-02 23:11:49 +00:00
BlockCounter.cpp
[analyzer] Apply whitespace cleanups by Honggyu Kim.
2015-09-08 03:50:52 +00:00
BugReporter.cpp
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
2018-03-07 00:17:48 +00:00
BugReporterVisitors.cpp
[analyzer] Improve performance of NoStoreFuncVisitor
2018-03-20 01:16:46 +00:00
CMakeLists.txt
Resubmit [analyzer] Support for naive cross translation unit analysis
2018-03-01 14:54:16 +00:00
CallEvent.cpp
Resubmit [analyzer] Support for naive cross translation unit analysis
2018-03-01 14:54:16 +00:00
Checker.cpp
[analyzer] Apply whitespace cleanups by Honggyu Kim.
2015-09-08 03:50:52 +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
Fix Clang-tidy modernize-use-nullptr warnings; other minor fixes.
2016-01-26 19:01:06 +00:00
CheckerManager.cpp
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
2018-02-26 23:15:52 +00:00
CheckerRegistry.cpp
[analyzer] Command line option to show enabled checker list.
2016-08-08 13:41:04 +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
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
2018-03-02 23:11:49 +00:00
DynamicTypeMap.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
Environment.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
ExplodedGraph.cpp
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
2018-02-26 23:15:52 +00:00
ExprEngine.cpp
[analyzer] Remove an assertion that doesn't hold in C++17.
2018-03-22 21:54:48 +00:00
ExprEngineC.cpp
[Analyzer] More accurate modeling about the increment operator of the operand with type bool.
2018-03-06 12:29:09 +00:00
ExprEngineCXX.cpp
[CFG] [analyzer] Add C++17-specific ctor-initializer construction contexts.
2018-03-22 22:02:38 +00:00
ExprEngineCallAndReturn.cpp
[analyzer] Support temporaries conjured by conservatively evaluated functions.
2018-03-12 23:36:12 +00:00
ExprEngineObjC.cpp
[analyzer] Correctly model iteration through "nil" objects
2018-03-08 02:53:39 +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
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
2018-02-26 23:15:52 +00:00
IssueHash.cpp
[analyzer] Use the signature of the primary template for issue hash calculation
2017-10-30 12:16:07 +00:00
LoopUnrolling.cpp
[analyzer] LoopUnrolling: check the bitwidth of the used numbers (pr34943)
2017-10-28 12:19:08 +00:00
LoopWidening.cpp
[Analyzer] Fix comments and formatting. NFC.
2015-11-10 11:48:55 +00:00
MemRegion.cpp
Remove redundant casts. NFC
2018-03-01 05:43:23 +00:00
PathDiagnostic.cpp
[CFG] [analyzer] Add construction context to C++ return-by-value call elements.
2018-03-12 23:12:40 +00:00
PlistDiagnostics.cpp
[analyzer] Serialize statistics to plist when serialize-stats=true is set
2018-02-10 01:49:20 +00:00
PrettyStackTraceLocationContext.h
[CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.h
2017-09-06 21:45:03 +00:00
ProgramState.cpp
Remove redundant casts. NFC
2018-03-01 05:43:23 +00:00
RangeConstraintManager.cpp
[c++20] P0515R3: Parsing support and basic AST construction for operator <=>.
2017-12-14 15:16:18 +00:00
RangedConstraintManager.cpp
[c++20] P0515R3: Parsing support and basic AST construction for operator <=>.
2017-12-14 15:16:18 +00:00
RangedConstraintManager.h
[analyzer] Refactor and simplify SimpleConstraintManager
2017-02-25 04:51:31 +00:00
RegionStore.cpp
[analyzer] Prevent crashing in NonNullParamChecker
2018-03-02 00:55:59 +00:00
SValBuilder.cpp
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
2018-03-06 00:47:41 +00:00
SVals.cpp
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
2018-03-06 00:47:41 +00:00
SimpleConstraintManager.cpp
[analyzer] Refactor and simplify SimpleConstraintManager
2017-02-25 04:51:31 +00:00
SimpleSValBuilder.cpp
[analyzer] NFC: Forbid array elements of void type.
2018-01-17 22:40:36 +00:00
Store.cpp
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
2018-03-02 23:11:49 +00:00
SubEngine.cpp
…
SymbolManager.cpp
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
2018-03-06 00:47:41 +00:00
Z3ConstraintManager.cpp
Revert "[analyzer] Support generating and reasoning over more symbolic constraint types"
2017-07-12 21:43:42 +00:00
922455fe62