2 dépôts
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.
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.
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.