Runtime verification tool for Solidity smart contracts.
☆35Mar 29, 2023Updated 2 years ago
Alternatives and similar repositories for contractLarva
Users that are interested in contractLarva are comparing it to the libraries listed below
Sorting:
- A control-flow graph builder for Solidity smart contracts.☆28Dec 4, 2019Updated 6 years ago
- ☆20Nov 11, 2019Updated 6 years ago
- RV-Monitor core system code☆16Apr 26, 2021Updated 4 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 6 years ago
- Solythesis: Securing Smart Contract with Runtime Validation☆12Mar 3, 2023Updated 2 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Nov 3, 2024Updated last year
- ☆17Feb 19, 2025Updated last year
- ☆15Dec 30, 2025Updated 2 months ago
- ☆30Dec 28, 2024Updated last year
- Repository of benchmarks to evaluate Solidity Smart contract analysis tools☆16Jun 23, 2020Updated 5 years ago
- A framework for high-level Analysis of Ethereum Bytecode☆22Jan 23, 2026Updated last month
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- Everything related to blockchain security☆11Sep 4, 2019Updated 6 years ago
- Bitcoin Cash developer resources☆18Nov 6, 2018Updated 7 years ago
- ☆22Feb 10, 2022Updated 4 years ago
- Some Lustre program examples☆22Jul 8, 2025Updated 7 months ago
- Melfina is a proof-of-thought smart contract built on the Ethereum blockchain.☆18Oct 17, 2021Updated 4 years ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆137Dec 7, 2022Updated 3 years ago
- A fast ethereum transaction fuzzer☆26Apr 2, 2019Updated 6 years ago
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- Dynamic Vulnerability Discovery for Smart Contracts☆29Jul 12, 2023Updated 2 years ago
- Static program analysis framework for Ethereum smart contract bytecode.☆168Aug 5, 2021Updated 4 years ago
- Semantics of Solidity in K☆29Oct 11, 2019Updated 6 years ago
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆35Feb 13, 2026Updated 2 weeks ago
- A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).☆65Mar 7, 2023Updated 2 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆32Jan 24, 2023Updated 3 years ago
- KVyper: Semantics of Vyper in K☆41Aug 12, 2018Updated 7 years ago
- Papers of smart contract security analysis (and tools)☆36Jun 5, 2019Updated 6 years ago
- ☆137Jul 27, 2021Updated 4 years ago
- ☆10Sep 24, 2019Updated 6 years ago
- xDEVS: A cross-platform Discrete EVent System simulator☆14Nov 14, 2025Updated 3 months ago
- Rust modded server☆10Jul 24, 2020Updated 5 years ago
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- ☆36Oct 31, 2022Updated 3 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Translate a subset of C to Verilog☆11May 8, 2019Updated 6 years ago
- Source code repository for the AISTAT 2023 paper Transport Reversible Jump Proposals.☆10Mar 3, 2023Updated 2 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago