[英]implement symbolic execution without model-checking
我如何能实现symbolic execution
针对particular language
,而不使用model checking
和Finite State Machine (FSM)
如not
这样Java Path Finder
? 我需要有关它的详细信息。 例如我可以通过什么语言来实现这个符号执行以及我需要知道的其他事情?
你需要:
这是相当多的机器,很难在一个地方找到所有的东西。 仅为一个工具构建所有内容更困难,这也是您找不到很多这样的工具的部分原因。
我们的DMS 软件再造工具包具备所有必要条件。 您可能会发现使用 DMS 实现的符号语言示例很有趣。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.