4 ms·
> These things exist for languages like C. Isn't that at the compiler level rather than binary though? It's definitely a lot easier when you're compiling, yes!
by zimpenfish 8y ago
> These things exist for languages like C.
Isn't that at the compiler level rather than binary though? It's definitely a lot easier when you're compiling, yes!
- 0db532a0 8y agoIt 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.