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