From the publication dates, this could be what Thomas Maier-Komor got his PhD for; however, since he now appears to have a full-time job at BMW, I wouldn't coun

From the publication dates, this could be what Thomas Maier-Komor got his PhD for; however, since he now appears to have a full-time job at BMW, I wouldn't count on this being developed further. There's still Cil if you speak Ocaml: http://kerneis.github.io/cil/doc/html/cil/ http://kerneis.github.io/cil/doc/html/cil/