Curtis Walker@alphasnupeAn interesting aspect of this research would be the languages and architectures that enable the programmer to introduce such errors. For example undefined behavior in unsafe languages.12:06 AM · Mar 2, 2020·Twitter for Android2 Likes
John Regehr@johnregehr·Mar 2, 2020Replying to @alphasnupe and @AureliaAugustayes there's already a whole thing based around this sort of idea http://langsec.org2