文章标签

文章列表

• 从HCE到数字钱包：白盒密码在移动支付中的应用现状与技术博弈

  在移动支付普及的今天，无论是扫码支付还是 NFC 碰一碰，安全永远是其核心命脉。传统安全架构依赖于 SE（Secure Element，安全元件） 这种硬件加密芯片，但在 Android 生态的碎片化背景下，硬件 SE 的普及受限于厂...

  2026/5/2 0 113 0 0 0 移动支付白盒密码网络安全

• 软件加密的终极悖论：从图灵奖论文看“完美混淆”为何在数学上不存在？

  在软件安全领域，程序员们一直在玩一场“猫鼠游戏”：开发者试图通过混淆技术让代码变得难以阅读，而攻击者则试图通过脱壳、反汇编和动态调试来还原逻辑。 你可能用过 VMP、Themida 或 LLVM-Obfuscator，并感叹其逻辑之精...

  2026/5/2 0 102 0 0 0 程序混淆密码学网络安全

• OLLVM 与 Hikari 指令替换深度对比：保护强度与性能损耗的博弈

  在软件安全领域，代码混淆是增加逆向分析难度的重要手段。其中，“指令替换”（Instruction Substitution）作为一种基础的静态变换技术，旨在将简单的指令序列替换为功能等价但更复杂、更难理解的序列。 Obfuscator-L...

  2026/5/1 0 94 0 0 0 代码混淆OLLVMHikari

• 深入 LLVM 混淆：指令替换（Instruction Substitution）的实现细节与对抗思路

  在软件安全领域，LLVM 混淆器（如经典的 OLLVM）通过多种手段提升逆向分析的难度。 指令替换（Instruction Substitution） 是其中最基础但又极其有效的一种手段。它并不改变程序的控制流，而是通过将简单的算术或逻...

  2026/5/1 0 109 0 0 0 LLVM代码混淆二进制安全

• 逆向工程进阶：基于 LLVM Pass 与 Z3 SMT Solver 自动化移除不透明谓词

  1. 什么是不透明谓词？ 在代码混淆（Code Obfuscation）领域， 不透明谓词（Opaque Predicates） 是一种常用的手段。简单来说，它是一个在程序运行时结果始终固定（永远为真或永远为假）的表达式，但编译器在...

  2026/5/1 0 90 0 0 0 LLVM代码混淆SMT Solver

• 实战篇：基于 angr 符号执行自动修复 OLLVM 控制流平坦化

  在逆向工程中，OLLVM（Obfuscator-LLVM）的控制流平坦化（Control Flow Flattening）是令许多分析者头疼的手段。它通过引入一个“主分发器”和“状态变量”，将函数原本错落有致的逻辑块全部打散，并行地放置在...

  2026/5/1 0 119 0 0 0 angrOLLVM符号执行

• 攻克控制流平坦化：提升GNN在恶意代码分析中的“结构感知”能力

  在恶意代码分析领域，图神经网络（GNN）已成为提取二进制语义特征的主流技术。然而，随着混淆技术（如OLLVM、Tigress）的普及，**控制流平坦化（Control Flow Flattening, CFF）**成为了GNN的“克星”。...

  2026/5/1 0 88 0 0 0 控制流平坦化图神经网络恶意代码分析

• 基于图神经网络与结构相似性的恶意程序家族指纹识别深度解析

  在现代网络安全攻防中，恶意程序的演进速度早已超越了传统基于特征码（Signature-based）的检测能力。攻击者通过代码混淆、多态和变体技术，可以轻易改变文件的哈希值和静态字节流。然而，无论代码如何变化，其实现特定功能的“逻辑结构”往...

  2026/5/1 0 126 0 0 0 图神经网络恶意代码分析机器学习安全

• 语义之战：如何利用机器学习在无符号表中精准预测函数功能？

  在逆向工程的世界里，最令分析师头疼的莫过于面对一个“剥离（Stripped）”了符号表的二进制文件。没有了函数名、变量名和注释，所有的逻辑都变成了枯燥的汇编指令序列。传统的静态分析高度依赖人工经验，而动态调试又受限于执行环境。 近年来...

  2026/5/1 0 82 0 0 0 逆向工程深度学习二进制分析

• 从 sub_xxxx 到逻辑命名：剥离符号表二进制文件的动态分析恢复技巧

  在逆向分析日常工作中，最令分析师头疼的莫过于遇到被 Stripped（剥离符号表） 的二进制文件。打开 IDA Pro，映入眼帘的是成百上千个以 sub_ 开头的无意义函数名。虽然静态分析可以通过 F.L.I.R.T. (Fas...

  2026/5/1 0 100 0 0 0 逆向工程Frida二进制安全

• 玩转 Linux 调试：如何在开启 ASLR 的情况下手动还原堆栈地址？

  在 Linux 系统的日常开发与线上维护中，我们经常会遇到程序崩溃（Segmentation Fault）。如果你查看 dmesg 或日志，可能会看到类似 ip: 00007f8a1234abcd 这样的内存地址。 然而，在现...

  2026/5/1 0 116 0 0 0 Linux调试技巧ASLR

• 深挖底层：在不依赖 .eh_frame 的情况下，如何通过 RBP 手动实现栈回溯？

  在现代 Linux 环境下，调试器和性能分析工具（如 gdb 、 perf ）通常依赖 .eh_frame 段（基于 DWARF 格式）来进行栈回溯（Stack Unwinding）。这种方式虽然强大，能够处理复杂的内联和优化，但其...

  2026/4/30 0 70 0 0 0 栈回溯x86-64汇编系统编程

• .eh_frame 也会成为攻击入口？深度解析 Linux 栈回溯背后的安全隐患

  在 Linux C/C++ 开发中， .eh_frame 是一个经常被开发者忽视，但对系统稳定性和安全性至关重要的 ELF 断面（Section）。很多开发者认为它仅仅是为 C++ try-catch 准备的，但实际上，它承载着现代...

  2026/4/30 0 59 0 0 0 ehframeLinux安全栈回溯

• .debug_frame vs .eh_frame: 为何栈采样更青睐后者？

  在性能剖析的世界里，“采到一个样本点却无法解析出完整的调用栈”无疑是令人沮丧的。当你在使用 perf record 、 bpftrace 或其他采样式剖析工具时，背后负责将程序计数器(PC)还原成函数调用链的关键角色之一，就是 DWA...

  2026/4/30 0 48 0 0 0 DWARF性能剖析调用栈

• 打破 Frame Pointer 限制：如何在 eBPF 中利用 .eh_frame 实现高性能用户态栈采样？

  在进行系统性能调优时，堆栈采样（Stack Sampling）是定位热点代码的核心手段。然而，性能工程师常面临一个尴尬境地：为了极致性能，许多生产环境的二进制文件在编译时开启了 -fomit-frame-pointer 优化。这意味着...

  2026/4/30 0 61 0 0 0 eBPF性能优化内核技术

• 深入底层：在 Strip 后的二进制中利用 .eh_frame 实现精准栈回溯

  在 Linux 系统编程与性能调优中，我们经常会遇到被 strip 掉符号表的生产环境二进制文件。此时，传统的基于符号表（ .symtab ）或调试信息（ .debug_info ）的栈回溯工具（如 backtrace() ）往往只...

  2026/4/30 0 60 0 0 0 二进制安全栈回溯ELF格式

• 深入底层：使用 readelf 剖析 C++ 异常背后的 .eh_frame 机制

  在 Linux C++ 开发中，当异常（Exception）发生时，程序是如何精准地找到对应的 catch 块并完成栈回溯（Stack Unwinding）的？这背后隐藏着一个至关重要的 ELF 段—— .eh_frame 。 本...

  2026/4/30 0 60 0 0 0 LinuxC异常ELF格式

• 深入底层：LLVM 视角下的 Rust Match 与 C++ 异常跳转汇编差异分析

  在现代系统级编程中，控制流的效率往往决定了程序的性能上限。Rust 的 match 模式匹配和 C++ 的 try-catch 异常机制，虽然在语义层面分别用于逻辑分支和错误处理，但在编译器底层，它们都涉及复杂的跳转逻辑。 本...

  2026/4/30 0 59 0 0 0 LLVMRustC

• 舍弃 try-catch 的代价与收益：深度剖析 Rust 错误处理的底层演进

  在系统级编程领域，错误处理的性能开销一直是开发者关注的焦点。传统的 C++ 或 Java 倾向于使用 try-catch 异常机制，而 Rust 则另辟蹊径，将 Result<T, E> 枚举作为核心。很多人会问：为什...

  2026/4/30 0 51 0 0 0 Rust性能优化编译器原理

• C++异常处理的隐藏代价：从Unwind Table到汇编指令的深度解析

  在C++开发中，异常处理（Exception Handling）是一种常见的错误处理机制，但其背后的实现复杂度往往被低估。许多开发者知道“异常慢”，却未必清楚具体慢在哪里。本文将透过编译器生成的汇编代码，深入剖析Unwind Table（...

  2026/4/30 0 38 0 0 0 C异常处理编译器