Flatbuffers Legacy Verifier

[doitian]

• Table verifier
  • voffset out of bound
  • vtable vlen/tlen out of bound
  • vtable size out of bound
  • table end out of bound
  • table fields out of bound
  • check string/vector/table/union recursively
    • string
    • vector
    • table
    • union
• String verifier
  • len out of bound
  • size out of bound (including trailing null)
  • null
• Vector verifier
  • len out of bound
  • size out of bound
  • check elements recursively
• Union verifier
• Import ckb schema file for test
• Positive Proptest
• Negative Proptest