SoftSec-KAIST/MeanDiff-LifterBINSEC

Stars
1
Language
OCaml
License
GNU Lesser Genera...
Created about 7 years ago
Updated about 7 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

TikNib

Binary Code Similarity Analysis (BCSA) Tool

IMF

Inferred Model-based Fuzzer

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)

BotScreen

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

Smartian-Artifact

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

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

LLM1dFuzz

Systematic Bug Reproduction with Large Language Model (SECAI'24)

MeanDiff-ExternalXED

MeanDiff-LifterBAP

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

MeanDiff-DockerBaseImage