cbmc compiles its own rt.jar and replaces it on the boot classpath. It does not work with Java > 8 (boot class path can only be appended, java.base classes are replaced via --patch-modules, cbmc does not provide compatibility APIs for the relevant Java versions. The solution to implement Java > 8 support will require usage of the bytecode manipulation library such as byte-buddy to instrument runtime code.
