 Gabor Horvath
|
b1e9e90f5d
[analyzer] Assume that we always have a SubEngine available
|
há 6 anos atrás |
 Artem Dergachev
|
a55b8668b2
[AST] [analyzer] NFC: Reuse code in stable ID dumping methods.
|
há 6 anos atrás |
 George Karpenkov
|
792888ae6c
[analyzer] [NFC] Change scanReachableSymbols to use ranges
|
há 6 anos atrás |
|
George Karpenkov
|
b0be6606a0
[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter
|
há 7 anos atrás |
|
George Karpenkov
|
7d1cca4458
[analyzer] Dump reproducible identifiers for statements in exploded graph in store
|
há 7 anos atrás |
|
George Karpenkov
|
cc7b7584b5
[analyzer] Dump a reproducible, deterministic ID of program state to exploded graph
|
há 7 anos atrás |
|
George Karpenkov
|
359b2bfbb5
[analyzer] [NFC] Simplify some visitors by giving a convenient getter from state to analysis manager
|
há 7 anos atrás |
|
Artem Dergachev
|
e79c5536b0
[analyzer] Use sufficiently large types for index bounds calculation.
|
há 7 anos atrás |
|
Artem Dergachev
|
4f25981ffc
[analyzer] pr18953: Split C++ zero-initialization from default initialization.
|
há 7 anos atrás |
 George Burgess IV
|
f6b7996bf6
Remove redundant casts. NFC
|
há 7 anos atrás |
|
Artem Dergachev
|
f23067b376
[analyzer] Self-debug: Dump dynamic type info and taint with the program state.
|
há 7 anos atrás |
|
Artem Dergachev
|
0b84c86812
[analyzer] Self-debug: Dump the core's internal state traits to the egraph.
|
há 7 anos atrás |
|
Artem Dergachev
|
bf0d414987
[analyzer] Self-debug: Dump environment frame-by-frame.
|
há 7 anos atrás |
|
George Karpenkov
|
4e0630a8ca
[analyzer] a few helper methods for getting and comparing symbolic values
|
há 7 anos atrás |
|
George Karpenkov
|
8d0e1351b8
[analyzer] Make isSubRegionOf reflexive
|
há 7 anos atrás |
|
George Karpenkov
|
8d1304a4c4
[analyzer] do not crash when trying to convert an APSInt to an unexpected type
|
há 7 anos atrás |
|
Artem Dergachev
|
7007fd8ccf
[analyzer] Fix immutable map factory lifetime for partial taint.
|
há 8 anos atrás |
|
Artem Dergachev
|
1f7848d7f2
[analyzer] Support partially tainted records.
|
há 8 anos atrás |
 Anna Zaks
|
85570ac22c
[analyzer] Add LocationContext as a parameter to checkRegionChanges
|
há 8 anos atrás |
 Dominic Chen
|
54fc8a05d1
[analyzer] Refactor recursive symbol reachability check to use symbol_iterator
|
há 8 anos atrás |
 Yaron Keren
|
dcbc03e446
Annotate dump() methods with LLVM_DUMP_METHOD, addressing Richard Smith r259192 post commit comment.
|
há 9 anos atrás |
|
Artem Dergachev
|
3e7cbba83d
[analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency.
|
há 9 anos atrás |
|
Gabor Horvath
|
5dc670a09e
[Static Analyzer] Properly clean up the dynamic type information for dead regions.
|
há 10 anos atrás |
 Ted Kremenek
|
99bb39afb4
[analyzer] Apply whitespace cleanups by Honggyu Kim.
|
há 10 anos atrás |
 Alexander Kornienko
|
8ca7705aa3
Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").
|
há 10 anos atrás |
|
Alexander Kornienko
|
ac58acc7f2
Fixed/added namespace ending comments using clang-tidy. NFC
|
há 10 anos atrás |
 David Blaikie
|
bb458b61c5
unique_ptrify the result of ConstraintManagerCreator and StoreManagerCreator
|
há 11 anos atrás |
 Craig Topper
|
1843a2095a
[C++11] Use 'nullptr'. StaticAnalyzer edition.
|
há 11 anos atrás |
 Alp Toker
|
0650de4fc1
Remove a whole lot of unused variables
|
há 11 anos atrás |
 Anton Yartsev
|
da8d37ce42
[analyzer] This patch removes passing around of const-invalidation vs regular-invalidation info by passing around a datastructure that maps regions and symbols to the type of invalidation they experience. This simplifies the code and would allow to associate more different invalidation types in the future.
|
há 12 anos atrás |
