--- layout: fc_discuss_archives title: Message 56 from Frama-C-discuss on July 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Dynamic Plugin Enabled in Linux but Failed in Windows



Hello,

Le ven. 27 juil. 2012 08:59:11 CEST,
haihao shen <haihaoshen at gmail.com> a ?crit :

> $ ls `frama-c.byte -print-plugin-path `
> Aorai.cmi  Aorai.cmxs  MyPlugin.cmxs
> Security_slicing.cmo   gui Aorai.cmo  MyPlugin.cmo
> Security_slicing.cmi  Security_slicing.cmxs
> 
> $ frama-c.byte -help
> ***** LIST OF AVAILABLE PLUG-INS
> 
[...]
> 
> 
> I found the plugin exists in /usr/local/lib/frama-c/plugins, but not
> exists in help info.

If you look at the list of plug-ins, you can notice that Aorai and
Security_slicing are missing too. My guess is thus that dynamic loading
silently fails for some reason. You might have more information with
-debug 1 and/or -verbose 2, and try to force frama-c to load MyPlugin
with -load-module /usr/local/lib/frama-c/plugins/MyPlugin

Sorry if this is not that helpful, but I don't have a windows
installation at hand to investigate further.

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