| <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN"> |
| <html> |
| <head> |
| <!-- |
| $Id$ |
| --> |
| </head> |
| <body bgcolor="white"> |
| |
| Provides a PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use as |
| a nice side effect. |
| |
| <h2>Package Specification</h2> |
| |
| Contained in this package is a PassVerifier class for use with the JustIce verifier and its utility classes. |
| Only the pass performing what Sun calls "Structural Constraints on Java Virtual Machine Code" |
| has a PassVerifier class here. JustIce calls this pass "Pass 3b". |
| |
| <h2>Related Documentation</h2> |
| |
| For a simple demonstration of JustIce working, please see: |
| <ul> |
| <li><a href="http://www.inf.fu-berlin.de/~ehaase/cgi-html/Verifier.html">A WWW front-end for JustIce.</a> |
| </ul> |
| |
| </body> |
| </html> |
