没有源码的 x86 程序,怎么完整迁移到 ARM —— Elevator 的暴力美学
面对"区分代码和数据"这个理论上不可判定的问题,现有的静态二进制翻译器基本依赖启发式猜测——猜错就翻译错。而最近加州大学尔湾分校的研究者换了一个思路:不猜,把所有可能性都翻译一遍。用空间换正确性。
面对"区分代码和数据"这个理论上不可判定的问题,现有的静态二进制翻译器基本依赖启发式猜测——猜错就翻译错。而最近加州大学尔湾分校的研究者换了一个思路:不猜,把所有可能性都翻译一遍。用空间换正确性。
在 LLVM 论坛看到一个新的 RFC CopySanitizer,用于优化 C++ 程序的性能,挺有趣的,本文来简单介绍一下。
最近看到一个关于编译器分析优化的新思路,感觉很有趣,本文来简单介绍一下。