Magic-Mirror/llvm-capstone
1
0
Fork 0
mirror of https://github.com/capstone-engine/llvm-capstone.git synced 2024-11-23 22:00:10 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity
57c55165eb
llvm-capstone/clang/lib/StaticAnalyzer/Core
History
Artem Dergachev f68c0a2f58 [analyzer] Add path note tags to standard library function summaries. 
The patch is straightforward except the tiny fix in BugReporterVisitors.cpp
that suppresses a default note for "Assuming pointer value is null" when
a note tag from the checker is present. This is probably the right thing to do
but also definitely not a complete solution to the problem of different sources
of path notes being unaware of each other, which is a large and annoying issue
that we have to deal with. Note tags really help there because they're nicely
introspectable. The problem is demonstrated by the newly added getenv() test.

Differential Revision: https://reviews.llvm.org/D122285
2022-04-28 17:17:05 -07:00
..
AnalysisManager.cpp
AnalyzerOptions.cpp [analyzer] NFC: Fix wrong parameter name in printFormattedEntry. 2020-08-27 12:15:26 -07:00
APSIntType.cpp
BasicValueFactory.cpp [analyzer] Fix static_cast on pointer-to-member handling 2021-02-15 11:44:37 +03:00
BlockCounter.cpp
BugReporter.cpp [analyzer][NFC] Refactor llvm::isa<> usages in the StaticAnalyzer 2021-10-20 17:43:31 +02:00
BugReporterVisitors.cpp [analyzer] Add path note tags to standard library function summaries. 2022-04-28 17:17:05 -07:00
CallDescription.cpp [NFC][analyzer] Allow CallDescriptions to be matched with CallExprs 2022-03-01 17:13:04 +01:00
CallEvent.cpp [analyzer][NFC] Change return value of StoreManager::attemptDownCast function from SVal to Optional<SVal> 2021-12-17 13:03:47 +02:00
Checker.cpp
CheckerContext.cpp [analyzer] Restrict CallDescription fuzzy builtin matching 2022-02-11 10:45:18 +01:00
CheckerHelpers.cpp [analyzer] Model comparision methods of std::unique_ptr 2021-07-16 09:54:05 +05:30
CheckerManager.cpp [analyzer] Dump checker name if multiple checkers evaluate the same call 2021-11-02 14:42:14 +01:00
CheckerRegistryData.cpp [clang] Fix modules build after D82585 2020-07-06 17:51:53 +02:00
CMakeLists.txt [analyzer][NFC] Separate CallDescription from CallEvent 2021-11-15 19:10:46 +01:00
CommonBugCategories.cpp [analyzer] Introduce common bug category "Unused code". 2021-03-17 20:58:27 -07:00
ConstraintManager.cpp
CoreEngine.cpp [NFC][clang]Inclusive language: remove remaining uses of sanity 2021-11-24 14:20:13 -05:00
DynamicExtent.cpp [analyzer] DynamicSize: Rename 'size' to 'extent' 2021-04-05 19:20:43 +02:00
DynamicType.cpp [clang] Add a raw_ostream operator<< overload for QualType 2022-04-20 22:09:05 +01:00
Environment.cpp [analyzer][NFC] Refactor llvm::isa<> usages in the StaticAnalyzer 2021-10-20 17:43:31 +02:00
ExplodedGraph.cpp [analyzer][NFC] Refactor llvm::isa<> usages in the StaticAnalyzer 2021-10-20 17:43:31 +02:00
ExprEngine.cpp [OpenMP] Initial parsing/sema for the 'omp target parallel loop' construct 2022-03-24 09:19:00 -07:00
ExprEngineC.cpp [analyzer] Refactor makeNull to makeNullWithWidth (NFC) 2022-03-22 07:35:13 -05:00
ExprEngineCallAndReturn.cpp [analyzer] DynamicSize: Rename 'size' to 'extent' 2021-04-05 19:20:43 +02:00
ExprEngineCXX.cpp [clang] ExprEngine::VisitCXXNewExpr - remove superfluous nullptr tests 2022-03-02 15:59:10 +00:00
ExprEngineObjC.cpp [analyzer][NFC] Don't bind values to ObjCForCollectionStmt, replace it with a GDM trait 2020-09-11 15:58:48 +02:00
FunctionSummary.cpp
HTMLDiagnostics.cpp [clang] Use llvm::reverse (NFC) 2021-12-17 16:51:42 -08:00
LoopUnrolling.cpp [analyzer][NFC] Refactor llvm::isa<> usages in the StaticAnalyzer 2021-10-20 17:43:31 +02:00
LoopWidening.cpp [analyzer][NFC] Refactor llvm::isa<> usages in the StaticAnalyzer 2021-10-20 17:43:31 +02:00
MemRegion.cpp [clang] Add a raw_ostream operator<< overload for QualType 2022-04-20 22:09:05 +01:00
PlistDiagnostics.cpp [SystemZ][z/OS][Windows] Add new OF_TextWithCRLF flag and use this flag instead of OF_Text 2021-04-06 07:23:31 -04:00
PrettyStackTraceLocationContext.h
ProgramState.cpp [clang] Remove redundant member initialization (NFC) 2022-01-02 10:20:23 -08:00
RangeConstraintManager.cpp [analyzer] Implemented RangeSet::Factory::castTo function to perform promotions, truncations and conversions. 2022-04-19 22:34:03 +03:00
RangedConstraintManager.cpp [analyzer] Fix crash in RangedConstraintManager.cpp 2022-03-23 08:26:40 -05:00
RegionStore.cpp [analyzer] Refactor makeNull to makeNullWithWidth (NFC) 2022-03-22 07:35:13 -05:00
SarifDiagnostics.cpp [SystemZ][z/OS][Windows] Add new OF_TextWithCRLF flag and use this flag instead of OF_Text 2021-04-06 07:23:31 -04:00
SimpleConstraintManager.cpp [analyzer] Simplify function SVal::getAsSymbolicExpression and similar ones 2020-08-03 15:03:35 +03:00
SimpleSValBuilder.cpp [analyzer] Avoid checking addrspace pointers in cstring checker 2022-03-31 17:34:56 +02:00
SMTConstraintManager.cpp [llvm][clang][NFC] updates inline licence info 2021-08-11 02:48:53 +00:00
Store.cpp [analyzer][NFC] Change return value of StoreManager::attemptDownCast function from SVal to Optional<SVal> 2021-12-17 13:03:47 +02:00
SValBuilder.cpp [analyzer] Fix "RhsLoc and LhsLoc bitwidth must be same" 2022-03-29 17:08:19 -05:00
SVals.cpp [clang] Add a raw_ostream operator<< overload for QualType 2022-04-20 22:09:05 +01:00
SymbolManager.cpp [clang] Add a raw_ostream operator<< overload for QualType 2022-04-20 22:09:05 +01:00
TextDiagnostics.cpp Fix a typo (occured => occurred) 2022-02-08 21:35:26 +01:00
WorkList.cpp