depierre 3 hours ago

One of my personal favorites. I've used it for parsing SAP's RPC network protocol, reverse-engineering Garmin apps [0], and more recently in a CTF challenge that involved an unknown file format, among others. It's surprisingly quick to pick up once you get the hang of the syntax.

The serialization branch for Python [1] (I haven't tried the Java one) has generally done the job for me, though I've had to patch a few edge cases.

One feature I've often wished for is access to physical offsets within the file being parsed (e.g. being able to tell that a field foo that you just parsed starts at offset 0x100 from the beginning of the file). As far as I know, you only get relative offsets to the parent structure.

0: https://github.com/anvilsecure/garmin-ciq-app-research/blob/...

1: https://doc.kaitai.io/serialization.html

mturk 13 hours ago

Kaitai is absolutely one of my favorite projects. I use it for work (parsing scientific formats, prototyping and exploring those formats, etc) as well as for fun (reverse engineering games, formats for DOSbox core dumps, etc).

I gave a guest lecture in a friend's class last week where we used Kaitai to back out the file format used in "Where in Time is Carmen Sandiego" and it was a total blast. (For me. Not sure that the class agreed? Maybe.) The Web IDE made this super easy -- https://ide.kaitai.io/ .

(On my youtube page I've got recordings of streams where I work with Kaitai to do projects like these, but somehow I am not able to work up the courage to link them here.)

  • heromal 8 hours ago

    I'm curious, how do you use it for Game RE?

carom 8 hours ago

My dream for a parsing library / language is that it would be able to read, manipulate, and then re-serialize the data. I'm sure there are a ton of edge cases there, but the round trip would be so useful for fuzzing and program analysis.

  • jaxefayo 5 hours ago

    From what I’ve read, kaitai does that now. For the longest time it could only parse, but I believe now it can generate/serialize.

okanat 13 hours ago

Even if you don't want to use it since it is not as efficient as a hand-written specialized parser, Kaitai Struct gives a perfect way of documenting file formats. I love the idea and every bit of the project!

  • jonstewart 11 hours ago

    I like using it for parsing structs but then intersperse procedural code in it for loops/containers, so not everything gets read into RAM all at once.

whitten 8 hours ago

To quote from the page: id: flags type: u1

This seems to say flags is a sort of unsigned integer.

Is there a way to break the flags into big endiaN bits where the first two bits are either 01 or 10 but not 00 or 11 with 01 meaning DATA and 01 meaning POINTER with the next five bits as a counter of segments and the next bit is 1 if the default is BLACK and 1 if the default is WHITE ?

dgan 12 hours ago

Wow this is good. My only complaint is annoyingly verbose yaml. What if I would like to use Kaitai instead of protobuffs, my .proto file is already a thousand lines, splitting each od these lines into 3-4 yaml indented lines is hurting readability

Everdred2dx 10 hours ago

I had a ton of fun using Kaitai to write an unpacking script for a video game's proprietary pack file format. Super cool project.

I did NOT have fun trying to use Kaitai to pack the files back together. Not sure if this has improved at all but a year or so ago you had to build dependencies yourself and the process was so cumbersome it ended up being easier to just write imperative code to do it myself.

  • kodachi 7 hours ago

    It hasn't improved that much, you need to know the final size and fill all attributes, there are no defaults, at least in Python.

pabs3 7 hours ago

Kaitai is one of many different tools that do this, there is a list of them here:

https://github.com/dloss/binary-parsing

Personally I like GNU Poke.

  • dhx 6 hours ago

    Is anyone aware of a project that provides simplified declaration of constraint checking?

    For example:

      structures:
        struct a { strz b, strz c, int d, str[d] e }
      
      constraints:
        len(b) > len(c)
        d > 6
        d <= 10
        e ~ /^ABC\d+/
Locutus_ 3 hours ago

How is the write support now-adays, is it production quality now?

I used Kaitai in a IoT project for building data ingress parsers and it was great. But not having write support was a bummer.

Rucadi 3 hours ago

The most success I had so far on doing a project where I had to work with binary data parsing is Deku in rust, I would give this a try if I have the opportunity

theLiminator 13 hours ago

Is the main difference from https://github.com/google/wuffs being that Kaitai is declarative?

  • nigeltao 11 hours ago

    See https://github.com/google/wuffs/blob/main/doc/related-work.m...

    > Kaitai Struct is in a similar space, generating safe parsers for multiple target programming languages from one declarative specification. Again, Wuffs differs in that it is a complete (and performant) end to end implementation, not just for the structured parts of a file format. Repeating a point in the previous paragraph, the difficulty in decoding the GIF format isn't in the regularly-expressible part of the format, it's in the LZW compression. Kaitai's GIF parser returns the compressed LZW data as an opaque blob.

    Taking PNG as an example, Kaitai will tell you the image's metadata (including width and height) and that the compressed pixels are in the such-and-such part of the file. But unlike Wuffs, Kaitai doesn't actually decode the compressed pixels.

    ---

    Wuffs' generated C code also doesn't need any capabilities, including the ability to malloc or free. Its example/mzcat program (equivalent to /bin/bzcat or /bin/zcat, for decoding BZIP2 or GZIP) self-imposes a SECCOMP_MODE_STRICT sandbox, which is so restrictive (and secure!) that it prohibits any syscalls other than read, write, _exit and sigreturn.

    (I am the Wuffs author.)

    • corysama 7 hours ago

      Wuffs looks pretty awesome. Thanks for making it.

      Wuffs is intended for files. But, would it be a bad idea to use it to parse network data from untrusted endpoints?

  • Sesse__ 12 hours ago

    They overlap, but none does strictly more than the other.

    Kaitai is for describing, encoding and decoding file formats. Wuffs is for decoding images (which includes decoding certain file formats). Kaitai is multi-language, Wuffs compiles to C only. If you wrote a parser for PNGs, your Kaitai implementation could tell you what the resolution was, where the palette information was (if any), what the comments look like and on what byte the compressed pixel chunk started. Your Wuffs implementation would give you back the decoded pixels (OK, and the resolution).

    Think of Kaitai as an IDL generator for file formats, perhaps. It lets you parse the file into some sort of language-native struct (say, a series of nested objects) but doesn't try to process it beyond the parse.

  • setheron 13 hours ago

    Looking at that repo.. i have no clue how to get started.

    • nigeltao 11 hours ago

      The top-level README has a link called "Getting Started".

zzlk 14 hours ago

I wanted to use this a long time ago but the rust support wasn't there. I can see now that it's on the front page with apparently first class support so looks like I can give it a go again.

kodachi 7 hours ago

The recent release of 0.11 marks the inclusion of the long awaited serialization feature. Python and Java only for now. I've been using it for a while for Python and although it has some rough edges, it works pretty well and I'm super excited for the project.

ginko 12 hours ago

No pure C backend?

  • vendiddy 11 hours ago

    It's not C but we have sponsored a Zig target for Kaitai. If anyone reading this knows Zig well, please comment because would love to get a code review of the generated code!

    • vitalnodo 4 hours ago

      Can you share the link? I wonder also whether it uses comptine features.

      • vendiddy 15 minutes ago

        It is not yet ready but the master branch has an initial draft.

        https://github.com/kaitai-io/kaitai_struct_compiler/commits/...

        It would be premature to review now because there are some missing features and stuff that has to be cleaned up.

        But I am interested in finding someone experienced in Zig to help the maintainer with a sanity check to make best practices are being followed. (Would be willing to pay for their time.)

        If comptime is used, it would be minimal. This is because code-generation is being done anyway so that can be an explicit alternative to comptime. But we have considered using it in a few places to simplify the code-generation.

  • dhsysusbsjsi 11 hours ago

    This would be great for most projects as Swift for example is abandoned & 6+ years since last commit.

lzcdhr 8 hours ago

Does it support incremental parsing? For example, when I am parsing a network protocol, can it still consume some data from the head of the buffer even if the data is incomplete? This would not only avoid multiple attempts to restart parsing from the beginning but also prevent the buffer from growing excessively.

layoric 13 hours ago

I discovered this project recently and used it for Himawari Standard Data format and it made it so much easier. Definitely recommend using this if you need to create binary readers for uncommon formats.