|
|
|
|
|
|
by tptacek
1097 days ago
|
|
|
The original BPF model was "no backedge jumps, constrained memory model", and its track record is quite good. Say more about why you think "no backedge jumps" --- which isn't the current, more-sophisticated, harder-to-understand verification model --- was obviously weak. |
|
|