search

javapathfinder / jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
527 stars 334 forks source link

the link about "statechart extension" is missing #173

Open bahuasheng opened 5 years ago

bahuasheng commented 5 years ago

In https://github.com/javapathfinder/jpf-core/wiki/Different-applications-of-JPF, the link about "statechart extension" is missing

cyrille-artho commented 5 years ago

Yes, the link points to a non-existent page. Does anyone know the correct link?

manish3499 commented 5 years ago

@cyrille-artho http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-statechart This could be the one, but it asks for username and password for authentication

cyrille-artho commented 5 years ago

Perhaps there is another site where the project now is? The content on babelfish is very outdated, and, as you noticed, no longer accessible to outside users.

manish3499 commented 5 years ago

As far as I've seen, all the content related to JPF is found on GitHub, the bablefish page and the sourceforge.net page. The sourceforge.net page has a link ( http://javapathfinder.sourceforge.net/extensions/statechart/doc/index.html ) related to statechart extension, but that too returns a 404 error.

cyrille-artho commented 5 years ago

It is possible that this extension has not been maintained for a while, and that there is no working web page available anymore. That would be quite unfortunate. The use of sourceforge predates even the Mercurial (hg) repository on babelfish, so that page is likely even older than the now-defunct one on babelfish.