1 dépôt
Awesome GitHub RepositoriesStack Signature Analysis
Analysis of value stack transitions to verify instruction compatibility and reachability.
Distinct from Compiled Code Analysis: Specifically analyzes the stack-based nature of WebAssembly instructions rather than general binary auditing.
Explore 1 awesome GitHub repository matching development tools & productivity · Stack Signature Analysis. Refine with filters or upvote what's useful.
Awesome Stack Signature Analysis GitHub Repositories
Trouvez les meilleurs dépôts grâce à l'IA.Nous recherchons les dépôts les plus pertinents grâce à l'IA.
- webassembly/binaryen
WebAssembly/binaryen
8,354Voir sur GitHubBinaryen 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
Calculates and composes stack signatures to determine if instruction sequences are compatible or reachable.
WebAssemblyc-plus-pluscompilersemscripten
