config.yaml

# 运行前需要的配置
# 其他在可视化平台动态配置

Visualize:
  # 文件服务器端口
  file_server_port: 6767
  # 控制服务器端口
  control_server_port: 6768

fuzzer:
  # 工作文件夹
  work_dir: "/home/test/Desktop/Project/Target_tidy"
  # fuzzer初始输入文件夹路径
  input_dir: "/home/test/Desktop/Project/Target_tidy/seeds"
  # fuzzer输出文件夹路径（内部包含各个fuzzer的自路径）
  output_dir: "/home/test/Desktop/Project/Target_tidy/out"
  # 模糊测试插桩的目标程序二进制文件路径
  target_bin: "/home/test/Desktop/Project/Target_tidy/tidy_afl"
  # afl style (replace bin with @@)
  target_args: "@@"

tracer:
  # tracer脚本位置
  script_path: "/home/test/Desktop/Project/Trace/id_tracer.py"
  # 要分析的fuzzer名称，默认default
  fuzzer_name: "default"
  # trace插桩的目标程序二进制文件路径
  coverage_bin: "/home/test/Desktop/Project/Target_tidy/tidy_trace"
  # 使用的cpu核心数量，留空则使用使用率小于50%的全核跑
  cpu_core: 5
  # 生成cfg初始图的脚本位置
  graph_gen_dir: "/home/test/Desktop/Project/Trace/proc_static.py"

symbolic:
  # symcc sym++所在文件夹路径（build路径）
  symcc_perfix: "/home/test/Desktop/Project/Symbolic/build/symcc"
  # 符号执行输出文件夹路径
  result_dir: "/home/test/Desktop/Project/Target_tidy/sym_out"

direct:
  # 定向测试脚本位置
  script_path: "/home/test/Desktop/Project/Direct/run.py"
  # 定向测试相关配置需要在该文件夹下配置
  # 配置文件所在路径
  config_dir: "/home/test/Desktop/Project/Direct/target/direct_config.json"

submit:
  # 提交种子id的位数
  zfill: 6

cmp_info_generator:
  # 约束信息插桩的目标程序二进制文件路径
  constraint_target: "/home/test/Desktop/Project/Target_tidy/tidy_info"
  # ipl-model插桩的目标程序二进制路径
  ipl_target: "/home/test/Desktop/Project/Target_tidy/tidy_ipl"