---
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?
- Subject: [Frama-c-discuss] How to determine a function is non determine function or not programmatically?
- From: anne.pacalet at free.fr (Anne Pacalet)
- Date: Thu, 12 Sep 2013 16:25:29 +0200
- In-reply-to: <CAA1cxuh-QSVJ=ED=zT_3tfYMRR5LEGpDwndh6hc800xfW=PzLg@mail.gmail.com>
- References: <CAA1cxuh-QSVJ=ED=zT_3tfYMRR5LEGpDwndh6hc800xfW=PzLg@mail.gmail.com>
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.