Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T).
Paulo BarrosRené JustSuzanne MillsteinPaul VinesWerner DietlMarcelo d'AmorimMichael D. ErnstPublished in: ASE (2015)
Keyphrases
- control flow
- static analysis
- java card
- source code
- byte code
- android application
- data flow
- software testing
- dynamic analysis
- test suite
- java programs
- process model
- open source
- software systems
- active rules
- object oriented
- workflow management systems
- modeling language
- regular expressions
- programming language
- database applications
- business processes
- databases
- api calls
- malware detection
- reverse engineering
- high level