tstrict

A strictness checker for Lua. Variables must be initialized before being used. Allows different types of defintions:
'var' :: generic variables
'const' :: constant values
'typed' :: variables with defined type
'constrain' :: variables with an invariant function
Can be disabled (on tested code) for performance improvement.