[Soot-list] dava Error : Could not verify approximated Synchronized body

[Dionne, Sebastien]

I'm trying to decompile a class but I got an error.  There is a way to fix
it ?

I try with JAD and I obtain this (if that could help)



private void a(BFContext bfcontext)
    {
label0:
        {
            synchronized(y)
            {
                if(bfcontext.d < 0 || bfcontext.d >= z.size() ||
a(bfcontext.d) != bfcontext)
                    break label0;
            }
            return;
        }
        if(ab == null)
        {
            bfcontext.d = z.size();
            z.addElement(bfcontext);
        } else
        {
            bfcontext.d = ab.intValue();
            ab = (Integer)z.elementAt(ab.intValue());
            z.setElementAt(bfcontext, bfcontext.d);
        }
        if(a())
            b(bfcontext.d, "+++");
        abyte0;
        JVM INSTR monitorexit ;
          goto _L1
        exception;
        throw exception;
_L1:
    }



----------------------------------------------------------------------------
----------------------------------------------------------------------------
----------------------------------



C:\workspace-test\test-soot-bf>java -Xmx400m -classpath
sootclasses-2.2.4.jar;polyglot.jar;C:\workspace-test\test-soot-b
f\classes;C:\jdk_5\jre\lib\rt.jar;C:\jdk_5\jre\lib\jsse.jar;C:\jdk_5\jre\lib
\jce.jar;C:\jdk_5\jre\lib\charsets.jar;C:\jd
k_5\jre\lib\ext\dnsns.jar;C:\jdk_5\jre\lib\ext\localedata.jar;C:\jdk_5\jre\l
ib\ext\sunjce_provider.jar;C:\jdk_5\jre\lib\
ext\sunmscapi.jar;C:\jdk_5\jre\lib\ext\sunpkcs11.jar soot.Main --cp
sootclasses-2.2.4.jar;polyglot.jar;C:\workspace-test
\test-soot-bf\classes;C:\jdk_5\jre\lib\rt.jar;C:\jdk_5\jre\lib\jsse.jar;C:\j
dk_5\jre\lib\jce.jar;C:\jdk_5\jre\lib\charse
ts.jar;C:\jdk_5\jre\lib\ext\dnsns.jar;C:\jdk_5\jre\lib\ext\localedata.jar;C:
\jdk_5\jre\lib\ext\sunjce_provider.jar;C:\jd
k_5\jre\lib\ext\sunmscapi.jar;C:\jdk_5\jre\lib\ext\sunpkcs11.jar
--process-dir C:\workspace-test\test-soot-bf\classes -d
 C:\workspace-test\test-soot-bf\sootOutput\ -f dava
Soot started on Tue Jun 19 10:19:28 EDT 2007
Verifying exception handling.. Warning: using incomplete callgraph
containing only application classes.
[Call Graph] For information on where the call graph may be incomplete, use
the verbose option to the cg phase.
.

Decompiling com.bridge.feed.server.BFContext...
Decompiling com.bridge.feed.server.BFContextAdmin...
Decompiling com.bridge.feed.server.BFContextLogin...
Decompiling com.bridge.feed.server.BFContextStartup...
Decompiling com.bridge.feed.server.BFCrypt...
Decompiling com.bridge.feed.server.BFDriver...
Exception in thread "main" java.lang.RuntimeException: Could not verify
approximated Synchronized body
        at
soot.dava.toolkits.base.finders.SynchronizedBlockFinder.find(SynchronizedBlo
ckFinder.java:163)
        at soot.dava.DavaBody.<init>(DavaBody.java:331)
        at soot.dava.Dava.newBody(Dava.java:84)
        at soot.PackManager.runBodyPacks(PackManager.java:807)
        at soot.PackManager.runBodyPacks(PackManager.java:451)
        at soot.PackManager.runBodyPacks(PackManager.java:370)
        at soot.PackManager.runPacks(PackManager.java:347)
        at soot.Main.run(Main.java:203)
        at soot.Main.main(Main.java:146)

Sébastien Dionne ing. jr.
Financière Banque Nationale
Analyste programmeur Senior
tel : 514-879-3107
courriel : sebastien.dionne at fbn.ca



**************************************************
AVIS DE NON-RESPONSABILITE: Ce document transmis par courrier electronique est destine uniquement a la personne ou a l'entite a qui il est adresse et peut contenir des renseignements confidentiels et assujettis au secret professionnel. La confidentialite et le secret professionnel demeurent malgre l'envoi de ce document a la mauvaise adresse electronique. Si vous n'etes pas le destinataire vise ou la personne chargee de remettre ce document a son destinataire, veuillez nous en informer sans delai et detruire ce document ainsi que toute copie qui en aurait ete faite. Toute distribution, reproduction ou autre utilisation de ce document est strictement interdite. De plus, le Groupe Financiere Banque Nationale et ses filiales ne peuvent pas etre tenus responsables des dommages pouvant etre causes par des virus ou des erreurs de transmission.

DISCLAIMER: This documentation transmitted by electronic mail is intended for the use of the individual to whom or the entity to which it is addressed and may contain information which is confidential and privileged. Confidentiality and privilege are not lost by this documentation having been sent to the wrong electronic mail address. If you are not the intended recipient or the person responsible for delivering it to the intended recipient please notify the sender immediately and destroy this document as well as any copies of it. Any distribution, reproduction or other use of this document is strictly prohibited. National Bank Financial Group and its affiliates cannot be held liable for any damage that may be caused by viruses or transmission errors.
**************************************************

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20070619/485b6e2e/attachment.htm