As software projects grow increasingly more complex, debloating gains traction.

While static analyses yield a coarse over-approximation of reachable code, approaches based on dynamic execution traces risk program correctness.

By allowing the developer to reconsider only a few methods and still achieve a significant reduction in code size, cut-based debloating can minimize the risk.

In this paper, we propose the idea of finding small cuts in the rule graphs produced by static analysis.

After introducing an analysis with suitable semantics, we discuss how to encode its rules into a directed hypergraph.

We then present an algorithm for efficiently finding the most effective single cut in the graph.

The execution time of the proposed operations allows for the deployment in interactive tools.

Finally, we show that our graph model is able to expose methods worthwhile to reconsider.