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
]
- To: actux@xxxxxxxxxxxxxxxxxxx
- Subject: Re: [Actux] Intéressés par une présentation sur l'analyse statique de code C ?
- From: Armel Esnault <armel.esnault@xxxxxxxxx>
- Date: Wed, 12 Jan 2011 09:05:14 +0100
- Disposition-notification-to: Armel Esnault <armel.esnault@xxxxxxxxx>
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:message-id:disposition-notification-to:date :from:user-agent:mime-version:to:subject:references:in-reply-to :content-type:content-transfer-encoding; bh=UTl1nPLCbYBbK4Q+HotyGDdc8dWdwW8ngWzAN8nRGJ8=; b=cbi+Ra6TarcnxaSh64ui4xVbV5nTBm2G2SnKhMsLO273Seqv5sE1riRuFb6dQBiWhR n+F881WZR/PMs81u/YFt0I02zVu0HhXCEKTZiMJ3d5nPFBgVhIpgYAQUE40GdEwREqL2 Nuv+M5We1Mtal3NdwEmVtU9UsEUQpRnhe7tPo=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:disposition-notification-to:date:from:user-agent :mime-version:to:subject:references:in-reply-to:content-type :content-transfer-encoding; b=NKIGc+2iN5SHuuV/o8LZ0BXkJHCWsVrjCGc2XvbpFL9huz2hob6301PeuUHh8r1fby hMN7mWH2uDHFqw/rSSFwWLcyN/gAuoXM4ovcJToyyzPbHNTTDMcnOnMWwdJC+APBMVN5 ZKW59fWWL+34lbz4PzXaeduPqWhHCd/lvcf94=
Le 11/01/2011 13:12, Kereoz a écrit :
> 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 !
>
je suis également intéressé, la partie preuve sur du c m'intéresse aussi
---
---
Liste Actux, http://www.actux.fr