Return-Path: Delivered-To: apmail-jakarta-bcel-user-archive@www.apache.org Received: (qmail 32219 invoked from network); 8 Mar 2007 22:11:28 -0000 Received: from hermes.apache.org (HELO mail.apache.org) (140.211.11.2) by minotaur.apache.org with SMTP; 8 Mar 2007 22:11:28 -0000 Received: (qmail 95218 invoked by uid 500); 8 Mar 2007 22:11:36 -0000 Delivered-To: apmail-jakarta-bcel-user-archive@jakarta.apache.org Received: (qmail 95154 invoked by uid 500); 8 Mar 2007 22:11:35 -0000 Mailing-List: contact bcel-user-help@jakarta.apache.org; run by ezmlm Precedence: bulk List-Unsubscribe: List-Help: List-Post: List-Id: "BCEL Users List" Reply-To: "BCEL Users List" Delivered-To: mailing list bcel-user@jakarta.apache.org Received: (qmail 95117 invoked by uid 99); 8 Mar 2007 22:11:35 -0000 Received: from herse.apache.org (HELO herse.apache.org) (140.211.11.133) by apache.org (qpsmtpd/0.29) with ESMTP; Thu, 08 Mar 2007 14:11:35 -0800 X-ASF-Spam-Status: No, hits=0.0 required=10.0 tests= X-Spam-Check-By: apache.org Received-SPF: pass (herse.apache.org: local policy) Received: from [155.245.48.25] (HELO sernt12.essex.ac.uk) (155.245.48.25) by apache.org (qpsmtpd/0.29) with ESMTP; Thu, 08 Mar 2007 14:11:24 -0800 Content-class: urn:content-classes:message MIME-Version: 1.0 x-mimeole: Produced By Microsoft Exchange V6.5 Subject: RE: Invokation and return statement analysis with BCEL Date: Thu, 8 Mar 2007 22:10:38 -0000 Content-Type: multipart/signed; protocol="application/x-pkcs7-signature"; micalg=MD5; boundary="----=_NextPart_000_0183_01C761CE.9A653630" Message-ID: <9970A3EB1351D611996E00B0D07806F906A86874@sernt12.essex.ac.uk> In-Reply-To: <018901c7619e$ea8dff50$f3e18380@luna> X-MS-Has-Attach: yes X-MS-TNEF-Correlator: Thread-Topic: Invokation and return statement analysis with BCEL Thread-Index: Acdhnw11cBPPGRmUR0e3Qe5i3hYSHgAL1Cqg From: "Nicholson, Jonathan O H" To: "BCEL Users List" X-Virus-Checked: Checked by ClamAV on apache.org ------=_NextPart_000_0183_01C761CE.9A653630 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Martin Try this one instead: http://jakarta.apache.org/bcel/apidocs/org/apache/bcel/verifier/structurals/ package-summary.html Direct off the main BCEL webpage. Jon -----Original Message----- From: Martin Schoeberl [mailto:martin@jopdesign.com] Sent: 08 March 2007 11:56 To: BCEL Users List; arrin.daley@anu.edu.au Subject: Re: Invokation and return statement analysis with BCEL > There are some classes in BCEL's verifer project that will help you > out by doing stack simulation this will let you access the types on > the stack. Have a look at the org.apache.bcel.verifier.structurals > urals/package-frame.html> interesting, but the link is broken. Martin --------------------------------------------------------------------- To unsubscribe, e-mail: bcel-user-unsubscribe@jakarta.apache.org For additional commands, e-mail: bcel-user-help@jakarta.apache.org ------=_NextPart_000_0183_01C761CE.9A653630 Content-Type: application/x-pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" MIAGCSqGSIb3DQEHAqCAMIACAQExDjAMBggqhkiG9w0CBQUAMIAGCSqGSIb3DQEHAQAAoIIKcjCC BKIwggOKoAMCAQICEES+DItQACS0EdM2JSVnyYkwDQYJKoZIhvcNAQEFBQAwga4xCzAJBgNVBAYT AlVTMQswCQYDVQQIEwJVVDEXMBUGA1UEBxMOU2FsdCBMYWtlIENpdHkxHjAcBgNVBAoTFVRoZSBV U0VSVFJVU1QgTmV0d29yazEhMB8GA1UECxMYaHR0cDovL3d3dy51c2VydHJ1c3QuY29tMTYwNAYD VQQDEy1VVE4tVVNFUkZpcnN0LUNsaWVudCBBdXRoZW50aWNhdGlvbiBhbmQgRW1haWwwHhcNOTkw NzA5MTcyODUwWhcNMTkwNzA5MTczNjU4WjCBrjELMAkGA1UEBhMCVVMxCzAJBgNVBAgTAlVUMRcw FQYDVQQHEw5TYWx0IExha2UgQ2l0eTEeMBwGA1UEChMVVGhlIFVTRVJUUlVTVCBOZXR3b3JrMSEw HwYDVQQLExhodHRwOi8vd3d3LnVzZXJ0cnVzdC5jb20xNjA0BgNVBAMTLVVUTi1VU0VSRmlyc3Qt Q2xpZW50IEF1dGhlbnRpY2F0aW9uIGFuZCBFbWFpbDCCASIwDQYJKoZIhvcNAQEBBQADggEPADCC AQoCggEBALI5haTyfatBO2JGN67NwWB1vDll+UoaR6K5zEjMapjVTTUZuaRC5c5J4oovHnzSMQfH TrSDZJ0uKdWiZMSFvYVRNXmkTmiQexx6pJKoF/KYFfKTzMmkMpW7DE8wvZigC4vlbhuiRvp4vKJv q1lepS/Pytptqi/rrKGzaqq3Lmc1i3nhHmmI4uZGzaCl6r4LznY6eg6b6vzaJ1s9cx8i5khhxkzz abGoLhu21DEgLLyCio6kDqXXiUP8FlqvHXHXEVnauocNr/rz4cLwpMVnjNbWVDreCqS6A3ezZcj9 HtN0YqoYymiTHqGFfvVHZcv4TVcodNI0/zC27vZiMBSMLOsCAwEAAaOBuTCBtjALBgNVHQ8EBAMC AcYwDwYDVR0TAQH/BAUwAwEB/zAdBgNVHQ4EFgQUiYJnfcSdJnAAS7RQSHzePa4Ebn0wWAYDVR0f BFEwTzBNoEugSYZHaHR0cDovL2NybC51c2VydHJ1c3QuY29tL1VUTi1VU0VSRmlyc3QtQ2xpZW50 QXV0aGVudGljYXRpb25hbmRFbWFpbC5jcmwwHQYDVR0lBBYwFAYIKwYBBQUHAwIGCCsGAQUFBwME MA0GCSqGSIb3DQEBBQUAA4IBAQCxbWFdphp/fKtK5DD8U28lJMbK7eIxXCsO7u5hVW8EPs853sUb SZTk6yBMtOaeUC5y2Y31qqOzStpWHGCXgNyCoq1KvYor/wsJtMbXIARF5M2AAbq6K27OqteS/uSv 6/QmHRYqf2wwlTcvMxKsf93H0RGMUZiy0KOR0K32n56Dkx4dQrhGr2tm8Jt/6uMDAuUCUcGq1TWd ckADiboxHcUQaFKe36KFxVwIpnjmU0+x6LfTFJ6TpsNk46x+cc28n+kDG8z76awxwa98FXQCmcOy R6bCMmHXx29IJFEnodWHVfJ7j5g9Fp7udbb40I7y88auKFun8PM2F/zDBdPKA0pUMIIFyDCCBLCg AwIBAgIRAJzlplwQizB70kk8tTDSnXswDQYJKoZIhvcNAQEFBQAwga4xCzAJBgNVBAYTAlVTMQsw CQYDVQQIEwJVVDEXMBUGA1UEBxMOU2FsdCBMYWtlIENpdHkxHjAcBgNVBAoTFVRoZSBVU0VSVFJV U1QgTmV0d29yazEhMB8GA1UECxMYaHR0cDovL3d3dy51c2VydHJ1c3QuY29tMTYwNAYDVQQDEy1V VE4tVVNFUkZpcnN0LUNsaWVudCBBdXRoZW50aWNhdGlvbiBhbmQgRW1haWwwHhcNMDYxMDMxMDAw MDAwWhcNMDcxMDMxMjM1OTU5WjCB4DE1MDMGA1UECxMsQ29tb2RvIFRydXN0IE5ldHdvcmsgLSBQ RVJTT05BIE5PVCBWQUxJREFURUQxRjBEBgNVBAsTPVRlcm1zIGFuZCBDb25kaXRpb25zIG9mIHVz ZTogaHR0cDovL3d3dy5jb21vZG8ubmV0L3JlcG9zaXRvcnkxHzAdBgNVBAsTFihjKTIwMDMgQ29t b2RvIExpbWl0ZWQxGzAZBgNVBAMTEkpvbmF0aGFuIE5pY2hvbHNvbjEhMB8GCSqGSIb3DQEJARYS am9obmljQGVzc2V4LmFjLnVrMIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCZTDyfAHiv2F9W nG+MoKL0nvk7W7x+qedw7zD8lRBbrxi+JShXKtaUnFLDcJ9VqwQEkjYNK7py9QVPqp2KrMqHP3fM FQ/5/q+MrRFWPj6Ky8xJ8YClwXIrrYWUEYGp+x6qInlXe1Dr+FpbWrZHjnQlVwBNRxZ0N+nhI9Zw np76CQIDAQABo4ICLzCCAiswHwYDVR0jBBgwFoAUiYJnfcSdJnAAS7RQSHzePa4Ebn0wHQYDVR0O BBYEFGX9PYjviVdd2SZcSc3DECDrmOm6MA4GA1UdDwEB/wQEAwIFoDAMBgNVHRMBAf8EAjAAMCAG A1UdJQQZMBcGCCsGAQUFBwMEBgsrBgEEAbIxAQMFAjARBglghkgBhvhCAQEEBAMCBSAwRgYDVR0g BD8wPTA7BgwrBgEEAbIxAQIBAQEwKzApBggrBgEFBQcCARYdaHR0cHM6Ly9zZWN1cmUuY29tb2Rv Lm5ldC9DUFMwgaUGA1UdHwSBnTCBmjBMoEqgSIZGaHR0cDovL2NybC5jb21vZG9jYS5jb20vVVRO LVVTRVJGaXJzdC1DbGllbnRBdXRoZW50aWNhdGlvbmFuZEVtYWlsLmNybDBKoEigRoZEaHR0cDov L2NybC5jb21vZG8ubmV0L1VUTi1VU0VSRmlyc3QtQ2xpZW50QXV0aGVudGljYXRpb25hbmRFbWFp bC5jcmwwgYYGCCsGAQUFBwEBBHoweDA7BggrBgEFBQcwAoYvaHR0cDovL2NydC5jb21vZG9jYS5j b20vVVROQWRkVHJ1c3RDbGllbnRDQS5jcnQwOQYIKwYBBQUHMAKGLWh0dHA6Ly9jcnQuY29tb2Rv Lm5ldC9VVE5BZGRUcnVzdENsaWVudENBLmNydDAdBgNVHREEFjAUgRJqb2huaWNAZXNzZXguYWMu dWswDQYJKoZIhvcNAQEFBQADggEBAEqMp4BWfGWx9JIq3lLjoPN9YfoQRFOQJ2NaqWyW5aI/36gt KhaVH6pmaw9Dm3GT0BI8ppIQiBphch3gu0dtEoi7dD9ikMcoKx7+//hIvQRQ51WaOl/HxJCMM+7h DbMeIORD8VkEfD6CajfWGo7NJmsPEhreTwc4wTM1wfVfd2bcmONPN7P0rmx/ZL43f/VZolSMOztV vE5+t8ckWuZNuQrq9NzeRm4C0+IQds62MYXTNVCdlnOiuskGdYrJrqE7U25H5Tqrh92I3lH6qLGc zApgjsL9Vy2aqg3zCBYSt8Dh17SROB+tguy5Aqua/pI963MYXxUPZTupXV7KFkvTv5MxggPmMIID 4gIBATCBxDCBrjELMAkGA1UEBhMCVVMxCzAJBgNVBAgTAlVUMRcwFQYDVQQHEw5TYWx0IExha2Ug Q2l0eTEeMBwGA1UEChMVVGhlIFVTRVJUUlVTVCBOZXR3b3JrMSEwHwYDVQQLExhodHRwOi8vd3d3 LnVzZXJ0cnVzdC5jb20xNjA0BgNVBAMTLVVUTi1VU0VSRmlyc3QtQ2xpZW50IEF1dGhlbnRpY2F0 aW9uIGFuZCBFbWFpbAIRAJzlplwQizB70kk8tTDSnXswDAYIKoZIhvcNAgUFAKCCAnQwGAYJKoZI hvcNAQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcNMDcwMzA4MjIxMDM4WjAfBgkqhkiG 9w0BCQQxEgQQVHcRSSBnzQJonzr8KNVm2DBnBgkqhkiG9w0BCQ8xWjBYMAoGCCqGSIb3DQMHMA4G CCqGSIb3DQMCAgIAgDANBggqhkiG9w0DAgIBQDAHBgUrDgMCBzANBggqhkiG9w0DAgIBKDAKBggq hkiG9w0CBTAHBgUrDgMCGjCB1QYJKwYBBAGCNxAEMYHHMIHEMIGuMQswCQYDVQQGEwJVUzELMAkG A1UECBMCVVQxFzAVBgNVBAcTDlNhbHQgTGFrZSBDaXR5MR4wHAYDVQQKExVUaGUgVVNFUlRSVVNU IE5ldHdvcmsxITAfBgNVBAsTGGh0dHA6Ly93d3cudXNlcnRydXN0LmNvbTE2MDQGA1UEAxMtVVRO LVVTRVJGaXJzdC1DbGllbnQgQXV0aGVudGljYXRpb24gYW5kIEVtYWlsAhEAnOWmXBCLMHvSSTy1 MNKdezCB1wYLKoZIhvcNAQkQAgsxgceggcQwga4xCzAJBgNVBAYTAlVTMQswCQYDVQQIEwJVVDEX MBUGA1UEBxMOU2FsdCBMYWtlIENpdHkxHjAcBgNVBAoTFVRoZSBVU0VSVFJVU1QgTmV0d29yazEh MB8GA1UECxMYaHR0cDovL3d3dy51c2VydHJ1c3QuY29tMTYwNAYDVQQDEy1VVE4tVVNFUkZpcnN0 LUNsaWVudCBBdXRoZW50aWNhdGlvbiBhbmQgRW1haWwCEQCc5aZcEIswe9JJPLUw0p17MA0GCSqG SIb3DQEBAQUABIGAEvNn7i0lalcQEkrlyNl5U/RemWQYMd72xN9J1/F5v3CiHMuM2OMrjffXkdKL eOeKnDrhZS9pL1lvXgLX3X0SsvDbd1YIhIhDiQVD38GICGF+UTiekZgPf+fLZMOOUH5Ca+7Qu+bn pBdBDWVngwAcozOiqHF/4cFaW45hzlVkdzoAAAAAAAA= ------=_NextPart_000_0183_01C761CE.9A653630--