From Trash to Treasure: Timing-Sensitive Garbage Collection
Dynamic vs. Static Flow-Sensitive Security Analysis