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 هو محلل أمان العقود الذكية لـ Ethereum Virtual Machine يستخدم التنفيذ الرمزي لتحديد الثغرات الأمنية في كود البايت قبل النشر. يعمل كماسح ضوئي للثغرات ومدقق رسمي، حيث يعامل مدخلات البرنامج كرموز رياضية لإثبات وجود أخطاء في منطق العقد. تقوم الأداة بإجراء تحليل على مستوى كود البايت لاكتشاف العيوب التي قد تكون مخفية بواسطة المترجمات عالية المستوى. تدمج الأداة أدوات حل SMT لتحديد ما إذا كانت حالات الثغرات المحددة قابلة للوصول، وتقارن آثار التنفيذ الرمزي مقابل مكتبة من توقيعات عيوب الأمان المعروفة. يغطي المشروع نطاقاً واسعاً من قدرات تحليل الأمان، بما في ذلك اكتشاف ثغرات البلوكشين، والتدقيق الرسمي لمنطق العقد، واختبار الأمان المؤتمت. كما يوفر تكاملاً لسير عمل Git للتحقق من الكود كجزء من عملية الالتزام (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

يُعد هذا المستودع أرشيفاً منظماً لتمارين التدريب على الأمن السيبراني المصممة للممارسة العملية عبر مجالات تقنية متعددة. يعمل كمجموعة من التحديات الضعيفة عمداً التي توفر للمستخدمين ملفات المصدر والوثائق اللازمة لتطوير الكفاءة في التحليل الأمني وأبحاث ثغرات البرمجيات. يتميز المشروع بتنظيم هذه التمارين في هيكل دليل هرمي، مما يضمن بقاء سيناريوهات الأمان متسقة وقابلة للتكرار من خلال أصول ثابتة يتم التحكم في إصداراتها. يتم إقران كل تحدٍ بشروحات قائمة على markdown تقدم تفسيرات مفصلة وسياقاً، مما يسمح للمستخدمين بدراسة الآليات الأساسية للكود المصدري المقدم. تغطي المنصة مجموعة واسعة من التخصصات الأمنية، بما في ذلك تحليل البروتوكولات التشفيرية وتحديد الثغرات داخل تطبيقات البلوكشين اللامركزية. من خلال توفير وصول مباشر إلى ملفات المشروع الخام، يسهل المستودع نهجاً عملياً لإتقان المهارات الأمنية واختبار تقنيات الدفاع في بيئة خاضعة للرقابة.

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