projects
Projects
Externalization of concretization and state merging policies in symbolic execution
August 2024 - November 2025
Tool: AVD symbolic executor
Implemented a modified version of the CSML language for concretization policies
Created a new language based on CSML for the specification of merge policies, MCML
Modified AVD, a symbolic engine created at Técnico, adding support for these languages
Created a VSCode extension that supports linting and syntax highlighting for these languages
Created a testing framework for symbolic execution engines