<div dir="ltr">On Mon, Sep 30, 2013 at 2:27 PM, James A. Donald <span dir="ltr"><<a href="mailto:jamesd@echeque.com" target="_blank">jamesd@echeque.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div class="im"><span style="color:rgb(34,34,34)">Granted that ASN.1 is incomprehensible and horrid, but, since there is an ASN.1 compiler that generates C code we should not need to comprehend it.</span></div>

</blockquote><div><br></div><div>What about tools that want to comprehend it using something other than C code?</div><div><br></div><div>The theoretical argument against something like this is the resulting C code is a "weird machine", i.e. ASN.1 cannot be understood by a pushdown automaton or described by a context-free grammar.</div>

<div><br></div><div>See: <a href="http://www.cs.dartmouth.edu/~sergey/langsec/papers/langsec-tr.pdf">http://www.cs.dartmouth.edu/~sergey/langsec/papers/langsec-tr.pdf</a> <br></div></div><div><br></div>-- <br>Tony Arcieri<br>


</div></div>