Binary Analysis; Reverse Engineering; Symbolic Analysis;
机译:可执行文件的堆栈内存抽象和符号分析框架
机译:具有需求驱动的内存不变式公理化的符号堆抽象
机译:可执行文件的抽象符号自动机混合句法/语义相似性分析
机译:可执行文件的准确堆栈内存抽象和符号分析框架
机译:将可执行上下文添加到可执行体系结构:启用可执行上下文模拟框架(ECSF)
机译:链接语义记忆中的躯体和符号表示:动态多级重新激活框架
机译:通过符号执行时间精确的硬件模型来计算最坏情况执行时间(WCET)
机译:基于saT的抽象细化框架中重新参数化的符号模拟实验