#

symbolic-summaries

Here is 1 public repository matching this topic...

sdasgup3 / PLDI20-Artifact-Evaluation

Artifact Evaluation, PLDI'20

validation virtualbox x86-64 reverse-engineering evaluation formal-semantics symbolic-execution-engine compiler-optimization graph-matching llvm-ir pldi verification-conditions language-semantics translation-validation mcsema symbolic-summaries verification-queries detecting-bugs reproducing-bugs

Updated Apr 18, 2020

Improve this page

Add a description, image, and links to the symbolic-summaries topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the symbolic-summaries topic, visit your repo's landing page and select "manage topics."