capstonecapstone-engine
新收录Capstone Engine是一个用纯C编写的开源反汇编框架,支持x86、ARM、AArch64、RISC-V、MIPS和PowerPC等20多种架构,提供简洁的架构中立API、多语言绑定和详细的指令语义,适用于二进制分析和逆向工程。
发现优质开源项目,匿名提交开源项目,认领编辑你的开源项目。
带着好奇心,发现开源世界。
THE FIRST COLLECTIONCapstone Engine是一个用纯C编写的开源反汇编框架,支持x86、ARM、AArch64、RISC-V、MIPS和PowerPC等20多种架构,提供简洁的架构中立API、多语言绑定和详细的指令语义,适用于二进制分析和逆向工程。
Synth 是一款将 WebAssembly 编译为 ARM Cortex-M/R、RISC-V RV32IMAC 及 AArch64 原生二进制文件的 AOT 编译器。它通过 Rocq 机械化证明和 SMT 翻译验证确保正确性,专注于嵌入式场景,采用 Apache-2.0 协议。
raylib 是一个简单易用的 C 语言库,专为视频游戏编程而设计,非常适合用于原型开发、教育以及图形应用程序。
rucc 是用 Rust 编写的早期优化 C 编译器。README 表明尚未能编译 C:M0/M1 完成工作区、检查层规则、驱动框架、Linux/macOS/Windows CI 与预处理器。目标是 SQLite、PostgreSQL 与 Linux,采用 SMT 验证的重写规则、无毒 SSA IR、e-graph 与自实现的对象/DWARF。