Skip to content

Commit

Permalink
moved Soot-specifiv code to soot
Browse files Browse the repository at this point in the history
  • Loading branch information
Eric Bodden committed Nov 29, 2012
1 parent f7c0f2f commit ae1aae2
Show file tree
Hide file tree
Showing 47 changed files with 3 additions and 1,261 deletions.
5 changes: 1 addition & 4 deletions .classpath
Original file line number Diff line number Diff line change
@@ -1,11 +1,8 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry combineaccessrules="false" exported="true" kind="src" path="/soot"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src-generic"/>
<classpathentry kind="src" path="src-soot"/>
<classpathentry kind="src" path="src"/>
<classpathentry exported="true" kind="lib" path="guava-13.0.jar"/>
<classpathentry kind="lib" path="soot-trunk.jar" sourcepath="/soot"/>
<classpathentry kind="output" path="bin"/>
</classpath>
117 changes: 1 addition & 116 deletions META-INF/MANIFEST.MF
Original file line number Diff line number Diff line change
Expand Up @@ -22,119 +22,4 @@ Export-Package: com.google.common.annotations,
de.bodden.ide.edgefunc,
de.bodden.ide.flowfunc,
de.bodden.ide.solver,
de.bodden.ide.template,
soot,
soot.JastAddJ,
soot.baf,
soot.baf.internal,
soot.baf.toolkits.base,
soot.coffi,
soot.dava,
soot.dava.internal.AST,
soot.dava.internal.SET,
soot.dava.internal.asg,
soot.dava.internal.javaRep,
soot.dava.toolkits.base.AST,
soot.dava.toolkits.base.AST.analysis,
soot.dava.toolkits.base.AST.interProcedural,
soot.dava.toolkits.base.AST.structuredAnalysis,
soot.dava.toolkits.base.AST.transformations,
soot.dava.toolkits.base.AST.traversals,
soot.dava.toolkits.base.DavaMonitor,
soot.dava.toolkits.base.finders,
soot.dava.toolkits.base.misc,
soot.dava.toolkits.base.renamer,
soot.grimp,
soot.grimp.internal,
soot.grimp.toolkits.base,
soot.javaToJimple,
soot.javaToJimple.jj,
soot.javaToJimple.jj.ast,
soot.javaToJimple.jj.types,
soot.javaToJimple.toolkits,
soot.jbco,
soot.jbco.bafTransformations,
soot.jbco.gui,
soot.jbco.jimpleTransformations,
soot.jbco.util,
soot.jimple,
soot.jimple.internal,
soot.jimple.paddle,
soot.jimple.parser,
soot.jimple.parser.analysis,
soot.jimple.parser.lexer,
soot.jimple.parser.node,
soot.jimple.parser.parser,
soot.jimple.spark,
soot.jimple.spark.builder,
soot.jimple.spark.fieldrw,
soot.jimple.spark.geom,
soot.jimple.spark.geom.geomE,
soot.jimple.spark.geom.geomPA,
soot.jimple.spark.geom.heapinsE,
soot.jimple.spark.geom.ptinsE,
soot.jimple.spark.internal,
soot.jimple.spark.ondemand,
soot.jimple.spark.ondemand.genericutil,
soot.jimple.spark.ondemand.pautil,
soot.jimple.spark.pag,
soot.jimple.spark.sets,
soot.jimple.spark.solver,
soot.jimple.toolkits.annotation,
soot.jimple.toolkits.annotation.arraycheck,
soot.jimple.toolkits.annotation.callgraph,
soot.jimple.toolkits.annotation.defs,
soot.jimple.toolkits.annotation.fields,
soot.jimple.toolkits.annotation.j5anno,
soot.jimple.toolkits.annotation.liveness,
soot.jimple.toolkits.annotation.logic,
soot.jimple.toolkits.annotation.methods,
soot.jimple.toolkits.annotation.nullcheck,
soot.jimple.toolkits.annotation.parity,
soot.jimple.toolkits.annotation.profiling,
soot.jimple.toolkits.annotation.purity,
soot.jimple.toolkits.annotation.qualifiers,
soot.jimple.toolkits.annotation.tags,
soot.jimple.toolkits.base,
soot.jimple.toolkits.callgraph,
soot.jimple.toolkits.graph,
soot.jimple.toolkits.infoflow,
soot.jimple.toolkits.invoke,
soot.jimple.toolkits.pointer,
soot.jimple.toolkits.pointer.nativemethods,
soot.jimple.toolkits.pointer.representations,
soot.jimple.toolkits.pointer.util,
soot.jimple.toolkits.reflection,
soot.jimple.toolkits.scalar,
soot.jimple.toolkits.scalar.pre,
soot.jimple.toolkits.thread,
soot.jimple.toolkits.thread.mhp,
soot.jimple.toolkits.thread.mhp.findobject,
soot.jimple.toolkits.thread.mhp.pegcallgraph,
soot.jimple.toolkits.thread.mhp.stmt,
soot.jimple.toolkits.thread.synchronization,
soot.jimple.toolkits.typing,
soot.jimple.toolkits.typing.fast,
soot.jimple.toolkits.typing.integer,
soot.options,
soot.rtlib.tamiflex,
soot.shimple,
soot.shimple.internal,
soot.shimple.toolkits.graph,
soot.shimple.toolkits.scalar,
soot.sootify,
soot.tagkit,
soot.toolkits.astmetrics,
soot.toolkits.astmetrics.DataHandlingApplication,
soot.toolkits.exceptions,
soot.toolkits.graph,
soot.toolkits.graph.interaction,
soot.toolkits.graph.pdg,
soot.toolkits.scalar,
soot.tools,
soot.util,
soot.util.cfgcmd,
soot.util.dot,
soot.util.queue,
soot.xml,
soot.jimple.toolkits.ide.exampleproblems
de.bodden.ide.template
2 changes: 1 addition & 1 deletion build.properties
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
source.soot-ifds.jar = src-generic/
source.soot-ifds.jar = src/
bin.includes = META-INF/,\
soot-ifds.jar,\
soot-trunk.jar,\
Expand Down

This file was deleted.

This file was deleted.

66 changes: 0 additions & 66 deletions src-soot/soot/jimple/toolkits/ide/JimpleIDESolver.java

This file was deleted.

66 changes: 0 additions & 66 deletions src-soot/soot/jimple/toolkits/ide/JimpleIFDSSolver.java

This file was deleted.

44 changes: 0 additions & 44 deletions src-soot/soot/jimple/toolkits/ide/Main.java

This file was deleted.

Loading

0 comments on commit ae1aae2

Please sign in to comment.