Control flow equivalence method for establishing sanctity of compiling.

Payas Awadhutkar Ahmed Tamrawi Ryan Goluch Suresh C. Kothari

Published in: Comput. Secur. (2022)

Keyphrases

high accuracy
detection method
preprocessing
control flow
machine learning
clustering method
decision making
objective function
significant improvement
test set