CamFlow's repositories
camflow-dev
Generates kernel patch for CamFlow Linux Provenance Capture.
camflow-install
Build script for CamFlow Linux Provenance.
libprovenance
CamFlow Linux Provenance userspace library.
cytoscape.js-prov
Cytoscape library for provenance graph generated by CamFlow
libcamquery
Run-time query over provenance data
camflow-cli
Command Line Tool for CamFlow Linux Provenance capture
documentation
CamFlow documentation
camflow-patches
Kernel patches for CamFlow Linux Provenance.
callgraphs
Fork of https://scm.gforge.inria.fr/anonscm/git/kayrebt/Callgraphs.git
CamFlow.github.io
CamFlow home page.
information-flow-patch
Create a patch that implements the changes (and more) to the LSM framework suggested in the paper: Verifying the reliability of operating system-level information flow control systems in linux, Georget et al., ACM/IEEE Workshop on Formal Methods in Software Engineering (FormliSE'17) 2017.
PathExaminer2
Fork of https://scm.gforge.inria.fr/anonscm/git/kayrebt/PathExaminer2.git/