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

This dataset has no data

Additional Info

Field	Value
Maintainer	Peter Mehlitz
Last Updated	July 17, 2025, 17:21 (UTC)
Created	April 1, 2025, 00:59 (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	61edbdaa-4406-417e-9668-4618cb393929
harvest_source_id	61638e72-b36c-4866-9d28-551a3062f158
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	de9d29effcbe56c2d7ca2903741f35638aed7b74a03acf3d5e15afc1f1cd6c84
source_schema_version	1.1
theme	{Management/Operations}