Static-Debloating-Analysis DOCUMENT.md contains: a discussion of three academic papers that propose static analysis techniques to debloat / slim programs. an experimental protocol to validate a tool that would perform static slimming in JS. Here are the links of each paper: Debloating Software through Piece-Wise Compilation and Loading Bloat Factors and Binary Specialization Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations