tim-hoffman

BeeDeeDee

A library for multithreaded binary decision diagrams

BoolExpr

BootstrapAppender

circom

zkSnark circuit compiler

CodeSizeAgent

heros

IFDS/IDE Solver for Soot

jasmin

java-callgraph

Programs for producing static and dynamic (runtime) call graphs for Java programs

javabdd

Branch of JavaBDD (http://javabdd.sourceforge.net/) with bugfixes and more. Original License: LGPLv2

JavaLibraryAnalysis

tim-hoffman/BeeDeeDee

A library for multithreaded binary decision diagrams

tim-hoffman/BoolExpr

tim-hoffman/BootstrapAppender

tim-hoffman/circom

zkSnark circuit compiler

tim-hoffman/CodeSizeAgent

tim-hoffman/heros

IFDS/IDE Solver for Soot

tim-hoffman/jasmin

tim-hoffman/java-callgraph

Programs for producing static and dynamic (runtime) call graphs for Java programs

tim-hoffman/javabdd

Branch of JavaBDD (http://javabdd.sourceforge.net/) with bugfixes and more. Original License: LGPLv2

tim-hoffman/JavaLibraryAnalysis

tim-hoffman/javassist

Java bytecode engineering toolkit

tim-hoffman/NoteManagementSystem

Note, task, and file management system with search capabilities.

tim-hoffman/paddle

tim-hoffman/phosphor

Phosphor: Dynamic Taint Tracking for the JVM

tim-hoffman/soot

Soot - A Java optimization framework

tim-hoffman/soot-infoflow

Data flow tracking components for Java

tim-hoffman/soot-infoflow-android

Android-specific components of FlowDroid

tim-hoffman/SuSi

SuSi - our tool to automatically discover sources and sinks in the Android framework

tim-hoffman/tamiflex

TamiFlex facilitates static analysis of programs that use reflection and custom class loaders