#klee

动态符号执行的思想是在任何输入上执行一个软件，在不指定具体值的情况下同时探索所有可能的执行路径，请考虑以下示例，其中输入x是未知的，即符号： if（x＆lt; 0）{// ...} else if（x＆gt; 100）{// ...} else {断言（＆＃34;不应达到此值！＆＃34;）}} 符号执行在所有三个......