--- layout: fc_discuss_archives title: Message 59 from Frama-C-discuss on October 2010 ---
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 ------------------------------------------------------------------------