Add setjmp benchmarks - Githubissues

goblint / bench

The benchmark suite

4 stars 5 forks source link

Add setjmp benchmarks #54

Closed michael-schwarz closed 1 year ago

michael-schwarz commented 1 year ago

Add benchmarks & description supporting the evaluation of the manuscript "When Long Jumps Fall Short - Control-Flow Tracking & Misuse Detection for Non-Local Jumps in C".