#

reproducing-bugs

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

Add this topic to your repo

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