symbolic-execution相关知识

• 符号执行与白盒模糊有何不同? 2024-10-07
• 为什么符号执行需要IR ? 2023-09-22
• c-这就是用klee符号执行测试有状态API的方法吗 2023-09-21
• 如何创建针对指定分支的测试用例 2023-09-21
• c-我无法取回从Klee退出后保存的文件 2023-09-21
• c-为什么Z3的符号执行会导致错误 2023-09-20
• 如何用z3求解器对程序进行注释以检测死代码 2023-09-20
• 使用angr分析固件文件 2023-09-19
• 如何调试 SMT-Lib 输出中缺少的变量? 2023-09-17
• "keep turning the crank"有状态计算的有效方法 2023-09-17
• 二进制文件符号执行工具 2023-08-31
• 符号执行和污点分析之间的差距是什么 2023-08-31
• llvm 中是否有任何符号执行工具 2023-08-30
• 在结肠测试中，"concrete execution"是什么意思？ 2023-08-30
• 符号执行的应用 2023-08-24
• 在没有模型检查的情况下实现符号执行 2023-08-24
• 符号执行和模型检查 2023-08-23
• OS内核的符号执行/Concolic测试 2023-08-23