TY  - RPRT
TI  - 2LS: Heap Analysis and Memory Safety (Competition Contribution)
AU  - Viktor Malik
AU  - Martin Hruska
AU  - Peter Schrammel
AU  - Tomas Vojnar
PY  - 2020
UR  - https://arxiv.org/abs/1903.00712
ID  - 1903.00712
ER  -