Re: *** SPAM *** Re: Re: Re: bytecode verification

Rémi,

Yes, I call the super constructor, but I added some additional code before 
the super() call, this seems to not be accepted by the JVM verifier.

Luc

----- Original Message ----- 
From: "Rémi Forax" <[email protected]>
To: <[email protected]>
Sent: Thursday, November 11, 2010 3:35 PM
Subject: *** SPAM *** [asm] Re: Re: Re: bytecode verification


> Luc, do you call the super constructor in your constructor ?
>
> Something like:
> aload 0
> invokespecial java/lang/Object.<init>()V
>
> Rémi
>
> Le 11/11/2010 15:09, Chris Dennis a écrit :
>> Although development has pretty much ceased on BCEL
>> (http://jakarta.apache.org/bcel/), the JustIce verifier contained
>> within it is imho still the best and most thorough bytecode verifier
>> out there.  It will probably be able to help you hunt down the problem.
>>
>> Chris
>>
>> On Nov 10, 2010, at 8:34 PM, Yao Qi wrote:
>>
>>> On Wed, Nov 10, 2010 at 1:01 PM, luc peuvrier at home
>>> <[email protected]> wrote:
>>>> When JVM load my transformed code I have the here below error:
>>>> java.lang.VerifyError: (class:
>>>> net/sf/joafip/store/service/objectfortest/Bob1, method: <init>
>>>> signature:
>>>> (Lnet/sf/joafip/store/service/proxy/IInstanceFactory;Z)V) Expecting
>>>> to find
>>>> object/array on stack
>>>>
>>>> The error is not verbose and not helpfull to make able to debug.
>>>>
>>>
>>> You can dump your instrumented byte code into file, and using javap to
>>> check the byte code,
>>> especially in Bob1 (IInstanceFactory, ).  You should find the problem.
>>> I did this
>>> many times before. :)
>>>
>>>> So I used CheckClassAdapter.verify on my transformed code expecting
>>>> verbose
>>>> error report, but it accept the byte code.
>>>>
>>>> It seems CheckClassAdapter.verify has not the same behaviour man the JM
>>>> bytecode verifier.
>>>
>>> Yeah, different JVM has different security/verification checking,
>>> mostly more strict
>>> than CheckClassAdapter.verify.
>>>
>>>>
>>>> Witch tools make able to verify bytecode like jvm verifier but with
>>>> verbose
>>>> output for debug purpose ?
>>>
>>> I was looking for that tool for a long time, but unfortunately, I
>>> didn't  get anything
>>> useful.
>>>
>>> -- 
>>> Yao Qi <qiyaoltc AT gmail DOT com>
>>> http://sites.google.com/site/duewayqi/
>>>
>>> -- 
>>> You receive this message as a subscriber of the [email protected] mailing
>>> list.
>>> To unsubscribe: mailto:[email protected]
>>> For general help: mailto:[email protected]?subject=help
>>> OW2 mailing lists service home page: http://www.ow2.org/wws
>>
>
>


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


>
> -- 
> You receive this message as a subscriber of the [email protected] mailing list.
> To unsubscribe: mailto:[email protected]
> For general help: mailto:[email protected]?subject=help
> OW2 mailing lists service home page: http://www.ow2.org/wws
>

-- 
You receive this message as a subscriber of the [email protected] mailing list.
To unsubscribe: mailto:[email protected]
For general help: mailto:[email protected]?subject=help
OW2 mailing lists service home page: http://www.ow2.org/wws