analyse-de-code

Avancées technologiques • juillet 2, 2024

02 juillet 2024 | La programmation quantique

L’informatique requiert des outils de programmation, de vérification et d’analyse de code adaptés aux modèles de calcul sous-jacents.

Lire la suite
Environnements de développement logiciel • mars 18, 2022

Unisim

Un environnement de simulation de systèmes électroniques qui facilite le test de codes binaires de logiciels complexes.

Lire la suite
Environnements de développement logiciel • mars 16, 2022

Frama-C

Un environnement open source d’analyse formelle de code C pour garantir la sûreté et la sécurité des programmes.

Lire la suite
Environnements de développement logiciel • mars 8, 2022

Binsec

Renforcer la sécurité des logiciels par l’analyse formelle de leur code exécutable.

Lire la suite