3 ms·Yes, just use C with asan, msan, valgrind and frama-c. Why invest in types?by xfer 5y agoYes, just use C with asan, msan, valgrind and frama-c. Why invest in types?