GitHub topics: symbolic-summaries
sdasgup3/PLDI20-Artifact-Evaluation
Artifact Evaluation, PLDI'20
Size: 710 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
Related Keywords
compiler-optimization
1
detecting-bugs
1
evaluation
1
formal-semantics
1
graph-matching
1
language-semantics
1
llvm-ir
1
mcsema
1
pldi
1
reproducing-bugs
1
reverse-engineering
1
symbolic-execution-engine
1
symbolic-summaries
1
translation-validation
1
validation
1
verification-conditions
1
verification-queries
1
virtualbox
1
x86-64
1