Frama-C 26 crashes when trying CFG plugin from Frama-C plugin development guide
Hello,
Frama-C 26.0 just crashed when I tried to reproduce the CFG plugin example from the Frama-C plugin development guide. Everything was OK until I tried to use the bogue
library for the mini-GUI example. Executing Frama-C through dune leads to a crash:
Done: 0% (0/0, 0 left) (jobs: 0)[kernel] Current source was: :0
The full backtrace is:
Raised at Dune_site_plugins__Plugins.load_gen in file "otherlibs/site/src/plugins/plugins.ml", line 251, characters 6-89
Called from Stdlib__List.iter in file "list.ml", line 110, characters 12-15
Called from Dune_site_plugins__Plugins.load_gen in file "otherlibs/site/src/plugins/plugins.ml", line 255, characters 4-36
Called from Stdlib__List.iter in file "list.ml", line 110, characters 12-15
Called from Dune_site_plugins__Plugins.load_gen in file "otherlibs/site/src/plugins/plugins.ml", line 255, characters 4-36
Called from Stdlib__List.iter in file "list.ml", line 110, characters 12-15
Called from Dune_site_plugins__Plugins.load_gen in file "otherlibs/site/src/plugins/plugins.ml", line 255, characters 4-36
Called from Stdlib__List.iter in file "list.ml", line 110, characters 12-15
Called from Dune_site_plugins__Plugins.load_gen in file "otherlibs/site/src/plugins/plugins.ml", line 255, characters 4-36
Called from Stdlib__List.iter in file "list.ml", line 110, characters 12-15
Called from Stdlib__List.iter in file "list.ml", line 110, characters 12-15
Called from Frama_c_kernel__Kernel.bootstrap_loader in file "src/kernel_services/plugin_entry_points/kernel.ml", line 918, characters 35-62
Called from Frama_c_kernel__Cmdline.parse_and_boot in file "src/kernel_services/cmdline_parameters/cmdline.ml", line 894, characters 2-22
Called from Frama_c_kernel__Cmdline.catch_toplevel_run in file "src/kernel_services/cmdline_parameters/cmdline.ml", line 233, characters 4-8
Unexpected error (It is not possible to dynamically link a plugin which uses the thread library
with an executable not already linked with the thread
library.).
Please report as 'crash' at https://git.frama-c.com/pub/frama-c/issues
Your Frama-C version is 26.0 (Iron).
Steps to reproduce the issue
- install both Frama-C and bogue through Opam
- extract the attached archive containing the plugin source (see view-cfg.tar.gz)
- execute
dune build
- execute Frama-C through dune with
dune exec -- frama-c
Contextual information
- Frama-C installation mode: Opam with an OCaml 4.14.1 switch
- Frama-C version: 26.0 (Iron)
- Plug-in used: "homemade" CFG plugin from the plugin development guide
- OS name: Linux
- OS version: Ubuntu 22.04
Additional information
I looked through the bugtracker but did not find any related issue. I hope I did not make a stupid mistake by copying the code from the guide!