VBSAC: a value-based static analyzer for C.

Chi Li Min Zhou Zuxing Gu Guang Chen Yuexing Wang Jiecheng Wu Ming Gu

Published in: ISSTA (2019)

Keyphrases

information systems
data acquisition
high level
optimal solution
data analysis
dynamic analysis
machine learning
genetic algorithm
knowledge base
case study
natural language
viewpoint
d objects