Pr0pertyGPT / PropertyGPT

Related projects ⓘ

Alternatives and complementary repositories for PropertyGPT

• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆92Updated 2 years ago
• ChainSecurity / ChainFuzz
  A fast ethereum transaction fuzzer
  ☆25Updated 5 years ago
• Consensys / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆122Updated 4 months ago
• JoranHonig / awesome-web3-ai-security
  ☆35Updated 5 months ago
• Secure3Audit / Secure3Academy
  ☆57Updated last month
• crytic / optik
  Optik is a set of symbolic execution tools that assist smart-contract fuzzers
  ☆89Updated 2 months ago
• Decurity / tx-coverage
  Reveal unused code of a live smart contract by collecting coverage from historical transactions.
  ☆50Updated 6 months ago
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆89Updated 4 months ago
• kupl / VeriSmart-benchmarks
  ☆61Updated 2 years ago
• Zellic / Masamune
  A smart contract security search utility
  ☆67Updated this week
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆70Updated 7 months ago
• Consensys / diligence-fuzzing
  ☆34Updated 4 months ago
• ethpwn / ethpwn
  ethpwn - the Swiss Army Knife for Smart Contract Hacking
  ☆45Updated this week
• ucsb-seclab / greed
  A symbolic execution engine for EVM smart contract binaries.
  ☆75Updated last week
• uni-due-syssec / eth-reentrancy-attack-patterns
  Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"
  ☆109Updated 5 years ago
• fuzzland / girlfriend
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆109Updated 2 months ago
• nveloso / conkas
  Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
  ☆70Updated last year
• tintinweb / solgrep
  🧠 A scriptable semantic grep utility for solidity
  ☆143Updated 3 months ago
• fuzzland / writeup
  CTF Writeups
  ☆36Updated 11 months ago
• franck44 / evm-dis
  An EVM bytecode disassembler/assembler
  ☆31Updated this week
• crytic / echidna-parade
  ☆28Updated last year
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆165Updated 2 months ago
• Tomosuke0930 / Web3_Audit_Reports
  ☆14Updated 2 years ago
• tintinweb / smart-contract-vulndb
  🍋 An open dataset containing smart contract audit issues from various sources.
  ☆187Updated 7 months ago
• Web3SecurityDAO / website
  ☆19Updated last year
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆48Updated last year
• chainlight-io / publications
  ☆82Updated 4 months ago
• Messi-Q / IR-Fuzz
  Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).
  ☆46Updated last year
• crytic / roundme
  ☆88Updated 5 months ago
• immunefi-team / hack-analysis-pocs
  ☆38Updated 6 months ago