Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Activity Not Available

Project Summary

Java PathFinder is a system to verify executable Java bytecode programs. In its basic form, it is a Java Virtual Machine (JVM) that is used as an explicit state software model checker.

Tags

testing virtual_machines

In a Nutshell, JavaPathFinder...

 Code analysis has not completed

The Open Hub computes statistics on FOSS projects by examining source code and commit history in source code management systems. The source code for this project has been located, but the analysis isn't complete. Feel free to check its progress.

Quick Reference

Project Links:

Download
Code Locations:
http://babelfish.arc.nasa.gov/hg...
Similar Projects:
Managers:
Become the first manager for JavaPathFinder

Licenses

NASA Open Source Agreement 1.3
Permitted
Forbidden
Required

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record
Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities
Few reported vulnerabilities
About Project Vulnerability Report

Did You Know...

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    compare projects before you chose one to use
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    search using multiple tags to find exactly what you need
About Project Security

 Code analysis has not completed

The Open Hub computes statistics on FOSS projects by examining source code and commit history in source code management systems. The source code for this project has been located, but the analysis isn't complete. Feel free to check its progress.

Community Rating

Be the first to rate this project
Click to add your rating
  
Review this Project!