ddiepo-pjr

PJR CorpChicago

Pinned Repositories

phasar
A LLVM-based static analysis framework.
Language:C++00
tamiflex
TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
Language:Java00
phasar
A LLVM-based static analysis framework.
Language:C++930 30 184140
tamiflex
TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
Language:Java42 12 1013
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.
Language:Python62 6 615
SVF
Static Value-Flow Analysis Framework for Source Code
Language:C++1.4k 57 580435

ddiepo-pjr's Repositories

ddiepo-pjr/phasar
A LLVM-based static analysis framework.
Language:C++00
ddiepo-pjr/tamiflex
TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
Language:Java00