Alternatives and similar repositories for kontrol:

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

• crytic / roundme
  ☆91Updated 9 months ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆53Updated 2 weeks ago
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆177Updated 5 months ago
• Zellic / Masamune
  A smart contract security search utility
  ☆73Updated 2 months ago
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆103Updated 2 months ago
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆58Updated 3 years ago
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆53Updated 2 weeks ago
• deliriusz / turbopoc
  easy POC template generation from the command line
  ☆76Updated 6 months ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆58Updated last year
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated 6 months ago
• JoranHonig / awesome-web3-ai-security
  ☆37Updated 9 months ago
• danhper / eclair
  A Solidity interpreter
  ☆66Updated 3 weeks ago
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated last year
• Dedaub / audits
  Repository containing past audit reports
  ☆53Updated last year
• pcaversaccio / malleable-signatures
  This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…
  ☆112Updated this week
• crytic / secureum-medusa
  ☆45Updated last year
• ChmielewskiKamil / foundry2echidna
  CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.
  ☆14Updated 2 years ago
• noxx3xxon / evm-by-example
  ☆76Updated 2 years ago
• 0xkarmacoma / halmos-sandbox
  A forkable template repo for easily writing and testing toy contracts
  ☆59Updated 2 weeks ago
• AmadiMichael / Huff-Console
  Console.log utility for debugging huff contracts
  ☆66Updated last year
• spearbit-audits / audit-template
  ☆35Updated last year
• 0xKitsune / sstan
  Solidity static analyzer
  ☆83Updated last year
• electisec / reports
  Content for Electisec Reports Site
  ☆27Updated this week
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆94Updated last year
• 0xJCN / Damn-Vulnerable-DeFi-V3-CTF
  Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff
  ☆25Updated 2 years ago
• aviggiano / solidity-audit-report-generator
  Solidity Audit Report Generator
  ☆85Updated last year
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆42Updated last year
• statemindio / vyzzer
  Vyper language fuzzing framework
  ☆15Updated 3 months ago
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆41Updated 2 years ago