an open source C analyser

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

an open source C analyser

Stéphane Ducasse
http://frama-c.com/download.html
_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Reply | Threaded
Open this post in threaded view
|

Re: an open source C analyser

Tudor Girba
Interesting. Anyone interested in taking it for a spin in the context Moose ? :)

Cheers,
Doru


On 30 Mar 2011, at 14:15, Mariano Martinez Peck wrote:

> that has a Alan Kay quote on the top right hehehe
>
> On Wed, Mar 30, 2011 at 1:19 PM, Stéphane Ducasse <[hidden email]> wrote:
> http://frama-c.com/download.html
> _______________________________________________
> Moose-dev mailing list
> [hidden email]
> https://www.iam.unibe.ch/mailman/listinfo/moose-dev
>
> _______________________________________________
> Moose-dev mailing list
> [hidden email]
> https://www.iam.unibe.ch/mailman/listinfo/moose-dev

--
www.tudorgirba.com

"Not knowing how to do something is not an argument for how it cannot be done."


_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Reply | Threaded
Open this post in threaded view
|

Re: an open source C analyser

Stéphane Ducasse
I got some information about it:
        - it is written in OCaml and uses a fork of the cil library.
        - can generate tests for C
        - taint analysis
        - other stuff for C.
Stef
       

On Mar 31, 2011, at 12:59 PM, Tudor Girba wrote:

> Interesting. Anyone interested in taking it for a spin in the context Moose ? :)
>
> Cheers,
> Doru
>
>
> On 30 Mar 2011, at 14:15, Mariano Martinez Peck wrote:
>
>> that has a Alan Kay quote on the top right hehehe
>>
>> On Wed, Mar 30, 2011 at 1:19 PM, Stéphane Ducasse <[hidden email]> wrote:
>> http://frama-c.com/download.html
>> _______________________________________________
>> Moose-dev mailing list
>> [hidden email]
>> https://www.iam.unibe.ch/mailman/listinfo/moose-dev
>>
>> _______________________________________________
>> Moose-dev mailing list
>> [hidden email]
>> https://www.iam.unibe.ch/mailman/listinfo/moose-dev
>
> --
> www.tudorgirba.com
>
> "Not knowing how to do something is not an argument for how it cannot be done."
>
>
> _______________________________________________
> Moose-dev mailing list
> [hidden email]
> https://www.iam.unibe.ch/mailman/listinfo/moose-dev


_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev