Java: Add up/downgrade scripts

github · Oct 10, 2024 · d4d0b2d · d4d0b2d
1 parent 7098b55
commit d4d0b2d
Show file tree

Hide file tree

Showing 7 changed files with 4,932 additions and 0 deletions.
diff --git a/java/downgrades/1fd1afa7862b82955785edd29820054ab6c9ec81/erasure.ql b/java/downgrades/1fd1afa7862b82955785edd29820054ab6c9ec81/erasure.ql
@@ -0,0 +1,9 @@
+class ClassOrInterface extends @classorinterface {
+  string toString() { none() }
+}
+
+from ClassOrInterface x, ClassOrInterface y
+where
+  classes_or_interfaces(x, _, _, y) and
+  x != y
+select x, y