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.

Data and Resources

Unnamed resourceapplication/html
Explore
- More information
- Go to resource

Additional Info

Field	Value
Maintainer	Peter Mehlitz
Last Updated	February 19, 2025, 11:45 (UTC)
Created	February 19, 2025, 11:45 (UTC)
accessLevel	public
accrualPeriodicity	irregular
bureauCode	{026:00}
catalog_@context	https://project-open-data.cio.gov/v1.1/schema/catalog.jsonld
catalog_@id	https://data.nasa.gov/data.json
catalog_conformsTo	https://project-open-data.cio.gov/v1.1/schema
catalog_describedBy	https://project-open-data.cio.gov/v1.1/schema/catalog.json
harvest_object_id	395cc6af-c167-409a-a534-b1e5d507cba4
harvest_source_id	b37e5849-07d2-41cd-8bb6-c6e83fc98f2d
harvest_source_title	DNG Legacy Data
identifier	OCIO-Fitara-133
issued	2015-01-07
landingPage	http://ti.arc.nasa.gov/opensource/projects/pathdroid/
modified	2020-01-29
programCode	{026:046}
publisher	Ames Research Center
resource-type	Dataset
source_datajson_identifier	true
source_hash	204abccd1ce8cc9f611cce541c352cfd7c15b1feb7ac334a7cefa439dd5e8eeb
source_schema_version	1.1
theme	{Management/Operations}