Statically detecting use after free on binary code2014-01-300 PRE AI DOI:10.1007/s11416-014-0203-1OriginalOriginal request for helpShareSaveAbstract En