tightbeam-rs 0.9.0

A secure, high-performance messaging protocol library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77

//! Complex multi-stage workflow fuzz target for AFL

#![allow(unexpected_cfgs)]
#![cfg(all(feature = "std", feature = "testing-fuzz"))]

use tightbeam::{exactly, tb_assert_spec, tb_process_spec, tb_scenario};

tb_assert_spec! {
	pub WorkflowFuzzSpec,
	V(1,0,0): {
		mode: Accept,
		gate: Accepted,
		assertions: [
			("init", exactly!(1)),
			("authenticate", exactly!(1)),
			("complete", exactly!(1))
		]
	},
}

tb_process_spec! {
	pub WorkflowFuzzProc,
	events {
		observable {
			"init",
			"authenticate",
			"read",
			"write",
			"delete",
			"commit",
			"rollback",
			"complete"
		}
		hidden { }
	}
	states {
		S0 => { "init" => S1 },
		S1 => { "authenticate" => S2 },
		S2 => {
			"read" => S3,
			"write" => S3,
			"delete" => S3
		},
		S3 => {
			"read" => S3,
			"write" => S3,
			"delete" => S3,
			"commit" => S4,
			"rollback" => S5
		},
		S4 => { "complete" => S6 },
		S5 => { "complete" => S6 }
	}
	terminal { S6 }
}

tb_scenario! {
	fuzz: afl,
	csp: WorkflowFuzzProc,
	config: ScenarioConf::<()>::builder()
		.with_spec(WorkflowFuzzSpec::latest())
		.with_csp(WorkflowFuzzProc)
		.build(),
	environment Bare {
		exec: |trace| {
			// Oracle-guided fuzzing through complex 6-state workflow
			// IJON state tracking is automatic
			trace.oracle().fuzz_from_bytes()?;

			// Make assertions based on execution trace
			for event in trace.oracle().trace() {
				trace.event(event.0)?;
			}
			Ok(())
		}
	}
}