静态分析 Lua 代码以检测可能的错误。

我正在使用一个闭源应用程序,它加载Lua脚本并允许通过修改这些脚本进行一些定制。不幸的是,如果Lua脚本出现问题,该应用程序生成的日志输出非常不好(我只得到“脚本失败”)。

我意识到动态语言基本上对静态代码分析具有抵抗力,例如可以分析C++代码。

尽管如此,我仍希望有一个工具可以运行Lua脚本,并发出警告,例如在特定脚本上下文中未定义的变量。

从本质上讲,我正在寻找一个工具,用于处理脚本:

`` ` 本地a 打印b

`` `

会输出:

`` ` 警告:script.lua(1):未使用本地“a” 警告:script.lua(2):'b'可能未定义'

`` `

对于大多数东西,它只能是警告,但还是很有用的!是否存在这样的工具?或者带有内置该功能的Lua IDE?

谢谢,克里斯

原文链接 https://stackoverflow.com/questions/866266

点赞
stackoverflow用户106463
stackoverflow用户106463

你需要找到一个 Lua 解析器(应该作为开源软件提供),并使用它将脚本解析成适当的 AST 树。使用该树和简单的变量可见性跟踪器来确定变量何时定义或未定义。

通常,作用域规则很简单:

  • 从顶层 AST 节点和一个空作用域开始。
  • 查看该节点的子语句项。每个变量声明都应添加到当前作用域中。
  • 如果一个新的作用域开始(例如通过 { 操作符),则创建一个新的变量作用域,继承当前作用域中的变量)。
  • 当作用域结束时(例如通过 }),删除当前子变量作用域,并返回到父级。
  • 注意仔细迭代。

这将为您提供 AST 中哪些变量在哪里可见的信息。您可以使用此信息,并检查表达式 AST 节点(变量的读/写),以查找您的信息。

2009-05-14 23:04:30
stackoverflow用户6236
stackoverflow用户6236

自动化的Lua静态代码分析通常不是一项容易的任务。然而,针对一定数量的实际问题,这是完全可以做到的。

快速搜索"lua lint",可以获得两个工具:lua-checker和Lua lint。

然而,对于您特定的需求,您可能需要编写自己的工具。

Metalua是静态Lua代码分析中最强大的工具之一。例如,请参阅用于全局变量使用分析的工具metalint。

请不要犹豫,在Metalua邮件列表上发布您的问题。那里的人通常非常乐于助人。

2009-05-14 23:24:58
stackoverflow用户107090
stackoverflow用户107090

针对全局变量的检查,请查看lua-l帖子。检查局部变量则更难。

2009-05-18 12:59:20
stackoverflow用户1442917
stackoverflow用户1442917

还有lua-inspect,它基于已经提到的metalua。我已经将其整合到ZeroBrane Studio IDE中,生成的输出与您预期的非常相似。有关详细信息,请参见此SO答案:https://stackoverflow.com/a/11789348/1442917

2012-09-23 05:02:02
stackoverflow用户41661
stackoverflow用户41661

我刚刚开始使用luacheck,感觉它非常优秀!

它的第一个版本发布于2015年。

2021-04-04 16:38:00