Pinned Loading

1. knight knight Public

   kight is a static analysis tool for c/c++ programs.

   C++ 304 52

2. EndTower EndTower Public

   2d game, a birthday present for my girl friend, the game prototype is Magic Tower

   TypeScript 43 8

3. sootup-tutorial sootup-tutorial Public

   tutorial for soot-up, including some basic examples

   Java 6 1

4. llvm/llvm-project llvm/llvm-project Public

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

   LLVM 29.9k 12.3k

5. facebook/infer facebook/infer Public

   A static analyzer for Java, C, C++, and Objective-C

   OCaml 15k 2k

6. soot-oss/SootUp soot-oss/SootUp Public

   A new version of Soot with a completely overhauled architecture

   Java 608 82