meitedaf

meitedaf

Geek Repo

Github PK Tool:Github PK Tool

meitedaf's starred repositories

solidity

Solidity, the Smart Contract Programming Language

Language:C++License:GPL-3.0Stargazers:23171Issues:720Issues:6030

slither

Static Analyzer for Solidity and Vyper

Language:PythonLicense:AGPL-3.0Stargazers:5288Issues:68Issues:1202

mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

Language:PythonLicense:MITStargazers:3857Issues:79Issues:847

manticore

Symbolic execution tool

Language:PythonLicense:AGPL-3.0Stargazers:3682Issues:130Issues:812

echidna

Ethereum smart contract fuzzer

Language:HaskellLicense:AGPL-3.0Stargazers:2726Issues:59Issues:579

weird-erc20

weird erc20 tokens

reentrancy-attacks

A chronological and (hopefully) complete list of reentrancy attacks to date.

security-and-auditing-full-course-s23

The ultimate, most advanced, security, DeFi, assembly, web3 auditor course ever created.

Language:SolidityLicense:GPL-3.0Stargazers:1206Issues:24Issues:22

simple-security-toolkit

A collection of practical security-focused guides and checklists for smart contract development

openzeppelin-contracts-upgradeable

Upgradeable variant of OpenZeppelin Contracts, meant for use in upgradeable contracts.

Language:JavaScriptLicense:MITStargazers:988Issues:41Issues:103

halmos

A symbolic testing tool for EVM smart contracts

Language:PythonLicense:AGPL-3.0Stargazers:805Issues:9Issues:114

who-is-hiring

这个仓库是由 Rebase 社区创建的,为区块链行业以及其他各行各业的企业和团队提供招聘信息披露机会,所有招聘信息都将在 Rebase 社区的所有媒体上进行发表。这都是免费的!

4naly3er

Static smart contract code 4naly3er

Language:TypeScriptLicense:GPL-3.0Stargazers:514Issues:10Issues:17

murky

Merkle Proof Generator and Validator in Solidity

Language:SolidityLicense:MITStargazers:412Issues:3Issues:8

aderyn

Aderyn 🦜 Rust-based Solidity AST analyzer.

Language:RustLicense:GPL-2.0Stargazers:389Issues:5Issues:171

sc-exploits-minimized

A repo to showcase web3 hacks

properties

Pre-built security properties for common Ethereum operations

Language:SolidityLicense:AGPL-3.0Stargazers:283Issues:9Issues:25

hevm

symbolic EVM evaluator

Language:HaskellLicense:AGPL-3.0Stargazers:228Issues:12Issues:162

solana-co-learn

Creators Dao all about Solana source

report-generator-template

A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.

report-generator-template

A markdown based template for writing spearbit reports

Language:PythonStargazers:28Issues:3Issues:0

audit-repo-cloner

A Python package to clone a repo and automatically prepare it for audit report generation

Language:PythonLicense:MITStargazers:18Issues:2Issues:10

Chainlink-ccip-CrossChainNFT

A demo project showcasing NFT minting and cross-chain transfers using Chainlink's CCIP on Ethereum and Arbitrum Sepolia test networks. Includes Chainlink Local simulator for faster development and testing.

Language:SolidityLicense:MITStargazers:1Issues:0Issues:0

My-security-portfolio

This repository is a collection of my security audit reports for smart contracts and blockchain protocols. It showcases in-depth analyses, identifies vulnerabilities, and provides actionable recommendations for enhancing security.

Stargazers:1Issues:0Issues:0

Raffle

a lottery on blockchain, based on Chainlink VRF (Verifiable Random Function)

Language:SolidityStargazers:1Issues:0Issues:0