--- layout: fc_discuss_archives title: Message 62 from Frama-C-discuss on January 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C: Detecting unreachable code?



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