1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

mod claim;
mod libssh;
mod protocol;
mod put_registry;
mod query;
mod ssh;
mod violation;

use std::process::ExitCode;

use crate::put_registry::ssh_registry;

pub fn main() -> ExitCode {
    puffin::cli::main(
        "Fuzzes the SSH protocol at the symbolic level",
        ssh_registry(),
    )
}