I work on the static analysis of C programs. Sometimes I write blog posts, that may be on the subject of static analysis of C programs, at http://blog.frama-c.com/
I obtained the C gold badge at the very end of 2013. Now for the OCaml badge!
(this is a jokey reference to the bias in reputation brought by popular languages)