Cette page vous donne les différences entre la révision choisie et la version actuelle de la page.
c_c [2019/10/11 08:41] M0N5T3R créée |
c_c [2019/10/25 12:55] (Version actuelle) M0N5T3R |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
+ | |||
+ | FIXME **Le PAD pour proposer une amélioration à cette page :** https://pad.zenk-security.com/p/merci | ||
+ | |||
+ | |||
+ | ====== C/C++ ====== | ||
+ | |||
+ | |||
🛠 [Astrée](https://www.absint.com/astree/index.htm) :copyright: - Sound static analyzer based on abstract interpretation for C/C++, detecting memory, type and concurrency defects, and MISRA violations. | 🛠 [Astrée](https://www.absint.com/astree/index.htm) :copyright: - Sound static analyzer based on abstract interpretation for C/C++, detecting memory, type and concurrency defects, and MISRA violations. | ||