xiw/stack
View on GitHub ↗ ★ 366 C++
A static checker for identifying unstable code.
4 mentions on Hacker News by 3 people: 1 story, 3 comments · first 2013-11-17 · latest 2016-08-06
20082026
-
…is painful to install, and seems abandoned, but does catch flag some bugs that other tools miss: https://github.com/xiw/stack/ -- Does anyone know of other tools in this space? I'm still hoping there's a "silver bullet" I haven't found yet.
comment by nkurz · 2016-08-06 · in Notes on concurrency bugs -
…flaws than to catch none. The one tool I've found that does catch many of these errors is "stack": https://github.com/xiw/stack It operates by identifying "unstable" code. Essentially, it uses Clang to optimize the code twice, once with…
comment by nkurz · 2016-06-30 · in Memcpy (and friends) with NULL pointers -
▲ 1
Stack: A static checker for identifying unstable codestory by ingve · 2016-03-06 · 0 comments
-
More info: https://css.csail.mit.edu/stack Code: https://github.com/xiw/stack
comment by osivertsson · 2013-11-17 · in Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior