Announcement_4
Fresh off the press: When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C (Extended Version) in STTT.
Fresh off the press: When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C (Extended Version) in STTT.