--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on February 2009 ---
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