--- layout: fc_discuss_archives title: Message 60 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



> 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