Identifying Software Defects Using Neural Graph Classifiers
Olivier Hamel · 2019
Static analysis tools are commonly used to assist with program verification.Most existing tools, however, identify defects using a predefined repertoire of defect specifications.These repertoires are rarely extended by users due to the effort and complexity involved in producing new specifications.