当前位置: 首页>>代码示例>>Java>>正文


Java BitVectorIdentity类代码示例

本文整理汇总了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();
  }
}
 
开发者ID:wala,项目名称:WALA-start,代码行数:14,代码来源:ContextInsensitiveReachingDefs.java


注:本文中的com.ibm.wala.dataflow.graph.BitVectorIdentity类示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。