 Csaba Dabis
|
eefe06446c
[analyzer] CastValueChecker: Store the dynamic types and casts
|
6 年之前 |
|
Csaba Dabis
|
8004395d01
[analyzer] print() JSONify: Program state implementation
|
6 年之前 |
|
Csaba Dabis
|
d3acf7b44b
[analyzer] print() JSONify: Constructing objects implementation
|
6 年之前 |
|
Csaba Dabis
|
70b9e2592c
[analyzer] print() JSONify: Type information implementation
|
6 年之前 |
|
Csaba Dabis
|
2453ceca55
[analyzer] print() JSONify: Constraints implementation
|
6 年之前 |
|
Csaba Dabis
|
74f2f79ab5
[analyzer] print() JSONify: Environment implementation
|
6 年之前 |
|
Csaba Dabis
|
754813c473
[analyzer] print() JSONify: Store implementation
|
6 年之前 |
 Artem Dergachev
|
8ac513b1f1
[analyzer] Move taint API from ProgramState to a separate header. NFC.
|
6 年之前 |
 Chandler Carruth
|
324f918438
Update the file headers across all of the LLVM projects in the monorepo
|
6 年之前 |
 Gabor Horvath
|
b1e9e90f5d
[analyzer] Assume that we always have a SubEngine available
|
6 年之前 |
|
Artem Dergachev
|
a55b8668b2
[AST] [analyzer] NFC: Reuse code in stable ID dumping methods.
|
6 年之前 |
 George Karpenkov
|
792888ae6c
[analyzer] [NFC] Change scanReachableSymbols to use ranges
|
6 年之前 |
|
George Karpenkov
|
b0be6606a0
[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter
|
7 年之前 |
|
George Karpenkov
|
7d1cca4458
[analyzer] Dump reproducible identifiers for statements in exploded graph in store
|
7 年之前 |
|
George Karpenkov
|
cc7b7584b5
[analyzer] Dump a reproducible, deterministic ID of program state to exploded graph
|
7 年之前 |
|
George Karpenkov
|
359b2bfbb5
[analyzer] [NFC] Simplify some visitors by giving a convenient getter from state to analysis manager
|
7 年之前 |
|
Artem Dergachev
|
e79c5536b0
[analyzer] Use sufficiently large types for index bounds calculation.
|
7 年之前 |
|
Artem Dergachev
|
4f25981ffc
[analyzer] pr18953: Split C++ zero-initialization from default initialization.
|
7 年之前 |
 George Burgess IV
|
f6b7996bf6
Remove redundant casts. NFC
|
7 年之前 |
|
Artem Dergachev
|
f23067b376
[analyzer] Self-debug: Dump dynamic type info and taint with the program state.
|
7 年之前 |
|
Artem Dergachev
|
0b84c86812
[analyzer] Self-debug: Dump the core's internal state traits to the egraph.
|
7 年之前 |
|
Artem Dergachev
|
bf0d414987
[analyzer] Self-debug: Dump environment frame-by-frame.
|
7 年之前 |
|
George Karpenkov
|
4e0630a8ca
[analyzer] a few helper methods for getting and comparing symbolic values
|
7 年之前 |
|
George Karpenkov
|
8d0e1351b8
[analyzer] Make isSubRegionOf reflexive
|
7 年之前 |
|
George Karpenkov
|
8d1304a4c4
[analyzer] do not crash when trying to convert an APSInt to an unexpected type
|
7 年之前 |
|
Artem Dergachev
|
7007fd8ccf
[analyzer] Fix immutable map factory lifetime for partial taint.
|
8 年之前 |
|
Artem Dergachev
|
1f7848d7f2
[analyzer] Support partially tainted records.
|
8 年之前 |
 Anna Zaks
|
85570ac22c
[analyzer] Add LocationContext as a parameter to checkRegionChanges
|
8 年之前 |
 Dominic Chen
|
54fc8a05d1
[analyzer] Refactor recursive symbol reachability check to use symbol_iterator
|
8 年之前 |
 Yaron Keren
|
dcbc03e446
Annotate dump() methods with LLVM_DUMP_METHOD, addressing Richard Smith r259192 post commit comment.
|
9 年之前 |
