summaryrefslogtreecommitdiff
path: root/src/analysis/cfg.h
Commit message (Expand)AuthorAgeFilesLines
* Update CFGWalker to generate consolidated exit blocks (#6079)Thomas Lively2023-11-061-0/+5
* [analysis] Make it easier to implement a transfer function (#6077)Thomas Lively2023-11-021-8/+4
* [analysis] Simplify core analysis code (#6034)Thomas Lively2023-10-251-0/+2
* Static Analysis: Add an API to get the block index of an expression (#5822)Alon Zakai2023-07-201-0/+24
* Reaching Definitions Analysis for LocalGraph (#5817)Bruce He2023-07-191-4/+3
* Make the Transfer Function a Generic, Interchangeable Type for the Monotone A...Bruce He2023-07-061-0/+4
* Liveness Analysis Proof of Concept (#5771)Bruce He2023-06-231-0/+6
* avoid incomplete type in a vector (#5730)walkingeyerobot2023-05-171-17/+17
* [analysis] Add a new iterable CFG utility (#5712)Thomas Lively2023-05-121-0/+79