Skip to content

driver: document unsafe code in WDF function binding macro #46

Description

@phaedrus1992

The call_unsafe_wdf_function_binding! macro hides unsafe blocks from call sites, bypassing the workspace unsafe_code deny lint and preventing // SAFETY comments at invocation sites.

Currently ~20 call sites in ioctl.rs and lib.rs have no documented safety invariants.

Solution options:

  1. Require callers to write their own unsafe { } block with SAFETY comment
  2. Document macro-level preconditions that every caller is asserting

This is a refactoring task affecting multiple files in sideblinder-driver.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions