Add analyses from jacodb

usvm-jvm-dataflow/src/main/kotlin/org/usvm/dataflow/jvm/flow/AbstractFlowAnalysis.kt

@@ -0,0 +1,40 @@
+/*
+ *  Copyright 2022 UnitTestBot contributors (utbot.org)
+ * <p>
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ * <p>
+ *  http://www.apache.org/licenses/LICENSE-2.0
+ * <p>
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+package org.usvm.dataflow.jvm.flow
+
+import org.jacodb.api.jvm.cfg.JcBytecodeGraph
+
+abstract class AbstractFlowAnalysis<NODE, T>(
+    override val graph: JcBytecodeGraph<NODE>,
+) : FlowAnalysis<NODE, T> {
+
+    override fun newEntryFlow(): T = newFlow()
+
+    protected open fun merge(successor: NODE, income1: T, income2: T, outcome: T) {
+        merge(income1, income2, outcome)
+    }
+
+    open fun ins(s: NODE): T? {
+        return ins[s]
+    }
+
+    protected fun mergeInto(successor: NODE, input: T, incoming: T) {
+        val tmp = newFlow()
+        merge(successor, input, incoming, tmp)
+        copy(tmp, input)
+    }
+}

usvm-jvm-dataflow/src/main/kotlin/org/usvm/dataflow/jvm/flow/BackwardFlowAnalysis.kt

@@ -0,0 +1,28 @@
+/*
+ *  Copyright 2022 UnitTestBot contributors (utbot.org)
+ * <p>
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ * <p>
+ *  http://www.apache.org/licenses/LICENSE-2.0
+ * <p>
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+package org.usvm.dataflow.jvm.flow
+
+import org.jacodb.api.jvm.cfg.JcBytecodeGraph
+
+abstract class BackwardFlowAnalysis<NODE, T>(graph: JcBytecodeGraph<NODE>) : FlowAnalysisImpl<NODE, T>(graph) {
+
+    override val isForward: Boolean = false
+
+    override fun run() {
+        runAnalysis(FlowAnalysisDirection.BACKWARD, outs, ins)
+    }
+}

usvm-jvm-dataflow/src/main/kotlin/org/usvm/dataflow/jvm/flow/FlowAnalysis.kt

@@ -0,0 +1,32 @@
+/*
+ *  Copyright 2022 UnitTestBot contributors (utbot.org)
+ * <p>
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ * <p>
+ *  http://www.apache.org/licenses/LICENSE-2.0
+ * <p>
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+package org.usvm.dataflow.jvm.flow
+
+import org.jacodb.api.jvm.cfg.JcBytecodeGraph
+
+interface FlowAnalysis<NODE, T> {
+    val ins: MutableMap<NODE, T>
+    val outs: MutableMap<NODE, T>
+    val graph: JcBytecodeGraph<NODE>
+    val isForward: Boolean
+
+    fun newFlow(): T
+    fun newEntryFlow(): T
+    fun merge(in1: T, in2: T, out: T)
+    fun copy(source: T?, dest: T)
+    fun run()
+}