awesome symbolic execution:精选的极好的符号执行资源的精选清单包括重要的研究论文演讲视频和工具 源码

出色的符号执行 精选的出色符号执行资源的精选清单,包括重要的研究论文,演讲,视频和工具。 目录 文件 ,James C. King。 LA Clarke,。 ,Edward J. Schwartz,Thanasis Avgerinos,David Brumley。 罗伯托·巴尔多尼(Roberto Baldoni),埃米利奥·科帕(Emilio Coppa),丹尼尔·科诺·德埃利亚(Daniele Cono D'Elia),卡米尔·德米特雷斯库(Camil Demetrescu)和艾琳·芬诺基(Irene Finocchi),概述。 课程 。 。 。 影片 麻省理工学院的符号执行讲座。 象征性执行讲座(Coursera软件安全课程的一部分) 。 工具 Java JPF-Symbc-基于Java PathFinder构建的符号执行工具。 支持多个约束求解器,延迟初始化等。