We proposese a practical debloating framework, RAZOR, that performs code reduction for deployed binaries. Based on users’ specification, Razor customizes the binary to generate a functional program with the minimal code size. Instead of only supporting given test cases, RAZOR takes sev- eral control-flow heuristics to infer complementary code that are necessary to support user-expected functionalities.
Please follow the instructions here (https://github.com/cxreet/razor/wiki) to play around with Razor.