autarkie

autarkie copied to clipboard

following cargo-fuzz tutorial seems to produce recursive build command

3

I have an existing arbitrary, cargo-fuzz harness (not public unfortuantely) that I tried to port to autarkie following the sbpf tutorial. ``` // Cargo.toml libfuzzer-sys = { version = "=0.9.4",...

0xalpharush

closes https://github.com/R9295/autarkie/issues/12

0xalpharush

``` use serde::{Deserialize, Serialize}; #[derive(Debug, Clone, Serialize, Deserialize, autarkie::Grammar)] pub enum XYZ { A { val: u64, }, } ``` ``` error[E0308]: mismatched types --> fuzz_input/src/lib.rs:3:48 | 3 | #[derive(Debug,...

0xalpharush

Fix bugs

4

Changes: - make stages public so they can be used independently of the main fuzzer - return Some(None) instead of just None when generating an Option since returning None by...

loknop

Introduce Constraints (Graph-Rewriting/Graph-Grammars)

1

Autarkie should do be able to implement constraints similar to [Fandango](https://github.com/fandango-fuzzer/fandango). A user can define a constraint for a ``FuzzData`` type, for example: The ``Add`` expression must guarantee that if...

R9295