Pinned Loading

1. SimplePDS SimplePDS Public

   A lightweight Java implementation of pushdown systems

   Java

2. themaplelab/averroes themaplelab/averroes Public

   Java bytecode generator for sound and precise partial program analysis

   Java 24 7

3. DroidSLAM DroidSLAM Public

   A Study of Learning-based techniques for Android Malware classification. Let's dunk on malware. Work in progress...

   Shell 1

4. amzn/merlin-on-demand-callgraph amzn/merlin-on-demand-callgraph Public archive

   Experimental prototype for precise and scalable call graph construction for JavaScript using Synchronized Push-Down Systems

   JavaScript 3 4