A static analyzer for Lua