Zerokei

Zerokei's Stars

• JoranHonig/tree-sitter-solidity

  Solidity grammar for tree sitter

  Language:Python14342

• CoinFabrik/CyScout

  This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. By leveraging the foundational work done by the CodeQL team for Ruby, we have adapted and expanded their approach to create a powerful toolset for analyzing Solidity code.

  Language:CodeQL342

• fravoll/solidity-patterns

  A compilation of patterns and best practices for the smart contract programming language Solidity

  Language:Solidity3.2k520

• Quillhash/Solidity-Attack-Vectors

  This Repository contains list of Common Solidity SmartContract Attack Vectors. If you find any attack vectors missing, you can create a pull request and be a contributor of the project.

  41567

• richards199999/Thinking-Claude

  Let your Claude able to think

  Language:TypeScript9.9k1.1k

• mojtaba-eshghie/SoliDiffy

  SoliDiffy: AST-Based Code Differencing Tool for Solidity Smart Contracts

  Language:Jupyter Notebook82

• Jiachi-Chen/DefectChecker

  Language:Java2814

• Secbrain/VulHunter

  Language:Python10

• VPRLab/BlockScope

  A search-based patch vs. code similarity analysis tool for discovering 100+ vulnerabilities in top blockchains

  Language:Python4

• mudgen/awesome-diamonds

  A curated list of awesome EIP2535 Diamonds resources, libraries, tools, articles and more

  35250

• solidstate-network/solidstate-solidity

  💠 Upgradeable-first Solidity smart contract development library 💠

  Language:TypeScript44189

• blocksecteam/audit-reports

  329

• pre-commit/mirrors-mypy

  Mirror of mypy for pre-commit

  Language:Python28643

• beartype/beartype

  Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.

  Language:Python2.8k58

• python/mypy

  Optional static typing for Python

  Language:Python18.7k2.9k

• Jhy1993/HAN

  Heterogeneous Graph Neural Network

  Language:Python1.1k221

• web3se-lab/web3-sekit

  Web3 Software Engineering Tool Kits

  Language:JavaScript6

• eth-sri/securify2

  Securify v2.0

  Language:Solidity589135

• dvanoni/notero

  A Zotero plugin for syncing items and notes into Notion

  Language:TypeScript2.5k106

• AngeloFerrando/Solvent

  Language:Python42

• kupl/VeriSmart-benchmarks

  Language:Solidity6116

• xf97/HuangGai

  HuangGai is an Ethereum smart contract bug injection framework, it can inject 20 types of bugs into Solidity smart contract. DOI: 10.5281/zenodo.4680168

  Language:Solidity4014

• tintinweb/smart-contract-sanctuary

  🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠

  Language:Python1.5k267

• WeiZ-boot/survey-on-smart-contract-vulnerability

  A collection of papers and detection tools related to Smart Contract Auditing.

  9

• ucsb-seclab/crush

  Language:Python7

• 0xNazgul/Blockchain-Security-Audit-List

  A list of Blockchain Security audit companies, solo auditors and location of public audits.

  727108

• security-pride/avverifier

  Language:Solidity2

• VPRLab/BlkVulnReport

  A Summary of Vulnerabilities Found in the BlockScope NDSS'23 Paper

  9

• crytic/crytic-compile

  Abstraction layer for smart contract build systems

  Language:Python16084

• CheWang09/LLM4SMAPR

  LLM for solidity smart contract automated program repair

  Language:Solidity62