iovisor
/
ubpf
/
22689247245
/
1
80%
main: 80%
main: 80%
|
Ran
|
Files
85
|
Run time
3s
|
Badge
Embed ▾
README BADGES
|
coverage: 77.352%. Remained the same
push
github
web-flowAdd timeout to prevent verifier hang on malformed programs (#763) * Add timeout mechanism to prevent verifier infinite loops Add a 5-second timeout around prevail::analyze() to prevent the fuzzer from hanging on malformed BPF programs that cause the verifier to enter infinite loops (e.g., nested loops which are a known limitation of prevail). The timeout uses a separate thread with std::future::wait_for() to detect when verification takes too long. If the timeout is reached, the verification thread is detached and the function returns false (verification failed). This fix addresses CI failures where the fuzzer would timeout after 60+ seconds on programs that trigger verifier infinite loops. Co-authored-by: Alan-Jowett <20480683+Alan-Jowett@users.noreply.github.com> * Update documentation with implementation notes Co-authored-by: Alan-Jowett <20480683+Alan-Jowett@users.noreply.github.com> * Revert "Update documentation with implementation notes" This reverts commit e1c27a141. * Move verification state to heap to fix use-after-free on timeout Address review feedback: - Move all shared state (program, result, promise, completion flag) to heap-allocated shared_ptrs so detached thread cannot access destroyed stack locals on timeout. - Add safe_set_value wrapper to guard against set_value throwing when promise is already satisfied or has no state. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: Alan-Jowett <20480683+Alan-Jowett@users.noreply.github.com> Co-authored-by: Alan Jowett <alanjo@microsoft.com> Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
3757 of 4857 relevant lines covered (77.35%)
373810.41 hits per line
