3 个仓库
Analysis of WebAssembly binary modules, including disassembly and stack signature verification.
Distinct from Binary Analysis: Existing binary analysis candidates are focused on general reverse engineering or security vulnerabilities rather than Wasm-specific structural analysis.
Explore 3 awesome GitHub repositories matching programming languages & runtimes · WebAssembly Binary Analysis. Refine with filters or upvote what's useful.
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
Provides capabilities to convert binary modules into human-readable text and analyze stack signatures for debugging.
WebAssembly Binary Toolkit 是一套用于检查、验证和转换 WebAssembly 模块(在二进制和人类可读表示之间)的工具集。它包括一个基于栈的解释器用于执行模块,以及一个将二进制文件转换为 C 源代码和头文件的转译器。 该工具包提供了将人类可读文本汇编为二进制模块,以及将二进制文件反汇编回文本的实用程序。它具有一个文本格式化程序,用于将定义规范化为标准的扁平表示,并支持将二进制文件转换为 S-expression 格式。 该项目涵盖了广泛的功能领域,包括二进制操作(如剥离元数据段)和模块检查(以提取结构统计信息和调试符号)。它还提供了针对技术规范验证二进制正确性的工具,以及用于执行符合 WASI 标准逻辑的运行时环境。
Analyzes the composition of binary modules by examining sections for types, functions, memory, and globals.
该项目是一个专门的浏览器调试界面,旨在监控 DOM 元素、网络流量和 JavaScript 执行。它提供了一个用于检查和调试 Web 应用程序的客户端用户界面,允许实时修改 CSS 样式并调查 JavaScript 运行时。 该工具包包括用于 WebAssembly 的专用分析工具,具有反汇编高亮、作用域检查和二进制执行分析功能。它还提供了一个用于分析 HTTP 请求的网络流量检查器,以及一个用于测试属性和 at-rules 的 CSS 样式编辑器。 该系统涵盖了广泛的功能,包括 DOM 树修改、具有 CPU 节流的前端性能分析以及 Service Worker 调试。它还处理源资源管理,例如将网络资产映射到本地文件并美化压缩代码,同时支持多语言本地化。 该项目使用 TypeScript 开发,并采用具有按需模块加载功能的组件化架构。
Analyzes WebAssembly binary modules through disassembly highlighting, scope inspection, and performance profiling.