Tools - ligurio/openbsd-tests GitHub Wiki

This page describes different techniques and tools aimed to improved OpenBSD quality. There is a list of tools made by 3rd parties and used in OpenBSD testing:

• https://github.com/moritzbuhl/syscall-regress
• https://github.com/moritzbuhl/msun-regress

Third-party tests in the OpenBSD ports

• devel/csmith
• devel/afl, see cvs@
• graphics/piglit
• misc/vttest
• misc/zzuf
• net/queryperf
• net/netrate
• net/iperf
• security/isic
• sysutils/memtester
• sysutils/memtest86+
• sysutils/stress
• sysutils/torture
• sysutils/fsstress
• sysutils/iogen
• xenocara/app/x11perf
• xenocara/app/glxgears
• x11/rendercheck
• www/slowhttptest

Formal verification tools in the OpenBSD ports

• lang/spin
• math/coq
• devel/cbmc
• devel/frama-c