SoftSec-KAIST/MeanDiff-LifterBINSEC SoftSec-KAIST/MeanDiff-LifterBINSEC

  • Stars
    star
    1
  • Language
    OCaml
  • License
    GNU Lesser Genera...
  • Created almost 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SoftSec-KAIST/MeanDiff-LifterBINSEC
github

SoftSec-KAIST

Reviews

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

Repository Details

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

More Repositories

1

CodeAlchemist

CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)
F#
235
star
2

Fuzzing-Survey

The Art, Science, and Engineering of Fuzzing: A Survey
JavaScript
207
star
3

Eclipser

Grey-box Concolic Testing on Binary Code (ICSE '19)
F#
148
star
4

Smartian

Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
F#
139
star
5

BinKit

Binary Code Similarity Analysis (BCSA) Benchmark
Shell
132
star
6

TikNib

Binary Code Similarity Analysis (BCSA) Tool
Python
114
star
7

IMF

Inferred Model-based Fuzzer
Python
107
star
8

NTFuzz

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

MeanDiff

Testing Intermediate Representations for Binary Analysis (ASE '17)
F#
79
star
10

GitCTF

Git-based CTF
Python
60
star
11

Ankou

Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)
Go
54
star
12

Fuzzle

Fuzzle: Making a Puzzle for Fuzzers (ASE'22)
Python
40
star
13

Reassessor

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

BotScreen

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

Smartian-Artifact

Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.
Solidity
12
star
16

Eclipser-Artifact

Docker image for Eclipser
Shell
4
star
17

Fuzzle-artifact

Artifact evaluation repository for Fuzzle
C
3
star
18

MeanDiff-LifterPyVEX

Lift instruction to VEX, using PyVEX, and translate to MeanDiff's UIR
Python
2
star
19

Ankou-Benchmark

2
star
20

LLM1dFuzz

Systematic Bug Reproduction with Large Language Model (SECAI'24)
Shell
1
star
21

MeanDiff-ExternalXED

C
1
star
22

MeanDiff-LifterBAP

Lift instruction to BIL, using BAP, and translate to MeanDiff's UIR
OCaml
1
star
23

MeanDiff-DockerBaseImage

Shell
1
star