slash: A Technique for Static Configuration-Logic Identification

Mohannad Alhanahnah, Philipp Schubert, Thomas Reps +2

Researchers have recently devised tools for debloating software and detecting configuration errors. Several of these tools rely on the observation that programs are composed of an…