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 est un analyseur de sécurité pour smart contracts sur l'Ethereum Virtual Machine qui utilise l'exécution symbolique pour identifier les vulnérabilités dans le bytecode avant le déploiement. Il fonctionne comme un scanner de vulnérabilités et un auditeur formel, traitant les entrées du programme comme des symboles mathématiques pour prouver la présence de bugs dans la logique du contrat. L'outil effectue une analyse au niveau du bytecode pour détecter des failles qui pourraient être masquées par les compilateurs de haut niveau. Il intègre des solveurs SMT pour déterminer si des états de vulnérabilité spécifiques sont atteignables et compare les traces d'exécution symbolique à une bibliothèque de signatures de failles de sécurité connues. Le projet couvre un large éventail de capacités d'analyse de sécurité, incluant la détection de vulnérabilités blockchain, l'audit formel de la logique de contrat et les tests de sécurité automatisés. Il fournit également une intégration pour les workflows Git afin de valider le code dans le cadre du processus de commit.

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

Ce dépôt sert d'archive structurée d'exercices de formation en cybersécurité conçus pour une pratique pratique dans de multiples domaines techniques. Il fonctionne comme une collection de défis intentionnellement vulnérables qui fournissent aux utilisateurs les fichiers sources et la documentation nécessaires pour développer des compétences en analyse de sécurité et en recherche de vulnérabilités logicielles. Le projet se distingue par l'organisation de ces exercices dans une structure de répertoire hiérarchique, garantissant que les scénarios de sécurité restent cohérents et reproductibles grâce à des actifs statiques contrôlés par version. Chaque défi est associé à des writeups basés sur le markdown qui offrent des explications détaillées et du contexte, permettant aux utilisateurs d'étudier les mécanismes sous-jacents du code source fourni. La plateforme couvre un large éventail de disciplines de sécurité, y compris l'analyse des protocoles cryptographiques et l'identification des vulnérabilités au sein des applications blockchain décentralisées. En fournissant un accès direct aux fichiers de projet bruts, le dépôt facilite une approche pratique de la maîtrise des compétences en sécurité et du test des techniques défensives dans un environnement contrôlé.

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