feat: consolidated PVS-Studio static analysis fixes & documentation update - #89

Open

bivex wants to merge 13 commits into

nimble-code:masterfrom

Commits on Aug 9, 2026

docs: update README.md with comprehensive overview, setup, and usage guides
bivex
committed
de083bc
fix(pvs): resolve all High Level (Level 1) static analyzer warnings
bivex
committed
fd3f8d0
fix(pvs): resolve Medium Level (Level 2) static analyzer warnings
bivex
committed
2deac9c
fix(pvs): resolve Low Level (Level 3) static analyzer warnings and formatting notes
bivex
committed
ce0b4d0
fix(pvs): eliminate dangling pointer in dstep.c, bounds checks in main.c, and condition in run.c
bivex
committed
ee97b87
test: add edge case test suite and automated test runner
bivex
committed
a59df9d
perf: optimize symbol lookup pointer comparison, cache scope length, and enable -O3 in build flags
bivex
committed
5514c69
perf: add fast Lextok chunk arena allocator and FNV-1a hash algorithm
bivex
committed
a2d6a34
perf: global bump-pointer arena allocator, Symbol/Ordered chunk pools, emstrdup helper, memset zero loop
bivex
committed
44dd7ae
test: add benchmark script for measuring parse time and simulation throughput
bivex
committed
cf5ad5a
docs: add PERFORMANCE.md detailing memory arena optimizations, benchmarks, and verifier tuning
bivex
committed
c472b96
perf: optimize push_back with O(1) memcpy and add 64KB setvbuf file stream buffering for C code generator
bivex
committed
2d1a5ec
feat(examples): add industrial Distributed 2-Phase Commit (2PC) protocol Promela model with atomicity invariants
bivex
committed
8418036