--- 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



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