Skip to content

v0.5.0 - SIGKILL Crash Injection, Shadow Model-Checking & Regression Corpus

Choose a tag to compare

View all tags
@github-actions github-actions released this 19 Sep 00:29
· 31 commits to main since this release
v0.5.0
372f5ba

What's Changed in v0.5.0

Real SIGKILL Crash Injection

  • Added real OS-level crash injection testing (test_sigkill_crash_injection.rs) validating that state recovery succeeds even when processes are killed mid-syscall.

Shadow Model-Checking

  • Developed a formal shadow reference model (tests/common/shadow_model.rs) running in parallel with the stateful harness to continuously verify implementation behavior against mathematical expectations.

Continuous Fuzzing & Regression Corpus

  • Added cargo-fuzz targets for age ciphertext parsing, .gitattributes evaluation, merge parser, and WAL journal decoding, backed by a persistent regression test corpus.

TOCTOU Elimination & Proc Memory Protection

  • Eliminated Time-of-Check to Time-of-Use race conditions across file operations and hardened child process memory snooping defenses.

Formal Guarantees Specification

  • Published formal guarantees specification in docs/spec-guarantees.md.

Full Changelog: v0.4.0...v0.5.0

Assets 10
Loading