Related Work

CFG Recovery by Abstract Interpretation

  • Johannes Kinder and Dmitry Kravchenko. Alternating control flow reconstruction. In Proceeding of 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI’2012), volume 7148 of Lecture Notes in Computer Science, pages 267–282, Philadelphia, PA, 2012. Springer.
  • Johannes Kinder and Helmut Veith. Jakstab : A static analysis platform for binaries. In Proceedings of 20th International Conference on Computer Aided Verification (CAV’2008), volume 5123 of Lecture Notes in Computer Science, pages 423–427, Princeton, NJ, USA, 2008. Springer.
  • Johannes Kinder and Helmut Veith. Precise static-analysis of untrusted driver binaries. In Proceedings of 10th International Conference on Formal Methods in Computer Aided Design (FMCAD’2010), pages 43–50, Lugano, Switzerland, 2010. IEEE Computer Society.
  • Johannes Kinder, Florian Zuleger, and Helmut Veith. An abstract interpretation-based framework for control flow reconstruction from binaries. In Proceedings of 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI’2009), volume 5403 of Lecture Notes in Computer Science, pages 214–228, Savannah, GA, USA, 2009. Springer.

CFG Recovery by Directed Automated Search

Shape Analysis and TVLA

Other Related Papers (To be sorted)

Last modified 4 years ago Last modified on Nov 7, 2012 2:02:04 PM