Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

For those interested, here are some of the bugs which their tool has found: https://github.com/google/ktsan/wiki/KTSAN-Found-Bugs


No, that's KTSAN, which is different from KCSAN, although they do find similar bugs.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: