BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/benchexec/results/mr-1616-01/sv-sanitizers.xml name: sv-sanitizers run sets: SV-COMP25_valid-memsafety.MemSafety-Heap, SV-COMP25_no-overflow.NoOverflows-Main date: Mon, 2025-04-14 14:04:02 UTC tool: sv-sanitizers 0.1.1-dev 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.30 991.01 None MojoJson.yml false(valid-deref) 12.50 12.37 None NTSC-CRT.yml TIMEOUT 900.90 873.08 None NanoNNG.yml TIMEOUT 900.24 898.71 None NanoNNGFixed.yml TIMEOUT 900.23 898.80 None admesh.yml false(valid-deref) 0.29 0.29 None admeshFixed.yml TIMEOUT 900.89 873.14 None asterisk.yml false(valid-deref) 0.34 0.36 None bzip3.yml TIMEOUT 900.23 898.61 None bzip3Fixed.yml TIMEOUT 900.24 898.62 None cups.yml false(valid-free) 0.27 0.27 None dlt-daemon.yml TIMEOUT 900.84 875.09 None editorconfig-core-c.yml TIMEOUT 900.86 874.84 None editorconfig-core-cFixed.yml TIMEOUT 900.85 874.81 None flatcc.yml false(valid-deref) 0.28 0.28 None frr.yml TIMEOUT 900.85 875.10 None frrFixed.yml TIMEOUT 900.85 875.15 None gpac_1.yml false(valid-deref) 0.35 0.35 None gpac_10.yml false(valid-deref) 0.31 0.30 None gpac_11.yml TIMEOUT 900.86 874.62 None gpac_12.yml TIMEOUT 900.86 874.45 None gpac_13.yml TIMEOUT 900.85 874.57 None gpac_14.yml TIMEOUT 900.86 874.68 None gpac_16.yml false(valid-deref) 0.29 0.29 None gpac_16Fixed.yml TIMEOUT 900.86 874.49 None gpac_17.yml false(valid-deref) 0.34 0.34 None gpac_18.yml false(valid-deref) 5.25 5.10 None gpac_19.yml TIMEOUT 900.85 874.60 None gpac_1Fixed.yml TIMEOUT 900.85 874.52 None gpac_3.yml TIMEOUT 900.87 873.64 None gpac_5.yml false(valid-deref) 0.63 0.62 None gpac_5Fixed.yml TIMEOUT 900.90 872.41 None gpac_6.yml TIMEOUT 900.80 876.63 None gpac_7.yml TIMEOUT 900.86 874.48 None gpac_8.yml false(valid-deref) 6.57 6.39 None gpac_9.yml false(valid-deref) 0.29 0.29 None gps-sdr-sim.yml EXCEPTION 0.32 0.33 None gss-ntlmssp.yml TIMEOUT 900.25 897.72 None gss-ntlmsspFixed.yml TIMEOUT 900.26 897.66 None hyperkit_1.yml false(valid-deref) 0.26 0.26 None hyperkit_1Fixed.yml TIMEOUT 900.91 872.51 None jhead.yml TIMEOUT 900.86 874.85 None jhead_1.yml false(valid-deref) 105.46 105.32 None jq.yml false(valid-deref) 4.05 4.05 None json-c.yml TIMEOUT 900.84 875.10 None json-parser.yml TIMEOUT 900.87 873.99 None json-parserFixed.yml TIMEOUT 900.88 873.91 None kilo.yml TIMEOUT 900.86 874.44 None krb5.yml false(valid-free) 0.32 0.32 None krb5Fixed.yml TIMEOUT 900.88 874.10 None libeconf.yml false(valid-deref) 0.33 0.33 None liblouis.yml TIMEOUT 900.84 875.39 None libming_1.yml false(valid-deref) 0.35 0.35 None libpe.yml false(valid-deref) 0.28 0.28 None libredwg.yml false(valid-deref) 0.28 0.28 None libredwg_1.yml false(valid-deref) 0.52 0.51 None libredwg_1Fixed.yml TIMEOUT 900.82 876.17 None memcached.yml TIMEOUT 900.27 897.62 None minizip-ng.yml TIMEOUT 900.85 874.56 None minizip-ngFixed.yml TIMEOUT 900.85 874.67 None minizip-ng_1.yml false(valid-deref) 0.30 0.30 None minizip-ng_1Fixed.yml TIMEOUT 900.86 874.63 None mongoose.yml false(valid-deref) 0.29 0.29 None mongooseFixed.yml TIMEOUT 900.86 874.60 None mongoose_1.yml TIMEOUT 900.86 874.62 None moonlight-common-c.yml TIMEOUT 900.85 874.61 None nanopb.yml TIMEOUT 900.86 873.88 None netatalk.yml false(valid-deref) 487.24 472.79 None netatalkFixed.yml TIMEOUT 900.87 874.19 None netconsd.yml TIMEOUT 900.25 898.00 None openNDS_1.yml false(valid-deref) 0.52 0.51 None openNDS_1Fixed.yml TIMEOUT 900.76 878.13 None openSC.yml TIMEOUT 900.85 874.68 None openSCFixed.yml TIMEOUT 900.85 874.79 None openrazer.yml TIMEOUT 900.86 874.67 None openrazerFixed.yml TIMEOUT 900.84 875.11 None pacparser.yml TIMEOUT 900.80 876.96 None pacparserFixed.yml TIMEOUT 900.79 876.89 None picotcp.yml false(valid-deref) 0.27 0.27 None picotcpFixed.yml TIMEOUT 900.83 875.49 None pjproject.yml false(valid-deref) 0.30 0.30 None plutovg.yml TIMEOUT 900.87 873.81 None ppp.yml false(valid-deref) 0.27 0.27 None radare2.yml false(valid-deref) 0.96 0.94 None radare2Fixed.yml TIMEOUT 900.82 875.70 None radare2_1.yml false(valid-deref) 0.28 0.28 None radare2_1Fixed.yml TIMEOUT 900.84 875.13 None radare2_2.yml TIMEOUT 900.83 875.73 None radare2_2Fixed.yml TIMEOUT 900.82 875.83 None rizin.yml false(valid-deref) 10.54 10.25 None smartdns.yml false(valid-deref) 0.29 0.29 None sniproxy.yml TIMEOUT 900.85 875.10 None sniproxyFixed.yml TIMEOUT 900.83 875.37 None sofia-sip.yml false(valid-deref) 3.64 3.56 None sofia-sipFixed.yml false(valid-memtrack) 0.27 0.28 None sofia-sip_1.yml TIMEOUT 900.82 875.79 None sofia-sip_2.yml false(valid-deref) 0.27 0.27 None stb.yml TIMEOUT 900.49 891.05 None stb_1.yml false(valid-free) 0.30 0.30 None tinydir.yml false(valid-memtrack) 6.49 6.31 None tinytiff.yml TIMEOUT 900.83 875.80 None wasm-micro-runtime.yml false(valid-deref) 0.38 0.37 None wasm-micro-runtimeFixed.yml TIMEOUT 900.83 875.65 None zchunk.yml false(valid-deref) 27.24 26.51 None zchunkFixed.yml TIMEOUT 900.83 875.89 None zephyr.yml TIMEOUT 900.85 875.34 None zstd.yml false(valid-deref) 0.27 0.27 None zstdFixed.yml TIMEOUT 900.81 876.57 None --------------------------------------------------------------------------------------------- Run set 1 done 59122.98 29546.43 - SV-COMP25_no-overflow.NoOverflows-Main Run set 2 of 2 with options '' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------- NTSC-CRT.yml TIMEOUT 900.87 834.46 None gpac.yml TIMEOUT 900.85 834.99 None gpac_15.yml TIMEOUT 900.84 835.06 None gpac_9.yml true 0.25 0.25 None kilo.yml TIMEOUT 900.87 834.27 None libredwg_1.yml TIMEOUT 900.50 846.21 None libredwg_1Fixed.yml TIMEOUT 900.86 834.72 None libsndfile.yml false 0.29 0.32 None mujs.yml TIMEOUT 900.21 899.45 None nanopb.yml TIMEOUT 900.96 831.15 None netconsd.yml TIMEOUT 900.22 899.22 None plutovg.yml TIMEOUT 900.98 829.92 None stb.yml TIMEOUT 900.88 834.01 None sysstat.yml true 0.26 0.26 None zchunk.yml TIMEOUT 900.55 885.79 None zchunkFixed.yml TIMEOUT 900.86 834.37 None ------------------------------------------------------------------------------------- Run set 2 done 11710.51 5904.59 - Statistics: 124 Files correct: 37 correct true: 0 correct false: 37 incorrect: 2 incorrect true: 2 incorrect false: 0 unknown: 85 Score: -27 (max: 155)