#

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

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

Improve this page

Add a description, image, and links to the mcsema 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 mcsema topic, visit your repo's landing page and select "manage topics."