| [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
]
- To: actux <actux@xxxxxxxxxxxxxxxxxxx>
- Subject: [Actux] Intéressés par une présentation sur l'analyse statique de code C ?
- From: David MENTRE <dmentre@xxxxxxxxxxxxxxxx>
- Date: Mon, 10 Jan 2011 16:30:14 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:mime-version:sender:received :in-reply-to:references:from:date:x-google-sender-auth:message-id :subject:to:content-type:content-transfer-encoding; bh=KdXHKdDh8hIKGqXkDxFMvaOrcdT512s4DDFg7DtfJYo=; b=LOMSbniOIho0lxAO3bNXyIt0VWPF0f5DchJL8FBdhhfunJbvPzazoWbDTDUMDp6EK6 dq67R0FKqQUKjddV0q+Zn5KmAL7RVjZlrfUx7ddmwKtUYUBVy7dlElvPZuwsyh6I1+Xa VSTNQMIc0/pA/sDwhge79e0IKmCLIQVH6e/NE=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:content-type :content-transfer-encoding; b=a1D6Xj4z24AEfO/obNvjRYyeJqHvah5jqz8X5bOn4rm1tZVHnQyfiEjE7ufcwbG9uQ k5U7geBQz4owV3+xV1Ek3pIuRSd+ekf/t4B9NbaX8dROtVYZDUwJMZTXTnCm8SfNmGmO vTxdqo9nMEgezBtQEJ7+pOXDri1dzvgDJMN+8=
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.
---
---
Liste Actux, http://www.actux.fr