- Generate random ASN.1 types and values (using the AST and QuickCheck).
- Generate 'C' headers for the ASN.1 types using asn1c.
- Generate a 'C' program to decode the ASN.1 values.
- Compile the 'C' program (this is harder is Windows but lcc seems to do the trick after creating a cut down makefile - I think we will have to generate code to compile each 'C' program that asn1c generates - on Linux, all you have to do is gcc -I. -o test *.c or very nearly).
- Run the 'C' program (using Haskell) to encode the ASN.1 values into PER.
- Decode the values from PER using Haskell into values which match the ASN.1 types.
It's not finished yet but I'm nearly there.
No comments:
Post a Comment