Program Analysis

wiki

Difference (from prior major revision) (no other diffs)

Added: 21a22

* [selene] - selene is a very fast and performant Lua linter written in Rust to help write correct and idiomatic Lua code. Supports standard Lua 5.1 and Luau syntax. Standard library support exists for Lua 5.1, Lua 5.2, Lua 5.3, Luau and Roblox Luau.

Here are various resources related to [program analysis] (both static code analysis or dynamic program analysis) of Lua code.

editor/IDE related:
- [LuaEclipse 2] - Eclipse IDE plugin for Lua, doing Lua code analysis through MetaLua and LuaJava [1]
- [Lua for JetBrains IntelliJ IDEA][2] Lua for JetBrains IntelliJ IDEA IDE [3].
- LuaInspect - Lua code analysis, with plugins for SciTE ([4],SciteScripts), vim, and DHTML, based on MetaLua
- [vslua] Visual Studio addon for with syntax highlighting and some code analysis
- [emacs semantic highlighting] for global usages
- [ZeroBrane Studio] A lightweight Lua IDE with code analysis based on lua-inspect (Win32, Mac OSX, Linux).
- [BLua] - Lua IDE with code analysis, from WoW community (dormant?)
- [L�ve Studio] - Love2d IDE with optional type system
parsing:
- LuaGrammar - resources on lexing/compiling Lua. Some specifically used for static analysis include
  - MetaLua - among other things, includes pure Lua libraries for Lua code (optionally with syntax extensions) to AST conversion.
  - [LuaParse][5] - pure Lua lexer/parser, with semantically aware HTML highlighter
  - LuaFish - Lua source to AST converter (via LuaPeg), plus some analysis support
linting:
- DetectingUndefinedVariables
- [lua-checker] - lint-like analysis tool for Lua. Does basic checks.
- luaanalyze (bottom of LuaFish page) - new version of LuaFish, based on MetaLua.
- LuaInspect, mentioned above, is also usable outside an editor
- [selene] - selene is a very fast and performant Lua linter written in Rust to help write correct and idiomatic Lua code. Supports standard Lua 5.1 and Luau syntax. Standard library support exists for Lua 5.1, Lua 5.2, Lua 5.3, Luau and Roblox Luau.
- [Luacheck] - simple static checker. Supports Lua 5.1�5.4 and is available via LuaRocks.
optimization/refactoring:
- SourceOptimizer - source code transformation, mainly inlining functions.
- Some such things are done in LuaJIT2 [6]
coverage:
- [LuaCov] - coverage analyzer for Lua scripts
- [Software Verification Lua Coverage Validator]
profiling: ProfilingLuaCode (dynamic analysis)
debugging: DebuggingLuaCode (dynamic analysis)
unit testing: UnitTesting
miscellaneous: [Software Verification] has various commercial program analysis tools for Lua.
mining/content analysis: MiningLuaCode
LuaImplementationVerification - validating the correctness of the Lua implementations themselves

RecentChanges · preferences
edit · history
Last edited March 28, 2023 8:56 am GMT (diff)