shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity
llvm-project/clang/lib/StaticAnalyzer/Core
History
Artem Dergachev d807f9065b [analyzer] Fix symbol discovery in nonloc::LocAsInteger values. 
Doesn't do much despite sounding quite bad, but fixes an exotic test case where
liveness of a nonloc::LocAsInteger array index is now evaluated correctly.

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

llvm-svn: 343631
2018-10-02 20:48:12 +00:00
..
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
APSIntType.cpp
…
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
[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter
2018-09-28 18:49:41 +00:00
BugReporterVisitors.cpp
[analyzer] Improvements to the SMT API
2018-10-02 12:55:48 +00:00
CallEvent.cpp
[analyzer] NFC: CallDescription: Improve array management.
2018-09-25 22:13:31 +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
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
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
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
ExprEngineCallAndReturn.cpp
[analyzer] NFC: Legalize state manager factory injection.
2018-09-25 22:10:12 +00:00
ExprEngineCXX.cpp
[analyzer] Add support for constructors of arguments.
2018-08-15 00:33:55 +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
[analyzer][NFC] Refactor functions in PlistDiagnostics to take AnalyzerOptions as parameter
2018-10-02 19:27:34 +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
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
…
SValBuilder.cpp
[analyzer] [NFC] Remove unused "state" argument from makeSymExprValNN
2018-08-29 20:28:54 +00:00
SVals.cpp
[analyzer] Fix symbol discovery in nonloc::LocAsInteger values.
2018-10-02 20:48:12 +00:00
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] Improvements to the SMT API
2018-10-02 12:55:48 +00:00