Every number on this page is generated, not typed.
Test counts, bug totals, binary sizes, and vox-fuzz's own coverage numbers, produced by scripts that read the compiler repository and vox-fuzz at build time.
Tests you can count
Every test the compiler repository tracks under tests/, counted straight off its file tree.
- Golden-file .vox tests
- 903
- Compile-fail cases
- 578
- Total files under tests/
- 1,821
- Unit tests, compiler src/
- 303
Counted by grep for #[test] in the compiler's own src/, not a cargo test run. A single #[test] function that loops over many fixtures (the compile-fail suite runs as one) is counted once here, so this is a floor on the real number of cases exercised, not the number itself.
Bugs, in the open
Every bug vox-fuzz or a human has found, tracked publicly in docs/BUGS_FOUND.md, parsed for its totals rather than summarised by hand.
- Bugs found
- 91
- Fixed
- 86
- Open
- 0
- Other
- 5
"Other" is a status that is neither "fixed" nor "open" as written: a documentation fix, a duplicate note, or, if this count is not zero, an entry this parser could not read a status from at all.
Versions covered: 0.3.6 to 0.4.10.
Examples verified
Checked against vox 0.4.10 on 2026-08-23: 33 of 33 examples passed.
"Verified" means compiled with the real compiler, at the stated version, on the stated date. It does not mean run.
Memory safety, and how to try to break it
Vox's central claim is that a compiled program is memory-safe without a garbage collector or a runtime.
The compiler's own words, from its README:
README.md, Memory Safety Model
What a security report needs to show, from SECURITY.md:
SECURITY.md, what counts as a vulnerability
vox-fuzz hunts for defects against LANGUAGE.md claims: it generates Vox programs, compiles and runs them, and checks the compiler's behavior against what the specification says. It tracks how much of the specification has been exercised and verified, not only how many crashes it has found. None of this proves Vox correct, only that its claims have been checked this thoroughly so far.
Seed ledger
| Date | vox | vox-fuzz | Seeds | Budget | Programs | Compiled | Findings | Notes |
|---|---|---|---|---|---|---|---|---|
| 2026-08-19 | 0.4.5 | c99e734 | 1–1000 | 12 | 1,000 | 1,000 | 0 | post-modernization baseline |
| 2026-08-19 | 0.4.5 | c99e734 | 7000–7999 | 16 | 1,000 | 1,000 | 0 | independent range, master-run |
| 2026-08-19 | 0.4.5 | f20eb77 | 1–2000 ×4 budgets | 12/40/100/300 | 8,000 | n/a | n/a | guard sweep, generation only, no compile or run |
Generator leaves: 10 (A file count of src/gen_*.vox, not a count of the constructs each one emits.)
"Each finding is a .vox file plus a repro.sh; you reproduce it without trusting the tool."
Binaries, measured
Compiled fresh at build time with the real compiler. No comparison against other languages is offered here without a citation.
| File | Source | Stripped bytes | As built |
|---|---|---|---|
| hello.vox | the compiler repo's examples/hello.vox, vendored at content/examples/hello.vox | 4,552 | 6,688 |
| cat.vox | the compiler repo's examples/cat.vox, vendored at content/examples/cat.vox | 13,528 | 33,088 |
| supervisor.vox | the compiler repo's examples/supervisor.vox, vendored at content/examples/supervisor.vox | 13,064 | 30,584 |
| initramfs.vox | the compiler repo's examples/initramfs.vox, vendored at content/examples/initramfs.vox | 13,872 | 36,936 |
| clock.vox | this site's own content/clock.vox (the home page's hero example), not a file in the compiler repo | 4,696 | 11,128 |
Stripped with GNU strip --strip-all; as built, with symbols, in the second column.
Command: vox <file> -o <out>
Stability
Supported versions, from SECURITY.md:
SECURITY.md, supported versions
Voxlang has no written compatibility policy yet. This page will not invent one.
Reproduce all of this
Every number above, run by hand on one machine with the compiler repository and vox-fuzz checked out and a built vox binary.
git clone https://github.com/Vox-lang/vox && cd vox # 1. Tests you can count git ls-tree -r --name-only main -- tests | grep -c '\.vox$' git ls-tree -r --name-only main -- tests/compile_fail | wc -l git ls-tree -r --name-only main -- tests | wc -l git grep -c '#\[test\]' main -- src # 2. Bugs, in the open git show main:docs/BUGS_FOUND.md # 4. Memory safety git show main:README.md git show main:SECURITY.md git clone https://github.com/Vox-lang/vox-fuzz && cd vox-fuzz # 4. Fuzzing: the seed ledger and generator leaves (or, once vox-fuzz # publishes it, docs/ledger/quality-stats.json directly) git show main:SEEDS.md git ls-tree --name-only main:src | grep -c '^gen_.*\.vox$' # From this site's own repository, with VOX_REPO and VOX_FUZZ_REPO # pointed at the checkouts above: VOX_REPO=/path/to/vox node scripts/docs/parse-quality.mjs VOX_FUZZ_REPO=/path/to/vox-fuzz node scripts/docs/parse-fuzz.mjs ./scripts/measure-sizes.sh ./scripts/verify-examples.sh