[LLVMdev] reading untrusted bitcode

Eli Friedman eli.friedman at gmail.com
Sat Jun 6 21:31:31 PDT 2009

On Sat, Jun 6, 2009 at 6:32 PM, Nick Lewycky<nicholas at mxc.ca> wrote:
> Whose responsibility is it supposed to be to check types for legality?
> The BCReader? Or perhaps the verifier?

It's pretty easy to resolve using the rule "assertions should never
trigger": if the bitcode reader triggers an assertion, it's a bug in
the bitcode reader.


More information about the llvm-dev mailing list