遵循以下最佳实践的项目将能够自愿的自我认证,并显示他们已经实现了核心基础设施计划(OpenSSF)徽章。 显示详细资料
[](https://www.bestpractices.dev/projects/5052)
<a href="https://www.bestpractices.dev/projects/5052"><img src="https://www.bestpractices.dev/projects/5052/badge"></a>
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines.
Repository on GitHub, which uses git. git is distributed.
All code is review by at least one other person. This policy is enforced through GitHub's protected branches.
Developed in Python.
Tests can be run directly using pytest (https://docs.pytest.org)
GitHub actions are used on every check-in and pull-request can be merged only after a successful CI run.
警告:需要URL,但找不到URL。
100% statement coverage enforced in the Makefile and the CI using pytest.
Found all required security hardening headers (https://github.com/Componolit/RecordFlux)
Hypothesis (https://hypothesis.works) is used for property-based testing in the CI.
Tests are run with and without optimizations, the production tool is run without optimizations.
后退