Login / Signup
Finding Bugs Using Your Own Code: Detecting Functionally-similar yet Inconsistent Code.
Mansour Ahmadi
Reza Mirzazade Farkhani
Ryan Williams
Long Lu
Published in:
USENIX Security Symposium (2021)
Keyphrases
</>
source code
static analysis
decision trees
real time
databases
bayesian networks
open source
software systems
data flow
data sets
web applications
code generation