Re: [Actux] Intéressés par une présentation sur l'analyse statique de code C ?

[ Thread Index | Date Index | More lists.tuxfamily.org/actux Archives ]


2011/1/10 David MENTRE <dmentre@xxxxxxxxxxxxxxxx>
Salut,

J'envisage de faire une présentation sur l'analyse statique de code C
avec la framework libre Frama-C (http://frama-c.com/) : présentation
générale sur l'analyse abstraite et Frama-C, utilisation de Frama-C
pour l'analyse de valeurs et la génération d'alarmes. Je peux même
pousser sur la preuve de code C s'il y a des motivés. La présentation
est pour les gens qui savent déjà programmer en C.

Est-ce que ça intéresse du monde ? (on peut me répondre en perso)

Amicalement,
d.--

ca pourrait etre bien, comme présentation pour public avancée.
perso ca me dirait jpense.
april.org / laquadrature.net / cnil.fr



Mail converted by MHonArc 2.6.19+ http://listengine.tuxfamily.org/