GitHub repository: Delors/BAT
Primary language: Scala
Description: A Java Bytecode library written in Scala that provides an object-oriented representation that facilitates static analyses by means of pattern matching.