lua analyse statique: détection de champ de table non initialisé

Question

J'utilise luacheck (dans l'éditeur Atom), mais ouvert à d'autres outils d'analyse statique.

Y at-il un moyen de vérifier que j'utilise un champ de table non initialisé? J'ai lu les docs (http://luacheck.readthedocs.io/en/stable/index.html) mais peut-être que j'ai manqué comment faire ceci?

Dans les trois cas dans le code ci-dessous, j'essaie de détecter que j'utilise (à tort) le champ 'y1'. Aucun d'entre eux ne le fait. (Au moment de l'exécution, il est détecté, mais j'essaie de l'attraper avant l'exécution).

local a = {} 
a.x = 10 
a.y = 20 
print(a.x + a.y1)   -- no warning about uninitialized field y1 !? 

-- luacheck: globals b 
b = {} 
b.x = 10 
b.y = 20 
print(b.x + b.y1)   -- no warning about uninitialized field y1 !? 

-- No inline option for luacheck re: 'c', so plenty of complaints 
-- about "non-standard global variable 'c'." 
c = {}     -- warning about setting 
c.x = 10     -- warning about mutating 
c.y = 20     --  "  "  " 
print(c.x + c.y1)   -- more warnings (but NOT about field y1) 

Le point est ceci: que les projets se développent (fichiers grandir, et le nombre de modules & taille grandir), il serait bon d'éviter les erreurs simples comme celui-ci de se glisser dans

Merci..

Answer 1

lua-inspect devrait être capable de détecter et de rapporter ces instances. Je l'ai intégré dans ZeroBrane Studio IDE et lors de l'exécution avec le deep analysis il indique ce qui suit sur ce fragment:

unknown-field.lua:4: first use of unknown field 'y1' in 'a' 
unknown-field.lua:7: first assignment to global variable 'b' 
unknown-field.lua:10: first use of unknown field 'y1' in 'b' 
unknown-field.lua:14: first assignment to global variable 'c' 
unknown-field.lua:17: first use of unknown field 'y1' in 'c' 

(Notez que le code d'intégration ne signale que les premiers cas de ces erreurs pour minimiser le nombre de cas signalés, je aussi corrigé un problème qui signalait uniquement la première instance inconnue d'un champ, vous pouvez donc utiliser le dernier code du repository.)