SoftSec-KAIST/Smartian-Artifact

Stars
12
Rank 1,597,372 (Top 32 %)
Language
Solidity
License
MIT License
Created about 3 years ago
Updated 5 months ago

SoftSec-KAIST/Smartian-Artifact

SoftSec-KAIST

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

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

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)

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-LifterBINSEC

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

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