Path-Sensitive Backward Slicing
Abstract elided by the publisher.
Related papers
- Static Backward Slicing of Non-deterministic Programs and Systems TOPLAS 2018
- Interprocedural slicing of multithreaded programs with applications to Java TOPLAS 2006
- A Backward Slicing Algorithm for Prolog SAS 1996
- Editor's Foreword to "Static Backward Slicing of Non-Deterministic Programs and Systems" TOPLAS 2018
- Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis PLDI 2024
- Slicing of Probabilistic Programs Based on Specifications (Extended Abstract) ECOOP 2022
- BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results VMCAI 2020
- A Learning-Based Approach to Static Program Slicing OOPSLA 2024