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...

Full description

Bibliographic Details

Published in:	Proceedings / International Symposium on Code Generation and Optimization pp. 296 - 307
Main Authors:	Li, Haofeng, Lu, Jie, Meng, Haining, Cao, Liqing, Li, Lian, Gao, Lin
Format:	Conference Proceeding
Language:	English
Published:	IEEE 02.03.2024
Subjects:	Boosting Codes multi-solver IFDS Optimization Scalability taint analysis
ISSN:	2643-2838
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!