2

我正在使用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 操作的更具体的情况。例如，我想区分第一个代码片段和如下代码：

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

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

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

编辑

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

4

3 回答 3

2

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

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.

于 2010-08-28T16:30:26.397 回答
0

另一种方法（运行时）：

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

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

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

于 2010-08-29T05:01:10.347 回答
0

我从未使用过 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
于 2010-08-28T17:58:39.540 回答