GitHub repository: vespertine22/averroes
Primary language: Java
Description: Java bytecode generator for sound and precise partial program analysis