Improving Security Tasks Using Compiler Provenance Information Recovered At the Binary-Level.
该论文探讨了从二进制文件中恢复编译器来源信息（包括编译器家族、优化级别以及所应用的单个编译器pass）并用于增强安全任务的方法。现代编译器支持的复杂优化使得在多层次上恢复编译器来源成为可能。研究者利用来自超过27,000个使用LLVM 14
#binary analysis
共收录 5 条相关情报。
← 返回所有主题CiRCLE: Recovering Complex Data Structures in Binaries Beyond Fragmentation.
本文提出了一种名为CiRCLE的方法，用于在二进制程序分析中恢复复杂的数据结构，克服了现有方法因碎片化导致的局限性。该方法通过结合静态分析和动态分析技术，能够识别并重建程序中使用的结构体、数组等高级数据类型。实验结果表明，CiRCLE在多个
A Binary and System Integrated Analysis Approach for Securing the QUIC Protocol
本文提出并评估了一种名为二进制与系统集成安全分析（BSISA）的方法，用于分析QUIC协议实现的安全性。传统QUIC安全分析仅关注捕获的网络流量，而忽略了编译后二进制代码中的防御机制是否真正存在且在攻击时生效。BSISA将二元级分析（分析编
MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation.
混合布尔算术（MBA）混淆是一种广泛用于软件知识产权保护的技术，通过将简单表达式转换为复杂的布尔算术混合形式来增加逆向工程难度。然而，现有的MBA简化方法在效率或通用性上存在不足，例如无法处理高阶或嵌套的MBA表达式。本文提出MBA-Bla
Disassembly as Weighted Interval Scheduling with Learned Weights.
该论文提出了一种新的反汇编算法，该算法将反汇编问题转化为加权区间调度问题，并利用学习得到的权重进行指令选择。反汇编是逆向工程、二进制重写等二进制分析和转换技术的第一步。现有的反汇编方法通常包含三个阶段：探索阶段（过度近似二进制代码）、分析阶