#符号执行

2020-12-24 21:34
动态符号执行的思想是在任何输入上执行一个软件,在不指定具体值的情况下同时探索所有可能的执行路径,请考虑以下示例,其中输入x是未知的,即符号: if(x< 0){// ...} else if(x> 100){// ...} else {断言("不应达到此值!")}} 符号执行在所有三个......