Alternatives and similar repositories for FTSmartAudit

Users that are interested in FTSmartAudit are comparing it to the libraries listed below

• tintinweb / smart-contract-vulndb
  🍋 An open dataset containing smart contract audit issues from various sources.
  ☆235Updated last year
• ConsenSysDiligence / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆141Updated 3 months ago
• fuzzland / audit_gpt
  Fine-tuning GPT for Smart Contract Auditing
  ☆166Updated 2 years ago
• jeffchen006 / OpenTracer
  An Ethereum Dynamic Analyzer, a.k.a, open-sourced transaction explorer similar to Phalcon/EthTx/TxTracer
  ☆50Updated 6 months ago
• fuzzland / invgen
  Generate invariants for Foundry projects with LLM
  ☆104Updated last year
• Pr0pertyGPT / PropertyGPT
  ☆63Updated last year
• LLMAudit / LLMSmartAuditTool
  LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.
  ☆55Updated 5 months ago
• fuzzland / girlfriend
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆127Updated last year
• scabench-org / scabench
  A framework for evaluating AI audit agents using recent real-world data
  ☆97Updated 3 months ago
• SunWeb3Sec / damn-vulnerable-defi-v4-solutions
  Damn Vulnerable DeFi v4 Solutions
  ☆51Updated last year
• 0xDatapunk / Bridge-Bug-Tracker
  Hacks/Vulns/Audits Compilation
  ☆162Updated last year
• crytic / evm_cfg_builder
  EVM CFG recovery
  ☆126Updated 2 years ago
• SunWeb3Sec / DeFi-Security-Breach-RCA
  DeFi Security Breaches: Comprehensive Root Cause Analysis
  ☆81Updated 6 months ago
• kupl / VeriSmart-benchmarks
  ☆68Updated 3 years ago
• perimetersec / public-fuzzing-campaigns-list
  A list of public fuzzing campaigns
  ☆129Updated last week
• GuardianAudits / SolidityLab
  ☆47Updated last month
• sec3-service / Owl-LM
  Large Language Model for Blockchain
  ☆60Updated 2 years ago
• blocksecteam / blocksec_academy
  ☆163Updated 3 years ago
• jcsec-security / CosmWasm-audit-roadmap
  Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities
  ☆99Updated last year
• Certora / SecurityReports
  Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…
  ☆29Updated 2 weeks ago
• edb-rs / edb
  EDB: The Ethereum Project Debugger
  ☆352Updated 2 weeks ago
• ucsb-seclab / sailfish
  Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
  ☆60Updated 3 years ago
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆117Updated 5 months ago
• solodit / solodit_content
  ☆125Updated 3 weeks ago
• crytic / echidna-streaming-series
  A 6-part series on how to use Echidna on real-world codebases
  ☆111Updated 2 years ago
• az0mb13 / awesome-solana-security
  A curated list of awesome Solana security resources
  ☆67Updated last week
• christoftorres / ConFuzzius
  A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
  ☆102Updated 2 years ago
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆203Updated 8 months ago
• andstor / verified-smart-contracts
  Verified Ethereum Smart Contract dataset
  ☆29Updated 2 years ago
• Zellic / Masamune
  A smart contract security search utility
  ☆76Updated last year