A compléter
-
using-frama-c
-
Image bandeau contient typo: t[0] au lieu de T[0] et -Slevel au lieu de -slevel et -val au lieu de -eva -
Observe sets of possible values (lorem ipsum) -
Slice the original program into simplified ones (lorem ipsum) -
Navigate the dataflow of the program (lorem ipsum) -
"Test robustness of your code", "enforce code standards" et "Detect security defects" ont le même texte
-
-
get-frama-c
-
Linux: n'installe pas frama-c -
Mac: installe 2 fois depext, et frama-c depuis custom -
Windows: installe frama-c avant les dépendances
-
-
Remplacer la page GUI par une page ACSL - texte de l'ancien site: acsl.html
- ajouter lien vers tuto
-
Reprendre le tutoriel: acsl_tutorial_index.html -
kernel
-
le texte est un copié-collé de la section 3 du papier "Frama-C: A Software Analysis Perspective" -
les liens en bas sont cassés (et il manque des images)
-
-
contact
-
remplacer mantis par les issues gitlab -
remplacer le lien vers github par un lien vers gitlab (quand ce sera bon). Et changer l'icone pour gitlab.png
-
-
Documentation Le guide de bug report doit être mis à jour pour le gitlab public