In 2002, a group of researchers presented a paper on Cyclone, a safe dialect of C [1]. While (manually) porting code from C to Cyclone, they found safety bugs i

In 2002, a group of researchers presented a paper on Cyclone, a safe dialect of C [1]. While (manually) porting code from C to Cyclone, they found safety bugs in the C code. These kinds of manual or automated conversation from C to <safer language> therefore have potential not only for increasing adoption of safer languages but also for uncovering existing bugs. [1] https://www.researchgate.net/profile/James-Cheney-2/publication/220880915_Cyclone_A_safe_dialect_of_C/links/0c96052b83cd45e39f000000/Cyclone-A-safe-dialect-of-C.pdf https://www.researchgate.net/profile/James-Cheney-2/publicat...