ARC Code TI: PathDroid
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.
Complete Metadata
| @type | dcat:Dataset |
|---|---|
| accessLevel | public |
| accrualPeriodicity | irregular |
| bureauCode |
[
"026:00"
]
|
| contactPoint |
{
"fn": "Peter Mehlitz",
"@type": "vcard:Contact",
"hasEmail": "mailto:peter.mehlitz@nasa.gov"
}
|
| 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. |
| identifier | OCIO-Fitara-133 |
| issued | 2015-01-07 |
| keyword |
[
"java",
"java-pathfinder",
"jpf",
"model-checking",
"pathdroid",
"verification"
]
|
| landingPage | http://ti.arc.nasa.gov/opensource/projects/pathdroid/ |
| modified | 2025-07-17 |
| programCode |
[
"026:046"
]
|
| publisher |
{
"name": "Ames Research Center",
"@type": "org:Organization"
}
|
| theme |
[
"Management/Operations"
]
|
| title | ARC Code TI: PathDroid |
