Skip to content

Latest commit

 

History

History
16 lines (10 loc) · 760 Bytes

README.md

File metadata and controls

16 lines (10 loc) · 760 Bytes
Raw

Kaitai Struct description file for IBEX covering files

What is this

This repository contains the file cov.ksy, a Kaitai Struct description file of binary IBEX covering files produced by the solver ibexsolve from the IBEX library.

Kaitai Struct is a binary file parser generation library.

How to use

Please refer to the Kaitai README and the Kaitai website for all informations, but in short:

  • Download kaitai-struct-compiler,
  • Execute kaitai-struct-compiler cov.ksy -t <target-language>,
  • Get the runtime for the target language,
  • Include it in you project and use the Kaitai API.