Technische Universitat Munchen, Boltzmannstrasse 3, 85748 Garching, Germany;
Technische Universitat Munchen, Boltzmannstrasse 3, 85748 Garching, Germany;
Technische Universitat Munchen, Boltzmannstrasse 3, 85748 Garching, Germany;
Technische Universitat Munchen, Boltzmannstrasse 3, 85748 Garching, Germany;
static analysis; binary analysis; control flow reconstruction; reverse; engineering;
机译:探险家:查询和需求驱动的移植控制流动性能探索
机译:CAS或CEA后颈内动脉自然流速模式变化的过程间比较
机译:过程间和流敏感类型分析,用于C代码的内存和类型安全
机译:移植式控制流量重构
机译:包含任意过程间控制流的程序的静态和动态分析。
机译:改进的控制网格插值用于体积重建流体流量
机译:探险家:查询和需求驱动的移植控制流动属性探索
机译:Flowtables:程序骨架反演,用于破坏具有独特变形的过程间分析。