PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis

Zhongyi Wang, Mingshuai Chen, Tengjie Lin +6

We launch Parf - a toolkit for adaptively tuning abstraction strategies of static program analyzers in a fully automated manner. Parf models various types of external parameters (e…