Tags

13 个页面

McSema

McSema如何正确处理C++异常处理机制

深入探索符号执行技术：使用KLEE与mcsema分析二进制迷宫程序

深入探索符号执行（第二部分）：使用KLEE与mcsema分析二进制文件

通过死存储消除优化提升的Bitcode

深入探索符号执行（第二部分）：使用KLEE与mcsema分析二进制文件

深入浅出符号执行技术：mcsema与KLEE的二进制分析突破

McSema 2.0：二进制代码转换与架构迁移的重型工具

重写编译二进制文件中的函数 - 利用McSema和LLVM实现自动化函数替换

揭秘符号执行：mcsema与KLEE联手破解二进制迷宫

McSema技术解析：从二进制代码到LLVM比特码的现代化转换