-
soot Public
Forked from soot-oss/sootSoot - A Java optimization framework
Java GNU Lesser General Public License v2.1 UpdatedJul 6, 2020 -
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…
C++ UpdatedJun 28, 2020 -
SPDS Public
Forked from CROSSINGTUD/SPDSEfficient and Precise Pointer-Tracking Data-Flow Framework
Java Eclipse Public License 2.0 UpdatedJun 23, 2020 -
boomerang Public
Forked from chubbymaggie/boomerangBoomerang is a on-demand context and flow-sensitive pointer analysis for Java.
Java GNU Lesser General Public License v2.1 UpdatedNov 29, 2019 -