Reverse Engineering of ARM Binaries Using Formal Transformations.
Tobias F. PfefferPaula HerberJörg SchneiderPublished in: SIN (2014)
Keyphrases
- reverse engineering
- formal specification
- software engineering
- dynamic analysis
- object oriented
- conceptual schema
- software maintenance
- gene regulatory networks
- computer aided design
- software product
- business rules
- reverse engineer
- program understanding
- information systems
- legacy systems
- software evolution
- database systems
- machine learning
- platform independent
- artificial intelligence