ARC Code TI: PathDroid

Published by Ames Research Center | National Aeronautics and Space Administration | Metadata Last Checked: July 18, 2025 | Last Modified: 2025-07-17

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

Click any tag below to search for similar datasets

Complete Metadata

bureauCode	[ "026:00" ]
identifier	OCIO-Fitara-133
issued	2015-01-07
landingPage	http://ti.arc.nasa.gov/opensource/projects/pathdroid/
programCode	[ "026:046" ]
theme	[ "Management/Operations" ]