Steven (ste-lam)

ste-lam

Geek Repo

Github PK Tool:Github PK Tool

Steven's repositories

phasar

A LLVM-based static analysis framework.

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

soot

Soot - A Java optimization framework

Language:JavaLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

TypeART

LLVM-based type and memory allocation tracking sanitizer

Language:C++License:BSD-3-ClauseStargazers:0Issues:0Issues:0