[sugarpile]

> Also can't find code which is masked behind interfaces

Is this not the Greeter interface example from the OP? The example finds an unused variant of an interface and all code only invoked by said unused implementations and marks all of it as deadcode.