Abstract predicate entailment over points-to heaplets is syntax recognition

2016 18th Conference of Open Innovations Association and Seminar on Information Security and Protection of Information Technology (FRUCT-ISPIT) ◽

10.1109/fruct-ispit.2016.7561510 ◽

2016 ◽

Author(s):

Rene Haberland ◽

Kirill Krinkin ◽

Sergey Ivanovskiy

Download Full-text