À partir de l’analyseur de code source Frama-C, conçu par le CEA et Inria, TrustInSoft a développé des outils et des services d’analyse exhaustive de logiciels en C et C++.
Lire la suite
Conçus historiquement pour l’analyse de sûreté de fonctionnement, les logiciels BINSEC et FRAMA-C du CEA-List sont adaptés aux nouveaux besoins de sécurité de la DGA, dans le cadre de l’accord-cadre signé fin 2022 entre les deux partenaires.
Lire la suite
Pour contribuer à la cybersécurité des systèmes, le CEA-List développe des outils d’analyse de logiciels, notamment via les plateformes Frama-C et BINSEC.
Lire la suite
Le CEA-List présentera 4 briques technologiques, Pixano, Papyrus, Frama-C et AIdge lors de l’Open Source Experience les 6 et 7 décembre au Palais des Congrès. Rendez-vous sur l’emplacement L54 !
Lire la suite
Un environnement open source d’analyse formelle de code C pour garantir la sûreté et la sécurité des programmes.
Lire la suite
Lire la suite