Pinned Repositories
logging-log4cxx
Apache Log4cxx is a C++ port of Apache Log4j
bao-hypervisor
Bao, a Lightweight Static Partitioning Hypervisor
spdlog
Fast C++ logging library.
log4cplus
log4cplus is a simple to use C++ logging API providing thread-safe, flexible, and arbitrarily granular control over log management and configuration. It is modelled after the Java log4j API.
semgrep-rules
Semgrep rules registry
RTIS-Bao-Hypervisor-RXM
semgrep-rules
Semgrep rules registry
simonevallifuoco's Repositories
simonevallifuoco/RTIS-Bao-Hypervisor-RXM
simonevallifuoco/semgrep-rules
Semgrep rules registry