llmhyy / microbat

A feedback-based debugger for interactively recommending suspicious step in buggy program execution.
54 stars 15 forks source link

Dependency Recovery #263

Open HongshuW opened 10 months ago

HongshuW commented 10 months ago

Implementation Problems:

  1. Data Dependency (Constructor not instrumented). Example: Codec 16.
  2. Control Dependency (Try-Catch-Finally). Example: JacksonDatabind 4.

Research Problem: Some libraries in Java are utilised as blackboxes. e.g.: Java Built-in classes, C++ libraries, native library etc. Recover dependencies without knowing the details of blackboxes. Example: Codec 16. Array.length not captured as read variable.