GitHub repository: DenWav/Hypo
Primary language: Java
Description: An extensible and pluggable Java bytecode analytical model