[Javapathfinder-svn] SF.net SVN: javapathfinder:[1593] branches/mango/MangoJPF

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

Revision: 1593
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1593&view=rev
Author:   frankrimlinger
Date:     2009-06-04 04:22:16 +0000 (Thu, 04 Jun 2009)

Log Message:
-----------
MangoJPF  now survives the entire backup algorithm, both phase1 and phase2.  The topology of simple loops and nested loops appears to be correct, but blowups like "loop_with_if" are broken.  Also, all predicate transformers are computed incorrectly, something bad happens early on for these.  Also, the names of methods are being corrupted so that the descriptor appears twice.

The topology of error handling appears to be fine.  This is a relief, as this code was pretty fragile.

So, lots of buggies to fix.  First work on topology.  Probably best to expose the stratified graphs in the folder viewer as was done in days gone by.

Actually, first fix method name bug as this could cause lots of weirdness.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/LoopGraph.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEINTERFACE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESPECIAL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESTATIC.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java


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