Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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