ktest-parser

ktest-parser is a utility to parse .ktest binaries which is the output of KLEE, into a Rust friendly struct instead.

KTest File Format Description

The KTest binary is structured as follows,

1. A header
2. KLEE arguments
3. Symbolic arguments
4. KTest objects.

The following sections describes the detailed structure. Each new section starts at byte 0 here, but they follow each other. E.g. the Arguments section start at byte 8 where the Header section left off. But it is easier to describe the structure this way.

Header

The header describes the magic number which is either "KTEST" or "BOUT/n". Then followed by a version of the file format.

Arguments

The arguments section describes the number of arguments and then a repeated section of arguments where each argument is first described by a size and then its content of size length.

Information

Argument

This is repeated for (NUMARGS) times.

Symbolic arguments

Describes symbolic arguments.

Objects

Like the arguments section, the first item is the number of objects. Then followed by a repeated section of objects where each object is described by a size and then its content of size length.

Information

Object

This is repeated for (NUMOBJECTS) times.

License

Licensed under BSD-3. See LICENSE.

Contributing

Issues and pull requests are welcomed! See CONTRIBUTING.md.