diff options
Diffstat (limited to 'README.JustIce')
| -rw-r--r-- | README.JustIce | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/README.JustIce b/README.JustIce new file mode 100644 index 00000000..de6c4423 --- /dev/null +++ b/README.JustIce @@ -0,0 +1,40 @@ + +-------------------------------- +RUNNING A CONSOLE-BASED VERIFIER +-------------------------------- + +A command like + + java org.apache.bcel.verifier.Verifier fully.qualified.class.Name + +lets JustIce work standalone. + + +If you get a "java.lang.OutOfMemoryError", you should increase the +maximum Java heap space. A command like + + java -Xmx1887436800 org.apache.bcel.verifier.Verifier f.q.c.Name + +will usually resolve the problem. The value above is suitable for +big server machines; if your machine starts swapping to disk, try +to lower the value. + + +--------------------------------- +RUNNING A GRAPHICS-BASED VERIFIER +--------------------------------- + +If you prefer a graphical application, you should use a command like + + java org.apache.bcel.verifier.GraphicalVerifier + +to launch one. Again, you may have to resolve a memory issue depending +on the classes to verify. + + +------------------ +CONTACT THE AUTHOR +------------------ + +If you do something useful with JustIce, I'd like to hear about it! +Enver Haase <ehaase@inf.fu-berlin.de> |