|
|
|---|---|
|
|
|
|
|
光哥晚上好 |
|
|
''如果大家有想要的符号执行功能或者想让klee添加一些新的功能并开源给大家使用可以发私''
 那大佬能不能给Klee写个Veritesting的扩展？Enhance symbolic execution with veritesting |
|
|
Veritesting这个技术还不够成熟,并不通用啊,我认为大可不必,Veritesting可能是已公开的缓解路径爆炸的方案里面稍微好点的,但并不完全适合工程化 |
|
|
mark
|
|
|
|
光刃
天水姜伯约
