sideEffectAnalysis

Type Members

1. case class CallInfo(callees: Set[JawaMethod], paramMap: Map[Int, Int]) extends Product with Serializable

   

2. trait InterproceduralSideEffectAnalysisResult extends AnyRef

   

3. case class InterproceduralSideEffectResult(procSig: Signature, readMap: Map[Int, Set[String]], writeMap: Map[Int, Set[String]], globalRead: Set[String], globalWrite: Set[String]) extends Product with Serializable

   

4. case class IntraproceduralSideEffectResult(procedure: JawaMethod, readMap: Map[Int, Set[String]], writeMap: Map[Int, Set[String]], globalRead: Set[String], globalWrite: Set[String], callInfos: Set[CallInfo]) extends Product with Serializable