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