 Artem Dergachev
|
15e9d0493a
[analyzer] Fix FieldRegion dumps.
|
5 年之前 |
|
Artem Dergachev
|
8c28a172b7
[analyzer] Fix analyzer warnings on analyzer.
|
6 年之前 |
|
Artem Dergachev
|
7685ae4a35
[analyzer] Add a comment that FunctionCodeRegions may also need canonicalization
|
6 年之前 |
|
Artem Dergachev
|
4ec0edc067
[analyzer] Canonicalize declarations within variable regions.
|
6 年之前 |
 Chandler Carruth
|
324f918438
Update the file headers across all of the LLVM projects in the monorepo
|
6 年之前 |
 Brian Gesiak
|
205745cdf7
[AST] Remove ASTContext from getThisType (NFC)
|
6 年之前 |
 Adam Balogh
|
f9accceeaa
[Analyzer] Iterator Checkers - Use the region of the topmost base class for iterators stored in a region
|
6 年之前 |
 George Karpenkov
|
b0be6606a0
[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter
|
7 年之前 |
|
George Karpenkov
|
58cfe5b8b7
[analyzer] Further printing improvements: use declarations,
|
7 年之前 |
|
Artem Dergachev
|
0d516dba5e
[analyzer] Support modeling no-op BaseToDerived casts in ExprEngine.
|
7 年之前 |
|
George Karpenkov
|
3387634751
[analyzer] [NFC] A convenient getter for getting a current stack frame
|
7 年之前 |
|
George Karpenkov
|
c162fd1226
[analyzer] Fix offset overflow check in MemRegion
|
7 年之前 |
 Nicola Zaghen
|
ff0626ea3c
[clang] Update uses of DEBUG macro to LLVM_DEBUG.
|
7 年之前 |
 Eugene Zelenko
|
c35631a920
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
|
7 年之前 |
|
George Karpenkov
|
ac0a256e85
[analyzer] Cache offset computation for MemRegion
|
7 年之前 |
|
George Karpenkov
|
d05cde1c10
[analyzer] Better pretty-printing of regions in exploded graph
|
7 年之前 |
 George Burgess IV
|
f6b7996bf6
Remove redundant casts. NFC
|
7 年之前 |
|
George Karpenkov
|
c8a12737a4
Revert "Revert "[analyzer] Quickfix: do not overflow in calculating offset in RegionManager""
|
7 年之前 |
|
George Karpenkov
|
1061365516
Revert "[analyzer] Quickfix: do not overflow in calculating offset in RegionManager"
|
7 年之前 |
|
George Karpenkov
|
511d223023
[analyzer] Quickfix: do not overflow in calculating offset in RegionManager
|
7 年之前 |
|
George Karpenkov
|
8d0e1351b8
[analyzer] Make isSubRegionOf reflexive
|
7 年之前 |
|
Artem Dergachev
|
fc537f7040
[analyzer] Mark heap-based symbolic regions in debug dumps.
|
7 年之前 |
|
George Karpenkov
|
3e4f379cb6
[CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.h
|
8 年之前 |
|
Artem Dergachev
|
dbf1b8007c
[analyzer] Enforce super-region classes for various memory regions.
|
8 年之前 |
|
Artem Dergachev
|
4dcbb11b6e
[analyzer] Add numerous assertions to SVal, SymExpr, and MemRegion classes.
|
8 年之前 |
|
Artem Dergachev
|
5524bc88ab
[analyzer] Fix MacOSXAPIChecker fp with static locals seen from nested blocks.
|
8 年之前 |
 Devin Coughlin
|
4e48d6f54e
Revert "[analyzer] Fix memory space of static locals seen from nested blocks."
|
8 年之前 |
|
Artem Dergachev
|
cdd3dc424a
[analyzer] Fix memory space of static locals seen from nested blocks.
|
8 年之前 |
 Benjamin Kramer
|
b883d35cf0
[StaticAnalyzer] Remove dead code.
|
9 年之前 |
|
Devin Coughlin
|
3016fc901d
[analyzer] Add checker to verify the correct usage of the MPI API
|
9 年之前 |
