kitty-apple

When soot.jimple.StaticFieldRef.getField() is null, trying to getType by soot.jimple.StaticFieldRef.getField().getType(). apk file: [WildBlackJack_v1.3_13_1234567892.zip](https://github.com/soot-oss/soot/files/13037254/WildBlackJack_v1.3_13_1234567892.zip) gradle: ``` implementation 'org.soot-oss:soot:4.4.1' implementation 'de.upb.cs.swt:heros:1.1.0' implementation 'org.slf4j:slf4j-simple:2.0.7' implementation 'org.slf4j:slf4j-api:2.0.7' ``` java code: ``` G.reset(); Options.v().set_prepend_classpath(true); Options.v().set_allow_phantom_refs(true); Options.v().set_output_format(Options.output_format_jimple);...

## Describe the bug I used Soot RTA to construct a call graph and find a false positive. In the following program, Soot reports two edges in the call graph:...

CHA missed an invocation about interface

1

Hi, I found a code example which may help improve Wala. See the minimized code example below: ```java package edu.kitty; public class Main { public static void main(String[] args) {...

A bug about the class hierarchy

1

I use Wala to construct a call graph via CHA algorithm, but the call graph is empty (without nodes and edges). After an investgation, I find it may be caused...

Unexpected Clinit calls in the call graph

3

Hi, I used SootUp to analyze some projects and found false positives which affect my analysis results. After, investigation, I found the following minimized code example: ```java package org.example; public...