In fact there exists a plugin that can do that but it is currently not free: https://frama-c.com/fc-plugins/mthread.html https://frama-c.com/fc-plugins/mthread

In fact there exists a plugin that can do that but it is currently not free: https://frama-c.com/fc-plugins/mthread.html https://frama-c.com/fc-plugins/mthread.html (And by the way since it is not done by typing it is hard to use on legacy code)