Remove coffi

soot-oss · Nov 29, 2023 · fbce476 · fbce476
1 parent a5b9e95
commit fbce476
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 6 deletions.
diff --git a/src/main/java/soot/G.java b/src/main/java/soot/G.java
@@ -90,7 +90,6 @@ public static void setGlobalObjectGetter(GlobalObjectGetter newGetter) {
   public class Global {
   }
 
-  public long coffi_BasicBlock_ids = 0;
   public int SETNodeLabel_uniqueId = 0;
   public HashMap<SETNode, SETBasicBlock> SETBasicBlock_binding = new HashMap<SETNode, SETBasicBlock>();
   public boolean ASTAnalysis_modified;

diff --git a/src/main/java/soot/PackManager.java b/src/main/java/soot/PackManager.java
@@ -1209,8 +1209,7 @@ private void releaseBodies(SootClass cl) {
   }
 
   private void retrieveAllBodies() {
-    // The old coffi front-end is not thread-safe
-    int threadNum = Options.v().coffi() ? 1 : Runtime.getRuntime().availableProcessors();
+    int threadNum = Runtime.getRuntime().availableProcessors();
     CountingThreadPoolExecutor executor
         = new CountingThreadPoolExecutor(threadNum, threadNum, 30, TimeUnit.SECONDS, new LinkedBlockingQueue<Runnable>());
 

diff --git a/src/main/java/soot/Timers.java b/src/main/java/soot/Timers.java
@@ -167,8 +167,6 @@ public void printProfilingInformation() {
     // logger.debug(" analysis: " + toTimeString(liveAnalysisTimer, totalTime));
     // logger.debug(" post: " + toTimeString(livePostTimer, totalTime));
 
-    logger.debug("Coading coffi structs: " + toTimeString(resolveTimer, totalTime));
-
     // Print out time stats.
     {
       float timeInSecs;

diff --git a/src/main/java/soot/UnknownMethodSource.java b/src/main/java/soot/UnknownMethodSource.java
@@ -26,7 +26,6 @@
  * A MethodSource for methods that don't know where to get Body's from.
  * 
  * @see soot.jimple.JimpleMethodSource
- * @see soot.coffi.CoffiMethodSource
  */
 public class UnknownMethodSource implements MethodSource {
   UnknownMethodSource() {