| .. |
|
APSIntType.cpp
|
…
|
|
|
AnalysisManager.cpp
|
[analyzer] Add ASTContext to CheckerManager
|
2018-08-06 23:09:07 +00:00 |
|
AnalyzerOptions.cpp
|
[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default
|
2018-08-29 20:29:17 +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] [NFC] Remove unused parameters, as found by -Wunused-parameter
|
2018-09-28 18:49:41 +00:00 |
|
BugReporterVisitors.cpp
|
[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter
|
2018-09-28 18:49:41 +00:00 |
|
CMakeLists.txt
|
[analyzer] Templatefy SMTConstraintManager so more generic code can be moved from solver specific implementations. NFC.
|
2018-08-23 13:21:00 +00:00 |
|
CallEvent.cpp
|
[analyzer] NFC: CallDescription: Improve array management.
|
2018-09-25 22:13:31 +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
|
Model type attributes as regular Attrs.
|
2018-08-20 21:47:29 +00:00 |
|
CheckerManager.cpp
|
[analyzer] Associate diagnostics created in checkEndFunction with a return statement, if possible
|
2018-09-21 20:36:41 +00:00 |
|
CheckerRegistry.cpp
|
llvm::sort(C.begin(), C.end(), ...) -> llvm::sort(C, ...)
|
2018-09-26 22:16:28 +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] Remove unused parameters, as found by -Wunused-parameter
|
2018-09-28 18:49:41 +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] ExplodedGraph printing fixes
|
2018-09-17 20:46:53 +00:00 |
|
ExplodedGraph.cpp
|
[analyzer] Skip printing trivial nodes in exploded graph
|
2018-09-07 00:42:32 +00:00 |
|
ExprEngine.cpp
|
[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter
|
2018-09-28 18:49:41 +00:00 |
|
ExprEngineC.cpp
|
Remove trailing space
|
2018-07-30 19:24:48 +00:00 |
|
ExprEngineCXX.cpp
|
[analyzer] Add support for constructors of arguments.
|
2018-08-15 00:33:55 +00:00 |
|
ExprEngineCallAndReturn.cpp
|
[analyzer] NFC: Legalize state manager factory injection.
|
2018-09-25 22:10:12 +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] [NFC] Remove unused parameters, as found by -Wunused-parameter
|
2018-09-28 18:49:41 +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] [NFC] Remove unused parameters, as found by -Wunused-parameter
|
2018-09-28 18:49:41 +00:00 |
|
PathDiagnostic.cpp
|
[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter
|
2018-09-28 18:49:41 +00:00 |
|
PlistDiagnostics.cpp
|
Revert "Revert "Revert "Revert "[analyzer] Add coverage information to plist output, update tests""""
|
2018-09-07 21:58:24 +00:00 |
|
PrettyStackTraceLocationContext.h
|
[CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.h
|
2017-09-06 21:45:03 +00:00 |
|
ProgramState.cpp
|
[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter
|
2018-09-28 18:49:41 +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] [NFC] Remove unused parameters, as found by -Wunused-parameter
|
2018-09-28 18:49:41 +00:00 |
|
RetainSummaryManager.cpp
|
[analyzer] Better retain count rules for OSObjects
|
2018-08-29 20:28:33 +00:00 |
|
SValBuilder.cpp
|
[analyzer] [NFC] Remove unused "state" argument from makeSymExprValNN
|
2018-08-29 20:28:54 +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] Resolve the crash in ReturnUndefChecker
|
2018-08-29 20:29:59 +00:00 |
|
Store.cpp
|
[analyzer] Fix a crash on casting symbolic pointers to derived classes.
|
2018-09-26 00:17:14 +00:00 |
|
SubEngine.cpp
|
…
|
|
|
SymbolManager.cpp
|
[analyzer] Further printing improvements: use declarations,
|
2018-09-15 02:34:45 +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] Moved all CSA code from the SMT API to a new header, `SMTConv.h`. NFC.
|
2018-08-23 13:21:31 +00:00 |
c82d457db5