---
layout: fc_discuss_archives
title: Message 7 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
- Subject: [Frama-c-discuss] List of function calls within a function
- From: virgile.prevosto at m4x.org (Virgile Prevosto)
- Date: Tue, 2 Dec 2014 19:03:03 +0100
- In-reply-to: <CAOKvw7HZzTxZYt78yeG1YJviD9is1OsNaLWuroG7=1nN2ERVBg@mail.gmail.com>
- References: <CAOKvw7F1facLzWFtT2r2FF0-y2izoGwcvujrsM1Tgx3h2y2O+A@mail.gmail.com> <CA+yPOVhTZS5enZkFYpkaa5xzgunWkFBkChLp=Oz6ZHyxJX=iNQ@mail.gmail.com> <CAOKvw7HcJ3n7ZJzQkojwx75vyqWp=ECWj+eToBH4VZ2JpbpcNg@mail.gmail.com> <CA+yPOVhHHwJt50bg25R0doc=+XGKa1kqrq3MfTY0tovovOFFqg@mail.gmail.com> <CAOKvw7FPtiP9p1vSRKvytwDkK9F7OCoOxPPAsVLUnOzvP2Jv8Q@mail.gmail.com> <CAOKvw7HZzTxZYt78yeG1YJviD9is1OsNaLWuroG7=1nN2ERVBg@mail.gmail.com>
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