Saved in:
| Main Authors: | , , , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2505.13229 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915556393746432 |
|---|---|
| author | Wang, Zhongyi Chen, Mingshuai Lin, Tengjie Yang, Linyu Zhuo, Junhao Wang, Qiuye Qin, Shengchao Yi, Xiao Yin, Jianwei |
| author_facet | Wang, Zhongyi Chen, Mingshuai Lin, Tengjie Yang, Linyu Zhuo, Junhao Wang, Qiuye Qin, Shengchao Yi, Xiao Yin, Jianwei |
| contents | 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 (encoding abstraction strategies) as random variables subject to probability distributions over latticed parameter spaces. It incrementally refines the probability distributions based on accumulated intermediate results generated by repeatedly sampling and analyzing, thereby ultimately yielding a set of highly accurate abstraction strategies. Parf is implemented on top of Frama-C/Eva - an off-the-shelf open-source static analyzer for C programs. Parf provides a web-based user interface facilitating the intuitive configuration of static analyzers and visualization of dynamic distribution refinement of the abstraction strategies. It further supports the identification of dominant parameters in Frama-C/Eva analysis. Benchmark experiments and a case study demonstrate the competitive performance of Parf for analyzing complex, large-scale real-world programs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_13229 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis Wang, Zhongyi Chen, Mingshuai Lin, Tengjie Yang, Linyu Zhuo, Junhao Wang, Qiuye Qin, Shengchao Yi, Xiao Yin, Jianwei Software Engineering 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 (encoding abstraction strategies) as random variables subject to probability distributions over latticed parameter spaces. It incrementally refines the probability distributions based on accumulated intermediate results generated by repeatedly sampling and analyzing, thereby ultimately yielding a set of highly accurate abstraction strategies. Parf is implemented on top of Frama-C/Eva - an off-the-shelf open-source static analyzer for C programs. Parf provides a web-based user interface facilitating the intuitive configuration of static analyzers and visualization of dynamic distribution refinement of the abstraction strategies. It further supports the identification of dominant parameters in Frama-C/Eva analysis. Benchmark experiments and a case study demonstrate the competitive performance of Parf for analyzing complex, large-scale real-world programs. |
| title | PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis |
| topic | Software Engineering |
| url | https://arxiv.org/abs/2505.13229 |