文件名称：symboliclua:Lua 的动态符号执行引擎
文件大小：24KB
文件格式：ZIP
更新时间：2024-07-05 07:19:58
Lua
符号Lua SymbolicLua 是 Lua 的动态符号执行引擎。 SymbolicLua 添加“？” Lua 编程语言的语法。 它代表一个符号值，可用作通用存根。 要求 您需要在计算机上安装 Lua 5.2、Java 7、Python 2.7 和 z3py。 仅在 Linux Mint 17 上测试。 建造 你必须在使用 SymbolicLua 之前构建conv $ cd conv $ mvn assembly:single 用法 $ bin/symboliclua.sh sample/sum.lua
【文件预览】：
symboliclua-master
----conv()
--------.gitignore(8B)
--------src()
--------.classpath(1KB)
--------.settings()
--------pom.xml(2KB)
--------.project(727B)
----sample()
--------fail.lua(51B)
--------money-fail-2.lua(380B)
--------money-1.lua(312B)
--------money-3.lua(452B)
--------money-fail-1.lua(305B)
--------money-2.lua(382B)
--------money-0.lua(219B)
--------money-4.lua(453B)
--------sum.lua(96B)
----src()
--------symbolic.lua(9KB)
--------run.lua(312B)
----bin()
--------symboliclua.sh(365B)
----LICENSE(1KB)
----README.md(481B)
----tmp()
--------.gitignore(15B)
----test()
--------money_nosym.lua(757B)
--------not.lua(206B)
--------test.lua(458B)
--------object.lua(203B)
--------compare.lua(88B)
--------expr.lua(80B)
--------money.lua(672B)
--------comment.lua(72B)
--------sum.lua(254B)