--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on February 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] kinstr to kernel_function



Le mer 11 f?v 2009 23:09:30 CET,
"CUOQ Pascal" <Pascal.CUOQ at cea.fr> a ?crit :

> 2) there must be a point in the code you are writing where you know the kernel_function your kinstr belongs to.
> Transmit this information to the point where you need it.

Just a small remark here: if you're using a visitor to
iterate over all the functions of a file, the kernel function currently
visited is available through the current_kf method of
generic_frama_c_visitor.

-- 
E tutto per oggi, a la prossima volta.
Virgile