Control flow equivalence method for establishing sanctity of compiling. - Payas Awadhutkar; Ahmed Tamrawi; Ryan Goluch; Suresh C. Kothari (Comput. Secur., 2022)