1
90%
main: 90%

Ran 12 Apr 2026 02:00PM UTC

Files 106

Run time 2s

Badge

Embed ▾

Committed 12 Apr 2026 12:50PM UTC coverage: 87.301% (-0.006%) from 87.307%

Job # 24307155209.1

Build Type

push

github

Committed by

web-flow

Commit Message

Fix stack numeric size lost through imprecise pointer stores (#1068)

When a store occurs through a derived stack pointer whose offset is an
imprecise range (e.g., [504, 508] after loop widening), store_type()
would unconditionally havoc num_bytes for the entire range. This
destroyed previously-proven numeric status for those bytes, causing
subsequent helpers to fail with 'Stack content is not numeric' because
stack_numeric_size could not be recomputed from the damaged num_bytes.

Fix: only havoc num_bytes when the stored value is NOT numeric. When
the value IS numeric, leave num_bytes unchanged — the written bytes
remain numeric (they were overwritten with a numeric value), and the
unwritten bytes retain their previous status. This is sound because
no byte transitions from non-numeric to numeric (we do not set new
num_bytes bits), and no byte transitions from numeric to non-numeric
(the stored value is numeric).

Signed-off-by: Michael Agun <danielagun@microsoft.com>

Coverage Stats

12862 of 14733 relevant lines covered (87.3%)

2382704.07 hits per line

vbpf / prevail / 24307155209 / 1
90%
main: 90%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Debug - 24307155209.1

vbpf / prevail / 24307155209 / 1 90% main: 90%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Debug - 24307155209.1

vbpf / prevail / 24307155209 / 1
90%
main: 90%

README BADGES
x