Pinned Loading

1. cs-au-dk/jelly cs-au-dk/jelly Public

   JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

   TypeScript 425 37

2. cs-au-dk/TIP cs-au-dk/TIP Public

   Static program analysis for TIP

   Scala 313 144

3. cs-au-dk/dk.brics.automaton cs-au-dk/dk.brics.automaton Public

   dk.brics.automaton - finite-state automata and regular expressions for Java

   Java 238 93

4. cs-au-dk/MONA cs-au-dk/MONA Public

   MONA - a decision procedure for monadic second-order logic on finite strings and trees

   C 57 15