BINSEC; DBA; DSE; Dynamic Analysis; Malwares; Pin; Reverse-engineering; SMT; x86;
机译:在最坏情况下执行时间分析中结合符号执行和路径枚举
机译:用于静态分析警告确认的定向动态符号执行
机译:动态符号执行的静态分析缺陷可及性确定方法
机译:BINSEC / SE:用于二进制级别分析的动态符号执行工具包
机译:自动测试用例生成具有用于编码接口和注释或使用本机代码编码的程序的动态符号执行
机译:休息状态下睁眼和闭眼受试者的脑电图(EEG)癫痫发作和脑动力学的符号时间序列分析
机译:BINSEC / REL:高效关系符号执行,用于二进制级别的恒定时间