TY  - RPRT
TI  - DFI: An Interprocedural Value-Flow Analysis Framework that Scales to Large Codebases
AU  - Min-Yih Hsu
AU  - Felicitas Hetzelt
AU  - Michael Franz
PY  - 2022
UR  - https://arxiv.org/abs/2209.02638
ID  - 2209.02638
ER  -