
determ-checker is a static analysis tool for Go programs that detects sources of non-determinism such as map iteration order, goroutine scheduling races, and randomized data structure traversal. It is particularly relevant for consensus and blockchain code where non-deterministic execution can cause protocol forks.
This page was last edited on 2024-03-20.
This page was last edited on 2024-03-20.