3 ms·
Written in C? Unless I'm missing something this isn't better than other unsafe options
by internetter 2y ago
Written in C? Unless I'm missing something this isn't better than other unsafe options
- codetrotter 2y agoFrom the Wuffs readme: > Wuffs the Language is safe with respect to buffer overflows, integer arithmetic overflows and null pointer dereferences. A key difference between Wuffs and other memory-safe languages is that all such checks are done at compile time, not at run time. If it compiles, it is safe, with respect to those three bug classes. > […] > Wuffs code is hermetic and can only compute (e.g. convert "compressed bytes" to "decompressed bytes"). It cannot make any syscalls (e.g. it has no ambient authority to read your files), implying that it cannot allocate or free memory (and is therefore trivially safe against things like memory leaks, use-after-frees and double-frees).