summaryrefslogtreecommitdiff
path: root/src/analysis
Commit message (Expand)AuthorAgeFilesLines
* [NFC] Refactor LocalGraph's core getSets API (#6877)Alon Zakai2024-08-281-5/+5
* [threads] Shared basic heap types (#6667)Thomas Lively2024-06-191-9/+9
* [NFC] Add explicit deduction guides for CTAD (#6094)Thomas Lively2023-11-096-0/+19
* Update CFGWalker to generate consolidated exit blocks (#6079)Thomas Lively2023-11-062-0/+19
* [analysis] Make it easier to implement a transfer function (#6077)Thomas Lively2023-11-026-190/+28
* [analysis] Allow joining a single vector element efficiently (#6071)Thomas Lively2023-11-023-40/+68
* [analysis] Simplify the stack lattice (#6069)Thomas Lively2023-11-021-166/+88
* [analysis] Add a "Shared" lattice to represent shared state (#6067)Thomas Lively2023-11-021-0/+126
* [analysis][NFC] Refactor lattice unit tests (#6065)Thomas Lively2023-11-011-0/+7
* [analysis] Add a lattice for value types (#6064)Thomas Lively2023-11-011-0/+82
* [analysis] Add a tuple lattice (#6062)Thomas Lively2023-10-311-0/+147
* [analysis] Implement a vector lattice (#6058)Thomas Lively2023-10-312-0/+139
* [analysis] Implement an array lattice (#6057)Thomas Lively2023-10-311-0/+122
* [analysis][NFC] Rename parameters to join and meet methods (#6056)Thomas Lively2023-10-308-64/+64
* [analysis] Improve lattice fuzzer (#6050)Thomas Lively2023-10-272-1/+2
* [analysis] Implement a Lift lattice (#6040)Thomas Lively2023-10-253-0/+88
* [analysis] Implement Flat lattice (#6039)Thomas Lively2023-10-251-0/+93
* [analysis] Add a FullLattice concept and Inverted lattice (#6038)Thomas Lively2023-10-254-4/+89
* [analysis] Implement an Int lattice (#6037)Thomas Lively2023-10-251-0/+63
* [analysis] Implement a Bool lattice (#6036)Thomas Lively2023-10-251-0/+47
* [analysis][NFC] Rename `makeLeastUpperBound` to `join` and move it to lattice...Thomas Lively2023-10-255-64/+70
* [analysis] Simplify core analysis code (#6034)Thomas Lively2023-10-257-138/+75
* Add missing includes (#6049)Thomas Lively2023-10-252-0/+3
* [analysis][NFC] Create a TransferFunction concept (#6033)Thomas Lively2023-10-206-88/+115
* [analysis][NFC] Move the stack lattice to analysis/lattices (#6030)Thomas Lively2023-10-201-60/+72
* [analysis][NFC] Remove unused sign-lattice.cpp (#6029)Thomas Lively2023-10-202-46/+0
* [analysis][NFC] Move powerset lattices to their own header (#6028)Thomas Lively2023-10-205-139/+199
* [analysis][NFC] Use C++20 concepts for Lattice (#6027)Thomas Lively2023-10-186-90/+80
* Lattice to model Stack (#5849)Bruce He2023-08-033-7/+261
* Convert lattice compare function to non-static (#5848)Bruce He2023-07-281-4/+5
* Add a Fuzzer for Lattice and Transfer Function Properties (#5831)Bruce He2023-07-261-0/+12
* Remove incorrect usages of the term "setses" (#5841)Bruce He2023-07-261-20/+20
* Static Analysis: Add an API to get the block index of an expression (#5822)Alon Zakai2023-07-202-0/+32
* Reaching Definitions Analysis for LocalGraph (#5817)Bruce He2023-07-198-67/+362
* Small fixes to lattice and analyzer (#5815)Bruce He2023-07-132-9/+9
* Generalize Finite Powerset Lattice to Any Given Type (#5800)Bruce He2023-07-063-21/+72
* Make the Transfer Function a Generic, Interchangeable Type for the Monotone A...Bruce He2023-07-064-136/+218
* Dynamic Sized Bitvector Powerset Lattice for Static Analysis (#5784)Bruce He2023-06-295-171/+234
* Liveness Analysis Proof of Concept (#5771)Bruce He2023-06-237-0/+410
* avoid incomplete type in a vector (#5730)walkingeyerobot2023-05-171-17/+17
* [analysis] Add a new iterable CFG utility (#5712)Thomas Lively2023-05-124-0/+331
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-04 03:16:28 +0000