2017 年 4月 13 日随笔档案 - E-C-Ares

2017年4月13日

[ST2017] Lab4: Using JPF(Java Pathfinder) --find and report the division by zero in a program.

摘要： The program: 通过Hg下载JPF项目: JPF clone完了. Eclipse: 菜单栏: Help -> Install new software... ; Install: Add... : Ok ; Next >>> Finish; /home/ares/文档/Files/jpf 阅读全文

posted @ 2017-04-13 16:32 E-C-Ares 阅读(332) 评论(0) 推荐(0)

[ST2017] Lab5: Using Soot --generate Control Flow Graph for Java program.

摘要： 3014218071 王漢超阅读全文

posted @ 2017-04-13 16:24 E-C-Ares 阅读(672) 评论(0) 推荐(0)