Login / Signup
SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform.
Alessandro Armando
Gianluca Bocci
Giantonio Chiarelli
Gabriele Costa
Gabriele De Maglie
Rocco Mammoliti
Alessio Merlo
Published in:
TACAS (2015)
Keyphrases
</>
static analysis
java card
mobile apps
mobile applications
symbolic execution
dynamic analysis
source code
regular expressions
smart card
mobile devices
business models
test generation
m learning
coverage includes
web applications
database
smart phones
data exchange
context aware
access control