Yingtong-liu-certik

Yingtong-liu-certik's Stars

• SmartContractSecurity/SWC-registry

  Smart Contract Weakness Classification and Test Cases

  854169

• patrickd-/solidity-fuzzing-boilerplate

  Template repository intended to ease fuzzing components of Solidity projects, especially libraries.

  Language:Solidity20826

• gongbell/ContractFuzzer

  The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)

  Language:Go23285

• eth-sri/ilf

  AI based fuzzer based on imitation learning

  Language:Python15032

• SoftSec-KAIST/Smartian

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

  Language:F#14722

• crytic/building-secure-contracts

  Guidelines and training material to write secure smart contracts

  Language:Solidity2.2k348

• foundry-rs/foundry

  Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

  Language:Rust8.4k1.8k

• ntu-SRSLab/vultron

  Dynamic Vulnerability Discovery for Smart Contracts

  Language:JavaScript278

• duytai/sFuzz

  Language:C++9528

• 0xalpharush/fuzzing-like-a-degen

  Barebones Solidity smart contract fuzzer

  Language:Python936

• ChainSecurity/ChainFuzz

  A fast ethereum transaction fuzzer

  Language:Go251

• Consensys/diligence-fuzzing

  Language:Python3410

• crytic/slither

  Static Analyzer for Solidity and Vyper

  Language:Python5.4k976

• eth-brownie/brownie

  A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine.

  Language:Python2.7k551

• dapphub/dapptools

  Dapp, Seth, Hevm, and more

  Language:Haskell2.1k326