JDart：Java程序并发执行的动态符号分析工具

资源摘要信息:"Java的动态符号分析工具-JDart" JDart是一个用于对Java程序执行并发执行和动态符号分析的工具。它是NASA Java Pathfinder (JPF)的一个扩展，主要用于并发执行Java程序，通过生成输入值来探索程序中的其他行为，从而导致程序（或方法）采用不同的路径。 JDart的concolic执行是一种程序执行策略，它的目标是通过生成输入值来探索程序中的其他行为，这将导致程序（或方法）采用不同的路径。这种执行策略结合了符号执行和具体执行的优点，能够在执行过程中同时获取程序的具体运行信息和符号信息。 JDart作为NASA JPF的一个扩展，JPF是一个用于分析Java程序的开源工具，它能够执行Java虚拟机的所有指令，包括那些在标准Java虚拟机中不可达的部分。JPF通过解释执行字节码，支持多种分析技术，包括符号执行、状态空间搜索、模型检查等。 JDart的安装有两种方式，一种是使用Docker或Vagrant创建的虚拟机，另一种是在本地机器上安装。使用Docker或Vagrant，所有的安装步骤都是自动执行的，创建了一个可以运行JDart的完整环境。 JDart的引用来源是TACAS 2016接受的论文《JDart：动态符号分析框架》，由Kasper Luckow、Marko Dimjasevic、Dimitra Giannakopoulou、Falk Howar、Malte Isberner、Temesghen Kahsai、Zvonimir Rakamaric、Vishwanath Raman等人撰写。该论文详细介绍了JDart的设计和实现，以及其在Java程序并发执行和动态符号分析中的应用。 JDart作为一个开源项目，它的源代码和相关文档都发布在它的GitHub仓库中，地址为***。用户可以访问该仓库，获取JDart的最新版本，查看其源代码，以及阅读相关的文档和使用指南。 以上就是关于Java的动态符号分析工具-JDart的知识点总结，希望对你有所帮助。