Zhenbin Huang

icon company Nanjing University icon location Suzhou icon location My name is Zhenbin Huang. Being admitted as a master's degree in software engineering at Nanging Universally.

Results 4 comments of Zhenbin Huang

Slicing doesn't seem to handle aliases correctly

I've encountered a very similar problem in my usage of the slicer. Thank you @cargaji for confirming this issue and explaining the root cause. I really appreciate you keeping this...

Crash on Array Element Field Assignment

@cargaji Thanks so much for taking the time to reply and clarify the project’s current status—it totally makes sense, and I really appreciate you being transparent about the maintenance resources...

Incorrect Program Slice Generated for Deeply Nested Object Access

Thanks a lot for your reply and help. @cargaji

Program Slicing Fails to Identify Unreachable Dead Code with Logical Contradictions

hi @msridhar Thanks for your reply and suggestions! As a beginner in program slicing, I agree with your thoughts on dead code detection. Currently, I mainly hope to explore more...