30585259873
79%

Ran 30 Jul 2026 09:57PM UTC

Jobs 6

Files 210

Run time 1min

Badge

Embed ▾

Committed 14 Jul 2026 04:15PM UTC coverage: 78.444% (-0.2%) from 78.594%

Build # 30585259873

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

9265 of 11811 relevant lines covered (78.44%)

1073027.62 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	run-Debug-ubuntu-24.04-arm-arm64 - 30585259873.1	30 Jul 2026 10:01PM UTC	77	62.41	GitHub Action Run
2	run-RelWithDebInfo-macos-latest-x86_64 - 30585259873.2	30 Jul 2026 09:57PM UTC	164	74.76	GitHub Action Run
3	run-Debug-macos-latest-x86_64 - 30585259873.3	30 Jul 2026 09:59PM UTC	164	74.82	GitHub Action Run
4	run-RelWithDebInfo-ubuntu-24.04-arm-arm64 - 30585259873.4	30 Jul 2026 09:59PM UTC	77	62.43	GitHub Action Run
5	run-RelWithDebInfo-ubuntu-latest-x86_64 - 30585259873.5	30 Jul 2026 09:59PM UTC	76	75.42	GitHub Action Run
6	run-Debug-ubuntu-latest-x86_64 - 30585259873.6	30 Jul 2026 09:57PM UTC	76	75.43	GitHub Action Run

iovisor / ubpf / 30585259873
79%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 30585259873

iovisor / ubpf / 30585259873 79%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 30585259873

iovisor / ubpf / 30585259873
79%

README BADGES
x