WP-Plugin crashes due to an internal error (#701) · Issues · pub / frama-c