Pinned Repositories
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's Repositories
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/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
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/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
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