#

mcsema

Here are 5 public repositories matching this topic...

meton-robean / CFG_DFG_generator

generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG

llvm mcsema static-program-analysis cfg-dfg-generator

Updated Sep 16, 2019
C++

lifting-bits / mcsema_blog_post

Lifting and Diversifying Binaries (blog post accompanying materials)

blog-post mcsema binary-lifting

Updated Oct 3, 2019
Shell

lifting-bits / abigen

Generate McSema ABI libraries from Header Files

mcsema

Updated Jan 16, 2019
C++

sdasgup3 / compd_cache

x86-64 llvm z3 instruction-semantics semantic-equivalence mcsema

Updated Dec 16, 2019

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 mcsema topic, visit your repo's landing page and select "manage topics."