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

[Frama-c-discuss] List of function calls within a function



Thanks. (Lack of concentration, I guess, I was searching through
kernel_function)

On Tue, Dec 2, 2014 at 7:03 PM, Virgile Prevosto <virgile.prevosto at m4x.org>
wrote:

> 2014-12-02 17:11 GMT+01:00 Ivan Gavran <gavran at mpi-sws.org>:
> > Continuing on this thread because it is connected question:
> >
> > is there a way to get kernel_function type from function name (string) ?
> >
>
> Yes, this was indicated in my first answer this morning:
> Globals.Functions.find_by_name, declared in src/kernel/globals.mli.
> Basically, kernel_function related functions are either there or in
> src/kernel/kernel_function.mli
>
> Best regards,
> --
> E tutto per oggi, a la prossima volta
> Virgile
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20141202/fe0714b0/attachment.html>