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.
Resources
4 resources available
-
This dataset's landing page
HTML -
View this dataset's algorithm theoretical basis document
HTML -
View this dataset's processing history
HTML -
Use OPeNDAP to access the dataset's data
HTML
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. |
| distribution |
[ { "@type": "dcat:Distribution", "title": "This dataset's landing page", "format": "HTML", "mediaType": "text/html", "description": "MODIS-Aqua L3M Diffuse Attenuation Coefficient for Downwelling Irradiance (KD) - Near Real Time (NRT) Dataset Landing Page", "downloadURL": "https://oceancolor.gsfc.nasa.gov/data/10.5067/AQUA/MODIS/L3M/KD/2022" }, { "@type": "dcat:Distribution", "title": "View this dataset's algorithm theoretical basis document", "format": "HTML", "mediaType": "text/html", "description": "NASA Ocean Color Web - Algorithm Description Documentation", "downloadURL": "https://oceancolor.gsfc.nasa.gov/atbd/" }, { "@type": "dcat:Distribution", "title": "View this dataset's processing history", "format": "HTML", "mediaType": "text/html", "description": "NASA Ocean Color Web - Processing History", "downloadURL": "https://oceancolor.gsfc.nasa.gov/reprocessing/" }, { "@type": "dcat:Distribution", "title": "Use OPeNDAP to access the dataset's data", "format": "HTML", "mediaType": "text/html", "description": "OB.DAAC OPeNDAP Site for Aqua MODIS Standard Mapped Image (SMI) Product", "downloadURL": "https://oceandata.sci.gsfc.nasa.gov/opendap/MODISA/L3SMI/" } ] |
| 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 |
