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...

NASA Open Data Portal00

ARC Code TI: Libibvpp

Libibvpp is a C++ wrapper around libibverbs, which is part of the OpenFabrics software suite (www.openfabrics.org).

NASA Open Data Portal00

ARC Code TI: Swim

Swim is a software information service for the grid built on top of Pour, which is an information service framework developed at NASA. Swim provides true software...

data.gov00

ARC Code TI: PathDroid