Contents

RecovSlicing

• • Tool

    • mentioned in: 1 Introduction (page 2, line 192 & line 202)

  • Demonstration

    • mentioned in: 1 Motivating Example (page 3, line 271)

Approach

• • Prompt Template and Example

    • mentioned in: 4.1 Variable Recovery (page 5, line 505 & line 560)

    • mentioned in: 4.2 Definition Inference (page 5, line 569, page 6, line 625 & line 637)

  • Static Analysis Algorithm

    • mentioned in: 4.2 Definition Inference (page 10, line 463)

Dataset

• • Dataset for RQ1 and RQ3

    • mentioned in: 5.1.2 Benchmark (page 7, line 749)

  • Dataset for RQ2

    • mentioned in: 4.2 Definition Inference (page 10, line 463)

  • Dataset for RQ4

    • mentioned in: 4.2 Definition Inference (page 10, line 463)

Experimental Results

• • mentioned in: 5.1.2 Benchmark (page 8, line 886)

  • mentioned in: 5.2.3 Experimental Results (page 9, line 959)

Case Studies

• • mentioned in: 5.1.5 Case Analysis (page 8, line 908)