Alors Lisaac tend à être void safe puisque son analyse de flot sur le typage permet de détecter la plupart des appels sur NULL.
L'analyse de flot de Lisaac (je parle du compilateur actuel), pour des raisons de consommation mémoire et de perf, se concentre essentiellement sur le typage : toutes les possibilités de typages sont tracées, allié au fait que le langage est conçu pour qu'il n'y ait pas de trous (ie. pas de goto implicite ou explicite - break et compagnie - , un typage des plus stricts, etc...).
Donc oui par nature, Lisaac est void safe, il te suffit d'activer le -all_warning.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Conclusion
Posté par Ontologia (site web personnel) . En réponse au journal Problème inédit de sécurité. Évalué à 4.
L'analyse de flot de Lisaac (je parle du compilateur actuel), pour des raisons de consommation mémoire et de perf, se concentre essentiellement sur le typage : toutes les possibilités de typages sont tracées, allié au fait que le langage est conçu pour qu'il n'y ait pas de trous (ie. pas de goto implicite ou explicite - break et compagnie - , un typage des plus stricts, etc...).
Donc oui par nature, Lisaac est void safe, il te suffit d'activer le -all_warning.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker