Add live variables analysis before type inference (#267)

Co-authored-by: Konstantin Chukharev <[email protected]>

Author: MForest7

Diff for: usvm-ts-dataflow/src/main/kotlin/org/usvm/dataflow/ts/graph/EtsApplicationGraph.kt

@@ -104,6 +104,11 @@ class EtsApplicationGraphImpl(
             .flatMap { it.methods }
             .groupByTo(hashMapOf()) { it.name }
     }
+    private val classMethodsByName by lazy {
+        projectClassesBySignature.mapValues { (_, clazz) ->
+            clazz.single().methods.groupBy { it.name }
+        }
+    }
 
     private val cacheClassWithIdealSignature: MutableMap<EtsClassSignature, Maybe<EtsClass>> = hashMapOf()
     private val cacheMethodWithIdealSignature: MutableMap<EtsMethodSignature, Maybe<EtsMethod>> = hashMapOf()
@@ -227,11 +232,8 @@ class EtsApplicationGraphImpl(
 
         // If the complete signature match failed,
         // try to find the unique not-the-same neighbour method in the same class:
-        val neighbors = cls.methods
-            .asSequence()
-            .filter { it.name == callee.name }
+        val neighbors = classMethodsByName[cls.signature].orEmpty()[callee.name].orEmpty()
             .filterNot { it.name == node.method.name }
-            .toList()
         if (neighbors.isNotEmpty()) {
             val s = neighbors.singleOrNull()
                 ?: error("Multiple methods with the same name: $neighbors")

Diff for: usvm-ts-dataflow/src/main/kotlin/org/usvm/dataflow/ts/infer/AccessPath.kt

@@ -1,6 +1,7 @@
 package org.usvm.dataflow.ts.infer
 
 import org.jacodb.ets.base.EtsArrayAccess
+import org.jacodb.ets.base.EtsAwaitExpr
 import org.jacodb.ets.base.EtsCastExpr
 import org.jacodb.ets.base.EtsConstant
 import org.jacodb.ets.base.EtsEntity
@@ -129,6 +130,8 @@ fun EtsEntity.toPathOrNull(): AccessPath? = when (this) {
 
     is EtsCastExpr -> arg.toPathOrNull()
 
+    is EtsAwaitExpr -> arg.toPathOrNull()
+
     else -> null
 }