inter x intra procedural

Author: rbonifacio

build.sbt

@@ -2,7 +2,7 @@ scalaVersion := "2.12.8"
 
 name := "svfa-scala"
 organization := "br.unb.cic"
-version := "0.0.7-SNAPSHOT"
+version := "0.0.8-SNAPSHOT"
 
 githubOwner := "rbonifacio"
 githubRepository := "svfa-scala"

src/main/scala/br/unb/cic/soot/svfa/jimple/Analysis.scala

@@ -0,0 +1,14 @@
+package br.unb.cic.soot.svfa.jimple
+
+trait Analysis {
+  def interproceduralAnalysis() : Boolean
+  def intraproceduralAnalysis() : Boolean = ! interproceduralAnalysis()
+}
+
+trait InterproceduralAnalysis extends Analysis {
+  override def interproceduralAnalysis(): Boolean = true
+}
+
+trait IntraproceduralAnalysis extends Analysis {
+  override def interproceduralAnalysis(): Boolean = false
+}

src/main/scala/br/unb/cic/soot/svfa/jimple/JSVFA.scala

@@ -21,7 +21,7 @@ import scala.collection.mutable.ListBuffer
   * A Jimple based implementation of
   * SVFA.
   */
-abstract class JSVFA extends SVFA with FieldSensitiveness with SourceSinkDef with LazyLogging {
+abstract class JSVFA extends SVFA with Analysis with FieldSensitiveness with SourceSinkDef with LazyLogging {
 
   var methods = 0
   val traversedMethods = scala.collection.mutable.Set.empty[SootMethod]
@@ -196,6 +196,8 @@ abstract class JSVFA extends SVFA with FieldSensitiveness with SourceSinkDef wit
       return
     }
 
+    if(intraproceduralAnalysis()) return
+
     var pmtCount = 0
     val body = callee.retrieveActiveBody()
     val g = new ExceptionalUnitGraph(body)

src/test/scala/br/unb/cic/soot/JSVFATest.scala

@@ -1,9 +1,9 @@
 package br.unb.cic.soot
 
-import br.unb.cic.soot.svfa.jimple.{FieldSenstive, JSVFA}
+import br.unb.cic.soot.svfa.jimple.{FieldSenstive, InterproceduralAnalysis, JSVFA}
 import soot.{Scene, SootMethod}
 
-abstract class JSVFATest extends JSVFA with FieldSenstive {
+abstract class JSVFATest extends JSVFA with InterproceduralAnalysis with FieldSenstive {
   def getClassName(): String
   def getMainMethod(): String