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
The original patches can be found on the authors website. Further changes have been made to those patches.
To generate the patch:
git clone https://github.com/camflow/information-flow-patch
cd ./information-flow-patch
make prepare
make patch
The generated patch can be found in /output.
| Branch | Status |
|---|---|
| master |  |
| dev |  |
Automated Travis test run the following operation:
- Generate the patch.
- Verify that the kernel build.