Automatic Verification of LLVM Code.

Axel Legay Dirk Nowotka Danny Bøgsted Poulsen

Published in: CoRR (2020)

Keyphrases

source code
data mining
neural network
information systems
decision making
similarity measure
digital libraries
programming language
static analysis