Symmaries: Automatic Inference of Formal Security Summaries for Java Programs

Narges Khakpour, Nicolas Berthier

We introduce a scalable, modular, and sound approach for automatically constructing formal security specifications for Java bytecode programs in the form of method summaries. A sum…