..
APSIntType.cpp
…
AnalysisManager.cpp
[CFG] [analyzer] Add construction contexts that explain pre-C++17 copy elision.
2018-06-28 00:04:54 +00:00
AnalyzerOptions.cpp
[Analyzer] Quick Fix for exponential execution time when simpilifying complex additive expressions
2018-07-23 10:50:20 +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
…
BugReporter.cpp
[analyzer] Try to minimize the number of equivalent bug reports evaluated by the refutation manager
2018-07-25 12:49:32 +00:00
BugReporterVisitors.cpp
[analyzer] Make RegionVector use const reference
2018-08-02 16:29:36 +00:00
CMakeLists.txt
[analyzer] Moved non solver specific code from Z3ConstraintManager to SMTConstraintManager
2018-07-25 12:49:29 +00:00
CallEvent.cpp
[analyzer] CallEvent: Add helper methods for obtaining the callee stack frame.
2018-08-01 01:58:15 +00:00
Checker.cpp
…
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
[analyzer] Trust _Nonnull annotations for system framework
2018-03-23 00:16:03 +00:00
CheckerManager.cpp
[analyzer] Make checkEndFunction() give access to the return statement.
2018-07-16 20:47:45 +00:00
CheckerRegistry.cpp
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
2018-04-03 21:31:50 +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] Obtain a ReturnStmt from a CFGAutomaticObjDtor.
2018-08-02 22:31:03 +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
[analyzer] [NFC] A convenient getter for getting a current stack frame
2018-06-27 01:51:55 +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] Fix eliding the same destructor twice due to buggy default arguments.
2018-07-31 21:17:40 +00:00
ExprEngineC.cpp
Remove trailing space
2018-07-30 19:24:48 +00:00
ExprEngineCXX.cpp
Add missing semicolon.
2018-08-01 10:34:13 +00:00
ExprEngineCallAndReturn.cpp
[analyzer] [NFC] A convenient getter for getting a current stack frame
2018-06-27 01:51:55 +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
[FileSystem] Split up the OpenFlags enumeration.
2018-06-07 19:58:58 +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] [NFC] A convenient getter for getting a current stack frame
2018-06-27 01:51:55 +00:00
MemRegion.cpp
[analyzer] [NFC] A convenient getter for getting a current stack frame
2018-06-27 01:51:55 +00:00
PathDiagnostic.cpp
[analyzer][ctu] fix unsortable diagnostics
2018-07-04 14:12:58 +00:00
PlistDiagnostics.cpp
[analyzer] Add support for the note diagnostic pieces to plist output format.
2018-04-24 20:45:48 +00:00
PrettyStackTraceLocationContext.h
[CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.h
2017-09-06 21:45:03 +00:00
ProgramState.cpp
[analyzer] [NFC] Simplify some visitors by giving a convenient getter from state to analysis manager
2018-07-30 22:18:47 +00:00
RangeConstraintManager.cpp
[analyzer] pr38273: Legalize Loc<>NonLoc comparison symbols.
2018-07-23 23:09:44 +00:00
RangedConstraintManager.cpp
[analyzer] Fix constraint being dropped when analyzing a program without taint tracking enabled
2018-07-16 13:14:46 +00:00
RegionStore.cpp
[analyzer] Use sufficiently large types for index bounds calculation.
2018-06-28 00:42:11 +00:00
SMTConstraintManager.cpp
[analyzer] Update SMT API documentation and methods
2018-07-25 19:34:48 +00:00
SValBuilder.cpp
[analyzer] Fix constraint being dropped when analyzing a program without taint tracking enabled
2018-07-16 13:14:46 +00:00
SVals.cpp
Remove \brief commands from doxygen comments.
2018-05-09 01:00:01 +00:00
SimpleConstraintManager.cpp
[analyzer] Refactor and simplify SimpleConstraintManager
2017-02-25 04:51:31 +00:00
SimpleSValBuilder.cpp
[analyzer] Reuse some code in simplifySVal().
2018-07-31 19:29:25 +00:00
Store.cpp
Remove trailing space
2018-07-30 19:24:48 +00:00
SubEngine.cpp
…
SymbolManager.cpp
[analyzer] Memoize complexity of SymExpr
2018-07-19 17:03:12 +00:00
WorkList.cpp
[analyzer] [NFC] A convenient getter for getting a current stack frame
2018-06-27 01:51:55 +00:00
Z3ConstraintManager.cpp
[analyzer] Fixed method to get APSInt model
2018-07-26 11:17:13 +00:00
38679fd630