Home

Jump to bottom

Stefan edited this page Sep 21, 2016 · 4 revisions

Welcome to the oak wiki!

This wiki provides a more detailed description of this project:

A brief introduction to symbolic execution
Our evaluation goals and approach including analysis results
Description of boundaries between symbolic and concrete execution (dynamic features)