Skip to content

Release v0.1.7

Choose a tag to compare

@kernullist kernullist released this 02 Jul 01:54

Highlights

  • Adds a validation-focused WDM IOCTL sample driver with realistic input and output contracts, ground-truth metadata, and local build tooling.
  • Adds scoring tooling that compares recovered case, field, predicate, and size contracts against ground truth. The current sample-driver validation run scored 97.37% overall.
  • Improves selector and IOCTL buffer-contract recovery across helper call chains, including bounded depth control, helper-copy aliases, indirect dispatch candidates, guard-dispatch payload modeling, forwarded buffer/length capture, and helper capture ledgers.
  • Tightens report quality by quarantining non-emitted buffer fields and adding audit gates for remaining recovery blockers.

Package

  • Archive: PseudoForge-0.1.7.zip
  • SHA256: 253DE0C6EF4BA7D7034CCC733EE8DCFA5849E64B14852172058EC1C1968F0919
  • Files: 180
  • Previous release: v0.1.6