Tis-interpreter – find subtle bugs in programs written in standard C
Many of these bugs exist only because compiler writers take unjustified liberties with the C++ standard. That the standard permits compilers to interpret memset(0, 0, 0) as __builtin_unreachable() does not justify compilers actually doing so and violating programmer expectations.<p>I&#x27;m sick of victim-blaming here. Packages like tis-interpreter are very clever ways to solve problems that shouldn&#x27;t exist in the first place. The C standard needs to be changed to redefine a bunch of currently undefined behavior as unspecified or completely defined.