Add USVM jars to resources/lib (#2719)

Author: IlyaMuravjov

utbot-usvm/build.gradle.kts

@@ -34,4 +34,41 @@ dependencies {
     usvmInstrumentationCollector("$usvmRepo:usvm-jvm-instrumentation-collectors:$usvmVersion")
     usvmInstrumentationRunner("$usvmRepo:usvm-jvm-instrumentation:$usvmVersion")
     usvmInstrumentationRunner("$usvmRepo:usvm-jvm-instrumentation-collectors:$usvmVersion")
-}
+}
+
+// TODO replace with runner from usvm (unavailable due to huge jar size)
+val usvmInstrumentationRunnerJarTask by tasks.register<Jar>("usvmInstrumentationRunnerJar") {
+    archiveBaseName.set("usvm-jvm-instrumentation-runner")
+    archiveVersion.set("")
+    duplicatesStrategy = DuplicatesStrategy.EXCLUDE
+
+    manifest {
+        attributes(
+            "Main-Class" to "org.usvm.instrumentation.rd.InstrumentedProcessKt",
+            "Premain-Class" to "org.usvm.instrumentation.agent.Agent",
+            "Can-Retransform-Classes" to "true",
+            "Can-Redefine-Classes" to "true"
+        )
+    }
+
+    from(configurations.named("usvmInstrumentationRunner").get().map {
+        if (it.isDirectory) it else zipTree(it)
+    })
+}
+
+tasks.processResources {
+    listOf(
+        approximations,
+        usvmApproximationsApi,
+        usvmInstrumentationCollector,
+        usvmInstrumentationRunnerJarTask,
+    ).forEach { source ->
+        from(source) {
+            into("lib")
+            rename {
+                it.replace("-$usvmVersion", "")
+                    .replace("-$approximationsVersion", "")
+            }
+        }
+    }
+}

utbot-usvm/src/main/kotlin/org/utbot/usvm/jc/JcJars.kt

@@ -0,0 +1,17 @@
+package org.utbot.usvm.jc
+
+import org.utbot.common.JarUtils
+
+object JcJars {
+    val approximationsJar by lazy { extractUsvmJar("approximations.jar") }
+    val approximationsApiJar by lazy { extractUsvmJar("usvm-jvm-api.jar") }
+    val collectorsJar by lazy { extractUsvmJar("usvm-jvm-instrumentation-collectors.jar") }
+    val runnerJar by lazy { extractUsvmJar("usvm-jvm-instrumentation-runner.jar") }
+
+    private fun extractUsvmJar(jarFileName: String) = JarUtils.extractJarFileFromResources(
+        jarFileName = jarFileName,
+        jarResourcePath = "lib/$jarFileName",
+        targetDirectoryName = "usvm"
+    )
+}
+