When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C.

Michael Schwarz, Julian Erhard, Vesal Vojdani, Simmo Saan, Helmut Seidl

Browse the full PLDI paper archive.