x509-limbo
A suite of testvectors for X.509 certificate path validation and tools for building them (by C2SP)
pkilint
A framework for verifying PKI structures (by digicert)
x509-limbo | pkilint | |
---|---|---|
2 | 2 | |
33 | 61 | |
- | - | |
9.4 | 6.9 | |
8 days ago | 8 days ago | |
C++ | Python | |
Apache License 2.0 | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
x509-limbo
Posts with mentions or reviews of x509-limbo.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-01-31.
-
Differ: Tool for testing and validating transformed programs
Differential fuzzing is woefully underutilized -- our experience is that it consistently[1] finds[2] bugs that "traditional" fuzzing techniques struggle to discover, and that the primary obstacles to its adoption are harness and orchestration complexity. DIFFER goes a long way towards overcoming those obstacles!
(FD: My company.)
[1]: https://github.com/trailofbits/mishegos
[2]: https://x509-limbo.com/
-
We build X.509 chains so you don't have to
Thank you! I'll add that to https://github.com/C2SP/x509-limbo/issues/174.
pkilint
Posts with mentions or reviews of pkilint.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-01-25.
-
We build X.509 chains so you don't have to
You may also want to look at https://github.com/digicert/pkilint
- pkilint: A framework for verifying PKI structures
What are some alternatives?
When comparing x509-limbo and pkilint you can also consider the following projects:
frankencert - Frankencert - Adversarial Testing of Certificate Validation in SSL/TLS Implementations
osv - Open source vulnerability DB and triage service. [Moved to: https://github.com/google/osv.dev]