2LS: Heap Analysis and Memory Safety (Competition Contribution).

Viktor Malík Martin Hruska Peter Schrammel Tomás Vojnar

Published in: CoRR (2019)

Keyphrases

data structure
data sets
neural network
statistical analysis
quantitative analysis
artificial intelligence
social networks
computer vision
search algorithm
case based reasoning
associative memory