Synthesizing Best Abstract Transformers via Parallel Bit-Vector Optimization

Weiqi Wang, Peisen Yao, Hanrui Zuo +3

Abstract interpretation provides a principled foundation for constructing sound static analyses through systematic abstraction. A central challenge is synthesizing the best abstrac…