symbolic-execution

Symbolic Execution 发现了我 94% 测试覆盖率都遗漏的整数溢出

你的单元测试只检查特定输入，而 symbolic execution 检查所有可能的输入。以下是它的工作原理、成本以及从何入手。