awesome-repositories.com
المدونة
awesome-repositories.com

اكتشف أفضل مستودعات المصادر المفتوحة باستخدام بحث مدعوم بالذكاء الاصطناعي.

استكشفعمليات بحث منسقةبدائل مفتوحة المصدربرمجيات ذاتية الاستضافةالمدونةخريطة الموقع
المشروعحولكيفية ترتيب النتائجالصحافةخادم MCP
قانونيالخصوصيةالشروط
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

2 مستودعات

Awesome GitHub RepositoriesSystem State Simulation

Tools for mocking low-level operating system conditions and kernel statuses.

Distinct from Simulation: Shortlist candidates focus on scientific simulation, hardware-in-the-loop, or build systems, not OS-level state spoofing.

Explore 2 awesome GitHub repositories matching operating systems & systems programming · System State Simulation. Refine with filters or upvote what's useful.

Awesome System State Simulation GitHub Repositories

اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
  • jingmatrix/lsposedالصورة الرمزية لـ JingMatrix

    JingMatrix/LSPosed

    11,494عرض على GitHub↗

    LSPosed is an Android runtime hooking framework and system modification tool. It enables the modification of application and system behavior in memory without altering original installation files, serving as a platform for distributing and managing community-created extension modules. The project provides a comprehensive suite for device and identity spoofing, including the ability to mask hardware identifiers, simulate geographic locations, and conceal root access or hooking frameworks to bypass security and integrity checks. It also functions as an application modder to unlock premium featu

    Simulates system-level conditions, such as forcing the SELinux status to appear as enforcing.

    Javaandroidarthooklsposed
    عرض على GitHub↗11,494
  • trailofbits/manticoreالصورة الرمزية لـ trailofbits

    trailofbits/manticore

    3,855عرض على GitHub↗

    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,

    Allows mapping operating system requests to internal methods that manipulate symbolic CPU states to simulate environment interactions during deep code analysis.

    Python
    عرض على GitHub↗3,855
  1. Home
  2. Operating Systems & Systems Programming
  3. System State Simulation