SoftSec-KAIST/MeanDiff-LifterBINSEC

Stars
1
Language
OCaml
License
GNU Lesser Genera...
Created over 6 years ago
Updated over 6 years ago

SoftSec-KAIST/MeanDiff-LifterBINSEC

SoftSec-KAIST

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Lift instruction to DBA, using BINSEC, and translate to MeanDiff's UIR

CodeAlchemist

CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)

Fuzzing-Survey

The Art, Science, and Engineering of Fuzzing: A Survey

Eclipser

Grey-box Concolic Testing on Binary Code (ICSE '19)

Smartian

Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)

BinKit

Binary Code Similarity Analysis (BCSA) Benchmark

IMF

Inferred Model-based Fuzzer

TikNib

Binary Code Similarity Analysis (BCSA) Tool

NTFuzz

NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)

MeanDiff

Testing Intermediate Representations for Binary Analysis (ASE '17)

GitCTF

Ankou

Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)

Fuzzle

Fuzzle: Making a Puzzle for Fuzzers (ASE'22)

Reassessor

Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)

Smartian-Artifact

Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.

BotScreen

BotScreen: Trust Everybody, but Cut the Aimbots Yourself (USENIX Security '23)

Eclipser-Artifact

Docker image for Eclipser

Fuzzle-artifact

Artifact evaluation repository for Fuzzle

MeanDiff-LifterPyVEX

Lift instruction to VEX, using PyVEX, and translate to MeanDiff's UIR

Ankou-Benchmark

MeanDiff-ExternalXED

MeanDiff-LifterBAP

Lift instruction to BIL, using BAP, and translate to MeanDiff's UIR

MeanDiff-DockerBaseImage