SDL里，规则是核心，其他都是开发。 重点是静态代码扫描，数据流算法才是核心，那么为啥用字节码呢？字节码携带的信息显然超过ast，而且方便构建basic blocks。 还有cfg不等于调用栈，好多小...