Industrial IR-based static analysis framework for Java bytecode - View it on GitHub