| 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
]
On Mon, Jan 10, 2011 at 10:25:44PM +0100, Ksamak wrote:
> 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
Ca m'intéresse aussi, faut voir si je serai encore dans le coin au
moment de la présentation !
--
またね
Kereoz
http://kereoz.org
---
---
Liste Actux, http://www.actux.fr