#反编译

ReVA逆向工程助手项目提供了一个与特定反汇编器无关的AI助手，采用工具驱动的方法，帮助解决复杂的逆向工程任务。ReVA利用chain-of-reasoning技术与LLM配合完成任务，通过容错和减少LLM误差的方法提供更好的结果。支持多种模型和本地推理服务器，包括OpenAI和Ollama。项目集成Ghidra工具，提供高效的工作流程和操作日志记录功能，适合程序探索和详细分析。ReVA项目特点包括工具驱动的AI助手、多种模型支持、Ghidra工具集成、详细的操作日志和容错机制，确保在执行复杂逆向工程任务时提供准确的结果和顺畅的工作流程。

Recaf是一款现代Java字节码编辑器，旨在简化复杂的Java程序组件，包括常量池、堆栈帧和宽指令等。即使是非字节码专家也能通过代码反编译和Java语句插入功能轻松编辑代码。Recaf适合各种水平的开发者，提供详细文档和社区支持。更多信息可在Discord服务器获取，欢迎在GitHub页面贡献代码或报告问题。

SharpLab是一个开源的在线.NET代码实验平台，展示代码编译的中间步骤和结果。支持C#、Visual Basic和F#三种源语言，提供C#、IL和JIT汇编三种反编译/反汇编输出。平台具备实验性代码运行功能，有助于深入理解.NET语言工作原理。SharpLab为开发者提供了一个探索.NET编程细节的有力工具，适合学习和研究使用。

depyf是一个开源工具，专注于解析PyTorch编译器torch.compile的内部工作机制。这个工具支持多个Python版本，提供简洁的API接口，能够生成详细的编译过程文档，并支持代码调试。通过depyf，机器学习研究人员和开发者可以深入理解编译过程，适应编译机制，并优化代码以提升性能。作为PyTorch生态系统的一员，depyf为用户提供了深入了解PyTorch编译器的机会。

Kotlin Explorer是一款桌面应用，可将Kotlin代码反汇编为Java字节码、Android DEX字节码和OAT汇编。它提供R8优化、行同步、演示模式等功能，并显示指令数量和分支。开发者可编译、运行Kotlin代码，查看跳转指令，高亮显示指令和寄存器。此工具需要Android SDK和Kotlin编译器支持，且要求设备支持oatdump工具以显示DEX和OAT输出。

BadUnboxing是一款开源的自动化Android应用脱壳工具，可定位并解包APK文件中的相关代码。通过检测打包代码并生成新的Java应用程序，BadUnboxing能够提取动态解包的文件。这个工具安装使用简便，支持社区贡献，是Android逆向工程的实用工具。BadUnboxing基于GNU Affero通用公共许可证v3.0发布，允许用户自由使用和分享。

KillWxapkg是一个开源的微信小程序反编译工具，采用Golang开发。它能自动化完成小程序的解密、解包和工程目录还原。该工具支持代码美化输出、动态Hook调试，以及重新打包功能。KillWxapkg兼容多个微信版本，可在微信开发者工具中运行，为小程序安全分析提供了全面的技术支持。

Gigahorse是一个开源的以太坊智能合约反编译和分析工具链。它将低级EVM代码转换为类似LLVM IR的高级三地址表示。该工具提供多种上下文敏感性配置，支持函数内联，可与各类客户端分析工具集成。Gigahorse为智能合约研究和安全分析奠定了基础，已在多个学术项目和实时分析平台中得到应用。

View8是一款静态分析工具，专门用于反编译序列化的V8字节码（JSC文件）。通过使用修补的V8二进制文件，View8能够解析和反汇编这些字节码，生成可读性强的类JavaScript代码。工具支持多个V8版本，提供命令行接口，允许用户选择多种输出格式。View8还能自动检测字节码版本，为开发者简化了反编译过程。

Ghidra是美国国家安全局研究部门开发的开源软件逆向工程框架。该框架提供了一套软件分析工具，可在Windows、macOS和Linux平台上分析编译代码。Ghidra支持反汇编、汇编、反编译、图形化和脚本编写等功能，兼容多种处理器指令集和可执行文件格式。用户能够使用Java或Python开发自定义扩展和脚本，进行交互式和自动化分析。

LLM4Decompile是一款创新的开源大型语言模型，专注于二进制代码反编译。该模型能将Linux x86_64二进制文件转换为可读的C源代码，覆盖GCC的O0至O3优化级别。项目提供多个参数规模的模型版本，从1.3B到33B不等。其中，最新的22B-V2版本在HumanEval-Decompile基准测试中实现了63.6%的重新执行率。LLM4Decompile不仅可直接反编译二进制文件，还能优化Ghidra等工具生成的伪代码，为二进制分析和逆向工程领域提供了新的可能性。

LLM4Decompile-6.7b-v1.5是一个基于机器学习的x86汇编反编译系统，通过15B tokens规模的训练数据和4096 token的处理能力，实现汇编代码到C语言的自动转换。在HumanEval-Decompile基准测试的O0优化级别下，转换准确率达到68.05%，整体性能较前代提升显著。该项目开源且采用MIT许可证，为软件开发和逆向工程提供了实用的代码分析工具。