[Javapathfinder-svn] SF.net SVN: javapathfinder:[1481] branches/mango/MangoJPF/ javapathfinder-mango-bridge/mango/scanner

[<fra...@us...>]

Revision: 1481
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1481&view=rev
Author:   frankrimlinger
Date:     2009-05-04 01:00:36 +0000 (Mon, 04 May 2009)

Log Message:
-----------
scanner logic implementation in progress

1.  bytecode rehab, one more time with feeling.
a) choicegenerator cleanup
b) if not return or athrow: check to return null if visited.
c) mark as visited, nontrivial case must be set from cg, because multiple visits to bytecode required to service choices.
d) non-return/athrow return null if visited
e) return and athrow instructions return null unless parent frame is not ScannerStackFrame AND ScanChoiceGenerator.done()

2. Write code to capture clinit and exception handler entrypoints.

3. Code to fire clinits from launcher

4. Code to fire exception handlers from launcher

Modified Paths:
--------------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/BranchChoiceGenerator.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/InvocationChoiceGenerator.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/AALOAD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/AASTORE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ACONST_NULL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ALOAD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ANEWARRAY.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ARETURN.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ARRAYLENGTH.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ASTORE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROW.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/BALOAD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/BASTORE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DRETURN.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FRETURN.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IRETURN.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LRETURN.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/RETURN.java

Added Paths:
-----------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ScanChoiceGenerator.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.