--- layout: fc_discuss_archives title: Message 59 from Frama-C-discuss on October 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Variable occurrence analysis



 Hello,

Where can I look at the sources for the variable occurrence analysis plugin?

Thank you

Kind Regards
Damien

-- 
------------------------------------------------------------------------

Dr. Damien Karkinsky

IT Consultant

Adelard LLP. (www.adelard.com)

10 Northampton Square, London EC1V 0HB

tel: +44(0)20-7490-9464   mob: +44(0)779-568-1233

------------------------------------------------------------------------