It's exactly what the JVM does, it's called Class Hierarchy Analysis (CHA). The VM checks if a method is actually overridden or not. When a new class is loaded

It's exactly what the JVM does, it's called Class Hierarchy Analysis (CHA). The VM checks if a method is actually overridden or not. When a new class is loaded, the analysis checks which codes are no longer valid and mark them for deoptimization.