--- layout: fc_discuss_archives title: Message 60 from Frama-C-discuss on October 2010 ---
> Where can I look at the sources for the variable occurrence analysis plugin? You should find it inside the source distribution*, at src/occurrence/ If you are using Windows, your problem is now reduced to finding an archive utility that can decompress .tar.gz files; but if you are using Frama-C on Windows, you probably installed Cygwin, so try the following command in a Cygwin shell: tar zxvf .../frama-c-Boron-20100401.tar.gz Pascal * http://frama-c.com/download/frama-c-Boron-20100401.tar.gz