Vydavatel National Aeronautics and Space Administration
Datum vydání před téměř 10 roky
US
beta
Shrnutí
Popis
Pathdroid is a framework to analyze binary Android applications for program defects and malicious behaviors. Pathdroid is based on the Java Pathfinder (JPF) verification system (http://babelfish.arc.nasa.gov/trac/jpf), and thus provides model checking capabilities for applications that are distributed as standard Android .dex or .apk files.