-
Notifications
You must be signed in to change notification settings - Fork 28
Expand file tree
/
Copy pathdecode_program.rs
More file actions
47 lines (38 loc) · 1.33 KB
/
decode_program.rs
File metadata and controls
47 lines (38 loc) · 1.33 KB
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
// SPDX-License-Identifier: CC0-1.0
#![cfg_attr(fuzzing, no_main)]
#[cfg(any(fuzzing, test))]
fn do_test(data: &[u8]) {
use simplicity::jet::CoreEnv;
use simplicity::{BitIter, BitWriter, RedeemNode};
let prog_iter = BitIter::new(data.iter().cloned());
let wit_iter = BitIter::new(core::iter::repeat(0));
if let Ok(program) = RedeemNode::decode::<_, _, CoreEnv>(prog_iter, wit_iter) {
let mut prog_reser = Vec::<u8>::new();
let mut wit_reser = Vec::<u8>::new();
let prog_sink: &mut dyn std::io::Write = &mut prog_reser;
let wit_sink: &mut dyn std::io::Write = &mut wit_reser;
let mut prog_w = BitWriter::from(prog_sink);
let mut wit_w = BitWriter::from(wit_sink);
program
.encode(&mut prog_w, &mut wit_w)
.expect("encoding to vector");
prog_w.flush_all().expect("flushing");
wit_w.flush_all().expect("flushing");
assert_eq!(prog_reser, &data[0..prog_reser.len()]);
}
}
#[cfg(fuzzing)]
libfuzzer_sys::fuzz_target!(|data| do_test(data));
#[cfg(not(fuzzing))]
fn main() {}
#[cfg(test)]
mod tests {
use base64::Engine;
#[test]
fn duplicate_crash() {
let data = base64::prelude::BASE64_STANDARD
.decode("Cg==")
.expect("base64 should be valid");
super::do_test(&data);
}
}