Software Development

Vector Forge

Mutation-driven test vector generation. Finds implementations of a cryptographic algorithm or protocol, runs mutation testing to identify escaped mutants, then generates new test vectors that deliberately exercise the uncovered code paths. Compares before/after mutation kill rates to prove vector effectiveness. Use when generating cryptographic test vectors, measuring Wycheproof coverage gaps, finding escaped mutants via mutation testing, creating cross-implementation test suites, or improving test vector coverage for crypto primitives.

Publisher / source
trailofbits/skills (found on skills.sh, an awesome list, the CSV list)
Upstream record
trailofbits/skills
Version
Version 2
Published
Publication review
Approved for publication
Content fingerprint
aca07e846ce5615031e9df0faca3537f4796f72997dcece53c9e389cf9d9d132