Return to search results
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.
Find Related Datasets
Search by Tags
Click any tag below to search for similar datasets
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 |
