Fix CHABuilder method resolution for static and special methods

Author: jjppp

src/main/java/pascal/taie/analysis/graph/callgraph/CHABuilder.java

@@ -176,9 +176,12 @@ private Set<JMethod> resolveCalleesOf(Invoke callSite) {
                 }
                 yield callees.size() <= calleeLimit ? callees : Set.of();
             }
-            case SPECIAL, STATIC -> Set.of(callSite.getMethodRef().resolve());
+            case SPECIAL, STATIC -> {
+                JMethod callee = callSite.getMethodRef().resolveNullable();
+                yield callee == null ? Set.of() : Set.of(callee);
+            }
             case DYNAMIC -> {
-                logger.debug("CHA cannot resolve invokedynamic {}", callSite);
+                logger.warn("CHA cannot resolve invokedynamic {}", callSite);
                 yield Set.of();
             }
             default -> throw new AnalysisException(