This is awesome. I've been working on a project to make the PostgreSQL/EdgeDB/Gel protocols declarative in Rust (see https://github.com/geldata/gel-rust/blob/master/gel-pg-proto... for an example) and my approach to fuzzing has been somewhat arbitrary (you can see at the bottom).
I've used AFL but never managed to create a consistent fuzzing process using it.
This _should_ allow me to add some more extensive fuzz tests than I've currently been using, even though the grammar is binary since we're really just "parsing" and "rendering" text that happens to be [u8] rather than str.
I don't think there's been any real discussion of the Postgres message format philosophy, but it's a very regular syntax: messages are composed of primitives and lists. Lists are either length-prefixed or zero-suffixed. Everything else is just a combination of these building blocks.
This is awesome. I've been working on a project to make the PostgreSQL/EdgeDB/Gel protocols declarative in Rust (see https://github.com/geldata/gel-rust/blob/master/gel-pg-proto... for an example) and my approach to fuzzing has been somewhat arbitrary (you can see at the bottom).
I've used AFL but never managed to create a consistent fuzzing process using it.
This _should_ allow me to add some more extensive fuzz tests than I've currently been using, even though the grammar is binary since we're really just "parsing" and "rendering" text that happens to be [u8] rather than str.
I don't think there's been any real discussion of the Postgres message format philosophy, but it's a very regular syntax: messages are composed of primitives and lists. Lists are either length-prefixed or zero-suffixed. Everything else is just a combination of these building blocks.
Glad to hear this! Please create an issue if you run into any issues during the integration.
would it be possible to fuzz an arbitrary JSON schema with this? I’ve been looking for such a lib for a while now
If you can translate the schema into native rust types, then yes!
https://github.com/oxidecomputer/typify may help for starters. Please create an issue if you need further help with integration!
[dead]