2
79%
master: 92%

Ran 17 Jul 2026 09:48PM UTC

Files 76

Run time 5s

Badge

Embed ▾

Committed 14 Jul 2026 04:15PM UTC coverage: 75.424%. Remained the same

Job # 29615431978.2

Build Type

push

github

Committed by

web-flow

Commit Message

libfuzzer: seed verifier options thread-local state (#809)

The verifier timeout worker thread already copied Prevail's thread-local ProgramInfo, but Prevail also relies on thread_local_options during analysis. Without copying those options, the worker thread analyzed programs with default verifier settings, which disabled termination checks and let the Windows fuzz repro EAAAAL8UAAAAAAAABgAAAP7///8= reach interpreter execution. Seed both thread-local values before prevail::analyze() so worker-thread verification matches the configured main-thread behavior.

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>
Co-authored-by: Alan Jowett <alan.jowett@microsoft.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Coverage Stats

5696 of 7552 relevant lines covered (75.42%)

46573.12 hits per line

Alan-Jowett / ubpf / 29615431978 / 2
79%
master: 92%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-RelWithDebInfo-ubuntu-latest-x86_64 - 29615431978.2

Alan-Jowett / ubpf / 29615431978 / 2 79% master: 92%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-RelWithDebInfo-ubuntu-latest-x86_64 - 29615431978.2

Alan-Jowett / ubpf / 29615431978 / 2
79%
master: 92%

README BADGES
x