bc后缀逆向

一，介绍

BC文件是LLVM编译器编译过程引入的中间代码，既不是源代码也不是机器码，而是处于两者之间。

既然是中间代码，那我们继续将他编译，就能得到可执行的机器码，对于机器码，就可以用IDA等工具反汇编成高级语言来逆向。

二，编译

可以使用clang直接编译成可执行文件

指令为:clang xx.bc -o name

然后你就能得到一个ELF可执行文件，后面如何逆向我就不用多说了

这里推荐一个例题：[CISCN 2021初赛]babybc

考察了bc和Z3，但这些并不是最重要的，最重要的是其一步一步分析代码得出其逻辑，然后写出Z3代码的过程。

又水了一篇