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 …

Program synthesis is the automated construction of software from a specification. While
program synthesis is undecidable in general, we show that synthesising finite-state …

Refactorings are structured changes to existing software that leave its externally observable
behaviour unchanged. The intent is to improve readability, performance or other non …

Fundamentally, every static program analyser searches for a proof through a combination of
heuristics providing candidate solutions and a candidate validation technique. Essentially …

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 …