Dynamic Analysis of Upgrades in C/C++ Software.
Fabrizio PastoreLeonardo MarianiAlberto GoffiManuel OriolMichael WahlerPublished in: ISSRE (2012)
Keyphrases
- dynamic analysis
- static analysis
- reverse engineering
- software maintenance
- software systems
- source code
- abstract interpretation
- malicious behavior
- anti virus
- model checking
- software evolution
- development process
- software components
- databases
- software architecture
- computer systems
- software engineering
- training data
- artificial intelligence