BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/benchexec/results/mr-1616-02/sv-sanitizers.xml name: sv-sanitizers run sets: SV-COMP25_valid-memsafety.MemSafety-Heap, SV-COMP25_no-overflow.NoOverflows-Main date: Tue, 2025-04-15 08:28:34 UTC tool: sv-sanitizers 0.2.3 tool executable: ./sv-sanitizers.py options: parallel runs: 2 resource limits: - memory: 15000.0 MB - time: 900 s - cpu cores: 4 hardware requirements: - cpu cores: 4 - memory: 15000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: goblint-new os: Linux-6.8.0-47-generic-x86_64-with-glibc2.39 cpu: AMD EPYC Processor (with IBPB) - cores: 16 - max frequency: 2250.0 MHz ram: 33652.174847999995 MB ------------------------------------------------------------ SV-COMP25_valid-memsafety.MemSafety-Heap Run set 1 of 2 with options '' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------- MicroHttpServer.yml TIMEOUT 0.25 991.02 None MojoJson.yml false(valid-deref) 1.96 1.92 None NTSC-CRT.yml TIMEOUT 900.91 872.71 None NanoNNG.yml TIMEOUT 900.26 898.58 None NanoNNGFixed.yml TIMEOUT 900.24 898.66 None admesh.yml false(valid-deref) 0.46 0.46 None admeshFixed.yml TIMEOUT 900.87 873.18 None asterisk.yml false(valid-deref) 0.47 0.47 None bzip3.yml TIMEOUT 900.24 898.47 None bzip3Fixed.yml TIMEOUT 900.23 898.56 None cups.yml false(valid-deref) 1.80 1.75 None dlt-daemon.yml TIMEOUT 900.83 875.28 None editorconfig-core-c.yml TIMEOUT 900.85 874.83 None editorconfig-core-cFixed.yml TIMEOUT 900.85 874.87 None flatcc.yml false(valid-deref) 0.28 0.28 None frr.yml TIMEOUT 900.84 875.30 None frrFixed.yml TIMEOUT 900.83 875.32 None gpac_1.yml false(valid-deref) 0.38 0.38 None gpac_10.yml false(valid-deref) 0.33 0.33 None gpac_11.yml TIMEOUT 900.84 874.80 None gpac_12.yml TIMEOUT 900.85 874.88 None gpac_13.yml TIMEOUT 900.85 874.58 None gpac_14.yml TIMEOUT 900.85 874.75 None gpac_16.yml false(valid-deref) 0.28 0.28 None gpac_16Fixed.yml TIMEOUT 900.86 874.58 None gpac_16Found.yml TIMEOUT 900.86 874.55 None gpac_17.yml false(valid-deref) 0.36 0.36 None gpac_18.yml false(valid-deref) 17.62 17.11 None gpac_19.yml TIMEOUT 900.87 873.84 None gpac_1Fixed.yml TIMEOUT 900.86 874.24 None gpac_3.yml TIMEOUT 900.88 873.46 None gpac_5.yml false(valid-deref) 0.29 0.29 None gpac_5Fixed.yml TIMEOUT 900.92 872.16 None gpac_6.yml TIMEOUT 900.82 876.20 None gpac_7.yml TIMEOUT 900.87 874.03 None gpac_8.yml false(valid-deref) 1.60 1.56 None gpac_9.yml false(valid-deref) 0.25 0.25 None gps-sdr-sim.yml TIMEOUT 900.23 898.55 None gss-ntlmssp.yml TIMEOUT 900.27 897.66 None gss-ntlmsspFixed.yml TIMEOUT 900.26 897.64 None hyperkit_1.yml false(valid-deref) 0.27 0.27 None hyperkit_1Fixed.yml TIMEOUT 900.91 872.13 None jhead.yml TIMEOUT 900.85 874.70 None jhead_1.yml false(valid-deref) 57.60 57.50 None jq.yml false(valid-deref) 1.11 1.11 None json-c.yml TIMEOUT 900.84 875.21 None json-parser.yml TIMEOUT 900.88 873.96 None json-parserFixed.yml TIMEOUT 900.87 874.05 None kilo.yml TIMEOUT 900.86 874.38 None krb5.yml false(valid-free) 0.28 0.28 None krb5Fixed.yml TIMEOUT 900.88 873.88 None libeconf.yml false(valid-deref) 0.33 0.33 None liblouis.yml TIMEOUT 900.84 875.25 None libming_1.yml TIMEOUT 900.86 874.42 None libpe.yml false(valid-deref) 0.31 0.31 None libredwg.yml false(valid-deref) 0.30 0.30 None libredwg_1.yml false(valid-deref) 0.41 0.41 None libredwg_1Fixed.yml TIMEOUT 900.82 875.91 None memcached.yml TIMEOUT 900.25 897.74 None minizip-ng.yml TIMEOUT 900.85 874.71 None minizip-ngFixed.yml TIMEOUT 900.85 874.81 None minizip-ng_1.yml false(valid-deref) 0.46 0.45 None minizip-ng_1Fixed.yml TIMEOUT 900.86 874.51 None mongoose.yml false(valid-deref) 0.31 0.31 None mongooseFixed.yml TIMEOUT 900.84 874.57 None mongoose_1.yml TIMEOUT 900.83 875.46 None moonlight-common-c.yml TIMEOUT 900.83 875.69 None nanopb.yml TIMEOUT 900.84 874.73 None netatalk.yml TIMEOUT 900.85 874.91 None netatalkFixed.yml TIMEOUT 900.85 874.94 None netconsd.yml TIMEOUT 900.25 897.98 None openNDS_1.yml false(valid-deref) 0.87 0.86 None openNDS_1Fixed.yml TIMEOUT 900.75 879.18 None openSC.yml TIMEOUT 900.83 875.96 None openSCFixed.yml TIMEOUT 900.83 875.81 None openrazer.yml TIMEOUT 900.83 875.93 None openrazerFixed.yml TIMEOUT 900.82 875.82 None openrazerFound.yml false(valid-deref) 2.11 2.06 None pacparser.yml TIMEOUT 900.78 877.63 None pacparserFixed.yml TIMEOUT 900.80 877.20 None picotcp.yml false(valid-deref) 0.29 0.29 None picotcpFixed.yml TIMEOUT 900.84 875.52 None pjproject.yml TIMEOUT 900.26 897.66 None plutovg.yml TIMEOUT 900.88 873.66 None ppp.yml TIMEOUT 900.19 900.21 None radare2.yml false(valid-deref) 0.42 0.42 None radare2Fixed.yml TIMEOUT 900.83 875.55 None radare2_1.yml false(valid-deref) 0.28 0.28 None radare2_1Fixed.yml TIMEOUT 900.84 875.10 None radare2_2.yml TIMEOUT 900.82 875.91 None radare2_2Fixed.yml TIMEOUT 900.83 875.78 None rizin.yml false(valid-deref) 8.18 7.96 None smartdns.yml TIMEOUT 900.77 878.11 None sniproxy.yml TIMEOUT 900.85 875.22 None sniproxyFixed.yml TIMEOUT 900.84 875.28 None sofia-sip.yml false(valid-deref) 69.19 67.15 None sofia-sipFixed.yml TIMEOUT 900.83 875.55 None sofia-sip_1.yml TIMEOUT 900.83 875.92 None sofia-sip_2.yml false(valid-deref) 0.27 0.27 None stb.yml TIMEOUT 900.85 874.92 None stb_1.yml false(valid-free) 0.26 0.26 None tinydir.yml TIMEOUT 900.83 875.99 None tinytiff.yml TIMEOUT 900.83 875.71 None wasm-micro-runtime.yml false(valid-deref) 0.33 0.33 None wasm-micro-runtimeFixed.yml TIMEOUT 900.83 875.75 None zchunk.yml false(valid-deref) 75.98 73.88 None zchunkFixed.yml TIMEOUT 900.82 876.04 None zephyr.yml TIMEOUT 900.85 875.22 None zstd.yml false(valid-deref) 0.43 0.42 None zstdFixed.yml TIMEOUT 900.82 876.21 None --------------------------------------------------------------------------------------------- Run set 1 done 66778.37 33582.10 - SV-COMP25_no-overflow.NoOverflows-Main Run set 2 of 2 with options '' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------- gpac.yml false(no-overflow) 16.42 15.22 None gpac_15.yml TIMEOUT 900.88 833.99 None kilo.yml TIMEOUT 900.92 833.65 None libsndfile.yml false(no-overflow) 0.31 0.31 None mujs.yml TIMEOUT 900.22 899.50 None plutovg.yml TIMEOUT 901.00 829.56 None ------------------------------------------------------------------------------------- Run set 2 done 3619.88 1734.91 - Statistics: 116 Files correct: 37 correct true: 0 correct false: 37 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 79 Score: 37 (max: 146)