符号化执行 symbolic execute , klee 测试用例生成 增删改(自动化白盒测试范畴)
# 运行
sh -x ./runme.sh busz_save_activity 2>&1 | tee busz_save_activity.log
sh -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 ·
438 阅读 ·
3 评论