Security / Research / Testing
A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.
The demonstration of a fake EIP2612 signature for stealing ERC20 tokens with Permit2
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Gnosis Safe allows secure management of blockchain assets.
Damn Vulnerable DeFi - Foundry Version
Repo for Impersonator Provider and associated packages
This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed.
π An open dataset containing smart contract audit issues from various sources.
Highly customizable library for building an interactive node-based UI, workflow editor, flow chart or static diagram
Modern, opinionated, and gas optimized building blocks for smart contract development.
An index repository with submodules for different examples of Certora projects
π Get notified when your data meets certain conditions by setting up monitors, alerts, and notifications
Security Analytics enables users for detecting security threats on their security event log data. It will also allow them to modify/tailor the pre-packaged solution.
Hunt for common bad practices in Solidity smart contracts !
π¨ The official ChainPatrol Collab Action for Discord. Protect your web3 community from scams and phishing attempts!
A proof-of-concept project to show how cryptocurrency wallets are not as secure as you would think.
Dedaub's CLI tool for uploading projects into Watchdog's analysis pipeline
A curated list of awesome directed fuzzing research papers
A tool for analyzing the security and parameters of a solidity smart contract
This repo includes ChatGPT prompt curation to use ChatGPT better.
node of the decentralized oracle network, bridging on and off-chain computation
Simple DeFi project that allow users to deposit and swap funds. It is also possible to provide and remove liquidity from third parties protocols





