CoinFabrik / stacyLinks
Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarity smart contracts.
☆28Updated last year
Alternatives and similar repositories for stacy
Users that are interested in stacy are comparing it to the libraries listed below
Sorting:
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆28Updated last year
- A list of public audit reports conducted by the CoinFabrik team.☆22Updated last week
- Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …☆60Updated 9 months ago
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆16Updated 4 months ago
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆43Updated 10 months ago
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆34Updated 2 weeks ago
- Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum…☆325Updated this week
- This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. …☆50Updated 11 months ago
- Symbolic and concrete EVM execution engine☆312Updated this week
- Query language to interact with EVM chains☆83Updated 8 months ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆241Updated last week
- Overview of the formal verification projects in the Ethereum ecosystem.☆333Updated 6 months ago
- Mutation Testing for Ethereum Smart Contracts☆206Updated last year
- Generate tests based on the Branching Tree Technique.☆337Updated 2 weeks ago
- Scribble instrumentation tool☆331Updated 5 months ago
- Collection of public security reviews☆209Updated last week
- A tool for analyzing the security and parameters of a solidity smart contract☆781Updated 7 months ago
- SEAL 911 is a project designed to give users, developers, and security researchers an accessible way to connect with a small group of hig…☆267Updated 2 weeks ago
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆234Updated 3 months ago
- A trustless P2P fiat onramp powered by ZK proofs.☆306Updated 3 months ago
- Audits performed by Solidified☆184Updated last year
- Materials related to security: docs, checklists, processes, etc...☆203Updated last month
- Titanoboa-based vyper smart contract development framework☆159Updated last month
- A symbolic testing tool for EVM smart contracts☆928Updated last month
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆688Updated 9 months ago
- Using mutations to improve specs and test suites☆193Updated 4 months ago
- Practical tutorials of Certora Prover☆239Updated 2 years ago
- ☆136Updated 4 months ago
- evm toolkit☆357Updated last year
- A mutation testing tool for Solidity Smart Contracts☆82Updated 5 months ago