<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html>
<body link="#355491" alink="#4262a1" vlink="#355491" style="background: #e2e2e2; margin: 0; padding: 20px;">

<div>
        <table cellpadding="0" bgcolor="#FFFFFF" border="0" cellspacing="0" style="border: 1px solid #dadada; margin-bottom: 30px; width: 100%; -moz-border-radius: 6px; -webkit-border-radius: 6px;">
                <tbody>
                        <tr>

                                <td>

                                        <table border="0" cellpadding="0" cellspacing="0" bgcolor="#FFFFFF" style="border: solid 2px #ccc; background: #dadada; width: 100%; -moz-border-radius: 6px; -webkit-border-radius: 6px;">
                                                <tbody>
                                                        <tr>
                                                                <td bgcolor="#000000" valign="middle" height="58px" style="border-bottom: 1px solid #ccc; padding: 20px; -moz-border-radius-topleft: 3px; -moz-border-radius-topright: 3px; -webkit-border-top-right-radius: 5px; -webkit-border-top-left-radius: 5px;">
                                                                        <h1 style="color: #333333; font: bold 22px Arial, Helvetica, sans-serif; margin: 0; display: block !important;">
                                                                        <!-- To have a header image/logo replace the name below with your img tag -->
                                                                        <!-- Email clients will render the images when the message is read so any image -->
                                                                        <!-- must be made available on a public server, so that all recipients can load the image. -->
                                                                        <a href="https://community.jboss.org/index.jspa" style="text-decoration: none; color: #E1E1E1">JBoss Community</a></h1>
                                                                </td>

                                                        </tr>
                                                        <tr>
                                                                <td bgcolor="#FFFFFF" style="font: normal 12px Arial, Helvetica, sans-serif; color:#333333; padding: 20px;  -moz-border-radius-bottomleft: 4px; -moz-border-radius-bottomright: 4px; -webkit-border-bottom-right-radius: 5px; -webkit-border-bottom-left-radius: 5px;"><h3 style="margin: 10px 0 5px; font-size: 17px; font-weight: normal;">
    VerifyError with complex Javassist instrumentation
</h3>
<span style="margin-bottom: 10px;">
    created by <a href="https://community.jboss.org/people/mbenson">Matt Benson</a> in <i>Javassist</i> - <a href="https://community.jboss.org/message/805734#805734">View the full discussion</a>
</span>
<hr style="margin: 20px 0; border: none; background-color: #dadada; height: 1px;">

<div class="jive-rendered-content"><p>Hi, I'm working on a new OSS project to allow Java developers to declaratively handle the Java AccessController APIs.&#160; One of our features is the concept of "method blueprinting" whereby the code requiring privileges is housed in a security-agnostic static implementation method.&#160; Calls to such methods are translated to calls to local, cloned methods.&#160; This basic concept is all working great with Javassist.&#160; The problem occurs when such a "blueprint method" references a field.&#160; I have created code to handle field accesses using reflection (as opposed to copying the field, which might then not be initialized, etc.).&#160; I am by no means a bytecode expert, but I am familiar with recursive-descent parsers and I have stepped through the code that compiles my replacement statements; this all looks fine.&#160; I have compared the bytecode Javassist is generating with the bytecode generated by javac to do the same type of field reflection and I (from my inexpert POV) cannot see anything that appears significant.&#160; When I try to run my instrumented code I get VerifyError "Incompatible argument to function".&#160; I am at a complete loss.&#160; I would be highly appreciative if any experts were able to offer further advice on how to proceed.&#160; If anyone is interested, the current code can be viewed at <a class="jive-link-external-small" href="http://svn.apache.org/repos/asf/commons/sandbox/weaver/branches/fields" rel="nofollow">http://svn.apache.org/repos/asf/commons/sandbox/weaver/branches/fields</a> .&#160; Probably the easiest way to test is `mvn -DskipTests clean install` then `cd example; mvn test` to see the problem.</p><p style="min-height: 8pt; height: 8pt; padding: 0px;">&#160;</p><p>TIA,</p><p>Matt</p></div>

<div style="background-color: #f4f4f4; padding: 10px; margin-top: 20px;">
    <p style="margin: 0;">Reply to this message by <a href="https://community.jboss.org/message/805734#805734">going to Community</a></p>
        <p style="margin: 0;">Start a new discussion in Javassist at <a href="https://community.jboss.org/choose-container!input.jspa?contentType=1&containerType=14&container=2062">Community</a></p>
</div></td>
                        </tr>
                    </tbody>
                </table>


                </td>
            </tr>
        </tbody>
    </table>

</div>

</body>
</html>