--- layout: fc_discuss_archives title: Message 62 from Frama-C-discuss on January 2014 ---
On Thu, 23 Jan 2014, Nicky Williams wrote: > Of course, static analysis can only detect unreachable code. > To be sure that THERE IS NO unreachable code you need to do path testing, > eg. with the pathcrawler plugin (and to achieve full coverage with no > timeouts). would be nice - but as far as I know that is a commercial plugin and not available in any open-source implementation - pleas correct me if I'm wrong. thx! hofrat