Neural-Augmented Static Analysis of Android Communication.

Jinman Zhao Aws Albarghouthi Vaibhav Rastogi Somesh Jha Damien Octeau

Published in: CoRR (2018)

Keyphrases

static analysis
dynamic analysis
source code
neural network
java card
network architecture
mobile devices
symbolic execution
malicious code
abstract interpretation
regular expressions
test generation
mobile applications