JavaSlicer

JavaSlicer copied to clipboard

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. ##...

bystc

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...

bystc

**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...

bystc

**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...

bystc

**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...

bystc

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...

bystc