This is stars and forks stats for /future-proof-iot/CertFC repository. As of 28 Apr, 2024 this repository has 0 stars and 0 forks.
Overview CertrBPF (or CertFC) is a formally verified rBPF verifier + interpreter obtained by refinement of a Coq specification. (rBPF is a register-based virtual machine of eBPF) CertrBPF includes a verified C verifier and interpreter. The verifier performs static checks to verify that the rBPF instructions are syntactically correct. If the verification succeeds, the program is run by the interpreter. The static verification and the dynamic checks ensure software fault isolation of the running rBPF...
Overview CertrBPF (or CertFC) is a formally verified rBPF verifier + interpreter obtained by refinement of a Coq specification. (rBPF is a register-based virtual machine of eBPF) CertrBPF includes a verified C verifier and interpreter. The verifier performs static checks to verify that the rBPF instructions are syntactically correct. If the verification succeeds, the program is run by the interpreter. The static verification and the dynamic checks ensure software fault isolation of the running rBPF...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
phil294/density-userstyle | CSS | 51 | 0 | 3 | 0 |
creativetimofficial/black-dashboard-react | CSSJavaScriptSCSS | 430 | 0 | 546 | 0 |
1564617abraham/juego-de-las-sumas | CSSHTMLJavaScript | 0 | 0 | 0 | 0 |
creativetimofficial/argon-dashboard-react | CSSJavaScriptSCSS | 418 | 0 | 580 | +5 |
aschuh703/ECE408 | CudaC++Shell | 24 | 0 | 9 | 0 |
abhi16180/photon | DartC++CMake | 394 | 0 | 30 | 0 |
RenaLio/Mux2sub | DIGITAL Command LanguageStandard MLC++ | 195 | 0 | 98 | 0 |
alphapapa/ts.el | Emacs LispShellMakefile | 165 | 0 | 14 | 0 |
opencontainers/runtime-spec | GoMakefile | 2.9k | 0 | 546 | 0 |
Azure/azure-sdk-for-go | GoPowerShellBicep | 1.4k | 0 | 820 | 0 |