Proof OID code - Githubissues

mirleft / ocaml-asn1-combinators

Embed typed ASN.1 grammars in OCaml

ISC License

35 stars 20 forks source link

Open pqwy opened 10 years ago

pqwy commented 10 years ago

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.

pqwy commented 10 years ago

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.