Description
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.
Resources
| Name |
Format |
Description |
Link |
|
21 |
|
http://babelfish.arc.nasa.gov/hg/jpf/jpf-pathdroid |
Tags
- model-checking
- jpf
- java
- verification
- java-pathfinder
- pathdroid