Awesome GitHub RepositoriesSmart Contract Analysis

Chainlink is a decentralized oracle network that connects smart contracts to off-chain data, computation, and real-world systems. It provides a secure and reliable infrastructure for blockchain applications to access external information, execute automated workflows, and interact with other blockchains. The network is secured by a staking-based model where node operators lock LINK tokens as collateral, which can be slashed for poor performance, incentivizing honest and accurate data delivery. The platform distinguishes itself through a comprehensive set of capabilities that extend beyond basi

Static Analyzer for Solidity and Vyper

google-drive-ocamlfuse is a FUSE-based filesystem that mounts a Google Drive account as a local directory, enabling standard file operations on cloud files. It bridges POSIX filesystem calls to the Google Drive API, allowing users to read, write, and manage files through their operating system's native file manager or command line. The project distinguishes itself through support for multiple simultaneous Google Drive accounts, each mounted as an independent local directory with separate authentication and cache state. It handles Google Docs, Sheets, and Slides by exporting them as read-only

This is a full-stack template for building decentralized applications on the GenLayer blockchain, combining smart contract development with a frontend integration pipeline. It provides a pre-configured environment for writing GenLayer smart contracts using Python decorators that specify function visibility, persistence, and typed storage structures, along with built-in linting to catch forbidden imports and nondeterministic calls before deployment. The boilerplate distinguishes itself by supporting nondeterministic smart contract operations—such as querying language models and fetching extern

Mythril 是一个以太坊虚拟机 (EVM) 智能合约安全分析器，使用符号执行在部署前识别字节码中的漏洞。它作为一个漏洞扫描器和形式化审计工具，将程序输入视为数学符号，以证明合约逻辑中存在漏洞。 该工具执行字节码级分析，以检测可能被高级编译器隐藏的缺陷。它集成了 SMT 求解器来确定特定漏洞状态是否可达，并将符号执行跟踪与已知安全缺陷签名库进行比较。 该项目涵盖了广泛的安全分析功能，包括区块链漏洞检测、合约逻辑的形式化审计以及自动化安全测试。它还提供 Git 工作流集成，以在提交过程中验证代码。

Manticore is a symbolic execution engine designed for the analysis of binary executables and smart contracts. It functions as an automated vulnerability scanner and verification platform that systematically traverses program execution paths to identify security flaws, validate business invariants, and ensure software properties hold true under all possible input conditions. The engine distinguishes itself through a unified instruction set abstraction that enables consistent analysis across diverse architectures and contract formats. It provides a programmatic interface for deep customization,

This project serves as a comprehensive knowledge base and technical reference for identifying and mitigating security vulnerabilities in smart contracts. It provides a structured catalog of common attack vectors, logic errors, and insecure coding patterns, offering developers and auditors a centralized resource for implementing secure decentralized applications. The repository distinguishes itself by covering the full lifecycle of contract security, from low-level arithmetic safety and compiler constraints to high-level architectural patterns. It details specific defensive strategies for mana

This repository serves as a structured archive of cybersecurity training exercises designed for hands-on practice across multiple technical domains. It functions as a collection of intentionally vulnerable challenges that provide users with the source files and documentation necessary to develop proficiency in security analysis and software vulnerability research. The project distinguishes itself by organizing these exercises into a hierarchical directory structure, ensuring that security scenarios remain consistent and reproducible through version-controlled static assets. Each challenge is

Phasar is a static analysis framework designed for the inspection of software logic through the processing of compiler intermediate representations. It provides a modular pipeline for building program representations, including call graphs, control flow graphs, and type hierarchies, which serve as the foundation for deep structural analysis of software behavior. The framework specializes in interprocedural data flow analysis and pointer alias resolution, enabling the tracking of information movement across function boundaries and the identification of indirect memory access patterns. By lever