It is at the compiler level, but there is no reason that the same methods cannot be applied to binaries. Here's a paper I found from 2004 on static analysis of

It is at the compiler level, but there is no reason that the same methods cannot be applied to binaries. Here's a paper I found from 2004 on static analysis of x86 executables: http://pages.cs.wisc.edu/~bgogul/Research/Papers/cc04.pdf http://pages.cs.wisc.edu/~bgogul/Research/Papers/cc04.pdf.