文章标签
文章列表
-
逆向工程进阶：基于 LLVM Pass 与 Z3 SMT Solver 自动化移除不透明谓词
1. 什么是不透明谓词？ 在代码混淆（Code Obfuscation）领域， 不透明谓词（Opaque Predicates） 是一种常用的手段。简单来说，它是一个在程序运行时结果始终固定（永远为真或永远为假）的表达式，但编译器在...
-
实战篇：基于 angr 符号执行自动修复 OLLVM 控制流平坦化
在逆向工程中，OLLVM（Obfuscator-LLVM）的控制流平坦化（Control Flow Flattening）是令许多分析者头疼的手段。它通过引入一个“主分发器”和“状态变量”，将函数原本错落有致的逻辑块全部打散，并行地放置在...
-
攻克控制流平坦化：提升GNN在恶意代码分析中的“结构感知”能力
在恶意代码分析领域，图神经网络（GNN）已成为提取二进制语义特征的主流技术。然而，随着混淆技术（如OLLVM、Tigress）的普及，**控制流平坦化（Control Flow Flattening, CFF）**成为了GNN的“克星”。...
-
基于图神经网络与结构相似性的恶意程序家族指纹识别深度解析
在现代网络安全攻防中，恶意程序的演进速度早已超越了传统基于特征码（Signature-based）的检测能力。攻击者通过代码混淆、多态和变体技术，可以轻易改变文件的哈希值和静态字节流。然而，无论代码如何变化，其实现特定功能的“逻辑结构”往...
-
语义之战：如何利用机器学习在无符号表中精准预测函数功能？
在逆向工程的世界里，最令分析师头疼的莫过于面对一个“剥离（Stripped）”了符号表的二进制文件。没有了函数名、变量名和注释，所有的逻辑都变成了枯燥的汇编指令序列。传统的静态分析高度依赖人工经验，而动态调试又受限于执行环境。 近年来...
-
从 sub_xxxx 到逻辑命名：剥离符号表二进制文件的动态分析恢复技巧
在逆向分析日常工作中，最令分析师头疼的莫过于遇到被 Stripped（剥离符号表） 的二进制文件。打开 IDA Pro，映入眼帘的是成百上千个以 sub_ 开头的无意义函数名。虽然静态分析可以通过 F.L.I.R.T. (Fas...
-
玩转 Linux 调试：如何在开启 ASLR 的情况下手动还原堆栈地址？
在 Linux 系统的日常开发与线上维护中，我们经常会遇到程序崩溃（Segmentation Fault）。如果你查看 dmesg 或日志，可能会看到类似 ip: 00007f8a1234abcd 这样的内存地址。 然而，在现...
-
深挖底层：在不依赖 .eh_frame 的情况下，如何通过 RBP 手动实现栈回溯？
在现代 Linux 环境下，调试器和性能分析工具（如 gdb 、 perf ）通常依赖 .eh_frame 段（基于 DWARF 格式）来进行栈回溯（Stack Unwinding）。这种方式虽然强大，能够处理复杂的内联和优化，但其...
-
.eh_frame 也会成为攻击入口？深度解析 Linux 栈回溯背后的安全隐患
在 Linux C/C++ 开发中， .eh_frame 是一个经常被开发者忽视，但对系统稳定性和安全性至关重要的 ELF 断面（Section）。很多开发者认为它仅仅是为 C++ try-catch 准备的，但实际上，它承载着现代...
-
.debug_frame vs .eh_frame: 为何栈采样更青睐后者？
在性能剖析的世界里，“采到一个样本点却无法解析出完整的调用栈”无疑是令人沮丧的。当你在使用 perf record 、 bpftrace 或其他采样式剖析工具时，背后负责将程序计数器(PC)还原成函数调用链的关键角色之一，就是 DWA...
-
打破 Frame Pointer 限制：如何在 eBPF 中利用 .eh_frame 实现高性能用户态栈采样？
在进行系统性能调优时，堆栈采样（Stack Sampling）是定位热点代码的核心手段。然而，性能工程师常面临一个尴尬境地：为了极致性能，许多生产环境的二进制文件在编译时开启了 -fomit-frame-pointer 优化。这意味着...
-
深入底层：在 Strip 后的二进制中利用 .eh_frame 实现精准栈回溯
在 Linux 系统编程与性能调优中，我们经常会遇到被 strip 掉符号表的生产环境二进制文件。此时，传统的基于符号表（ .symtab ）或调试信息（ .debug_info ）的栈回溯工具（如 backtrace() ）往往只...
-
深入底层：使用 readelf 剖析 C++ 异常背后的 .eh_frame 机制
在 Linux C++ 开发中，当异常（Exception）发生时，程序是如何精准地找到对应的 catch 块并完成栈回溯（Stack Unwinding）的？这背后隐藏着一个至关重要的 ELF 段—— .eh_frame 。 本...
-
深入底层：LLVM 视角下的 Rust Match 与 C++ 异常跳转汇编差异分析
在现代系统级编程中，控制流的效率往往决定了程序的性能上限。Rust 的 match 模式匹配和 C++ 的 try-catch 异常机制，虽然在语义层面分别用于逻辑分支和错误处理，但在编译器底层，它们都涉及复杂的跳转逻辑。 本...
-
舍弃 try-catch 的代价与收益：深度剖析 Rust 错误处理的底层演进
在系统级编程领域，错误处理的性能开销一直是开发者关注的焦点。传统的 C++ 或 Java 倾向于使用 try-catch 异常机制，而 Rust 则另辟蹊径，将 Result<T, E> 枚举作为核心。很多人会问：为什...
-
C++异常处理的隐藏代价：从Unwind Table到汇编指令的深度解析
在C++开发中，异常处理（Exception Handling）是一种常见的错误处理机制，但其背后的实现复杂度往往被低估。许多开发者知道“异常慢”，却未必清楚具体慢在哪里。本文将透过编译器生成的汇编代码，深入剖析Unwind Table（...
-
错误处理的艺术：对比 Rust、Go 与 C++ 的设计哲学与工程实践
在软件开发的世界里，如何处理“错误”往往比如何实现“功能”更能体现一门编程语言的灵魂。错误处理不仅仅是语法糖的选择，它直接影响了系统的鲁棒性、可维护性以及开发者的心理负担。 本文将深度对比 C++、Go 和 Rust 这三种主流系统级...
-
告别 and_then 嵌套：用 C++20 协程实现 Rust 风格的 “问号操作符”
在现代 C++ 开发中，错误处理一直是一个充满争议的话题。传统的异常（Exceptions）虽然强大，但在性能敏感或需要显式错误流的场景下往往被禁用；而返回错误码的方式又容易导致代码被大量的 if (!res) return res.e...
-
C++23 深度解析：std::optional 扩展方法与 std::expected 的“流水线”式协同
在 C++17 引入 std::optional 之初，它被视为处理“可能缺失的值”的标准方案。然而，在实际工程中，开发者很快发现它带来的痛苦：为了安全地提取值，代码中充斥着大量的 if (opt.has_value()) 或类似...
-
告别 try-catch 混乱：深度解析 C++23 std::expected 的工程实践与优势
在 C++23 标准正式发布后， std::expected 成为了开发者社区讨论的热点。它不仅仅是一个新的模板类，更代表了现代 C++ 在处理“预期之外”情况时思维方式的转变。 长期以来，C++ 开发者在“优雅地处理错误”和“保持...