Les tests unitaires sont là enfin de vérifier l'intégritée des fonctions au cours du développement. En effet, elle ne suffisent pas à prouver que le code est bon, mais permettre de vérifier que les ...

We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings many simplifications, eg, ...