Program Analysis

wiki

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

Changed: 22c22

* [Luacheck] - simple static checker. Supports Lua 5.1/5.2 and is available via LuaRocks.

* [Luacheck] - simple static checker. Supports Lua 5.1–5.4 and is available via LuaRocks.

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
- [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 24, 2022 9:25 pm GMT (diff)