sandmark.watermark.util
Class PutstaticCountMarker

java.lang.Object
  |
  +--sandmark.watermark.util.BasicBlockMarker
        |
        +--sandmark.watermark.util.StaticWriteParityMarker
              |
              +--sandmark.watermark.util.PutstaticCountMarker

public class PutstaticCountMarker

extends StaticWriteParityMarker

This class embeds a one-bit value in a basic block by manipulating the number of distinct static fields written by the basic block. An even number of distinct fields corresponds to 0; an odd number corresponds to 1. Basic blocks can be marked with this class without destroying previous marks made by an InsnCountMarker.

Constructor Summary

PutstaticCountMarker(de.fub.bytecode.generic.ClassGen cg)

Method Summary

protected int

getParity(BasicBlock b) Returns either 0 or 1, based on whether the number of unique static fields written to in the given basic block is odd or even.

Methods inherited from class sandmark.watermark.util.StaticWriteParityMarker

capacityIsConstant, embed, getCapacity, methodGen, recognize

Methods inherited from class sandmark.watermark.util.BasicBlockMarker

embed

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PutstaticCountMarker

public PutstaticCountMarker(de.fub.bytecode.generic.ClassGen cg)

Method Detail

getParity

protected int getParity(BasicBlock b)

Returns either 0 or 1, based on whether the number of unique static fields written to in the given basic block is odd or even.

Specified by:

getParity in class StaticWriteParityMarker