Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode
No abstract available.
Related papers
- A Type System for Object Initialization in the Java Bytecode Language OOPSLA 1998
- The type system for object initializatiion in the Jave bytecode language TOPLAS 1999
- Decomposing bytecode verification by abstract interpretation TOPLAS 2008
- JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution) TACAS 2019
- JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode CAV 2018
- Sound Symbolic Execution via Abstract Interpretation and Its Application to Security VMCAI 2023
- Java Bytecode Verification by Model Checking CAV 1999
- A machine-checked model for a Java-like language, virtual machine, and compiler TOPLAS 2006