{"@type": "dcat:Dataset", "accessLevel": "public", "accrualPeriodicity": "irregular", "bureauCode": ["026:00"], "contactPoint": {"@type": "vcard:Contact", "fn": "Peter Mehlitz", "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": {"@type": "org:Organization", "name": "Ames Research Center"}, "theme": ["Management/Operations"], "title": "ARC Code TI: PathDroid"}