符号化执行 symbolic execute , klee 测试用例生成 增删改(自动化白盒测试范畴)
# 运行sh -x ./runme.sh busz_save_activity 2>&1 | tee busz_save_activity.logsh -x ./runme.sh busz_user_activity 2>&1 | tee busz_user_activity.log// busz_save_activity.c#include "common.h"int main() { int result = false; Activi.
原创
2021-04-06 17:14:47 ·
541 阅读 ·
3 评论