--- layout: fc_discuss_archives title: Message 89 from Frama-C-discuss on September 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] How to determine a function is non determine function or not programmatically?



David,

Le 12/09/2013 16:02, David Yang a ?crit :
> I want to know how to determine a function is "NON TERMINATING FUNCTION"
> or not.
> But I can't find corresponding apis from Db.Value module.

I am not sure of that, but maybe you can try Db.Value.is_reachable_stmt
on the return statement of each function ?

Hope this helps.
-- 
Anne.