Awesome GitHub RepositoriesBinary Specification Validation

Binaryen is a WebAssembly compiler toolchain and optimizer designed to transform, validate, and shrink binary modules. It provides a comprehensive intermediate representation framework that converts binary code into a single-assignment form to enable advanced program analysis and code transformation. The project includes a specialized transformation engine that applies iterative optimization passes to increase execution speed and reduce binary size. Additionally, it functions as a transpiler that translates WebAssembly binary modules into executable JavaScript for environments that lack nativ

Le WebAssembly Binary Toolkit est une suite d'outils pour inspecter, valider et transformer des modules WebAssembly entre des représentations binaires et lisibles par l'homme. Il inclut un interpréteur basé sur une pile pour exécuter les modules et un transpiler qui convertit les fichiers binaires en code source C et en en-têtes. La boîte à outils fournit des utilitaires pour assembler du texte lisible en modules binaires et désassembler des fichiers binaires en texte. Elle dispose d'un formateur de texte pour normaliser les définitions en une représentation plate canonique et prend en charge la conversion de binaires en formats S-expression. Le projet couvre de larges domaines de capacités, notamment la manipulation binaire, comme la suppression des sections de métadonnées, et l'inspection de modules pour extraire des statistiques structurelles et des symboles de débogage. Il fournit également des outils de validation pour vérifier la conformité des binaires aux spécifications techniques et un environnement d'exécution pour la logique compatible WASI.

Blink is a JIT-based instruction emulator and x86-64 Linux emulator designed to run Linux binaries and ELF files across different host operating systems and architectures. It functions as a binary execution sandbox and system call simulator, providing a controlled environment for running programs. The project distinguishes itself with a terminal user interface for monitoring execution, managing breakpoints, and visualizing JIT compilation paths. It supports self-modifying code through a cache-invalidating memory model and provides execution environment isolation using restricted directory ove

Ce projet est un portage de jeu par rétro-ingénierie et une réimplémentation d'un titre classique conçu pour fonctionner nativement sur du matériel moderne. Il utilise un moteur de jeu personnalisé qui recrée la logique du code machine original et utilise des assets extraits pour offrir une expérience jouable. L'implémentation garantit une parité comportementale grâce à une vérification logique précise à la frame, comparant l'exécution en temps réel aux journaux de référence. Il se distingue par un système de localisation multi-langue qui extrait les dialogues et les polices des fichiers régionaux, ainsi que des améliorations visuelles incluant des shaders de pixels, des formats d'image larges et une intégration audio haute fidélité. Les capacités étendues incluent un pipeline d'extraction d'assets, un mappage d'entrées externalisé et un système de sauvegarde par instantanés d'état pour une restauration instantanée. Le projet propose également une mise à l'échelle de la résolution HUD et un utilitaire pour générer des lanceurs de bureau afin d'envelopper l'exécution en ligne de commande.