Pinned Repositories
homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
objective-z
PoCo-Compiler
Generates AspectJ/Java code from a PoCo policy.
PoCo-Grammar
PoCo Grammar
PoCoScanner
Static analysis tool for mapping match expressions in a PoCo policy to methods in a monitored program.
PoCo
Code and examples for PoCo
chwkrvn's Repositories
chwkrvn/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
chwkrvn/objective-z
chwkrvn/PoCo-Compiler
Generates AspectJ/Java code from a PoCo policy.
chwkrvn/PoCo-Grammar
PoCo Grammar
chwkrvn/PoCoScanner
Static analysis tool for mapping match expressions in a PoCo policy to methods in a monitored program.