Skip to content

Commit e14fcb5

Browse files
committed
Fuzz test for parsing InvoiceRequest
An invoice request is serialized as a TLV stream and encoded as bytes. Add a fuzz test that parses the TLV stream and deserializes the underlying InvoiceRequest. Then compare the original bytes with those obtained by re-serializing the InvoiceRequest.
1 parent 3319be7 commit e14fcb5

File tree

5 files changed

+217
-0
lines changed

5 files changed

+217
-0
lines changed

fuzz/src/bin/gen_target.sh

+1
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@ GEN_TEST() {
99
GEN_TEST chanmon_deser
1010
GEN_TEST chanmon_consistency
1111
GEN_TEST full_stack
12+
GEN_TEST invoice_request_deser
1213
GEN_TEST offer_deser
1314
GEN_TEST onion_message
1415
GEN_TEST peer_crypt
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,113 @@
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+
// This file is auto-generated by gen_target.sh based on target_template.txt
11+
// To modify it, modify target_template.txt and run gen_target.sh instead.
12+
13+
#![cfg_attr(feature = "libfuzzer_fuzz", no_main)]
14+
15+
#[cfg(not(fuzzing))]
16+
compile_error!("Fuzz targets need cfg=fuzzing");
17+
18+
extern crate lightning_fuzz;
19+
use lightning_fuzz::invoice_request_deser::*;
20+
21+
#[cfg(feature = "afl")]
22+
#[macro_use] extern crate afl;
23+
#[cfg(feature = "afl")]
24+
fn main() {
25+
fuzz!(|data| {
26+
invoice_request_deser_run(data.as_ptr(), data.len());
27+
});
28+
}
29+
30+
#[cfg(feature = "honggfuzz")]
31+
#[macro_use] extern crate honggfuzz;
32+
#[cfg(feature = "honggfuzz")]
33+
fn main() {
34+
loop {
35+
fuzz!(|data| {
36+
invoice_request_deser_run(data.as_ptr(), data.len());
37+
});
38+
}
39+
}
40+
41+
#[cfg(feature = "libfuzzer_fuzz")]
42+
#[macro_use] extern crate libfuzzer_sys;
43+
#[cfg(feature = "libfuzzer_fuzz")]
44+
fuzz_target!(|data: &[u8]| {
45+
invoice_request_deser_run(data.as_ptr(), data.len());
46+
});
47+
48+
#[cfg(feature = "stdin_fuzz")]
49+
fn main() {
50+
use std::io::Read;
51+
52+
let mut data = Vec::with_capacity(8192);
53+
std::io::stdin().read_to_end(&mut data).unwrap();
54+
invoice_request_deser_run(data.as_ptr(), data.len());
55+
}
56+
57+
#[test]
58+
fn run_test_cases() {
59+
use std::fs;
60+
use std::io::Read;
61+
use lightning_fuzz::utils::test_logger::StringBuffer;
62+
63+
use std::sync::{atomic, Arc};
64+
{
65+
let data: Vec<u8> = vec![0];
66+
invoice_request_deser_run(data.as_ptr(), data.len());
67+
}
68+
let mut threads = Vec::new();
69+
let threads_running = Arc::new(atomic::AtomicUsize::new(0));
70+
if let Ok(tests) = fs::read_dir("test_cases/invoice_request_deser") {
71+
for test in tests {
72+
let mut data: Vec<u8> = Vec::new();
73+
let path = test.unwrap().path();
74+
fs::File::open(&path).unwrap().read_to_end(&mut data).unwrap();
75+
threads_running.fetch_add(1, atomic::Ordering::AcqRel);
76+
77+
let thread_count_ref = Arc::clone(&threads_running);
78+
let main_thread_ref = std::thread::current();
79+
threads.push((path.file_name().unwrap().to_str().unwrap().to_string(),
80+
std::thread::spawn(move || {
81+
let string_logger = StringBuffer::new();
82+
83+
let panic_logger = string_logger.clone();
84+
let res = if ::std::panic::catch_unwind(move || {
85+
invoice_request_deser_test(&data, panic_logger);
86+
}).is_err() {
87+
Some(string_logger.into_string())
88+
} else { None };
89+
thread_count_ref.fetch_sub(1, atomic::Ordering::AcqRel);
90+
main_thread_ref.unpark();
91+
res
92+
})
93+
));
94+
while threads_running.load(atomic::Ordering::Acquire) > 32 {
95+
std::thread::park();
96+
}
97+
}
98+
}
99+
let mut failed_outputs = Vec::new();
100+
for (test, thread) in threads.drain(..) {
101+
if let Some(output) = thread.join().unwrap() {
102+
println!("\nOutput of {}:\n{}\n", test, output);
103+
failed_outputs.push(test);
104+
}
105+
}
106+
if !failed_outputs.is_empty() {
107+
println!("Test cases which failed: ");
108+
for case in failed_outputs {
109+
println!("{}", case);
110+
}
111+
panic!();
112+
}
113+
}

fuzz/src/invoice_request_deser.rs

+101
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,101 @@
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 bitcoin::secp256k1::{KeyPair, PublicKey, Secp256k1, SecretKey, self};
11+
use crate::utils::test_logger;
12+
use core::convert::{Infallible, TryFrom};
13+
use lightning::chain::keysinterface::EntropySource;
14+
use lightning::ln::PaymentHash;
15+
use lightning::ln::features::BlindedHopFeatures;
16+
use lightning::offers::invoice::{BlindedPayInfo, UnsignedInvoice};
17+
use lightning::offers::invoice_request::InvoiceRequest;
18+
use lightning::offers::parse::SemanticError;
19+
use lightning::onion_message::BlindedPath;
20+
use lightning::util::ser::Writeable;
21+
22+
#[inline]
23+
pub fn do_test<Out: test_logger::Output>(data: &[u8], _out: Out) {
24+
// Serialization simply copies the de-serialized bytes, so no need to check the full round trip.
25+
if let Ok(invoice_request) = InvoiceRequest::try_from(data.to_vec()) {
26+
let mut bytes = Vec::with_capacity(data.len());
27+
invoice_request.write(&mut bytes).unwrap();
28+
assert_eq!(data, bytes);
29+
30+
let secp_ctx = Secp256k1::new();
31+
let keys = KeyPair::from_secret_key(&secp_ctx, &SecretKey::from_slice(&[42; 32]).unwrap());
32+
let mut buffer = Vec::new();
33+
34+
if let Ok(invoice) = build_response(&invoice_request, &secp_ctx) {
35+
invoice
36+
.sign::<_, Infallible>(
37+
|digest| Ok(secp_ctx.sign_schnorr_no_aux_rand(digest, &keys))
38+
)
39+
.unwrap()
40+
.write(&mut buffer)
41+
.unwrap();
42+
}
43+
}
44+
}
45+
46+
struct Randomness;
47+
48+
impl EntropySource for Randomness {
49+
fn get_secure_random_bytes(&self) -> [u8; 32] { [42; 32] }
50+
}
51+
52+
fn pubkey(byte: u8) -> PublicKey {
53+
let secp_ctx = Secp256k1::new();
54+
PublicKey::from_secret_key(&secp_ctx, &privkey(byte))
55+
}
56+
57+
fn privkey(byte: u8) -> SecretKey {
58+
SecretKey::from_slice(&[byte; 32]).unwrap()
59+
}
60+
61+
fn build_response<'a, T: secp256k1::Signing + secp256k1::Verification>(
62+
invoice_request: &'a InvoiceRequest, secp_ctx: &Secp256k1<T>
63+
) -> Result<UnsignedInvoice<'a>, SemanticError> {
64+
let entropy_source = Randomness {};
65+
let paths = vec![
66+
BlindedPath::new(&[pubkey(43), pubkey(44), pubkey(42)], &entropy_source, secp_ctx).unwrap(),
67+
BlindedPath::new(&[pubkey(45), pubkey(46), pubkey(42)], &entropy_source, secp_ctx).unwrap(),
68+
];
69+
70+
let payinfo = vec![
71+
BlindedPayInfo {
72+
fee_base_msat: 1,
73+
fee_proportional_millionths: 1_000,
74+
cltv_expiry_delta: 42,
75+
htlc_minimum_msat: 100,
76+
htlc_maximum_msat: 1_000_000_000_000,
77+
features: BlindedHopFeatures::empty(),
78+
},
79+
BlindedPayInfo {
80+
fee_base_msat: 1,
81+
fee_proportional_millionths: 1_000,
82+
cltv_expiry_delta: 42,
83+
htlc_minimum_msat: 100,
84+
htlc_maximum_msat: 1_000_000_000_000,
85+
features: BlindedHopFeatures::empty(),
86+
},
87+
];
88+
89+
let payment_paths = paths.into_iter().zip(payinfo.into_iter()).collect();
90+
let payment_hash = PaymentHash([42; 32]);
91+
invoice_request.respond_with(payment_paths, payment_hash)?.build()
92+
}
93+
94+
pub fn invoice_request_deser_test<Out: test_logger::Output>(data: &[u8], out: Out) {
95+
do_test(data, out);
96+
}
97+
98+
#[no_mangle]
99+
pub extern "C" fn invoice_request_deser_run(data: *const u8, datalen: usize) {
100+
do_test(unsafe { std::slice::from_raw_parts(data, datalen) }, test_logger::DevNull {});
101+
}

fuzz/src/lib.rs

+1
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,7 @@ pub mod chanmon_deser;
1818
pub mod chanmon_consistency;
1919
pub mod full_stack;
2020
pub mod indexedmap;
21+
pub mod invoice_request_deser;
2122
pub mod offer_deser;
2223
pub mod onion_message;
2324
pub mod peer_crypt;

fuzz/targets.h

+1
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
void chanmon_deser_run(const unsigned char* data, size_t data_len);
33
void chanmon_consistency_run(const unsigned char* data, size_t data_len);
44
void full_stack_run(const unsigned char* data, size_t data_len);
5+
void invoice_request_deser_run(const unsigned char* data, size_t data_len);
56
void offer_deser_run(const unsigned char* data, size_t data_len);
67
void onion_message_run(const unsigned char* data, size_t data_len);
78
void peer_crypt_run(const unsigned char* data, size_t data_len);

0 commit comments

Comments
 (0)