如何检查字节码操作 PUTFIELD 是否正在使用 ObjectWeb ASM 重新分配属于“this”对象的字段？

Question

我正在使用ASM 字节码操作框架对Java 代码执行静态分析。我希望检测何时重新分配对象的字段，即何时发生这种代码：

class MyObject {
    private int value;
    void setValue(int newValue) { this.value = newValue; }
}

使用以下代码（在实现ClassVisitor的类中）可以检测到上述情况：

@Override
public void visitFieldInsn(int opcode, String owner, String name, String desc) {
    if(opcode == Opcodes.PUTFIELD) {
        // do whatever here
    }
}

但是，无论拥有该字段的对象如何，都会调用此代码。我想找到更具体的情况，在 this 对象上执行 PUTFIELD 操作。比如我想区分第一个代码sn -p，和这样的代码：

public MyObject createNewObjectWithDifferentField() {
    MyObject newObject = new MyObject();
    newObject.value = 43;
    return newObject;
}

在上述情况下，仍然执行 PUTFIELD 操作，但这里它是在一个局部变量 (newObject) 上而不是 this 对象上。这将取决于分配时堆栈的状态，但我遇到了一些字节码完全不同的不同场景，我正在寻找处理这种复杂性的方法。

如何检查 PUTFIELD 是否正在重新分配属于 this 对象的字段？

---

编辑

我使用 ASM 仅执行分析，而不是检测现有字节码。如果可能的话，最好我想找到一种在不改变字节码的情况下发现这一点的方法。

Answer 1

我认为一般情况下这是不可能的。考虑：

class MyObject {
  private int value;
  void mymethod1() {
    mymethod2(Math.random() > 0.5 ? this : new MyObject());
  }

  void mymethod2(MyObject that) {
    that.value = 1;
  }
}

在更简单的情况下，您可以将堆栈跟踪回ALOAD 0，在实例方法中它引用this。

Answer 2

我从未使用过 ASM，但是，我有处理字节码的经验。

就在 PUTFIELD 指令之前，堆栈如下所示：

|...,object_ref,value

或

|...,object_ref,value1,value2（如果字段的类型是double或long）

以第一种情况为例，可以在 PUTFIELD 前插入如下指令：

1: DUP2
2: POP
3: ALOAD_0
4: IF_ACMPNE X
5: put your code here
...
...
X: PUTFIELD

指令 (1) 复制 object_ref 和堆栈上的值。 (2) 删除值。 (3) 加载“this”引用。 (4) 如果 'this' 等于 object_ref 执行你的代码，否则什么都不做并跳转到 PUTFIELD。

对于第二种情况（长字段或双字段），您可以使用这一系列字节码指令

1: DUP2_X1
2: POP2
3: DUP
4: ALOAD_0
5: IF_ACMPNE 7
6: put your code here
...
...
7: DUP_X2
8: POP
9: PUTFIELD

Answer 3

另一种方法（运行时）：

您可以使用 AspectJ 并为您的类设置字段集/获取切入点。请参阅：http://www.eclipse.org/aspectj/doc/released/progguide/semantics-pointcuts.html 和 http://www.eclipse.org/aspectj/。

定义切入点后，您将编写一些建议，通过使用 thisJoinPoint 变量简单地打印出当前执行位置。然后，当你运行你的程序时，你会得到一个很好的日志，记录字段被获取/设置的所有地方。

这将需要运行时或编译时编织，这意味着无论哪种方式都需要字节码操作。希望这会有所帮助...