本文整理汇总了Java中com.ibm.wala.dataflow.graph.BitVectorIdentity类的典型用法代码示例。如果您正苦于以下问题:Java BitVectorIdentity类的具体用法?Java BitVectorIdentity怎么用?Java BitVectorIdentity使用的例子?那么, 这里精选的类代码示例或许可以为您提供帮助。
BitVectorIdentity类属于com.ibm.wala.dataflow.graph包,在下文中一共展示了BitVectorIdentity类的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: getEdgeTransferFunction
import com.ibm.wala.dataflow.graph.BitVectorIdentity; //导入依赖的package包/类
/**
* for direct call-to-return edges at a call site, the edge transfer function will kill all facts, since we only want to
* consider facts that arise from going through the callee
*/
@Override
public UnaryOperator<BitVectorVariable> getEdgeTransferFunction(BasicBlockInContext<IExplodedBasicBlock> src,
BasicBlockInContext<IExplodedBasicBlock> dst) {
if (isCallToReturnEdge(src, dst)) {
return BitVectorKillAll.instance();
} else {
return BitVectorIdentity.instance();
}
}