soot.options.Options.j2me()方法的使用及代码示例

x33g5p2x  于2022-01-26 转载在 其他  
字(7.9k)|赞(0)|评价(0)|浏览(95)

本文整理了Java中soot.options.Options.j2me()方法的一些代码示例，展示了Options.j2me()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台，是从一些精选项目中提取出来的代码，具有较强的参考意义，能在一定程度帮忙到你。Options.j2me()方法的具体详情如下：
包路径：soot.options.Options
类名称：Options
方法名：j2me

Options.j2me介绍

暂无

代码示例

代码示例来源：origin: Sable/soot

private TypeResolverBV(JimpleBody stmtBody, Scene scene) {
 this.stmtBody = stmtBody;
 hierarchy = ClassHierarchy.classHierarchy(scene);
 OBJECT = hierarchy.OBJECT;
 NULL = hierarchy.NULL;
 typeVariable(OBJECT);
 typeVariable(NULL);
 // hack for J2ME library, reported by Stephen Cheng
 if (!Options.v().j2me()) {
  typeVariable(hierarchy.CLONEABLE);
  typeVariable(hierarchy.SERIALIZABLE);
 }
}

代码示例来源：origin: Sable/soot

private TypeResolver(JimpleBody stmtBody, Scene scene) {
 this.stmtBody = stmtBody;
 hierarchy = ClassHierarchy.classHierarchy(scene);
 OBJECT = hierarchy.OBJECT;
 NULL = hierarchy.NULL;
 typeVariable(OBJECT);
 typeVariable(NULL);
 // hack for J2ME library, reported by Stephen Cheng
 if (!Options.v().j2me()) {
  typeVariable(hierarchy.CLONEABLE);
  typeVariable(hierarchy.SERIALIZABLE);
 }
}

代码示例来源：origin: Sable/soot

if (!Options.v().j2me()) {
 typeVariable(ArrayType.v(RefType.v("java.lang.Cloneable"), max - 1));
 typeVariable(ArrayType.v(RefType.v("java.io.Serializable"), max - 1));

代码示例来源：origin: Sable/soot

if (!Options.v().j2me()) {
  plist.add(hierarchy.CLONEABLE);
  plist.add(hierarchy.SERIALIZABLE);
 if (!Options.v().j2me()) {
  plist.add(hierarchy.typeNode(ArrayType.v(hierarchy.CLONEABLE.type(), type.numDimensions - 1)));
  plist.add(hierarchy.typeNode(ArrayType.v(hierarchy.SERIALIZABLE.type(), type.numDimensions - 1)));
if (!Options.v().j2me()) {
 plist.add(hierarchy.CLONEABLE);
 plist.add(hierarchy.SERIALIZABLE);
plist.add(hierarchy.typeNode(ArrayType.v(hierarchy.OBJECT.type(), type.numDimensions - 1)));
if (!Options.v().j2me()) {
 plist.add(hierarchy.typeNode(ArrayType.v(hierarchy.CLONEABLE.type(), type.numDimensions - 1)));
 plist.add(hierarchy.typeNode(ArrayType.v(hierarchy.SERIALIZABLE.type(), type.numDimensions - 1)));

代码示例来源：origin: Sable/soot

private ClassHierarchy(Scene scene) {
 if (scene == null) {
  throw new InternalTypingException();
 }
 G.v().ClassHierarchy_classHierarchyMap.put(scene, this);
 NULL = typeNode(NullType.v());
 OBJECT = typeNode(RefType.v("java.lang.Object"));
 // hack for J2ME library which does not have Cloneable and Serializable
 // reported by Stephen Chen
 if (!Options.v().j2me()) {
  CLONEABLE = typeNode(RefType.v("java.lang.Cloneable"));
  SERIALIZABLE = typeNode(RefType.v("java.io.Serializable"));
 } else {
  CLONEABLE = null;
  SERIALIZABLE = null;
 }
 INT = typeNode(IntType.v());
}

代码示例来源：origin: Sable/soot

if (!Options.v().j2me()) {
 resolveClassErrorSet.add(AnySubType.v(Scene.v().getRefType("java.lang.ClassFormatError")));

代码示例来源：origin: Sable/soot

private void propagate_array_constraints() {
 // find max depth
 int max = 0;
 for (TypeVariable var : typeVariableList) {
  int depth = var.depth();
  if (depth > max) {
   max = depth;
  }
 }
 // hack for J2ME library, reported by Stephen Cheng
 if (max > 1) {
  if (!Options.v().j2me()) {
   typeVariable(ArrayType.v(RefType.v("java.lang.Cloneable"), max - 1));
   typeVariable(ArrayType.v(RefType.v("java.io.Serializable"), max - 1));
  }
 }
 // propagate constraints, starting with highest depth
 for (int i = max; i >= 0; i--) {
  for (TypeVariable var : typeVariableList) {
   var.propagate();
  }
 }
}

代码示例来源：origin: Sable/soot

if (var.type() == null) {
 if (!Options.v().j2me()) {
  var.addChild(resolver.typeVariable(resolver.hierarchy().CLONEABLE));
  var.addChild(resolver.typeVariable(resolver.hierarchy().SERIALIZABLE));
if (var.type() == null) {
 if (!Options.v().j2me()) {
  var.addChild(resolver.typeVariable(ArrayType.v(RefType.v("java.lang.Cloneable"), var.depth())));
  var.addChild(resolver.typeVariable(ArrayType.v(RefType.v("java.io.Serializable"), var.depth())));

代码示例来源：origin: Sable/soot

if (var.type() == null) {
 if (!Options.v().j2me()) {
  var.addChild(resolver.typeVariable(resolver.hierarchy().CLONEABLE));
  var.addChild(resolver.typeVariable(resolver.hierarchy().SERIALIZABLE));
if (var.type() == null) {
 if (!Options.v().j2me()) {
  var.addChild(resolver.typeVariable(ArrayType.v(RefType.v("java.lang.Cloneable"), var.depth())));
  var.addChild(resolver.typeVariable(ArrayType.v(RefType.v("java.io.Serializable"), var.depth())));

代码示例来源：origin: ibinti/bugvm

private TypeResolverBV(JimpleBody stmtBody, Scene scene)
{
 this.stmtBody = stmtBody;
 hierarchy = ClassHierarchy.classHierarchy(scene);
 OBJECT = hierarchy.OBJECT;
 NULL = hierarchy.NULL;
 typeVariable(OBJECT);
 typeVariable(NULL);
 
 // hack for J2ME library, reported by Stephen Cheng 
 if (!Options.v().j2me()) {
  typeVariable(hierarchy.CLONEABLE);
  typeVariable(hierarchy.SERIALIZABLE);
 }
}

代码示例来源：origin: ibinti/bugvm

private TypeResolver(JimpleBody stmtBody, Scene scene)
{
 this.stmtBody = stmtBody;
 hierarchy = ClassHierarchy.classHierarchy(scene);
 OBJECT = hierarchy.OBJECT;
 NULL = hierarchy.NULL;
 typeVariable(OBJECT);
 typeVariable(NULL);
 
 // hack for J2ME library, reported by Stephen Cheng 
 if (!Options.v().j2me()) {
  typeVariable(hierarchy.CLONEABLE);
  typeVariable(hierarchy.SERIALIZABLE);
 }
}

代码示例来源：origin: com.bugvm/bugvm-soot

private TypeResolverBV(JimpleBody stmtBody, Scene scene)
{
 this.stmtBody = stmtBody;
 hierarchy = ClassHierarchy.classHierarchy(scene);
 OBJECT = hierarchy.OBJECT;
 NULL = hierarchy.NULL;
 typeVariable(OBJECT);
 typeVariable(NULL);
 
 // hack for J2ME library, reported by Stephen Cheng 
 if (!Options.v().j2me()) {
  typeVariable(hierarchy.CLONEABLE);
  typeVariable(hierarchy.SERIALIZABLE);
 }
}

代码示例来源：origin: com.bugvm/bugvm-soot

private TypeResolver(JimpleBody stmtBody, Scene scene)
{
 this.stmtBody = stmtBody;
 hierarchy = ClassHierarchy.classHierarchy(scene);
 OBJECT = hierarchy.OBJECT;
 NULL = hierarchy.NULL;
 typeVariable(OBJECT);
 typeVariable(NULL);
 
 // hack for J2ME library, reported by Stephen Cheng 
 if (!Options.v().j2me()) {
  typeVariable(hierarchy.CLONEABLE);
  typeVariable(hierarchy.SERIALIZABLE);
 }
}

代码示例来源：origin: ibinti/bugvm

if (!Options.v().j2me()) {
typeVariable(ArrayType.v(RefType.v("java.lang.Cloneable"), max - 1));
typeVariable(ArrayType.v(RefType.v("java.io.Serializable"), max - 1));

代码示例来源：origin: com.bugvm/bugvm-soot

if (!Options.v().j2me()) {
typeVariable(ArrayType.v(RefType.v("java.lang.Cloneable"), max - 1));
typeVariable(ArrayType.v(RefType.v("java.io.Serializable"), max - 1));

代码示例来源：origin: com.bugvm/bugvm-soot

if (!Options.v().j2me()) {
typeVariable(ArrayType.v(RefType.v("java.lang.Cloneable"), max - 1));
typeVariable(ArrayType.v(RefType.v("java.io.Serializable"), max - 1));

代码示例来源：origin: ibinti/bugvm

if (!Options.v().j2me()) {
typeVariable(ArrayType.v(RefType.v("java.lang.Cloneable"), max - 1));
typeVariable(ArrayType.v(RefType.v("java.io.Serializable"), max - 1));

代码示例来源：origin: ibinti/bugvm

private ClassHierarchy(Scene scene)
{
 if(scene == null)
  {
 throw new InternalTypingException();
  }
 G.v().ClassHierarchy_classHierarchyMap.put(scene, this);
 NULL = typeNode(NullType.v());
 OBJECT = typeNode(RefType.v("java.lang.Object"));
 // hack for J2ME library which does not have Cloneable and Serializable
 // reported by Stephen Chen
 if (!Options.v().j2me()) {
  CLONEABLE = typeNode(RefType.v("java.lang.Cloneable"));
  SERIALIZABLE = typeNode(RefType.v("java.io.Serializable"));
 } else {
  CLONEABLE = null;
  SERIALIZABLE = null;
 }
 INT = typeNode(IntType.v());
}

代码示例来源：origin: com.bugvm/bugvm-soot

private ClassHierarchy(Scene scene)
{
 if(scene == null)
  {
 throw new InternalTypingException();
  }
 G.v().ClassHierarchy_classHierarchyMap.put(scene, this);
 NULL = typeNode(NullType.v());
 OBJECT = typeNode(RefType.v("java.lang.Object"));
 // hack for J2ME library which does not have Cloneable and Serializable
 // reported by Stephen Chen
 if (!Options.v().j2me()) {
  CLONEABLE = typeNode(RefType.v("java.lang.Cloneable"));
  SERIALIZABLE = typeNode(RefType.v("java.io.Serializable"));
 } else {
  CLONEABLE = null;
  SERIALIZABLE = null;
 }
 INT = typeNode(IntType.v());
}

代码示例来源：origin: com.bugvm/bugvm-soot

if (!Options.v().j2me()) {
var.addChild(resolver.typeVariable(resolver.hierarchy().CLONEABLE));
var.addChild(resolver.typeVariable(resolver.hierarchy().SERIALIZABLE));
 if (!Options.v().j2me()) {
var.addChild(resolver.typeVariable(ArrayType.v(RefType.v("java.lang.Cloneable"), var.depth())));
var.addChild(resolver.typeVariable(ArrayType.v(RefType.v("java.io.Serializable"), var.depth())));

内容来源于网络，如有侵权，请联系作者删除！

Options

相关文章

    查看更多
    微信公众号

    热门标签

    更多
    JavaquerypythonNode开发语言requestUtil数据库Table后端算法LoggerMessageElementParser

    最新文章

    更多

    Options类方法

    • 蜀ICP备13028337号-1 大数据知识库 https://www.saoniuhuo.com © All rights reserved
    • 本站内容来源互联网,如果侵犯您的权益请联系我们删除, 联系方式：448109455@qq.com