owi: Cross-language Bugfinder (via jeanthomas) — discussion

#formalmethods #ml