package
sideEffectAnalysis
Type Members
-
case class
CallInfo(callees: Set[JawaMethod], paramMap: Map[Int, Int]) extends Product with Serializable
-
-
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
-
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
Value Members
-