Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-Sensitivity Optimizations

The IFDS (Inter-procedural, Finite, Distributive, Subset) algorithms are popularly used to solve a wide range of analysis problems. In particular, many interesting problems are formulated as multi-solver IFDS problems which expect multiple interleaved IFDS solvers to work together. For instance, tai...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings / International Symposium on Code Generation and Optimization s. 296 - 307
Hlavní autoři:	Li, Haofeng, Lu, Jie, Meng, Haining, Cao, Liqing, Li, Lian, Gao, Lin
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 02.03.2024
Témata:	Boosting Codes multi-solver IFDS Optimization Scalability taint analysis
ISSN:	2643-2838
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!