Pinned

1. wala/WALA Public

   T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

   Java 450 184

2. joana-team/joana Public

   Joana - Information Flow Control for Java

   Java 81 31

3. libfirm/jFirm Public

   Java Bindings for libFirm intended for compiler construction courses (focus is on ease of use)

   Java 11 4

4. smali-analysis Public

   An extended version (for program analysis) of the smali assembler/disassembler for Android's dex format. See Wiki for example code.

   Java 8 4

5. bytecode_counter Public

   An jvm agent library that counts the number of executed java bytecode instructions during a program run.

   C 5

6. go-sshtunnel Public

   Forked from dueckminor/go-sshtunnel

   Go