Static Code Analysis

Hi everybody,
Have anybody use Frama-c (static code analysis)?
Thanks,
Andy
Last edited on
Topic archived. No new replies allowed.