Using program synthesis for program analysis
In this paper, we propose a unified framework for designing static analysers based on program synthesis. For this purpose, we identify a fragment of second-order logic with restricted quantification that is expressive enough to capture numerous static analysis problems (e.g. safety proving, bug find...
| Główni autorzy: | , , |
|---|---|
| Kolejni autorzy: | |
| Format: | Conference item |
| Wydane: |
Springer
2015
|