Awesome GitHub RepositoriesExecution Flow Tracing

This project is a technical reference and documentation suite focused on the internal architecture and operational principles of the Java Virtual Machine. It provides comprehensive guides and analysis on how the virtual machine manages class loading, memory organization, and bytecode execution. The documentation distinguishes itself by providing deep dives into specific runtime mechanisms, such as the binary decoding of class files, the hierarchical delegation model for class loaders, and the precise sequence of the loading, linking, and initialization lifecycle. It also details memory reclam

Wasm3 is a WebAssembly interpreter designed for embedded runtime integration. It enables the execution of portable binary logic on microcontrollers and resource-constrained hardware, providing support for modules that utilize the WebAssembly System Interface to interact with system resources. The runtime employs register-based bytecode interpretation and direct-threaded dispatch to map virtual registers to physical CPU registers. It includes a host-call interface to map imports to C functions and utilizes static module validation to ensure bytecode follows specification rules before execution

magic-trace collects and displays high-resolution traces of what a process is doing

Simplify एक Android वर्चुअल मशीन सैंडबॉक्स, बाइटकोड निष्पादन ट्रेसर और स्टेटिक एनालिसिस फ्रेमवर्क है। इसे बाइनरी से पठनीय कोड को रिकवर करने के लिए डिज़ाइन किया गया है, जो भौतिक डिवाइस के बिना प्रोग्राम व्यवहार का अनुकरण (simulate) करता है। यह प्रोजेक्ट रिफ्लेक्शन कॉल्स को रिज़ॉल्व करने और कॉन्स्टेंट प्रोपेगेशन व डेड कोड रिमूवल के माध्यम से अस्पष्ट (obfuscated) कोड को सरल बनाने के लिए निष्पादन ग्राफ विश्लेषण का उपयोग करता है। यह सभी संभावित सशर्त शाखा परिणामों को ट्रैक करने के लिए मल्टी-पाथ निष्पादन सिमुलेशन का उपयोग करता है और कॉन्स्टेंट वैल्यू की पहचान करने के लिए इंस्ट्रक्शन फ्लो को मैप करता है। यह सिस्टम एक्सेप्शन प्रोपेगेशन ट्रेसिंग, मेथड साइड-इफेक्ट कैटेगराइजेशन और Java API कॉल सिमुलेशन सहित विश्लेषण क्षमताओं की एक विस्तृत श्रृंखला को कवर करता है। यह वर्चुअल मशीन स्टेट्स की निगरानी या ओवरराइड करने के लिए कस्टम हुक के माध्यम से मेथड निष्पादन को इंटरसेप्ट करने के लिए तंत्र भी प्रदान करता है।

Janet is a Lisp-based dynamic programming language featuring a register-based bytecode virtual machine and an embeddable scripting engine. It functions as a fiber-based concurrency runtime and includes a parsing engine based on Parsing Expression Grammars. The project is distinguished by its ability to be integrated into C or C++ applications via a minimal header interface. It utilizes a Lisp-style macro system for compile-time code transformation and employs prototype-based table inheritance for object-oriented behavior. The runtime covers a broad set of capabilities, including asynchronous

Qira एक बाइनरी एनालिसिस प्लेटफॉर्म और एग्जीक्यूशन ट्रेसर है जो इंटरैक्टिव प्लेबैक और डिबगिंग के लिए प्रोग्राम एग्जीक्यूशन के दौरान प्रत्येक इंस्ट्रक्शन और डेटा एक्सेस को रिकॉर्ड करता है। यह एक रनटाइम एनालिसिस एनवायरनमेंट के रूप में कार्य करता है जो एग्जीक्यूशन को ट्रेस करने और मेमोरी और रजिस्टर स्टेट्स का निरीक्षण करने के लिए QEMU का उपयोग करता है। यह सिस्टम एक बाइनरी स्टेटिक एनालिसिस टूल प्रदान करता है जो प्रोग्राम स्ट्रक्चर को मैप करता है और कैप्चर किए गए रनटाइम डेटा के आधार पर इंस्ट्रक्शन्स को एनोटेट करता है। इसमें विशिष्ट एड्रेस पर रीड्स और राइट्स को मॉनिटर करने के लिए एक रनटाइम मेमोरी एनालाइजर और एग्जीक्यूशन टाइमलाइन्स को नेविगेट करने के लिए एक इंटरैक्टिव डिबगर शामिल है। यह प्लेटफॉर्म बाइनरी ट्रेस विज़ुअलाइज़ेशन और रिवर्स इंजीनियरिंग वर्कफ़्लो को कवर करता है, जिसमें मेमोरी-स्टेट स्नैपशॉटिंग और इंस्ट्रक्शन-लेवल इवेंट लॉगिंग शामिल है। यह डेटा एक्सेस एनालिसिस और बाइनरी कोड को डॉक्यूमेंट करने के लिए एड्रेस-मैप्ड एनोटेशन डेटाबेस के रखरखाव का भी समर्थन करता है।

IREE is an MLIR-based compiler toolchain and runtime designed to translate machine learning models from various frameworks into optimized binaries for execution across diverse hardware targets. It provides a unified pipeline to ingest models from PyTorch, TensorFlow, JAX, and ONNX, lowering them into a common intermediate representation for deployment on CPUs, GPUs, and bare-metal embedded systems. The project distinguishes itself through a bytecode virtual machine and a hardware abstraction layer that decouple high-level model logic from specific hardware instruction sets. It supports sophis