2022.02.25 会议记录

主要内容：毕设汇报和讨论

image.png

  1. 使用 Spoon 对 Java 程序分析插桩后生成 Spoon Meta Model，然后使用 prettyprint() 将其打印到磁盘上，转化为 Java 代码。再对新的 Java 代码做符号执行和编译为可执行文件，这样可以保证“插桩一致性”以及不受符号执行工具的制约。
  2. 符号执行的工具选择 JDart。现在简单的程序上跑一些 JDart 的 demo，然后慢慢迭代。
  3. 模糊测试改为演化算法。模糊测试适合输入为字符串的方法，对 bit 做改动，不适合 Java 程序。将符号执行完成不了分支的交给演化算法，让二者相互补充。
  4. 毕设先保证完成符号执行的整体流程。将 JDart demo 运行结果的视频发给玄老师。