runtimeverification / kontrol

Related projects ⓘ

Alternatives and complementary repositories for kontrol

• crytic / roundme
  ☆88Updated 5 months ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆50Updated 3 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
  ☆57Updated 3 years ago
• crytic / secureum-medusa
  ☆43Updated last year
• moodlezoup / forge-deep
  Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework
  ☆65Updated last year
• 0xalpharush / static-analysis-and-compilers
  Eclectic notes on static analysis and compilers
  ☆47Updated 2 years ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆108Updated 2 years ago
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated last year
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆49Updated 2 years ago
• Philogy / py-huff
  ☆47Updated 2 months ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆58Updated last year
• JoranHonig / awesome-web3-ai-security
  ☆35Updated 5 months ago
• chainlight-io / publications
  ☆83Updated 4 months ago
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆50Updated last week
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated last year
• Dedaub / audits
  Repository containing past audit reports
  ☆53Updated 11 months ago
• aviggiano / fuzzer-evaluation
  Evaluating fuzzer effectiveness
  ☆21Updated last year
• ChmielewskiKamil / foundry2echidna
  CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.
  ☆14Updated last year
• morpho-labs / smart-contract-challenges
  Challenges to test your smart contract skills.
  ☆58Updated last year
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆85Updated 10 months ago
• N0xMare / foundry-invariants
  ☆65Updated last year
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆41Updated 2 years ago
• 0xJCN / Damn-Vulnerable-DeFi-V3-CTF
  Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff
  ☆25Updated last year
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆39Updated 2 years ago
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆33Updated 2 years ago
• 0xMacro / gas-numbers-every-solidity-dev-should-know
  ☆54Updated 2 years ago
• exp-table / hyena
  Pack data tightly together and save space.
  ☆71Updated last year
• hrkrshnn / notes
  ☆50Updated last year
• spearbit-audits / audit-template
  ☆35Updated last year
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆93Updated 5 months ago