What's your static analyzer? It's probably written in OCaml, which some call the "practical Haskell".

https://github.com/facebook/pfff/wiki/Main

http://frama-c.com/