Vetting API usages in C programs with IMChecker.

Zuxing Gu Jiecheng Wu Chi Li Min Zhou Yu Jiang Ming Gu Jiaguang Sun

Published in: ICSE (Companion Volume) (2019)

Keyphrases

source code
database
neural network
data mining
artificial intelligence
third party
databases
genetic algorithm
computer programs
automatic programming
control structures