[UncleMeat]

Yes.

Here is one paper of interest https://www.comp.nus.edu.sg/~loiluu/papers/oyente.pdf.

[jsnathan]

Hi, thanks for the link. I've seen this paper, but it has nothing to do with strongly typed languages, as far as I can tell. In fact, there is no mention of types in the paper at all, it's strictly automated analysis.