Zhenbin Huang

## Description When a subclass combines superclass overrides with **interface default methods**, JavaSlicer fails to build the System Dependence Graph and crashes while computing interprocedural actions. Programs that call `super.greet()`...

Crash on Array Element Field Assignment

2

## Description JavaSlicer crashes with `IllegalStateException` when encountering field assignments on array elements, such as `arr[0].field = value` or `arr[0].field += 5`. ## Steps to Reproduce 1. Create a test...

Tool crashes when processing classes with abstract or native methods

1

## Description JavaSlicer crashes with `IllegalStateException` when attempting to slice code that contains abstract or native method declarations, even when these methods are not part of the slice criterion. ##...

The slicer does not know which Java methods write to arguments (such as System#arrayCopy)

1

**Description** During metamorphic testing of the slicing tool (focused on dependency tracking for multi-dimensional arrays and System.arraycopy), a critical defect was identified: the tool fails to include System.arraycopy calls in...

**Description** The slicing tool crashes with an UnsolvedSymbolException when attempting to slice Java code that uses reflection to access sun.misc.Unsafe—a non-public internal class of the JDK. The exception occurs during...

**1.Description** The slicing tool has two critical issues when targeting callCount (in main): It omits key variable modification logic (constructor assignment of Counter.value and recursive count.value++). It retains an undefined...

**1. Description** JavaSlicer crashes with an IndexOutOfBoundsException when attempting to slice code that includes varargs (variable arguments) method calls. The crash occurs during the slicing process, specifically when the tool...

Incorrect Program Slice Generated for Deeply Nested Object Access

2

**Description** When performing program slicing on a Java class with deeply nested static classes (targeting the result variable that accesses a value through a nested object chain), the automatically generated...

Program Slicing Fails to Identify Unreachable Dead Code with Logical Contradictions

2

## Summary WALA's program slicing tool fails to detect and filter out dead code when the unreachability depends on logical reasoning (e.g., `if (a < 0 && a > 100)`)....