Static Analysis via Intermediate Languages
Hello everybody, I've been a member here for a little while but have mainly lurked around the site. I'm currently pursuing a line of malware research involving disassembling x86 binaries and translating them into an intermediate language to describe behavior of basic blocks. I was curious if there are other examples of this type of approach. I am aware of Zynamics's REIL, but was curious if you all have taken remotely similar approaches and have any suggestions as far as tools, approaches, ideas, etc goes. Thanks a lot!