Pinned Repositories
phasar
A LLVM-based static analysis framework.
tamiflex
TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
phasar
A LLVM-based static analysis framework.
tamiflex
TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
confine
This tool set can generate SECCOMP profiles for Docker images. It mainly relies on static analysis, making its results more reliable than currently available tools.
SVF
Static Value-Flow Analysis Framework for Source Code
ddiepo-pjr's Repositories
ddiepo-pjr/phasar
A LLVM-based static analysis framework.
ddiepo-pjr/tamiflex
TamiFlex facilitates static analysis of programs that use reflection and custom class loaders