Runtime verification tool for Solidity smart contracts.
☆34Mar 29, 2023Updated 3 years ago
Alternatives and similar repositories for contractLarva
Users that are interested in contractLarva are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A control-flow graph builder for Solidity smart contracts.☆28Dec 4, 2019Updated 6 years ago
- ☆20Nov 11, 2019Updated 6 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- ☆13May 27, 2019Updated 7 years ago
- ☆17Feb 19, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Solythesis: Securing Smart Contract with Runtime Validation☆13Mar 3, 2023Updated 3 years ago
- ☆15Apr 26, 2021Updated 5 years ago
- Everything related to blockchain security☆11Sep 4, 2019Updated 7 years ago
- ☆29Dec 28, 2024Updated last year
- A dynamic checker for the ECF property incorporated into geth☆15Oct 27, 2017Updated 9 years ago
- ☆15Jul 29, 2026Updated 3 months ago
- A framework for high-level Analysis of Ethereum Bytecode☆22Updated this week
- Tutorial for building a fully onchain application on Bitcoin, exemplified using Tic-tac-toe.☆14Apr 8, 2024Updated 2 years ago
- A hardware model checker for hyperproperties☆18Jun 14, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆139Dec 7, 2022Updated 3 years ago
- Data race skeletons from Uber's Go codebase for research in concurrency bug detection and analysis.☆11May 27, 2025Updated last year
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆27Sep 16, 2022Updated 4 years ago
- Static program analysis framework for Ethereum smart contract bytecode.☆167Apr 13, 2026Updated 6 months ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆32Jan 24, 2023Updated 3 years ago
- A toolkit for designing and implementing LTL-based task specifications.☆56Oct 11, 2016Updated 10 years ago
- Synthesis Format Conversion Tool☆28Nov 18, 2025Updated 11 months ago
- SolidityCheck is a static code problem detection tool based on regular expressions and program instrumentation, which is developed for Et…☆24Jun 28, 2021Updated 5 years ago
- ☆21May 11, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A fast ethereum transaction fuzzer☆26Apr 2, 2019Updated 7 years ago
- Formal Solidity semantics in Lean 4 — the engine behind the Lean Semantics divergence challenge.☆29Updated this week
- ☆135Jul 27, 2021Updated 5 years ago
- ☆10Sep 24, 2019Updated 7 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 4 years ago
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆10Jul 6, 2023Updated 3 years ago
- Dynamic Vulnerability Discovery for Smart Contracts☆30Jul 12, 2023Updated 3 years ago
- Experiment egg for taichi☆11Dec 29, 2022Updated 3 years ago
- SoliDiffy: AST-Based Code Differencing Tool for Solidity Smart Contracts☆21Sep 19, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Repository of benchmarks to evaluate Solidity Smart contract analysis tools☆17Jun 23, 2020Updated 6 years ago
- ☆23Jun 12, 2023Updated 3 years ago
- GUI for running the SPIN model checker☆20Nov 22, 2022Updated 3 years ago
- ☆15Jun 10, 2025Updated last year
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- Ranking LLM-Generated Loop Invariants for Program Verification.☆13Aug 20, 2024Updated 2 years ago
- A Sequence Learning Approach to Detecting Vulnerabilities☆49Nov 17, 2021Updated 4 years ago