Module puffin::algebra

The term module defines typedDYTerms of the form fn_add(x: u8, fn_square(y: u16)) → u16.

Each function like fn_add or fn_square has a shape. The variables x and y each have a type. These types allow type checks during the runtime of the fuzzer. These checks restrict howDYTermscan be mutated in the fuzzer module.

Re-exports

• pub use self::term::*;

Modules

• atoms
  This module provides an enum for terms. A term can either be a Variable or a Function. This also implements the serializability of terms.
• bitstrings
• dynamic_function
  This module provides traits for calling rust functions dynamically.
• error
• macros
  This module provides a DLS for writing Terms within Rust. See the tlspuffin crate for usage examples.
• signature
• term
  This module providesDYTermsas well as iterators over them.

Structs

• AnyMatcher

Traits

• Matcher
  Determines whether two instances match. We can also ask it how specific it is.