A dynamic checker for the ECF property incorporated into geth
☆15Oct 27, 2017Updated 9 years ago
Alternatives and similar repositories for ECFChecker
Users that are interested in ECFChecker are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆20Nov 11, 2019Updated 6 years ago
- ☆29Dec 28, 2024Updated last year
- Scripts for collecting metrics of the attack surface☆15Jun 10, 2021Updated 5 years ago
- [DEPRECATED] Security Scanner for Ethereum Smart Contracts☆223Jan 23, 2020Updated 6 years 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A formal verifier and analysis tool for Solidity Smart Contracts☆256Dec 8, 2022Updated 3 years ago
- ☆11Mar 20, 2024Updated 2 years ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆139Dec 7, 2022Updated 3 years ago
- Solidity Parser for Solium☆29Apr 17, 2023Updated 3 years ago
- Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited☆27Oct 31, 2020Updated 6 years ago
- ☆10Sep 19, 2023Updated 3 years ago
- ☆135Jul 27, 2021Updated 5 years ago
- VTable Hijacking Protection for Binaries☆12Feb 28, 2017Updated 9 years ago
- Package speculatively provides a simple mechanism to re-execute a task in parallel only after some initial timeout has elapsed.☆10Jul 11, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Elastic Common Schema (ECS) support for zerolog☆11Oct 24, 2026Updated last week
- ☆19Feb 22, 2024Updated 2 years ago
- This project extends the ClamAV software capability to be able to extract and scan the contents of archives greater than 2GB. ClamAV is u…☆13Apr 9, 2024Updated 2 years ago
- ☆11May 30, 2024Updated 2 years ago
- Complete examples of solidity exploits☆13Oct 17, 2017Updated 9 years ago
- Plugin files for editing K files☆12Aug 20, 2024Updated 2 years ago
- Purely Functional Data Structures☆13Dec 15, 2014Updated 11 years ago
- AI based fuzzer based on imitation learning☆155Jun 17, 2024Updated 2 years ago
- LibSA4Py: Light-weight static analysis for extracting type hints and features☆11Aug 23, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Recent academic papers related to cybercrime☆18Jan 9, 2024Updated 2 years ago
- DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees☆13Jul 6, 2024Updated 2 years ago
- ☆11Jan 20, 2023Updated 3 years ago
- Superform v2 contracts☆13Updated this week
- A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).☆64Mar 7, 2023Updated 3 years ago
- Mali GPU-assisted kernel exploitation☆17Dec 15, 2025Updated 10 months ago
- Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)☆489Nov 24, 2023Updated 2 years ago
- Runtime verification tool for Solidity smart contracts.☆34Mar 29, 2023Updated 3 years ago
- Static program analysis framework for Ethereum smart contract bytecode.☆167Apr 13, 2026Updated 6 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Concolic Exection Engine for Golang☆10May 16, 2018Updated 8 years ago
- 💎 Token☆10Jan 27, 2024Updated 2 years ago
- ☆25Mar 24, 2023Updated 3 years ago
- MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts☆565Oct 22, 2023Updated 3 years ago
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆113Oct 14, 2019Updated 7 years ago
- Channels between coroutines in Python☆14Jan 4, 2021Updated 5 years ago
- A privacy token inspired by eip7503 that has maximum plausible deniability and a maximum anonymity set by joining public and private stat…☆15Mar 1, 2025Updated last year