文章标签

CompilerOps

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

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

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