mwhicks1·vor 4 Jahren·discuss> The breakthrough will come when someone can create an automated system to convert unsafe C into safe somethinghttps://dl.acm.org/doi/abs/10.1145/3527322
mwhicks1·vor 8 Jahren·discussHopefully soon, “moving in that direction” can be done by slowly porting to Checked C, while always retaining an executable artifact. https://github.com/Microsoft/checkedc
https://dl.acm.org/doi/abs/10.1145/3527322