abstract interpretation

Parf: An Adaptive Abstraction-Strategy Tuner for Static Analysis
We launch Parf – a toolkit for adaptively tuning abstraction strategies of static program analyzers in a fully automated manner. …
2nd Prize@ChinaSoft'24
Parf: An Adaptive Abstraction-Strategy Tuner for Static Analysis
Parf: Adaptive Parameter Refining for Abstract Interpretation
Abstract interpretation is a key formal method for the static analysis of programs. The core challenge in applying abstract …
PDF Cite Code Slides Video DOI 2nd Prize@ChinaSoft'24
Parf: Adaptive Parameter Refining for Abstract Interpretation