6 مستودعات
Analysis of native machine code within binaries to reveal implementation details.
Distinct from Native Code Backends: Candidates focus on generating native code; this focuses on inspecting already compiled native machine code.
Explore 6 awesome GitHub repositories matching operating systems & systems programming · Native Code Inspection. Refine with filters or upvote what's useful.
ILSpy is a .NET decompiler and binary analyzer designed to convert compiled .NET assemblies back into readable C# source code. It functions as a metadata explorer and a common intermediate language viewer, enabling the analysis of compiled code and the execution of reverse engineering workflows. The project distinguishes itself through specialized translation capabilities, such as converting compiled binary XML (BAML) back into human-readable XAML for user interface analysis. It also provides tools for inspecting native machine code and extracting metadata from program database (PDB) files.
Analyzes native machine code within binaries to reveal the underlying implementation of compiled assemblies.
Outputs low-level generated code for verification and optimization of the compiled implementation.
Warp is a Python framework that JIT-compiles Python functions into CUDA kernels for GPU-accelerated parallel computation, with built-in automatic differentiation and multi-framework array interoperability. At its core, it provides a GPU kernel compilation system that enables writing and executing custom GPU kernels directly from Python, while supporting automatic gradient computation through those kernels for integration with machine learning pipelines. The framework also includes tile-based cooperative computing, where thread blocks partition into tiles for shared-memory and tensor-core opera
Allows inspection of generated C++/CUDA code and compiled binaries stored in a cache directory.
Carp is a statically typed Lisp compiler that compiles Lisp-like syntax directly to C source code, enabling seamless integration with existing C libraries and low-level system programming. It manages memory deterministically at compile time using ownership tracking and linear types, eliminating garbage collection pauses and runtime overhead while ensuring type safety through an inferred static type system. The language distinguishes itself through compile-time macro expansion and metaprogramming capabilities, allowing code generation and transformation before final binary output. It enforces
Prints the C code produced for a binding or the entire generated output for review.
TileLang is a Python-embedded domain-specific language compiler that JIT-compiles and autotunes GPU kernels. It uses a tile-based DSL, automatic software pipelining, and parallel autotuning to generate optimized GPU kernels at runtime. It supports tensor core operations with Pythonic syntax, automatic memory management, and thread mapping. The compiler searches over tile sizes, thread counts, and scheduling policies, compiling and benchmarking candidates in parallel to find the fastest kernel. It also caches compiled binaries and tuning results to disk for reuse across sessions. TileLang inc
Provides a way to retrieve the human-readable source code of a compiled GPU kernel for inspection and debugging.
unidbg هو إطار عمل لمحاكاة وتصحيح الملفات الثنائية الأصلية ARM32 و ARM64 على جهاز مضيف. يعمل كمصحح للملفات الثنائية لنظامي Android و iOS ومحاكي للمكتبات الأصلية، مما يسمح بتنفيذ التعليمات البرمجية الأصلية دون الحاجة إلى أجهزة فعلية. يتميز المشروع بإطار عمل لربط الوظائف الأصلية (Hooking) وأداة تصحيح بروتوكول سياق النموذج (Model Context Protocol) التي تعرض حالة المحاكي لمساعدي الذكاء الاصطناعي من أجل التحليل الآلي للملفات الثنائية. كما يتضمن محلل ذاكرة متخصصاً لتتبع التخصيصات في جانب الضيف وتحديد التسريبات في الملفات الثنائية الأصلية. تغطي مجموعة الأدوات عدة مجالات، بما في ذلك الهندسة العكسية للتعليمات البرمجية الأصلية، وتتبع التنفيذ على مستوى التعليمات، ومحاكاة جسر JNI. توفر إمكانية المراقبة من خلال سجلات القراءة/الكتابة في الذاكرة ومصحح أخطاء وحدة التحكم، مع استخدام تجميع المحاكيات الآمن للخيوط (Thread-safe) لتقليل تكاليف التهيئة.
Provides a console debugger, instruction tracing, and memory read/write traces to analyze native code execution in real time.