Partial Evaluation

TRIMMER: An Automated System for Configuration-based Software Debloating