ocaml-asn1-combinators
ocaml-asn1-combinators copied to clipboard
Proof OID code
There is a bunch of issues stemming from limitations in OID representation. OID code needs to be checked against everything mentioned in this list.
Thanks to @andreas23.
See #2.
The issues are:
- [x] Check OID components for overflow. (https://github.com/mirleft/ocaml-asn1-combinators/commit/ce7b457daa59010567893f3cfc74fc0438fe0b04)
- [ ] The special case of OIDs
2.XXX.with XXX >= 40. - [ ] Unlimited component size.