Vous n'avez pas forcément la même notion de ce qui est critique. :-)
De plus, même lorsque la performance est effectivement critique, disons dans l'embarqué, il y a tout un tas de choses interdites même si le C les autorise : allocation dynamique, récursion, etc.
[^] # Re: Vérification formelle
Posté par lasher . En réponse au journal Idée stupide sur la sécurité du code. Évalué à 4.
Vous n'avez pas forcément la même notion de ce qui est critique. :-)
De plus, même lorsque la performance est effectivement critique, disons dans l'embarqué, il y a tout un tas de choses interdites même si le C les autorise : allocation dynamique, récursion, etc.