Implement field-sensitive context-insensitive graph mining

Author: IlyaMuravjov

build.gradle.kts

@@ -0,0 +1,28 @@
+plugins {
+    java
+    kotlin("jvm") version "1.9.21"
+}
+
+group = "me.pointsto.graph"
+version = "1.0-SNAPSHOT"
+
+val jacoDbVersion: String by rootProject
+
+repositories {
+    mavenCentral()
+}
+
+dependencies {
+    testImplementation("org.jetbrains.kotlin:kotlin-test")
+
+    api(group = "org.jacodb", name = "jacodb-core", version = jacoDbVersion)
+    api(group = "org.jacodb", name = "jacodb-analysis", version = jacoDbVersion)
+    api(group = "org.jacodb", name = "jacodb-approximations", version = jacoDbVersion)
+}
+
+tasks.test {
+    useJUnitPlatform()
+}
+kotlin {
+    jvmToolchain(17)
+}

gradle.properties

@@ -0,0 +1,2 @@
+kotlin.code.style=official
+jacoDbVersion=1.4.3

gradle/wrapper/gradle-wrapper.jar

@@ -0,0 +1,7 @@
+distributionBase=GRADLE_USER_HOME
+distributionPath=wrapper/dists
+distributionUrl=https\://services.gradle.org/distributions/gradle-8.4-bin.zip
+networkTimeout=10000
+validateDistributionUrl=true
+zipStoreBase=GRADLE_USER_HOME
+zipStorePath=wrapper/dists

gradle/wrapper/gradle-wrapper.properties

@@ -0,0 +1,2 @@
+rootProject.name = "PointsToGraphMiner"
+

settings.gradle.kts

@@ -0,0 +1,19 @@
+package me.pointsto.graph
+
+import org.jacodb.api.*
+import org.jacodb.api.ext.*
+
+fun JcType.toRaw(): JcType {
+    return when (this) {
+        is JcArrayType -> this.classpath.arrayTypeOf(elementType.toRaw())
+        is JcRefType -> this.jcClass.toType()
+        else -> this
+    }
+}
+
+fun JcType.allRawSuperHierarchySequence(): Sequence<JcType> = toRaw().run {
+    return when (this) {
+        is JcRefType -> sequenceOf(this) + this.jcClass.allSuperHierarchySequence.distinct().map { it.toType() }
+        else -> sequenceOf(this)
+    }
+}