Repositories list

• Smartian

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

  fsharpfuzzingstatic-analyzer+ 2

  fsharpfuzzingstatic-analyzerfuzzersmart-contract-testing

  F#

  •

  MIT License

  •2626 forks•157157 stars•55 issues•11 pull request•Updated Mar 18, 2026Mar 18, 2026

• Fuzzing-Survey

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

  visualizationfuzzingfuzzer+ 1

  visualizationfuzzingfuzzergenealogy-database

  JavaScript

  •

  GNU General Public License v3.0

  •2424 forks•230230 stars•11 issue•22 pull requests•Updated Jan 3, 2026Jan 3, 2026

• EVMpress-artifact

  Public
  Python

  •00 forks•33 stars•00 issues•00 pull requests•Updated Sep 29, 2025Sep 29, 2025

• EVMpress

  Public
  F#

  •11 fork•33 stars•00 issues•00 pull requests•Updated Sep 29, 2025Sep 29, 2025

• TikNib

  Public
  Binary Code Similarity Analysis (BCSA) Tool

  binary-analysissimilarity-analysis

  binary-analysissimilarity-analysis

  Python

  •

  MIT License

  •2626 forks•125125 stars•33 issues•00 pull requests•Updated May 18, 2025May 18, 2025

• SURI

  Public
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)

  F#

  •11 fork•2121 stars•00 issues•00 pull requests•Updated Apr 1, 2025Apr 1, 2025

• Reassessor

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

  binary-analysissoftware-testingrecompile+ 1

  binary-analysissoftware-testingrecompilereassembler

  Python

  •

  MIT License

  •11 fork•3434 stars•00 issues•00 pull requests•Updated Jan 27, 2025Jan 27, 2025

• Smartian-Artifact

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

  Solidity

  •

  MIT License

  •99 forks•1717 stars•11 issue•00 pull requests•Updated Jan 27, 2025Jan 27, 2025

• LLM1dFuzz

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

  Shell

  •22 forks•55 stars•00 issues•00 pull requests•Updated Aug 26, 2024Aug 26, 2024

• AsFuzzer

  Public
  AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference (ISSTA'24)

  Python

  •00 forks•11 star•00 issues•00 pull requests•Updated Aug 1, 2024Aug 1, 2024

• Smartian-nethermind

  Public
  Our flagship .NET Core Ethereum client for Linux, Windows, MacOs - full and actively developed.

  C#

  •

  Other

  •676676 forks•33 stars•00 issues•00 pull requests•Updated May 6, 2024May 6, 2024

• Smartian-Dirichlet

  Public
  Dirichlet .NET Number Theory Library

  C#

  •

  Other

  •77 forks•11 star•00 issues•00 pull requests•Updated Mar 15, 2024Mar 15, 2024

• Fuzzle

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

  benchmarkfuzzing

  benchmarkfuzzing

  Python

  •

  MIT License

  •88 forks•4444 stars•00 issues•00 pull requests•Updated Mar 3, 2024Mar 3, 2024

• BinKit

  Public
  Binary Code Similarity Analysis (BCSA) Benchmark

  benchmarkbinary-analysis

  benchmarkbinary-analysis

  Shell

  •

  MIT License

  •2727 forks•175175 stars•44 issues•00 pull requests•Updated Dec 15, 2023Dec 15, 2023

• BotScreen

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

  aimbotanticheatcs-go

  aimbotanticheatcs-go

  Python

  •

  MIT License

  •11 fork•1414 stars•00 issues•00 pull requests•Updated Aug 25, 2023Aug 25, 2023

• MeanDiff-LifterPyVEX

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

  Python

  •

  MIT License

  •22 forks•22 stars•00 issues•00 pull requests•Updated Dec 27, 2022Dec 27, 2022

• Fuzzle-artifact

  Public
  Artifact evaluation repository for Fuzzle

  C

  •

  MIT License

  •00 forks•33 stars•00 issues•00 pull requests•Updated Dec 27, 2022Dec 27, 2022

• IMF

  Public
  Inferred Model-based Fuzzer

  macosfuzzerkernel-fuzzing

  macosfuzzerkernel-fuzzing

  Python

  •

  MIT License

  •2323 forks•111111 stars•11 issue•11 pull request•Updated Jan 22, 2022Jan 22, 2022

• NTFuzz

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

  fsharpwindows-kernelfuzzing+ 4

  fsharpwindows-kernelfuzzingbinary-analysisfuzzerb2r2kernel-fuzzer

  F#

  •

  MIT License

  •2525 forks•110110 stars•66 issues•00 pull requests•Updated Oct 21, 2021Oct 21, 2021

• Eclipser

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

  fsharpfuzzingfuzzer+ 2

  fsharpfuzzingfuzzertestcase-generatorconcolic-testing

  F#

  •

  MIT License

  •1616 forks•156156 stars•33 issues•00 pull requests•Updated Oct 4, 2021Oct 4, 2021

• Ankou

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

  fuzzingfuzzer

  fuzzingfuzzer

  Go

  •

  MIT License

  •1212 forks•5454 stars•00 issues•00 pull requests•Updated Sep 21, 2020Sep 21, 2020

• Ankou-Benchmark

  Public
  11 fork•22 stars•00 issues•00 pull requests•Updated Feb 19, 2020Feb 19, 2020

• CodeAlchemist

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

  fsharpcode-generationfuzzer+ 1

  fsharpcode-generationfuzzerjs-fuzzing

  F#

  •

  MIT License

  •4141 forks•242242 stars•11 issue•00 pull requests•Updated Nov 11, 2019Nov 11, 2019

• Eclipser-Artifact

  Public
  Docker image for Eclipser

  Shell

  •11 fork•44 stars•00 issues•00 pull requests•Updated Jan 28, 2019Jan 28, 2019

• GitCTF

  Public
  Git-based CTF

  ctf

  ctf

  Python

  •

  Apache License 2.0

  •99 forks•6363 stars•00 issues•00 pull requests•Updated Dec 5, 2018Dec 5, 2018

• MeanDiff

  Public
  Testing Intermediate Representations for Binary Analysis (ASE '17)

  fsharpsymbolic-executionbinary-analysis+ 2

  fsharpsymbolic-executionbinary-analysisdifferential-testingsemantic-bugs

  F#

  •

  MIT License

  •99 forks•8282 stars•2929 issues•00 pull requests•Updated Dec 5, 2018Dec 5, 2018

• MeanDiff-LifterBINSEC

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

  OCaml

  •

  GNU Lesser General Public License v2.1

  •11 fork•11 star•00 issues•00 pull requests•Updated Dec 5, 2017Dec 5, 2017

• MeanDiff-LifterBAP

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

  OCaml

  •11 fork•11 star•00 issues•00 pull requests•Updated Dec 5, 2017Dec 5, 2017

• MeanDiff-ExternalXED

  Public
  C

  •22 forks•11 star•00 issues•00 pull requests•Updated Dec 5, 2017Dec 5, 2017

• MeanDiff-DockerBaseImage

  Public
  Shell

  •11 fork•11 star•00 issues•00 pull requests•Updated Dec 5, 2017Dec 5, 2017