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/