Skip to content
semgrep

Make sem.malloc.* explicit in svcomp confs #13158

Sign in to view logs

Make sem.malloc.* explicit in svcomp confs

Make sem.malloc.* explicit in svcomp confs #13158

Triggered via pull request November 28, 2025 10:17
@sim642sim642
opened #1885
svcomp-conf-explicit-malloc-fail
Status Success
Total duration 50s
Artifacts –

semgrep.yml

on: pull_request
semgrep
46s
semgrep
Fit to window
Zoom out
Zoom in