nidhugg/nidhugg

Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.

2 best points · 0 comments · 1 Hacker News post · 100 GitHub stars · View on GitHub

Hacker News discussions

• Nidhugg is a bug-finding tool (2 points, 0 comments, by Breadmaker, 2019-06-13)