Model-Based Static Source Code Analysis of Java Programs with Applications to Android Security.

Zheng Lu Supratik Mukhopadhyay

Published in: COMPSAC (2012)

Keyphrases

source code
static analysis
open source
java programs
impact analysis
software systems
software maintenance
mining software repositories
plagiarism detection
manual inspection
software evolution
free software
operating system
software repositories
programming language
computational intelligence
high level