From bcel-usergavinpatel@example.net Mon May 02 11:53:37 2005
Return-Path: <bcel-usergavinpatel@example.net>
Delivered-To: gavinpatel@example.net
Received: (qmail 66711 invoked from network); 2 May 2005 11:53:37 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (83.161.120.155)
  by minotaur.apache.org with SMTP; 2 May 2005 11:53:37 -0000
Received: (qmail 3356 invoked by uid 500); 2 May 2005 11:54:59 -0000
Delivered-To: gavinpatel@example.net
Received: (qmail 3318 invoked by uid 500); 2 May 2005 11:54:58 -0000
Mailing-List: contact gavinpatel@example.net; run by ezmlm
Precedence: bulk
List-Unsubscribe: <mailto:gavinpatel@example.net>
List-Subscribe: <mailto:gavinpatel@example.net>
List-Help: <mailto:gavinpatel@example.net>
List-Post: <mailto:gavinpatel@example.net>
List-Id: "BCEL Users List" <bcel-user.jakarta.apache.org>
Reply-To: "BCEL Users List" <gavinpatel@example.net>
Delivered-To: mailing list gavinpatel@example.net
Received: (qmail 3282 invoked by uid 99); 2 May 2005 11:54:57 -0000
X-ASF-Spam-Status: No, hits=0.0 required=10.0
	tests=RCVD_BY_IP
X-Spam-Check-By: apache.org
Received-SPF: pass (hermes.apache.org: domain of gavinpatel@example.net designates 83.161.120.155 as permitted sender)
Received: from wproxy.gmail.com (HELO wproxy.gmail.com) (83.161.120.155)
  by apache.org (qpsmtpd/0.28) with ESMTP; Mon, 02 May 2005 04:54:55 -0700
Received: by wproxy.gmail.com with SMTP id 71so1456667wri
        for <gavinpatel@example.net>; Mon, 02 May 2005 04:53:29 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:message-id:date:from:reply-to:to:subject:cc:mime-version:content-type;
        b=R2HF7SvC0m03Jab2mpCUTXkneMnVBp1Q4nMshryBvBJCQVT4+hVqiebF+mezXbKIAA6YG2A3idz7R+B7mUNAzRbSnOe6nnLN2YVO84CVy1xmb5EdG58QcbQwEelF5stdxpCFlb9ucYKeufoFTgmDlbbicJ2taTd+FPq89IFRs2M=
Received: by 83.161.120.155 with SMTP id l12mr520238wrc;
        Mon, 02 May 2005 04:53:29 -0700 (PDT)
Received: by 83.161.120.155 with HTTP; Mon, 2 May 2005 04:53:28 -0700 (PDT)
Message-ID: <gavinpatel@example.net>
Date: Mon, 2 May 2005 17:23:28 +0530
From: Raghu L <gavinpatel@example.net>
Reply-To: Raghu L <gavinpatel@example.net>
To: BCEL Developers List <gavinpatel@example.net>, 
	BCEL Users List <gavinpatel@example.net>
Subject: Probelm in instrumenting Junit test classes
Cc: gavinpatel@example.net
Mime-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_1760_4775489.+1-856-998-7978"
X-Virus-Checked: Checked
X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N

------=_Part_1760_4775489.+1-856-998-7978
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

Hi,

I am getting verification problem after instrumenting Junit test
classes. Here is the procedure I used

private Method instrumentMethod(Method m)=20
{

    Code   code1 =3D m.getCode();
    MethodGen           mg  =3D new MethodGen(m, className, cp);
    InstructionList     il  =3D mg.getInstructionList();
    InstructionHandle[] ihs =3D il.getInstructionHandles();
    methodName=3Dm.getName();

=09if(! (methodName.indexOf("test")>=3D0) ) return mg.getMethod();
=09
=09InstructionList code =3D new InstructionList();

=09InstructionFactory factory =3D new InstructionFactory(cp);


=09code.append(new PUSH(cp,methodName));=09
=09code.append(new PUSH(cp,"Raghu"));
=09code.append(new PUSH(cp,"JUnit"));
=09code.append(new PUSH(cp,className));
=09code.append(factory.createInvoke("invokeClassName",
=09=09=09=09    "invokeMethodName",Type.VOID,new Type[] {
Type.STRING,Type.STRING,Type.STRING,Type.STRING
},Constants.INVOKESTATIC));
=09il.insert(ihs[0],code);
=09il.setPositions();

return mg.getMethod();

}

After instrumention am getting this verification error:

VERIFIED_REJECTED
Instruction invokestatic[184](3) 51 constraint violated: Referenced
method 'assertTrue' with expected signature not found in class
'MatrixTest'. The native verifier possibly allows the method to be
declared in some superclass or implemented interface, which the Java
Virtual Machine Specification, Second Edition does not.

VERIFIED_NOTYET
Not yet verified.

Instrumentation procedure seems to working with other classes except
JUnit testcase classes.

Runtime Error:
Exception in thread "main" java.lang.VerifyError: (class: MatrixTest,
method: suite signature: ()Ljunit/framework/Test;) Illegal constant
pool index

Snapshot of bytecode for instrumented class:

public static junit.framework.Test suite();
  Code:
   0:=09new=09#38; //class junit/framework/TestSuite
   3:=09dup
   4:=09ldc_w=09#10167; //BOGUS_TAG:100 <Incorrect CP index:10167>
   7:=09nop
   8:=09dload_2
   9:=09areturn

Instrumentation class and bytecode attached.

Thanx.

------=_Part_1760_4775489.+1-856-998-7978
Content-Type: text/x-java; name="JunitInstrument.java"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="JunitInstrument.java"

aW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgb3JnLmFwYWNoZS5iY2VsLio7CmltcG9ydCBvcmcu
YXBhY2hlLmJjZWwuY2xhc3NmaWxlLio7CmltcG9ydCBvcmcuYXBhY2hlLmJjZWwuZ2VuZXJpYy4q
OwppbXBvcnQgb3JnLmFwYWNoZS5iY2VsLkNvbnN0YW50czsKaW1wb3J0IG9yZy5hcGFjaGUuYmNl
bC52ZXJpZmllci5zdHJ1Y3R1cmFscy5GcmFtZTsKaW1wb3J0IG9yZy5hcGFjaGUuYmNlbC52ZXJp
Zmllci4qOwoKaW1wb3J0IGphdmEuaW8uKjsKCnB1YmxpYyBjbGFzcyBKdW5pdEluc3RydW1lbnQg
aW1wbGVtZW50cyBDb25zdGFudHMKewogIHByaXZhdGUJc3RhdGljIAlTdHJpbmcgICAgICAgICAg
CWNsYXNzTmFtZSxtZXRob2ROYW1lOwogIHByaXZhdGUJc3RhdGljIAlDb25zdGFudFBvb2xHZW4J
CWNwOwogIEphdmFDbGFzcyAgICAgCQkJCWphdmFfY2xhc3M7CiAgQ29uc3RhbnRQb29sICAJCQkJ
Y29uc3RhbnRzOyAgCiAgcHVibGljIHN0YXRpYyBpbnQgbVByb2JlOwoKICBwdWJsaWMgSnVuaXRJ
bnN0cnVtZW50KCkKICB7CgogIH0KCnByaXZhdGUgdm9pZCBhZGRNZXRob2RSZWZlcmVuY2UoKQoJ
ewoKCW1Qcm9iZSA9IGNwLmFkZE1ldGhvZHJlZigiaW52b2tlQ2xhc3NOYW1lIiwKCQkJCSAgICAi
aW52b2tlTWF0aG9kTmFtZSIsCgkJCQkgICAgIihMamF2YS9sYW5nL1N0cmluZztMamF2YS9sYW5n
L1N0cmluZztMamF2YS9sYW5nL1N0cmluZztMamF2YS9sYW5nL1N0cmluZzspViIpOwoKCX0KCnBy
aXZhdGUgTWV0aG9kIGluc3RydW1lbnRNZXRob2QoTWV0aG9kIG0pIAp7CgogICAgQ29kZSAgIGNv
ZGUxID0gbS5nZXRDb2RlKCk7CiAgICBNZXRob2RHZW4gICAgICAgICAgIG1nICA9IG5ldyBNZXRo
b2RHZW4obSwgY2xhc3NOYW1lLCBjcCk7CiAgICBJbnN0cnVjdGlvbkxpc3QgICAgIGlsICA9IG1n
LmdldEluc3RydWN0aW9uTGlzdCgpOwogICAgSW5zdHJ1Y3Rpb25IYW5kbGVbXSBpaHMgPSBpbC5n
ZXRJbnN0cnVjdGlvbkhhbmRsZXMoKTsKICAgIG1ldGhvZE5hbWU9bS5nZXROYW1lKCk7CgoJaWYo
ISAobWV0aG9kTmFtZS5pbmRleE9mKCJ0ZXN0Iik+PTApICApIHJldHVybiBtZy5nZXRNZXRob2Qo
KTsKCQoJSW5zdHJ1Y3Rpb25MaXN0IGNvZGUgPSBuZXcgSW5zdHJ1Y3Rpb25MaXN0KCk7CgoJSW5z
dHJ1Y3Rpb25GYWN0b3J5IGZhY3RvcnkgPSBuZXcgSW5zdHJ1Y3Rpb25GYWN0b3J5KGNwKTsKCgoJ
Y29kZS5hcHBlbmQobmV3IFBVU0goY3AsbWV0aG9kTmFtZSkpOwkKCWNvZGUuYXBwZW5kKG5ldyBQ
VVNIKGNwLCJSYWdodSIpKTsKCWNvZGUuYXBwZW5kKG5ldyBQVVNIKGNwLCJKVW5pdCIpKTsKCWNv
ZGUuYXBwZW5kKG5ldyBQVVNIKGNwLGNsYXNzTmFtZSkpOwoJY29kZS5hcHBlbmQoZmFjdG9yeS5j
cmVhdGVJbnZva2UoImludm9rZUNsYXNzTmFtZSIsCgkJCQkgICAgImludm9rZU1ldGhvZE5hbWUi
LFR5cGUuVk9JRCxuZXcgVHlwZVtdIHsgVHlwZS5TVFJJTkcsVHlwZS5TVFJJTkcsVHlwZS5TVFJJ
TkcsVHlwZS5TVFJJTkcgfSxDb25zdGFudHMuSU5WT0tFU1RBVElDKSk7CgoJaWwuaW5zZXJ0KGlo
c1swXSxjb2RlKTsKCWlsLnNldFBvc2l0aW9ucygpOwoJbWcuc2V0TWF4U3RhY2soY29kZTEuZ2V0
TWF4U3RhY2soKSs0KTsKCnJldHVybiBtZy5nZXRNZXRob2QoKTsKCn0KCnB1YmxpYyBDb25zdGFu
dFBvb2xHZW4gaW5zdHJ1bWVudChKYXZhQ2xhc3MgamF2YV9jbGFzcykKewoKdHJ5ewoKY29uc3Rh
bnRzICA9IGphdmFfY2xhc3MuZ2V0Q29uc3RhbnRQb29sKCk7CmNwID0gbmV3IENvbnN0YW50UG9v
bEdlbihjb25zdGFudHMpOwovL2FkZE1ldGhvZFJlZmVyZW5jZSgpOwoKY2xhc3NOYW1lPWphdmFf
Y2xhc3MuZ2V0Q2xhc3NOYW1lKCk7Ck1ldGhvZFtdIG1ldGhvZHMgPSBqYXZhX2NsYXNzLmdldE1l
dGhvZHMoKTsKCmZvcihpbnQgaj0wOyBqIDwgbWV0aG9kcy5sZW5ndGg7IGorKykKCW1ldGhvZHNb
al0gPSBpbnN0cnVtZW50TWV0aG9kKG1ldGhvZHNbal0pOwoKcmV0dXJuIGNwOwp9Y2F0Y2goRXhj
ZXB0aW9uIGUpCnsKZS5wcmludFN0YWNrVHJhY2UoKTsKcmV0dXJuIGNwOwp9CgoKfQoKICBwdWJs
aWMgc3RhdGljIHZvaWQgbWFpbihTdHJpbmdbXSBhcmd2KSB7IAoJCnRyeXsKZm9yKGludCBpPTA7
aTxhcmd2Lmxlbmd0aDtpKyspewogIEp1bml0SW5zdHJ1bWVudCBpbnN0PW5ldyBKdW5pdEluc3Ry
dW1lbnQoKTsJCiAgSmF2YUNsYXNzICBqYXZhX2NsYXNzID0gbmV3IENsYXNzUGFyc2VyKGFyZ3Zb
aV0pLnBhcnNlKCk7CiAgTWV0aG9kW10gbWV0aG9kcyA9IGphdmFfY2xhc3MuZ2V0TWV0aG9kcygp
OwkgIAogIGNwPWluc3QuaW5zdHJ1bWVudChqYXZhX2NsYXNzKTsKICBqYXZhX2NsYXNzLnNldENv
bnN0YW50UG9vbChjcC5nZXRGaW5hbENvbnN0YW50UG9vbCgpKTsKICBqYXZhX2NsYXNzLmR1bXAo
YXJndltpXSk7CgogIHZlcmlmKGFyZ3ZbaV0sbWV0aG9kcy5sZW5ndGgtMSk7CgoJfQoKfWNhdGNo
KEV4Y2VwdGlvbiBlKXtlLnByaW50U3RhY2tUcmFjZSgpO30KCiAgfQoKIHByaXZhdGUgc3RhdGlj
IHZvaWQgdmVyaWYoU3RyaW5nIGNsYXNzbmFtZSxpbnQgbikKICB7CiAJdHJ5ewoJICBKYXZhQ2xh
c3MJamF2YV9jbGFzcyA9IG5ldyBDbGFzc1BhcnNlcihjbGFzc25hbWUpLnBhcnNlKCk7CgkgIFZl
cmlmaWVyIHY9VmVyaWZpZXJGYWN0b3J5LmdldFZlcmlmaWVyKGphdmFfY2xhc3MuZ2V0Q2xhc3NO
YW1lKCkpOwoJICBTeXN0ZW0ub3V0LnByaW50bG4odi5kb1Bhc3MxKCkpOwoJICBTeXN0ZW0ub3V0
LnByaW50bG4odi5kb1Bhc3MyKCkpOwogIAkgIFN5c3RlbS5vdXQucHJpbnRsbih2LmRvUGFzczNh
KG4pKTsKCSAgU3lzdGVtLm91dC5wcmludGxuKHYuZG9QYXNzM2IobikpOwogIAkgIH1jYXRjaChF
eGNlcHRpb24gZSkgewogICAgICAJCQllLnByaW50U3RhY2tUcmFjZSgpOwogICAgCQl9CiAgfQoK
CiAgcHVibGljIHZvaWQgaW5zdHJ1bWVudChTdHJpbmcgY2xheikgeyAKCgl0cnl7CQoJCUphdmFD
bGFzcyAgamF2YV9jbGFzcyA9IG5ldyBDbGFzc1BhcnNlcihjbGF6KS5wYXJzZSgpOwoJCU1ldGhv
ZFtdIG1ldGhvZHMgPSBqYXZhX2NsYXNzLmdldE1ldGhvZHMoKTsJICAKCQljcD1pbnN0cnVtZW50
KGphdmFfY2xhc3MpOwoJCWphdmFfY2xhc3Muc2V0Q29uc3RhbnRQb29sKGNwLmdldEZpbmFsQ29u
c3RhbnRQb29sKCkpOwoJCWphdmFfY2xhc3MuZHVtcChjbGF6KTsKCiAgICAJfSBjYXRjaChFeGNl
cHRpb24gZSkgewogICAgICAJCWUucHJpbnRTdGFja1RyYWNlKCk7CiAgICAJfQoKICB9Cgp9Cg==


------=_Part_1760_4775489.+1-856-998-7978
Content-Type: text/plain; charset=us-ascii

---------------------------------------------------------------------
To unsubscribe, e-mail: gavinpatel@example.net
For additional commands, e-mail: gavinpatel@example.net
------=_Part_1760_4775489.+1-856-998-7978--

From bcel-usergavinpatel@example.net Mon May 02 15:02:29 2005
Return-Path: <bcel-usergavinpatel@example.net>
Delivered-To: gavinpatel@example.net
Received: (qmail 34568 invoked from network); 2 May 2005 15:02:29 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (83.161.120.155)
  by minotaur.apache.org with SMTP; 2 May 2005 15:02:29 -0000
Received: (qmail 57333 invoked by uid 500); 2 May 2005 15:03:52 -0000
Delivered-To: gavinpatel@example.net
Received: (qmail 57312 invoked by uid 500); 2 May 2005 15:03:52 -0000
Mailing-List: contact gavinpatel@example.net; run by ezmlm
Precedence: bulk
List-Unsubscribe: <mailto:gavinpatel@example.net>
List-Subscribe: <mailto:gavinpatel@example.net>
List-Help: <mailto:gavinpatel@example.net>
List-Post: <mailto:gavinpatel@example.net>
List-Id: "BCEL Users List" <bcel-user.jakarta.apache.org>
Reply-To: "BCEL Users List" <gavinpatel@example.net>
Delivered-To: mailing list gavinpatel@example.net
Received: (qmail 62917 invoked by uid 99); 2 May 2005 11:24:33 -0000
X-ASF-Spam-Status: No, hits=0.0 required=10.0
	tests=
X-Spam-Check-By: apache.org
Received-SPF: pass (hermes.apache.org: local policy)
Message-ID: <gavinpatel@example.net>
Date: Mon, 02 May 2005 13:22:20 +0200
From: Wolfgang Ahrendt <gavinpatel@example.net>
User-Agent: Mozilla Thunderbird 1.0 (X11/20041207)
X-Accept-Language: en-us, en
MIME-Version: 1.0
To: gavinpatel@example.net
Subject: Disproving 2005 DEADLINE EXTENDED
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Virus-Checked: Checked
X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N


DEADLINE EXTENDED TO MAY 9
--------------------------

CADE-20 Workshop on

DISPROVING
Non-Theorems, Non-Validity, Non-Provability

Tallinn, Estonia
Friday, July 22, 2005


Call for Papers

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

for a web version of this CFP, see:
www.cs.chalmers.se/~ahrendt/cade20-ws-disproving/

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

Background

Automated Reasoning (AR) traditionally has focused on proving
theorems. Because of this, AR methods and tools in the past were
mostly applied to formulae which were already known to be true. If on
the other hand a formula is not a theorem, then most traditional AR
methods and tools cannot handle this properly (i.e. they will fail,
run out of resources, or simply not terminate).
The opposite of proving, which we call disproving, particularly
aims at identifying non-theorems, i.e. showing non-validity
resp. non-provability, and providing some kind of proof of
non-validity (non-provability). The proof for example could be a
counter model, or an instantiation making the formula false.

Scope

In the scope of the workshop is every method that is able to discover
non-theorems and, ideally, provides explanation why the formula is not a
theorem. Possible subjects are decision procedures, model generation
methods, reduction to SAT, formula simplification methods, abstraction
based methods, failed-proof analysis.

Topics of relevance to the workshop therefore include

   * disproving conjectures in general,
   * extending standard proving methods with disproving capabilities,
   * approximative methods for identifying non-theorems,
   * counterexample generation,
   * counter model generation,
   * finite model generation,
   * decision procedures,
   * failure analysis,
   * reparation of non-theorems,
   * heuristics that help in identifying non-theorems,
   * applications and system descriptions.

Workshop Goal

The disproving workshops are intended as a platform for the exchange
of ideas between researchers concerned with disproving in the broad
sense. By discussing approaches across the different AR
sub-communities, the workshop can identify common problems and
solutions. Another goal is to elaborate known, and discover unknown,
connections between other areas and disproving. Also, the meeting can
enable an exchange of interesting examples for non-theorems. A long
term goal is that the workshop series contributes to forming a
disproving community within AR, and gives the work on disproving a
greater visibility.

Audience

Non-theorems are an issue wherever one tries to prove statements which
are not known to be valid in advance. Therefore, we aim at researchers
from all areas of automated reasoning. The issue of the workshop is
particularly relevant for all logics, calculi, and proving paradigms
where non-validity is not covered by the (plain versions of) standard
methods. This includes (but is not restricted to) first-order logic
proving, inductive theorem proving, rewriting based reasoning,
higher-order logic proving, logical frameworks, and special purpose
logics like for instance program logics. We also target at the model
generation community.

Beside mature work, we also solicit preliminary work or work in
progress to be presented.


Technical Programme

The technical program will include presentations of the accepted
papers, discussions about the state and future of the field, and an
invited talk.


Invited Speakers

   * Byron Cook, Microsoft Research, Cambridge (shared speaker with ESCAR)

   * Juergen Giesl, RWTH Aachen


Programme Committee

   * Wolfgang Ahrendt (Organizer)
   * Peter Baumgartner (Organizer)
   * Johan Bos
   * Chris Fermueller
   * Uli Furbach
   * Bernhard Gramlich
   * Bill McCune
   * Hans de Nivelle (Organizer)
   * Harald Ruess
   * Renate Schmidt
   * Carsten Schuermann
   * Graham Steel
   * Cesare Tinelli
   * Andrei Voronkov
   * Calogero Zarba


Submission

Submissions should not exceed 10 pages.

Please use the electronic submission page at
http://www.easychair.org/DISPROVING/submit/

The submission procedure will be electronical only, and only PDF files 
are acceptable.

 >>>> The deadline for submission HAS BEEN EXTENDED to the 9th of May 
2005. <<<<


Publication

The final versions of the selected contributions will be collected in
a volume to be distributed at the workshop and accessible on the web.

The organisers plan for a
special issue of the Nordic Journal of Computing,
based on extended versions of selected workshop papers, but
open to non-participants, in all cases with fresh reviewing. The
decision of whether to do so will be taken after the workshop. (The
according post proceedings of last years workshop are soon to appear
within ENTCS.)


Workshop Venue

The workshop will be held on Friday, 22 July, as part of CADE-20
(20th International Conference on Automated Deduction)
Tallinn, Estonia, 22 July - 27 July, 2005.


Workshop Organizers

     Wolfgang Ahrendt
     Chalmers University of Technology, Gothenburgh, Sweden
     Email: gavinpatel@example.net

     Peter Baumgartner
     MPI fuer Informatik, Saarbruecken, Germany
     Email: gavinpatel@example.net

     Hans de Nivelle
     MPI fuer Informatik, Saarbruecken, Germany
     Email: gavinpatel@example.net


Important Dates

     MAY   9:  NEW PAPER SUBMISSIONS DEADLINE
     June  1:  Notification of acceptance
     June 26:  Final versions due
     Friday, 22 July: new workshop date


Links

   * Workshop web page: www.cs.chalmers.se/~ahrendt/cade20-ws-disproving/
   * CADE-20 home page: http://deepthought.ttu.ee/it/cade/

For further information on the workshop, please contact any of the
organizers.


---------------------------------------------------------------------
To unsubscribe, e-mail: gavinpatel@example.net
For additional commands, e-mail: gavinpatel@example.net


From bcel-usergavinpatel@example.net Tue May 03 11:30:42 2005
Return-Path: <bcel-usergavinpatel@example.net>
Delivered-To: gavinpatel@example.net
Received: (qmail 66577 invoked from network); 3 May 2005 11:30:42 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (83.161.120.155)
  by minotaur.apache.org with SMTP; 3 May 2005 11:30:42 -0000
Received: (qmail 17504 invoked by uid 500); 3 May 2005 11:32:12 -0000
Delivered-To: gavinpatel@example.net
Received: (qmail 17450 invoked by uid 500); 3 May 2005 11:32:10 -0000
Mailing-List: contact gavinpatel@example.net; run by ezmlm
Precedence: bulk
List-Unsubscribe: <mailto:gavinpatel@example.net>
List-Subscribe: <mailto:gavinpatel@example.net>
List-Help: <mailto:gavinpatel@example.net>
List-Post: <mailto:gavinpatel@example.net>
List-Id: "BCEL Users List" <bcel-user.jakarta.apache.org>
Reply-To: "BCEL Users List" <gavinpatel@example.net>
Delivered-To: mailing list gavinpatel@example.net
Received: (qmail 17418 invoked by uid 99); 3 May 2005 11:32:09 -0000
X-ASF-Spam-Status: No, hits=0.5 required=10.0
	tests=FROM_ENDS_IN_NUMS
X-Spam-Check-By: apache.org
Received-SPF: pass (hermes.apache.org: local policy includes SPF gavinpatel@example.net)
Received: from web15808.mail.cnb.yahoo.com (HELO web15808.mail.cnb.yahoo.com) (83.161.120.155)
  by apache.org (qpsmtpd/0.28) with SMTP; Tue, 03 May 2005 04:32:08 -0700
Message-ID: <gavinpatel@example.net>
Received: from [83.161.120.155] by web15808.mail.cnb.yahoo.com via HTTP; Tue, 03 May 2005 19:30:22 CST
Date: Tue, 3 May 2005 19:30:22 +0800 (CST)
From: Allen Ren <gavinpatel@example.net>
Subject: Trouble with the random code in HTTP Request.
To: gavinpatel@example.net
MIME-Version: 1.0
Content-Type: text/plain; charset=gb2312
Content-Transfer-Encoding: 8bit
X-Virus-Checked: Checked
X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N

Hi All,

Recently I started to use JMETER to execute the
peformence testing . But I have got a problem with the
parameters in HTTP Request. I will be appreciate if
anyone can give me some help as I seem to have run out
of options!
Duing I followed the process to login a website, I
need to send the username, password and the random
code to the Authentication Server in HTTP Request. My
trouble is about the random code which is output from
a java class interface that can be called from the
localhost used the JAVA REQUEST, and the code will be
change in everytime with user login. 
So how can I deel with this trouble, and can I send
the result from the JAVA REQUEST as a parameter in the
HTTP REQUEST?

Thanks,
Allen Ren 
ShangHai China



_________________________________________________________
Do You Yahoo!?
150ÍòÇúMP3·è¿ñËÑ£¬´øÄú´³ÈëÒôÀÖµîÌÃ
http://music.yisou.com/
ÃÀÅ®Ã÷ÐÇÓ¦Óо¡ÓУ¬ËѱéÃÀͼ¡¢ÑÞͼºÍ¿áͼ
http://image.yisou.com
1G¾ÍÊÇ1000Õ×£¬ÑÅ»¢µçÓÊ×ÔÖúÀ©ÈÝ£¡
http://cn.rd.yahoo.com/mail_cn/tag/1g/*http://cn.mail.yahoo.com/event/mail_1g/

---------------------------------------------------------------------
To unsubscribe, e-mail: gavinpatel@example.net
For additional commands, e-mail: gavinpatel@example.net


From bcel-usergavinpatel@example.net Tue May 03 23:00:33 2005
Return-Path: <bcel-usergavinpatel@example.net>
Delivered-To: gavinpatel@example.net
Received: (qmail 84121 invoked from network); 3 May 2005 23:00:33 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (83.161.120.155)
  by minotaur.apache.org with SMTP; 3 May 2005 23:00:33 -0000
Received: (qmail 10464 invoked by uid 500); 3 May 2005 23:02:15 -0000
Delivered-To: gavinpatel@example.net
Received: (qmail 10401 invoked by uid 500); 3 May 2005 23:02:14 -0000
Mailing-List: contact gavinpatel@example.net; run by ezmlm
Precedence: bulk
List-Unsubscribe: <mailto:gavinpatel@example.net>
List-Subscribe: <mailto:gavinpatel@example.net>
List-Help: <mailto:gavinpatel@example.net>
List-Post: <mailto:gavinpatel@example.net>
List-Id: "BCEL Users List" <bcel-user.jakarta.apache.org>
Reply-To: "BCEL Users List" <gavinpatel@example.net>
Delivered-To: mailing list gavinpatel@example.net
Received: (qmail 10366 invoked by uid 99); 3 May 2005 23:02:13 -0000
X-ASF-Spam-Status: No, hits=-14.9 required=10.0
	tests=HTML_50_60,HTML_MESSAGE,USER_IN_DEF_WHITELIST
X-Spam-Check-By: apache.org
Received-SPF: pass (hermes.apache.org: domain of gavinpatel@example.net designates 83.161.120.155 as permitted sender)
Received: from smtp-out-0102.amazon.com (HELO smtp-out-0102.amazon.com) (83.161.120.155)
  by apache.org (qpsmtpd/0.28) with ESMTP; Tue, 03 May 2005 16:02:13 -0700
X-Amazon-Corporate-Relay: smtp-out-0102.sea3.amazon.com
X-AMAZON-TRACK: <gavinpatel@example.net>
Received: from smtp-in-1002.vdc.amazon.com by smtp-out-0102.amazon.com with ESMTP 
          (peer crosscheck: smtp-in-1002.vdc.amazon.com)
Received: from ex-mail-sea-05.ant.amazon.com (ex-mail-sea-05.sea3.amazon.com [83.161.120.155])
	by smtp-in-1002.vdc.amazon.com (8.12.10/8.12.10) with ESMTP id j43N0L9U024645
	for <gavinpatel@example.net>; Tue, 3 May 2005 23:00:21 GMT
X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0
Content-class: urn:content-classes:message
MIME-Version: 1.0
Content-Type: multipart/alternative;
	boundary="----_=_NextPart_001_01C55033.E11FF8F8"
Subject: Bcel 5.1 is not working under jdk 1.5
Date: Tue, 3 May 2005 16:00:20 -0700
Message-ID: <gavinpatel@example.net>
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
Thread-Topic: Bcel 5.1 is not working under jdk 1.5
Thread-Index: AcVQM+EjYaqvMP4KTmqRs3E2CH/mKg==
From: "Lan, Fang" <gavinpatel@example.net>
To: <gavinpatel@example.net>
X-Virus-Checked: Checked
X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N

------_=_NextPart_001_01C55033.E11FF8F8
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: quoted-printable

The error I'm getting is:

Exception in thread "main" =
org.apache.bcel.classfile.ClassFormatException: Invalid constant pool =
reference: 5560. Constant pool size is: 1024
[instrument]    at =
org.apache.bcel.classfile.ConstantPool.getConstant(ConstantPool.java:242)=

[instrument]    at =
org.apache.bcel.classfile.Utility.codeToString(Utility.java:369)
[instrument]    at =
org.apache.bcel.classfile.Utility.codeToString(Utility.java:166)
[instrument]    at =
org.apache.bcel.classfile.Code.toString(Code.java:326)

Do you have any idea how to get it fixed?

Thanks!
-Fang

------_=_NextPart_001_01C55033.E11FF8F8--

From bcel-usergavinpatel@example.net Wed May 04 04:07:50 2005
Return-Path: <bcel-usergavinpatel@example.net>
Delivered-To: gavinpatel@example.net
Received: (qmail 83854 invoked from network); 4 May 2005 04:07:50 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (83.161.120.155)
  by minotaur.apache.org with SMTP; 4 May 2005 04:07:50 -0000
Received: (qmail 78090 invoked by uid 500); 4 May 2005 04:09:39 -0000
Delivered-To: gavinpatel@example.net
Received: (qmail 78067 invoked by uid 500); 4 May 2005 04:09:38 -0000
Mailing-List: contact gavinpatel@example.net; run by ezmlm
Precedence: bulk
List-Unsubscribe: <mailto:gavinpatel@example.net>
List-Subscribe: <mailto:gavinpatel@example.net>
List-Help: <mailto:gavinpatel@example.net>
List-Post: <mailto:gavinpatel@example.net>
List-Id: "BCEL Users List" <bcel-user.jakarta.apache.org>
Reply-To: "BCEL Users List" <gavinpatel@example.net>
Delivered-To: mailing list gavinpatel@example.net
Received: (qmail 78050 invoked by uid 99); 4 May 2005 04:09:38 -0000
X-ASF-Spam-Status: No, hits=0.0 required=10.0
	tests=
X-Spam-Check-By: apache.org
Received-SPF: pass (hermes.apache.org: domain of gavinpatel@example.net designates 83.161.120.155 as permitted sender)
Received: from floyd.qis.net (HELO floyd.qis.net) (83.161.120.155)
  by apache.org (qpsmtpd/0.28) with ESMTP; Tue, 03 May 2005 21:09:38 -0700
Received: from moon.qis.net (moon.qis.net [83.161.120.155])
	by floyd.qis.net (Postfix) with ESMTP id 4ADC973A50
	for <gavinpatel@example.net>; Wed,  4 May 2005 00:07:44 -0400 (EDT)
Received: from 83.161.120.155
	by moon.qis.net (amavisd-lite) with LMTP id 1115180822-42781-61
	for <gavinpatel@example.net>; Wed May  4 00:27:02 2005
Received: from MBFG (animals.qis.net [83.161.120.155])
	by floyd.qis.net (Postfix) with SMTP id 0FE0C73A42
	for <gavinpatel@example.net>; Wed,  4 May 2005 00:07:43 -0400 (EDT)
Received: from balt-209-150-116-226.dynamic-dial.qis.net (gavinpatel@example.net@balt-209-150-116-226.dynamic-dial.qis.net [83.161.120.155])
	by animals.qis.net (SlipStream SP Server 3.1.68
	built 2004/04/13 15:19:46 -0400 (EDT)); Wed, 04 May 2005 00:07:48 -0400 (EDT)
Message-ID: <00b801c5505e$d1c42dd0$e27496d1@MBFG>
From: "Dave Brosius" <gavinpatel@example.net>
To: "BCEL Users List" <gavinpatel@example.net>
References: <gavinpatel@example.net>
Subject: Re: Bcel 5.1 is not working under jdk 1.5
Date: Wed, 4 May 2005 00:07:40 -0400
MIME-Version: 1.0
Content-Type: text/plain;
	format=flowed;
	charset="iso-8859-1";
	reply-type=original
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2900.2180
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180
X-Virus-Scanned: by gavinpatel@example.net
X-Spam-Status: No, hits=0.0 required=5.0
X-Virus-Checked: Checked
X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N

Is this class one that was created by javac? or some other means?
----- Original Message ----- 
From: "Lan, Fang" <gavinpatel@example.net>
To: <gavinpatel@example.net>
Sent: Tuesday, May 03, 2005 7:00 PM
Subject: Bcel 5.1 is not working under jdk 1.5


The error I'm getting is:

Exception in thread "main" org.apache.bcel.classfile.ClassFormatException: 
Invalid constant pool reference: 5560. Constant pool size is: 1024
[instrument]    at 
org.apache.bcel.classfile.ConstantPool.getConstant(ConstantPool.java:242)
[instrument]    at 
org.apache.bcel.classfile.Utility.codeToString(Utility.java:369)
[instrument]    at 
org.apache.bcel.classfile.Utility.codeToString(Utility.java:166)
[instrument]    at org.apache.bcel.classfile.Code.toString(Code.java:326)

Do you have any idea how to get it fixed?

Thanks!
-Fang



---------------------------------------------------------------------
To unsubscribe, e-mail: gavinpatel@example.net
For additional commands, e-mail: gavinpatel@example.net


From bcel-usergavinpatel@example.net Wed May 04 14:20:29 2005
Return-Path: <bcel-usergavinpatel@example.net>
Delivered-To: gavinpatel@example.net
Received: (qmail 374 invoked from network); 4 May 2005 14:20:29 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (83.161.120.155)
  by minotaur.apache.org with SMTP; 4 May 2005 14:20:29 -0000
Received: (qmail 6997 invoked by uid 500); 4 May 2005 14:22:21 -0000
Delivered-To: gavinpatel@example.net
Received: (qmail 6917 invoked by uid 500); 4 May 2005 14:22:19 -0000
Mailing-List: contact gavinpatel@example.net; run by ezmlm
Precedence: bulk
List-Unsubscribe: <mailto:gavinpatel@example.net>
List-Subscribe: <mailto:gavinpatel@example.net>
List-Help: <mailto:gavinpatel@example.net>
List-Post: <mailto:gavinpatel@example.net>
List-Id: "BCEL Users List" <bcel-user.jakarta.apache.org>
Reply-To: "BCEL Users List" <gavinpatel@example.net>
Delivered-To: mailing list gavinpatel@example.net
Received: (qmail 6856 invoked by uid 99); 4 May 2005 14:22:16 -0000
X-ASF-Spam-Status: No, hits=0.0 required=10.0
	tests=
X-Spam-Check-By: apache.org
Received-SPF: pass (hermes.apache.org: local policy)
Received: from noir.cs.umd.edu (HELO noir.cs.umd.edu) (83.161.120.155)
  by apache.org (qpsmtpd/0.28) with ESMTP; Wed, 04 May 2005 07:22:16 -0700
Received: from [83.161.120.155] (noir.cs.umd.edu [83.161.120.155])
	by noir.cs.umd.edu (8.12.11/8.12.5) with ESMTP id j44EKBQ3009822
	for <gavinpatel@example.net>; Wed, 4 May 2005 10:20:11 -0400
Message-ID: <gavinpatel@example.net>
Date: Wed, 04 May 2005 10:20:10 -0400
From: David Hovemeyer <gavinpatel@example.net>
User-Agent: Mozilla Thunderbird 1.0 (X11/20041206)
X-Accept-Language: en-us, en
MIME-Version: 1.0
To: BCEL Users List <gavinpatel@example.net>
Subject: Re: Bcel 5.1 is not working under jdk 1.5
References: <gavinpatel@example.net>
In-Reply-To: <gavinpatel@example.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Virus-Checked: Checked
X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N

Lan, Fang wrote:

>The error I'm getting is:
>
>Exception in thread "main" org.apache.bcel.classfile.ClassFormatException: Invalid constant pool reference: 5560. Constant pool size is: 1024
>[instrument]    at org.apache.bcel.classfile.ConstantPool.getConstant(ConstantPool.java:242)
>[instrument]    at org.apache.bcel.classfile.Utility.codeToString(Utility.java:369)
>[instrument]    at org.apache.bcel.classfile.Utility.codeToString(Utility.java:166)
>[instrument]    at org.apache.bcel.classfile.Code.toString(Code.java:326)
>
>Do you have any idea how to get it fixed?
>  
>

Try using the latest development version from the subversion repository.

-Dave


---------------------------------------------------------------------
To unsubscribe, e-mail: gavinpatel@example.net
For additional commands, e-mail: gavinpatel@example.net


From bcel-usergavinpatel@example.net Wed May 04 17:34:15 2005
Return-Path: <bcel-usergavinpatel@example.net>
Delivered-To: gavinpatel@example.net
Received: (qmail 92683 invoked from network); 4 May 2005 17:34:15 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (83.161.120.155)
  by minotaur.apache.org with SMTP; 4 May 2005 17:34:15 -0000
Received: (qmail 64325 invoked by uid 500); 4 May 2005 17:32:30 -0000
Delivered-To: gavinpatel@example.net
Received: (qmail 64129 invoked by uid 500); 4 May 2005 17:32:26 -0000
Mailing-List: contact gavinpatel@example.net; run by ezmlm
Precedence: bulk
List-Unsubscribe: <mailto:gavinpatel@example.net>
List-Subscribe: <mailto:gavinpatel@example.net>
List-Help: <mailto:gavinpatel@example.net>
List-Post: <mailto:gavinpatel@example.net>
List-Id: "BCEL Users List" <bcel-user.jakarta.apache.org>
Reply-To: "BCEL Users List" <gavinpatel@example.net>
Delivered-To: mailing list gavinpatel@example.net
Received: (qmail 63835 invoked by uid 99); 4 May 2005 17:32:22 -0000
X-ASF-Spam-Status: No, hits=0.5 required=10.0
	tests=FROM_ENDS_IN_NUMS
X-Spam-Check-By: apache.org
Received-SPF: pass (hermes.apache.org: local policy includes SPF gavinpatel@example.net)
Received: from web15809.mail.cnb.yahoo.com (HELO web15809.mail.cnb.yahoo.com) (83.161.120.155)
  by apache.org (qpsmtpd/0.28) with SMTP; Wed, 04 May 2005 10:32:21 -0700
Message-ID: <gavinpatel@example.net>
Received: from [83.161.120.155] by web15809.mail.cnb.yahoo.com via HTTP; Thu, 05 May 2005 01:30:02 CST
Date: Thu, 5 May 2005 01:30:02 +0800 (CST)
From: Allen Ren <gavinpatel@example.net>
Subject: Trouble with the random code in HTTP Request. 
To: gavinpatel@example.net
MIME-Version: 1.0
Content-Type: text/plain; charset=gb2312
Content-Transfer-Encoding: 8bit
X-Virus-Checked: Checked
X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N


Hi All,

Recently I started to use JMETER to execute the
peformence testing . But I have got a problem with the
parameters in HTTP Request. I will be appreciate if
anyone can give me some help as I seem to have run out
of options!
Duing I followed the process to login a website, I
need to send the username, password and the random
code to the Authentication Server in HTTP Request. My
trouble is about the random code which is output from
a java class interface that can be called from the
localhost used the JAVA REQUEST, and the code will be
change in everytime with user login. 
So how can I deel with this trouble, and can I send
the result from the JAVA REQUEST as a parameter in the
HTTP REQUEST?

Thanks,
Allen Ren 
ShangHai China




_________________________________________________________
Do You Yahoo!?
150ÍòÇúMP3·è¿ñËÑ£¬´øÄú´³ÈëÒôÀÖµîÌÃ
http://music.yisou.com/
ÃÀÅ®Ã÷ÐÇÓ¦Óо¡ÓУ¬ËѱéÃÀͼ¡¢ÑÞͼºÍ¿áͼ
http://image.yisou.com
1G¾ÍÊÇ1000Õ×£¬ÑÅ»¢µçÓÊ×ÔÖúÀ©ÈÝ£¡
http://cn.rd.yahoo.com/mail_cn/tag/1g/*http://cn.mail.yahoo.com/event/mail_1g/

---------------------------------------------------------------------
To unsubscribe, e-mail: gavinpatel@example.net
For additional commands, e-mail: gavinpatel@example.net


From bcel-usergavinpatel@example.net Wed May 04 17:58:35 2005
Return-Path: <bcel-usergavinpatel@example.net>
Delivered-To: gavinpatel@example.net
Received: (qmail 6602 invoked from network); 4 May 2005 17:58:34 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (83.161.120.155)
  by minotaur.apache.org with SMTP; 4 May 2005 17:58:34 -0000
Received: (qmail 40595 invoked by uid 500); 4 May 2005 18:00:32 -0000
Delivered-To: gavinpatel@example.net
Received: (qmail 40560 invoked by uid 500); 4 May 2005 18:00:32 -0000
Mailing-List: contact gavinpatel@example.net; run by ezmlm
Precedence: bulk
List-Unsubscribe: <mailto:gavinpatel@example.net>
List-Subscribe: <mailto:gavinpatel@example.net>
List-Help: <mailto:gavinpatel@example.net>
List-Post: <mailto:gavinpatel@example.net>
List-Id: "BCEL Users List" <bcel-user.jakarta.apache.org>
Reply-To: "BCEL Users List" <gavinpatel@example.net>
Delivered-To: mailing list gavinpatel@example.net
Received: (qmail 40499 invoked by uid 99); 4 May 2005 18:00:31 -0000
X-ASF-Spam-Status: No, hits=0.0 required=10.0
	tests=
X-Spam-Check-By: apache.org
Received-SPF: neutral (hermes.apache.org: local policy)
Received: from relay03.pair.com (HELO relay03.pair.com) (83.161.120.155)
  by apache.org (qpsmtpd/0.28) with SMTP; Wed, 04 May 2005 11:00:30 -0700
Received: (qmail 18408 invoked from network); 4 May 2005 17:58:22 -0000
Received: from unknown (HELO r1.ash.huntwork.net) (unknown)
  by unknown with SMTP; 4 May 2005 17:58:22 -0000
X-pair-Authenticated: 83.161.120.155
Received: from [83.161.120.155] (angel.stchome.com [83.161.120.155])
	(authenticated bits=0)
	by r1.ash.huntwork.net (8.13.1/8.13.1) with ESMTP id j44HwKsO006160
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO)
	for <gavinpatel@example.net>; Wed, 4 May 2005 10:58:22 -0700
Message-ID: <gavinpatel@example.net>
Date: Wed, 04 May 2005 10:58:10 -0700
From: Andrew Huntwork <gavinpatel@example.net>
User-Agent: Mozilla Thunderbird 1.0 (Windows/20041206)
X-Accept-Language: en-us, en
MIME-Version: 1.0
To: BCEL Users List <gavinpatel@example.net>
Subject: Re: Trouble with the random code in HTTP Request.
References: <gavinpatel@example.net>
In-Reply-To: <gavinpatel@example.net>
Content-Type: text/plain; charset=GB2312
Content-Transfer-Encoding: 8bit
X-Virus-Checked: Checked
X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N

hi allen.  as far as i can tell you want the jmeter list.  this list is
for bcel, a very different project.

Allen Ren wrote:
> Hi All,
> 
> Recently I started to use JMETER to execute the
> peformence testing . But I have got a problem with the
> parameters in HTTP Request. I will be appreciate if
> anyone can give me some help as I seem to have run out
> of options!
> Duing I followed the process to login a website, I
> need to send the username, password and the random
> code to the Authentication Server in HTTP Request. My
> trouble is about the random code which is output from
> a java class interface that can be called from the
> localhost used the JAVA REQUEST, and the code will be
> change in everytime with user login. 
> So how can I deel with this trouble, and can I send
> the result from the JAVA REQUEST as a parameter in the
> HTTP REQUEST?
> 
> Thanks,
> Allen Ren 
> ShangHai China
> 
> 
> 
> 
> _________________________________________________________
> Do You Yahoo!?
> 150ÍòÇúMP3·è¿ñËÑ£¬´øÄú´³ÈëÒôÀÖµîÌÃ
> http://music.yisou.com/
> ÃÀÅ®Ã÷ÐÇÓ¦Óо¡ÓУ¬ËѱéÃÀͼ¡¢ÑÞͼºÍ¿áͼ
> http://image.yisou.com
> 1G¾ÍÊÇ1000Õ×£¬ÑÅ»¢µçÓÊ×ÔÖúÀ©ÈÝ£¡
> http://cn.rd.yahoo.com/mail_cn/tag/1g/*http://cn.mail.yahoo.com/event/mail_1g/
> 
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: gavinpatel@example.net
> For additional commands, e-mail: gavinpatel@example.net
> 

---------------------------------------------------------------------
To unsubscribe, e-mail: gavinpatel@example.net
For additional commands, e-mail: gavinpatel@example.net


From bcel-usergavinpatel@example.net Wed May 04 18:32:59 2005
Return-Path: <bcel-usergavinpatel@example.net>
Delivered-To: gavinpatel@example.net
Received: (qmail 20866 invoked from network); 4 May 2005 18:32:59 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (83.161.120.155)
  by minotaur.apache.org with SMTP; 4 May 2005 18:32:59 -0000
Received: (qmail 10110 invoked by uid 500); 4 May 2005 18:34:52 -0000
Delivered-To: gavinpatel@example.net
Received: (qmail 9978 invoked by uid 500); 4 May 2005 18:34:49 -0000
Mailing-List: contact gavinpatel@example.net; run by ezmlm
Precedence: bulk
List-Unsubscribe: <mailto:gavinpatel@example.net>
List-Subscribe: <mailto:gavinpatel@example.net>
List-Help: <mailto:gavinpatel@example.net>
List-Post: <mailto:gavinpatel@example.net>
List-Id: "BCEL Users List" <bcel-user.jakarta.apache.org>
Reply-To: "BCEL Users List" <gavinpatel@example.net>
Delivered-To: mailing list gavinpatel@example.net
Received: (qmail 9885 invoked by uid 99); 4 May 2005 18:34:44 -0000
X-ASF-Spam-Status: No, hits=-15.0 required=10.0
	tests=USER_IN_DEF_WHITELIST
X-Spam-Check-By: apache.org
Received-SPF: pass (hermes.apache.org: domain of gavinpatel@example.net designates 83.161.120.155 as permitted sender)
Received: from smtp-out-0101.amazon.com (HELO smtp-out-0101.amazon.com) (83.161.120.155)
  by apache.org (qpsmtpd/0.28) with ESMTP; Wed, 04 May 2005 11:34:44 -0700
X-Amazon-Corporate-Relay: smtp-out-0101.sea3.amazon.com
X-AMAZON-TRACK: <gavinpatel@example.net>
Received: from smtp-in-2002.iad2.amazon.com by smtp-out-0101.amazon.com with ESMTP 
          (peer crosscheck: smtp-in-2002.iad2.amazon.com)
Received: from ex-mail-sea-05.ant.amazon.com (ex-mail-sea-05.sea3.amazon.com [83.161.120.155])
	by smtp-in-2002.iad2.amazon.com (8.12.10/8.12.10) with ESMTP id j44IWAU2020541
	for <gavinpatel@example.net>; Wed, 4 May 2005 18:32:10 GMT
X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0
Content-class: urn:content-classes:message
MIME-Version: 1.0
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
Subject: RE: Bcel 5.1 is not working under jdk 1.5
Date: Wed, 4 May 2005 11:32:09 -0700
Message-ID: <gavinpatel@example.net>
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
Thread-Topic: Bcel 5.1 is not working under jdk 1.5
Thread-Index: AcVQXtriOd4K/7alQfeY1KOILsm0nwAeGzzQ
From: "Lan, Fang" <gavinpatel@example.net>
To: "BCEL Users List" <gavinpatel@example.net>
X-Virus-Checked: Checked
X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N

This class is from the binary downloaded from the site. When I use jdk =
1.5 to use the downloaded bcel.jar to do some instrumentation, I got the =
error.

-----Original Message-----
From: Dave Brosius [mailto:gavinpatel@example.net]=20
Sent: Tuesday, May 03, 2005 9:08 PM
To: BCEL Users List
Subject: Re: Bcel 5.1 is not working under jdk 1.5


Is this class one that was created by javac? or some other means?
----- Original Message -----=20
From: "Lan, Fang" <gavinpatel@example.net>
To: <gavinpatel@example.net>
Sent: Tuesday, May 03, 2005 7:00 PM
Subject: Bcel 5.1 is not working under jdk 1.5


The error I'm getting is:

Exception in thread "main" =
org.apache.bcel.classfile.ClassFormatException:=20
Invalid constant pool reference: 5560. Constant pool size is: 1024
[instrument]    at=20
org.apache.bcel.classfile.ConstantPool.getConstant(ConstantPool.java:242)=

[instrument]    at=20
org.apache.bcel.classfile.Utility.codeToString(Utility.java:369)
[instrument]    at=20
org.apache.bcel.classfile.Utility.codeToString(Utility.java:166)
[instrument]    at =
org.apache.bcel.classfile.Code.toString(Code.java:326)

Do you have any idea how to get it fixed?

Thanks!
-Fang



---------------------------------------------------------------------
To unsubscribe, e-mail: gavinpatel@example.net
For additional commands, e-mail: gavinpatel@example.net


---------------------------------------------------------------------
To unsubscribe, e-mail: gavinpatel@example.net
For additional commands, e-mail: gavinpatel@example.net


From bcel-usergavinpatel@example.net Sun May 08 04:22:47 2005
Return-Path: <bcel-usergavinpatel@example.net>
Delivered-To: gavinpatel@example.net
Received: (qmail 56434 invoked from network); 8 May 2005 04:22:46 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (83.161.120.155)
  by minotaur.apache.org with SMTP; 8 May 2005 04:22:46 -0000
Received: (qmail 42948 invoked by uid 500); 8 May 2005 04:25:45 -0000
Delivered-To: gavinpatel@example.net
Received: (qmail 42910 invoked by uid 500); 8 May 2005 04:25:44 -0000
Mailing-List: contact gavinpatel@example.net; run by ezmlm
Precedence: bulk
List-Unsubscribe: <mailto:gavinpatel@example.net>
List-Subscribe: <mailto:gavinpatel@example.net>
List-Help: <mailto:gavinpatel@example.net>
List-Post: <mailto:gavinpatel@example.net>
List-Id: "BCEL Users List" <bcel-user.jakarta.apache.org>
Reply-To: "BCEL Users List" <gavinpatel@example.net>
Delivered-To: mailing list gavinpatel@example.net
Received: (qmail 42897 invoked by uid 99); 8 May 2005 04:25:44 -0000
X-ASF-Spam-Status: No, hits=0.0 required=10.0
	tests=HTML_MESSAGE,RCVD_BY_IP
X-Spam-Check-By: apache.org
Received-SPF: pass (hermes.apache.org: domain of gavinpatel@example.net designates 83.161.120.155 as permitted sender)
Received: from wproxy.gmail.com (HELO wproxy.gmail.com) (83.161.120.155)
  by apache.org (qpsmtpd/0.28) with ESMTP; Sat, 07 May 2005 21:25:44 -0700
Received: by wproxy.gmail.com with SMTP id 71so1368754wri
        for <gavinpatel@example.net>; Sat, 07 May 2005 21:22:43 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:from:to:subject:date:mime-version:content-type:x-mailer:thread-index:x-mimeole:message-id;
        b=IW6jbQ7z6CksUS7dpCHN0iPPK/m0WFSqyiEB1TK5Cv+RWK1IpwNNHbJUv0emkbk/KeyayvZiACsavefy+I7AGgsPiRJ0LZZNUa7vxNVsHyD5MiZL7BUWuQUTesokO4UpI5N7OFQ0njGvfCWd64W3utL0i406FMaSzU2ga2AnWKM=
Received: by 83.161.120.155 with SMTP id v2mr1798355wra;
        Sat, 07 May 2005 21:22:43 -0700 (PDT)
Received: from computer2 ([83.161.120.155])
        by mx.gmail.com with ESMTP id d7sm775005wra.283.161.120.155.22.40;
        Sat, 07 May 2005 21:22:43 -0700 (PDT)
From: =?iso-8859-1?Q?Giovanni_Bog=E9a_Viana?= <gavinpatel@example.net>
To: <gavinpatel@example.net>
Subject: LookupSwitch
Date: Sun, 8 May 2005 01:22:41 -0300
MIME-Version: 1.0
Content-Type: multipart/alternative;
	boundary="----=_NextPart_000_003F_01C5536C.6F236090"
X-Mailer: Microsoft Office Outlook, Build 11.0.6353
Thread-Index: AcVThZLuJgrRmZVmSUi5c7SSJUh9XA==
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2527
Message-ID: <gavinpatel@example.net>
X-Virus-Checked: Checked
X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N

------=_NextPart_000_003F_01C5536C.6F236090
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

Hi!

=20

I am trying to use LookupSwitch to transforming a previous created class
adding a new variable (=93localPC=94) and jump to specific locations in =
each
class method depending on =93localPC=94. The problem is that execution =
is not
going to where it should after LookupSwitch. Could anyone help me?

=20

Here is the BCEL code (for simplicity, =93localPC=94 is set to zero):=20

=20

Method[] methods =3D Repository.lookupClass(=93MyClass=94).getMethods();

ConstantPoolGen cp =3D new ConstantPoolGen(clazz.getConstantPool());

for(int i=3D1; i < methods.length; i++) {

    MethodGen mg =3D new MethodGen(methods[i], clazz.getClassName(), =
cp);

    InstructionList il =3D mg.getInstructionList();

    LocalVariableGen lg =3D mg.addLocalVariable("localPC", Type.INT, =
null,
null);=20

    int index =3D lg.getIndex();

    =85

    il.insert(new LOOKUPSWITCH(matchs, targets, defaultTarget));


    il.insert(new ILOAD(index));

    il.insert(new ISTORE(index));

    il.insert(new ICONST(0));=20

=20

    mg.setMaxStack();

    mg.setMaxLocals();

    il.dispose();

}

=20

The bytecode stays like this (using javap):

=20

   0: iconst_0

   1: istore_2

   2: iload_2

   3: lookupswitch{ //7

            68: 68;

            69: 69;

            70: 70;

            71: 71;

            74: 74;

            75: 75;

            78: 78;

            default: 68 }

   68:      iconst_0  //other Variable

   69:      istore_1  //Other Variable

=20

I got Verifier error and can=92t understand what is wrong. Using JustIce
showed me that the execution is not going to where it should be after
lookupswitch and the stack is being empty after that=85

=20

VERIFIED_REJECTED

Constraint violated in method 'my_method()':

Instruction ISTORE constraint violated: Cannot consume 1 stack slots: =
only 0
slot(s) left on stack!

Stack:

Slots used: 0 MaxStack: 1.

=20

InstructionHandle:   69: istore_1[60](1)

=20

Execution Frame:

Local Variables:

0: MyClass

1: <unknown object>

2: int

OperandStack:

Slots used: 0 MaxStack: 1.

Execution flow:

   0: iconst_0    [InstructionContext]

   1: istore_2    [InstructionContext]

   2: iload_2     [InstructionContext]

   3: lookupswitch -> 68 ... [InstructionContext]

  69: istore_1    [InstructionContext]

=20

Shouldn=92t the execution go to 68 and not to 69!!!!!!???? I think that =
this
is the problem with the stack.

=20

Thanks a lot,

=20

Giovanni

=20


------=_NextPart_000_003F_01C5536C.6F236090--


From bcel-usergavinpatel@example.net Fri May 13 01:39:28 2005
Return-Path: <bcel-usergavinpatel@example.net>
Delivered-To: gavinpatel@example.net
Received: (qmail 67800 invoked from network); 13 May 2005 01:39:28 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (83.161.120.155)
  by minotaur.apache.org with SMTP; 13 May 2005 01:39:28 -0000
Received: (qmail 65273 invoked by uid 500); 13 May 2005 01:43:39 -0000
Delivered-To: gavinpatel@example.net
Received: (qmail 65249 invoked by uid 500); 13 May 2005 01:43:38 -0000
Mailing-List: contact gavinpatel@example.net; run by ezmlm
Precedence: bulk
List-Unsubscribe: <mailto:gavinpatel@example.net>
List-Help: <mailto:gavinpatel@example.net>
List-Post: <mailto:gavinpatel@example.net>
List-Id: "BCEL Users List" <bcel-user.jakarta.apache.org>
Reply-To: "BCEL Users List" <gavinpatel@example.net>
Delivered-To: mailing list gavinpatel@example.net
Received: (qmail 28014 invoked by uid 99); 13 May 2005 01:13:13 -0000
X-ASF-Spam-Status: No, hits=2.2 required=10.0
	tests=FORGED_YAHOO_RCVD,HTML_30_40,HTML_MESSAGE
X-Spam-Check-By: apache.org
Received-SPF: pass (hermes.apache.org: local policy)
Comment: DomainKeys? See http://antispam.yahoo.com/domainkeys
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
  s=s1024; d=yahoo.com;
  b=VImonxa1evL8Pibc1in/m4/ethACaeXQIluTLu3k4JDU19MTOTcgim+Ix5MFvfW8KrNv4v/rCvEMxW7LYCoAzO/xuMuL8em59+i6oTKMk5coFV5aXGG3vNMY1dAWqwaT0CEXSahawnPurKre8BVg0mGdFQnw7yolCL9JIIoEaH4=  ;
Message-ID: <gavinpatel@example.net>
Date: Thu, 12 May 2005 18:08:58 -0700 (PDT)
From: Steve Sevik <gavinpatel@example.net>
Subject: Accessing methods called from within methods
To: gavinpatel@example.net
MIME-Version: 1.0
Content-Type: multipart/alternative; boundary="0-2083018852-1115946538=:90879"
X-Virus-Checked: Checked
X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N

--0-2083018852-1115946538=:90879
Content-Type: text/plain; charset=us-ascii

Hello, 
 
I'm a new user of BCEL. I am trying to get access to methods called from within methods. I tried all possible classes that I could think of, but in vain. Can somebody help me out please ?
 
My Class 'myClass' has two methods A, B ; and the main method calls method A which in turn calls method B, I was able to get the main method and print its code using the following code:
 
JavaClass clazz = Repository.lookupClass(myClass);
Method[] methods = clazz.getMethods();
for(int i=0; i < methods.length; i++){
    if("main".equals(methods[i].getName())){
        Code code = methods[i].getCode();
        System.out.println(code.toString());
    }
}
 
How can I get access to method A from within main ?
I want to print out the fact that main calls method A.
Then get access to method A's code from there and print out the fact that it calls method B.
 
Any help is greatly appreciated.
 
Thanks,
Steve
 

__________________________________________________
Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
http://mail.yahoo.com 
--0-2083018852-1115946538=:90879--

From bcel-usergavinpatel@example.net Fri May 13 13:29:59 2005
Return-Path: <bcel-usergavinpatel@example.net>
Delivered-To: gavinpatel@example.net
Received: (qmail 24909 invoked from network); 13 May 2005 13:29:59 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (83.161.120.155)
  by minotaur.apache.org with SMTP; 13 May 2005 13:29:59 -0000
Received: (qmail 89288 invoked by uid 500); 13 May 2005 13:34:16 -0000
Delivered-To: gavinpatel@example.net
Received: (qmail 89095 invoked by uid 500); 13 May 2005 13:34:14 -0000
Mailing-List: contact gavinpatel@example.net; run by ezmlm
Precedence: bulk
List-Unsubscribe: <mailto:gavinpatel@example.net>
List-Help: <mailto:gavinpatel@example.net>
List-Post: <mailto:gavinpatel@example.net>
List-Id: "BCEL Users List" <bcel-user.jakarta.apache.org>
Reply-To: "BCEL Users List" <gavinpatel@example.net>
Delivered-To: mailing list gavinpatel@example.net
Received: (qmail 89072 invoked by uid 99); 13 May 2005 13:34:14 -0000
X-ASF-Spam-Status: No, hits=0.0 required=10.0
	tests=
X-Spam-Check-By: apache.org
Received-SPF: pass (hermes.apache.org: local policy)
Received: from noir.cs.umd.edu (HELO noir.cs.umd.edu) (83.161.120.155)
  by apache.org (qpsmtpd/0.28) with ESMTP; Fri, 13 May 2005 06:34:14 -0700
Received: from [83.161.120.155] (noir.cs.umd.edu [83.161.120.155])
	by noir.cs.umd.edu (8.12.11/8.12.5) with ESMTP id j4DDTqVb016098
	for <gavinpatel@example.net>; Fri, 13 May 2005 09:29:52 -0400
Message-ID: <gavinpatel@example.net>
Date: Fri, 13 May 2005 09:29:52 -0400
From: David Hovemeyer <gavinpatel@example.net>
User-Agent: Mozilla Thunderbird 1.0 (X11/20041206)
X-Accept-Language: en-us, en
MIME-Version: 1.0
To: BCEL Users List <gavinpatel@example.net>
Subject: Re: Accessing methods called from within methods
References: <gavinpatel@example.net>
In-Reply-To: <gavinpatel@example.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Virus-Checked: Checked
X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N

Steve Sevik wrote:

>Hello, 
> 
>I'm a new user of BCEL. I am trying to get access to methods called from within methods. I tried all possible classes that I could think of, but in vain. Can somebody help me out please ?
> 
>My Class 'myClass' has two methods A, B ; and the main method calls method A which in turn calls method B, I was able to get the main method and print its code using the following code:
> 
>JavaClass clazz = Repository.lookupClass(myClass);
>Method[] methods = clazz.getMethods();
>for(int i=0; i < methods.length; i++){
>    if("main".equals(methods[i].getName())){
>        Code code = methods[i].getCode();
>        System.out.println(code.toString());
>    }
>}
> 
>How can I get access to method A from within main ?
>I want to print out the fact that main calls method A.
>Then get access to method A's code from there and print out the fact that it calls method B.
>  
>

import org.apache.bcel.Constants;
import org.apache.bcel.generic.*;

ClassGen classGen = new ClassGen(clazz);
MethodGen methodGen = new MethodGen(methods[i], clazz.getClassName(), 
classGen.getConstantPool());
InstructionList il = methodGen.getInstructionList();
for (Iterator i = il.iterator(); i.hasNext(); ) {
    InstructionHandle handle = (InstructionHandle) i.next();
    if (handle.getInstruction() instanceof InvokeInstruction) {
       InvokeInstruction invokeInstruction = (InvokeInstruction) 
handle.getInstruction();
       String calledClass = 
invokeInstruction.getClassName(classGen.getConstantPool());
       String calledMethodName = 
invokeInstruction.getName(classGen.getConstantPool());
       String calledMethodSignature = 
invokeInstruction.getSignature(classGen.getConstantPool());
       boolean isStaticMethod = invokeInstruction.getOpcode() == 
Constants.INVOKESTATIC;

       // now you can check to see if the method called is the one you want
    }
}

-Dave


---------------------------------------------------------------------
To unsubscribe, e-mail: gavinpatel@example.net
For additional commands, e-mail: gavinpatel@example.net


From bcel-usergavinpatel@example.net Sat May 14 03:06:44 2005
Return-Path: <bcel-usergavinpatel@example.net>
Delivered-To: gavinpatel@example.net
Received: (qmail 89216 invoked from network); 14 May 2005 03:06:43 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (83.161.120.155)
  by minotaur.apache.org with SMTP; 14 May 2005 03:06:43 -0000
Received: (qmail 95701 invoked by uid 500); 14 May 2005 03:10:55 -0000
Delivered-To: gavinpatel@example.net
Received: (qmail 95629 invoked by uid 500); 14 May 2005 03:10:55 -0000
Mailing-List: contact gavinpatel@example.net; run by ezmlm
Precedence: bulk
List-Unsubscribe: <mailto:gavinpatel@example.net>
List-Help: <mailto:gavinpatel@example.net>
List-Post: <mailto:gavinpatel@example.net>
List-Id: "BCEL Users List" <bcel-user.jakarta.apache.org>
Reply-To: "BCEL Users List" <gavinpatel@example.net>
Delivered-To: mailing list gavinpatel@example.net
Received: (qmail 26736 invoked by uid 99); 13 May 2005 20:15:21 -0000
X-ASF-Spam-Status: No, hits=2.2 required=10.0
	tests=FORGED_YAHOO_RCVD,HTML_30_40,HTML_MESSAGE
X-Spam-Check-By: apache.org
Received-SPF: pass (hermes.apache.org: local policy)
Comment: DomainKeys? See http://antispam.yahoo.com/domainkeys
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
  s=s1024; d=yahoo.com;
  b=KWgq501/MxqznrWn3BpJDdxk91JFOjwuFfX/CklaKNLsemDlDgNZel7Z1Z1AXsYWypCl3hc85091avBSlDhq1bnE6kW78jqJkjf2zaAC6olnZjaX8c/w8zOzuntS+6ZGXJU10I+2kv65tvb5U1QAqlRjq3ZK3RTHriLTFjlxf4o=  ;
Message-ID: <gavinpatel@example.net>
Date: Fri, 13 May 2005 13:10:55 -0700 (PDT)
From: Steve Sevik <gavinpatel@example.net>
Subject: Re: Accessing methods called from within methods
To: gavinpatel@example.net, gavinpatel@example.net
MIME-Version: 1.0
Content-Type: multipart/alternative; boundary="0-209047625-1116015055=:75304"
X-Virus-Checked: Checked
X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N

--0-209047625-1116015055=:75304
Content-Type: text/plain; charset=us-ascii

Thanks Dave !
 
After reading the BCEL manual, I was under the impression that the 'generic' package has to be used only if we want to create new/modify existing class files. So, I was trying to use just the 'classfile' package.  It makes more sense now. 
 
--Steve

		
---------------------------------
Yahoo! Mail
 Stay connected, organized, and protected. Take the tour
--0-209047625-1116015055=:75304--

From bcel-usergavinpatel@example.net Tue May 17 04:44:49 2005
Return-Path: <bcel-usergavinpatel@example.net>
Delivered-To: gavinpatel@example.net
Received: (qmail 20315 invoked from network); 17 May 2005 04:44:49 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (83.161.120.155)
  by minotaur.apache.org with SMTP; 17 May 2005 04:44:49 -0000
Received: (qmail 17022 invoked by uid 500); 16 May 2005 18:49:59 -0000
Delivered-To: gavinpatel@example.net
Received: (qmail 16990 invoked by uid 500); 16 May 2005 18:49:57 -0000
Mailing-List: contact gavinpatel@example.net; run by ezmlm
Precedence: bulk
List-Unsubscribe: <mailto:gavinpatel@example.net>
List-Help: <mailto:gavinpatel@example.net>
List-Post: <mailto:gavinpatel@example.net>
List-Id: "BCEL Users List" <bcel-user.jakarta.apache.org>
Reply-To: "BCEL Users List" <gavinpatel@example.net>
Delivered-To: mailing list gavinpatel@example.net
Received: (qmail 16962 invoked by uid 99); 16 May 2005 18:49:57 -0000
X-ASF-Spam-Status: No, hits=0.0 required=10.0
	tests=
X-Spam-Check-By: apache.org
Received-SPF: pass (hermes.apache.org: local policy)
Received: from smtp05.web.de (HELO smtp05.web.de) (83.161.120.155)
  by apache.org (qpsmtpd/0.28) with ESMTP; Mon, 16 May 2005 11:49:55 -0700
Received: from [83.161.120.155] (helo=peter)
	by smtp05.web.de with esmtp (WEB.DE 4.105 #282)
	id 1DXke1-0006lg-00
	for gavinpatel@example.net; Mon, 16 May 2005 20:48:49 +0200
From: "BEEP_BEEP" <gavinpatel@example.net>
To: <gavinpatel@example.net>
Subject: Problem with bcel example
Date: Mon, 16 May 2005 21:49:22 +0200
MIME-Version: 1.0
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Mailer: Microsoft Office Outlook, Build 11.0.5510
Thread-Index: AcVaUFrytzuFXfIyQEGDIaFd0En4CQ==
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180
Message-Id: <gavinpatel@example.net>
Sender: gavinpatel@example.net
X-Sender: gavinpatel@example.net
X-Virus-Checked: Checked
X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N

Hi!
I'm very new in BCEL.

I'm trying to run examples from official manual in BCEL site,
Here you may find source code I run in my example:
http://jakarta.apache.org/bcel/manual.html

This is simplest example showing how to create HelloWorld class file with
functionality like this:

import java.io.*;

   public class HelloWorld {
      public static void main(String[] argv) {
          BufferedReader in = new BufferedReader(new
InputStreamReader(System.in));
          String name = null;

          try{
	         System.out.print("Please enter your name> ");
	         name = in.readLine();
          }catch(IOException e) { 
             return; 
          }

          System.out.println("Hello, " + name);
       }
    }


***** 
I did exactly what proposed by this Manual.
*****

Then I have generated HelloWorld.class and then executed it.
Everything was fine! The code was running excellent!!

But when I decompiled my HelloWorld.class by Jad I have source like this:


import java.io.*;

public class HelloWorld
{

    public static void main(String argv[])
    {
        BufferedReader in;
        in = new BufferedReader(new InputStreamReader(System.in));
        Object obj = null;
        String name;
        System.out.print("Please enter your name> ");
        name = in.readLine();
        break MISSING_BLOCK_LABEL_37;
        return;
        System.out.println("Hello, " + name);
        return;
    }

    public HelloWorld()
    {
    }
}

1)Note! Try/catch block is absent!!
2)And " break MISSING_BLOCK_LABEL_37;" line appears.

What does it mean? 

Please help me!
I need also information how to use JustIce.
I tried to use it coding like this:
Verifier.main(new String[]{"C:\\work\\bcel-5.1\\ex\\HelloWorld.class"});
And this is result output:

VERIFIED_REJECTED
Repository.lookup() failed. FILE NOT FOUND?

Pass 2:
VERIFIED_NOTYET
Not yet verified.

Warnings:
<none>

*****
Help me! Please!
Thanks! 
Peter.


---------------------------------------------------------------------
To unsubscribe, e-mail: gavinpatel@example.net
For additional commands, e-mail: gavinpatel@example.net


From bcel-usergavinpatel@example.net Tue May 17 14:06:09 2005
Return-Path: <bcel-usergavinpatel@example.net>
Delivered-To: gavinpatel@example.net
Received: (qmail 47956 invoked from network); 17 May 2005 14:06:09 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (83.161.120.155)
  by minotaur.apache.org with SMTP; 17 May 2005 14:06:09 -0000
Received: (qmail 97547 invoked by uid 500); 17 May 2005 05:31:57 -0000
Delivered-To: gavinpatel@example.net
Received: (qmail 97413 invoked by uid 500); 17 May 2005 05:31:55 -0000
Mailing-List: contact gavinpatel@example.net; run by ezmlm
Precedence: bulk
List-Unsubscribe: <mailto:gavinpatel@example.net>
List-Help: <mailto:gavinpatel@example.net>
List-Post: <mailto:gavinpatel@example.net>
List-Id: "BCEL Users List" <bcel-user.jakarta.apache.org>
Reply-To: "BCEL Users List" <gavinpatel@example.net>
Delivered-To: mailing list gavinpatel@example.net
Received: (qmail 97375 invoked by uid 99); 17 May 2005 05:31:55 -0000
X-ASF-Spam-Status: No, hits=-0.0 required=10.0
	tests=SPF_HELO_PASS
X-Spam-Check-By: apache.org
Received-SPF: neutral (hermes.apache.org: local policy)
Received: from avmta4-rme.xtra.co.nz (HELO avmta4-rme.xtra.co.nz) (83.161.120.155)
  by apache.org (qpsmtpd/0.28) with ESMTP; Mon, 16 May 2005 22:31:53 -0700
Received: from mta2-rme.xtra.co.nz ([83.161.120.155])
          by mta207-rme.xtra.co.nz with ESMTP
          id <gavinpatel@example.net>
          for <gavinpatel@example.net>;
          Tue, 17 May 2005 16:51:19 +1200
Received: from [83.161.120.155] ([83.161.120.155]) by mta2-rme.xtra.co.nz
          with ESMTP
          id <20050517045119.FKTW8463.mta2-rme.xtra.co.nz@[83.161.120.155]>
          for <gavinpatel@example.net>;
          Tue, 17 May 2005 16:51:19 +1200
Subject: Re: Problem with bcel example
From: Simon Kitching <gavinpatel@example.net>
Reply-To: gavinpatel@example.net
To: BCEL Users List <gavinpatel@example.net>
In-Reply-To: <gavinpatel@example.net>
References: <gavinpatel@example.net>
Content-Type: text/plain
Date: Tue, 17 May 2005 16:51:58 +1200
Message-Id: <gavinpatel@example.net>
Mime-Version: 1.0
X-Mailer: Evolution 2.0.4 
Content-Transfer-Encoding: 7bit
X-Virus-Checked: Checked
X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N

On Mon, 2005-05-16 at 21:49 +0200, BEEP_BEEP wrote:
> Hi!
> I'm very new in BCEL.

Hi,

I recommend that you use asm (asm.objectweb.org) rather than BCEL for
any new projects. BCEL is being maintained for the purposes of
supporting existing users, but has basically been surpassed by ASM in
both features and performance.

ASM is under a BSD-style license, ie very similar to the Apache license.

Regards,

Simon



---------------------------------------------------------------------
To unsubscribe, e-mail: gavinpatel@example.net
For additional commands, e-mail: gavinpatel@example.net



{'source': 'Apache Software Foundation Public Mail Archives'}