程序分析

wiki

这里是关于Lua代码的[程序分析]（静态代码分析或动态程序分析）的各种资源。

编辑器/IDE相关
- [LuaEclipse 2] - Eclipse IDE的Lua插件，通过MetaLua和LuaJava [1]进行Lua代码分析。
- [Lua for JetBrains IntelliJ IDEA][2] JetBrains IntelliJ IDEA IDE的Lua插件[3]。
- LuaInspect - Lua代码分析工具，带有SciTE ([4],SciteScripts)、vim和DHTML的插件，基于MetaLua。
- [vslua] Visual Studio插件，支持语法高亮和一些代码分析。
- [emacs 语义高亮] 用于全局使用。
- [ZeroBrane Studio] 一个轻量级的Lua IDE，基于lua-inspect的代码分析功能（支持Win32、Mac OSX、Linux）。
- [BLua] - Lua IDE，带有代码分析功能，来自WoW社区（已停滞？）。
- [Lve Studio] - Love2d IDE，可选类型系统。
解析
- LuaGrammar - 关于Lua的词法分析/编译的资源。其中一些特别用于静态分析，包括：
  - MetaLua - 除其他功能外，还包含纯Lua库，用于将Lua代码（可选带语法扩展）转换为AST。
  - [LuaParse][5] - 纯Lua的词法分析器/解析器，带有语义感知HTML高亮。
  - LuaFish - Lua源码到AST的转换器（通过LuaPeg），并支持一些分析功能。
Linting
- DetectingUndefinedVariables
- [lua-checker] - Lua的类似lint的分析工具。执行基本检查。
- luaanalyze（LuaFish页面的底部）- LuaFish的新版本，基于MetaLua。
- LuaInspect，如上所述，也可在编辑器外部使用。
- [selene] - selene 是一个用 Rust 编写的非常快速且高性能的 Lua linter，可帮助编写正确且惯用的 Lua 代码。支持标准的 Lua 5.1 和 Luau 语法。标准库支持 Lua 5.1、Lua 5.2、Lua 5.3、Luau 和 Roblox Luau。
- [Luacheck] - 简单的静态检查器。支持 Lua 5.1-5.4，可通过LuaRocks获取。
优化/重构
- SourceOptimizer - 源代码转换，主要进行函数内联。
- LuaJIT2 [6] 中也包含一些此类功能。
覆盖率
- [LuaCov] - Lua脚本的覆盖率分析器。
- [Software Verification Lua Coverage Validator]
性能分析: ProfilingLuaCode (动态分析)
调试: DebuggingLuaCode (动态分析)
单元测试: UnitTesting
杂项: [Software Verification] 提供各种商业Lua程序分析工具。
挖掘/内容分析: MiningLuaCode
LuaImplementationVerification - 验证Lua实现本身的正确性。

RecentChanges · preferences
编辑 · 历史
最后编辑于 2023年3月28日上午8:56 GMT (diff)