Skip to content

Commit 20bedad

Browse files
committed
Add a fuzzer to check that IndexedMap is equivalent to BTreeMap
1 parent d45fc44 commit 20bedad

File tree

4 files changed

+141
-0
lines changed

4 files changed

+141
-0
lines changed

fuzz/src/bin/gen_target.sh

+1
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,7 @@ GEN_TEST peer_crypt
1414
GEN_TEST process_network_graph
1515
GEN_TEST router
1616
GEN_TEST zbase32
17+
GEN_TEST indexedmap
1718

1819
GEN_TEST msg_accept_channel msg_targets::
1920
GEN_TEST msg_announcement_signatures msg_targets::

fuzz/src/indexedmap.rs

+138
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,138 @@
1+
// This file is Copyright its original authors, visible in version control
2+
// history.
3+
//
4+
// This file is licensed under the Apache License, Version 2.0 <LICENSE-APACHE
5+
// or http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
6+
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your option.
7+
// You may not use this file except in accordance with one or both of these
8+
// licenses.
9+
10+
use lightning::util::indexed_map::{IndexedMap, self};
11+
use std::collections::{BTreeMap, btree_map};
12+
use hashbrown::HashSet;
13+
14+
use crate::utils::test_logger;
15+
16+
// Note that while we take the trees by &mut here
17+
fn check_eq(btree: &BTreeMap<u8, u8>, indexed: &IndexedMap<u8, u8>) {
18+
assert_eq!(btree.len(), indexed.len());
19+
assert_eq!(btree.is_empty(), indexed.is_empty());
20+
21+
let mut btree_clone = btree.clone();
22+
assert!(btree_clone == *btree);
23+
let mut indexed_clone = indexed.clone();
24+
assert!(indexed_clone == *indexed);
25+
26+
for k in 0..=255 {
27+
assert_eq!(btree.contains_key(&k), indexed.contains_key(&k));
28+
assert_eq!(btree.get(&k), indexed.get(&k));
29+
30+
let btree_entry = btree_clone.entry(k);
31+
let indexed_entry = indexed_clone.entry(k);
32+
match btree_entry {
33+
btree_map::Entry::Occupied(mut bo) => {
34+
if let indexed_map::Entry::Occupied(mut io) = indexed_entry {
35+
assert_eq!(bo.get(), io.get());
36+
assert_eq!(bo.get_mut(), io.get_mut());
37+
} else { panic!(); }
38+
},
39+
btree_map::Entry::Vacant(_) => {
40+
if let indexed_map::Entry::Vacant(_) = indexed_entry {
41+
} else { panic!(); }
42+
}
43+
}
44+
}
45+
46+
const STRIDE: u8 = 16;
47+
for k in 0..=255/STRIDE {
48+
let lower_bound = k * STRIDE;
49+
let upper_bound = lower_bound + (STRIDE - 1);
50+
let mut btree_iter = btree.range(lower_bound..=upper_bound);
51+
let mut indexed_iter = indexed.range(lower_bound..=upper_bound);
52+
loop {
53+
let b_v = btree_iter.next();
54+
let i_v = indexed_iter.next();
55+
assert_eq!(b_v, i_v);
56+
if b_v.is_none() { break; }
57+
}
58+
}
59+
60+
let mut key_set = HashSet::with_capacity(256);
61+
for k in indexed.unordered_keys() {
62+
assert!(key_set.insert(*k));
63+
assert!(btree.contains_key(k));
64+
}
65+
assert_eq!(key_set.len(), btree.len());
66+
67+
key_set.clear();
68+
for (k, v) in indexed.unordered_iter() {
69+
assert!(key_set.insert(*k));
70+
assert_eq!(btree.get(k).unwrap(), v);
71+
}
72+
assert_eq!(key_set.len(), btree.len());
73+
74+
key_set.clear();
75+
for (k, v) in indexed_clone.unordered_iter_mut() {
76+
assert!(key_set.insert(*k));
77+
assert_eq!(btree.get(k).unwrap(), v);
78+
}
79+
assert_eq!(key_set.len(), btree.len());
80+
}
81+
82+
#[inline]
83+
pub fn do_test(data: &[u8]) {
84+
if data.len() % 2 != 0 { return; }
85+
let mut btree = BTreeMap::new();
86+
let mut indexed = IndexedMap::new();
87+
88+
// Read in k-v pairs from the input and insert them into the maps then check that the maps are
89+
// equivalent in every way we can read them.
90+
for tuple in data.windows(2) {
91+
let prev_value_b = btree.insert(tuple[0], tuple[1]);
92+
let prev_value_i = indexed.insert(tuple[0], tuple[1]);
93+
assert_eq!(prev_value_b, prev_value_i);
94+
}
95+
check_eq(&btree, &indexed);
96+
97+
// Now, modify the maps in all the ways we have to do so, checking that the maps remain
98+
// equivalent as we go.
99+
for (k, v) in indexed.unordered_iter_mut() {
100+
*v = *k;
101+
*btree.get_mut(k).unwrap() = *k;
102+
}
103+
check_eq(&btree, &indexed);
104+
105+
for k in 0..=255 {
106+
match btree.entry(k) {
107+
btree_map::Entry::Occupied(mut bo) => {
108+
if let indexed_map::Entry::Occupied(mut io) = indexed.entry(k) {
109+
if k < 64 {
110+
*io.get_mut() ^= 0xff;
111+
*bo.get_mut() ^= 0xff;
112+
} else if k < 128 {
113+
*io.into_mut() ^= 0xff;
114+
*bo.get_mut() ^= 0xff;
115+
} else {
116+
assert_eq!(bo.remove_entry(), io.remove_entry());
117+
}
118+
} else { panic!(); }
119+
},
120+
btree_map::Entry::Vacant(bv) => {
121+
if let indexed_map::Entry::Vacant(iv) = indexed.entry(k) {
122+
bv.insert(k);
123+
iv.insert(k);
124+
} else { panic!(); }
125+
},
126+
}
127+
}
128+
check_eq(&btree, &indexed);
129+
}
130+
131+
pub fn indexedmap_test<Out: test_logger::Output>(data: &[u8], _out: Out) {
132+
do_test(data);
133+
}
134+
135+
#[no_mangle]
136+
pub extern "C" fn indexedmap_run(data: *const u8, datalen: usize) {
137+
do_test(unsafe { std::slice::from_raw_parts(data, datalen) });
138+
}

fuzz/src/lib.rs

+1
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,7 @@ pub mod utils;
1717
pub mod chanmon_deser;
1818
pub mod chanmon_consistency;
1919
pub mod full_stack;
20+
pub mod indexedmap;
2021
pub mod onion_message;
2122
pub mod peer_crypt;
2223
pub mod process_network_graph;

fuzz/targets.h

+1
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@ void peer_crypt_run(const unsigned char* data, size_t data_len);
77
void process_network_graph_run(const unsigned char* data, size_t data_len);
88
void router_run(const unsigned char* data, size_t data_len);
99
void zbase32_run(const unsigned char* data, size_t data_len);
10+
void indexedmap_run(const unsigned char* data, size_t data_len);
1011
void msg_accept_channel_run(const unsigned char* data, size_t data_len);
1112
void msg_announcement_signatures_run(const unsigned char* data, size_t data_len);
1213
void msg_channel_reestablish_run(const unsigned char* data, size_t data_len);

0 commit comments

Comments
 (0)