Skip to content

Fix sprintf() inference for constant values with format-width in pattern #8219

Fix sprintf() inference for constant values with format-width in pattern

Fix sprintf() inference for constant values with format-width in pattern #8219

Triggered via pull request September 26, 2024 06:59
Status Success
Total duration 10m 50s
Artifacts 146

issue-bot.yml

on: pull_request
Download data
23s
Download data
Matrix: Analyse
Evaluate results
33s
Evaluate results
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
493 KB
sha256:0008874b8e54c9b7bbf692a99d0f45a9445c656424d4e6767df4500b367773e3
playground-cache Expired
433 KB
sha256:4d59a56f3774101ac033389d217ae0ccffef28180daa3165bb573dfcbec06fe9
results-70200-1 Expired
5.78 KB
sha256:f511ecb3cb0e4f1d87d8ba5c7d6e309e37739b5b4178d3519eda4c505b37e1c2
results-70200-10 Expired
6.07 KB
sha256:463ef911a738389b60bc8127c83a5fd2c2217768ccdd2094897bf5beaccf684c
results-70200-11 Expired
7.5 KB
sha256:8a8f00a908841a908984969da4ca13ecd613f6d5289f226362f793c1fe61139a
results-70200-12 Expired
7.03 KB
sha256:ef688bb73df0e968b5c280985fd78d6b1d4e8eab00d09570950a17226f360fb4
results-70200-13 Expired
6.43 KB
sha256:416fb8c68c28d357a227e0537206473c841b54d3f75f28ee66bb3fb6bbfc7119
results-70200-14 Expired
8.11 KB
sha256:a482f21241f3b4ed6eeba0de5c8e93fd9a9fc4057d8fae9fac1b4715e3597f1e
results-70200-15 Expired
11.7 KB
sha256:73e0473f292b6f1d7c2ab18f495d58b74709cb8761f1e813f712f2eca48c0da5
results-70200-16 Expired
7.32 KB
sha256:7d34bc319ad3244e0b59c881e7313a10df591c4c65942025860ab74bf2c1dcb7
results-70200-17 Expired
7.12 KB
sha256:65a19594ac4a1921c9d3a43588034692bde4b9d08c97acf1a2fa07686152fe43
results-70200-18 Expired
6.3 KB
sha256:ee8039426e8db8c671281bf520f418b1a5b860053cc786e4e07d59faf6c50d99
results-70200-2 Expired
7.07 KB
sha256:df6e7d42469e87ebfbf1a22c28561606948d554d95e55ffcd6f11cd5dd8d24fe
results-70200-3 Expired
7 KB
sha256:50f723f8532a356642479de3043554e787be389d747c8b3ca2628679c2247a64
results-70200-4 Expired
5.97 KB
sha256:22af046729751b18bc8f896bdc3add5ea371142d0f32bf4e12c26c146f7de16a
results-70200-5 Expired
6.38 KB
sha256:f1c7a20c59e77dd1fd3acba132414a82173d3b282df9903dfeaf94229ec2f573
results-70200-6 Expired
6.83 KB
sha256:8e9c05d60f257d73ae1f6bb156043821c75ec215fb0cb6ac34e4b8147718dbd5
results-70200-7 Expired
7.79 KB
sha256:2d8c78c1f7438b5d6c85638c4fa46f29381303816348f6b88ee66820d0f3c431
results-70200-8 Expired
6.96 KB
sha256:c1b459084e6c59103140d18db6124d6e515ef2494be4a7ab4f15eea126ce6e7b
results-70200-9 Expired
6 KB
sha256:990b51b056d43a71e6cd9e46c60f610e1a53308710c70e48da6e314e5764f0ae
results-70300-1 Expired
5.78 KB
sha256:1d3f2cf45d7efdd7f4ceeec25dbcc6364eeacb8f1967cb7d27eb7c00a39740c4
results-70300-10 Expired
6.07 KB
sha256:923006e94257d7be61ffa5fbfb7ef240e44d83f46cc9996f8e0398d87e87e1c1
results-70300-11 Expired
7.5 KB
sha256:4c57ed842a4e6c9f0b6c270b71f4b5fbdf27074b40a08e51402fb40f22e05bb0
results-70300-12 Expired
7.03 KB
sha256:77e3112177ee8d7f3f0fc85c59910c99e52147ef1d261bcf705b7d18fc10da49
results-70300-13 Expired
6.43 KB
sha256:9b7a1e1965315d3f24ea3132d32e1a550361aa7cd3c9dad0e294beef5ac96887
results-70300-14 Expired
8.08 KB
sha256:6a41cadce5ded4229618e213d6e3f5fb74a9b4a7a457615b386a72f33ef82b3b
results-70300-15 Expired
11.6 KB
sha256:ecd43b441d9beefd1fbefb4f837daefc158aeced9da282f079316126ee14782b
results-70300-16 Expired
7.32 KB
sha256:219ea9c0f76bae998f1bb49be13012d7e7c3e58058978930a46e07ffcf8b0b53
results-70300-17 Expired
7.1 KB
sha256:5a0e7c94d0c5297e35cc73313ce6f7a283b40702fa8931de90fdba12a728c866
results-70300-18 Expired
6.28 KB
sha256:b57ed9e1fade8bb183e915d0e8ebe8cb5276edc1018660d9d48fee434ec39c6c
results-70300-2 Expired
7.03 KB
sha256:10343bb9bc92ce76a0e2e51728107497b7594bc32f77a36bc4f642f564b3bf3d
results-70300-3 Expired
6.95 KB
sha256:5b5ac67da79fdede17a1b741f7a5a3cc4afd418eb2c0897efc6522728ad5da4f
results-70300-4 Expired
5.97 KB
sha256:4f7f0a3df4ba88c8912571f472498bdc22cc304d1f71809a1677a024fd1b0e1e
results-70300-5 Expired
6.38 KB
sha256:c211f2841e2ef9cfd44e81393705ee811451203c77da1fa42b0b743e5d41f8f1
results-70300-6 Expired
6.74 KB
sha256:98af20b3693e5050a5e07aac32e8aa32b9451aa7fe1555d0a579220ec1fdb926
results-70300-7 Expired
7.79 KB
sha256:e52501e10ab82596cfe26f7dee50ead1182c1862151b1858572c3db65eb20c78
results-70300-8 Expired
6.96 KB
sha256:64e0c5176850599d72c870dc9e289fe20aaf08e975c5f4789e26b648c901c0a5
results-70300-9 Expired
6 KB
sha256:79217d0523af8e50dd54d748278fba3baf26f710b01a03c6ce5c6cb2f7aaeeee
results-70400-1 Expired
5.78 KB
sha256:d01755eed079bd5028920f186684491feab1174034df725b69400e228c14135f
results-70400-10 Expired
6.11 KB
sha256:5b8b9e6954a5ff9501f7d8ef752c6b030bfc08a00d67dda4272e8a95dcdee6a3
results-70400-11 Expired
7.5 KB
sha256:009d7adc8cfe83ac0d5f9f0644340e256dd15b82a7726c7ef708965b29503cf4
results-70400-12 Expired
7.11 KB
sha256:4cc15be3b8fb304dcb4f68e91f07f0421009c23f71448a746c55e645fadcd3e3
results-70400-13 Expired
6.35 KB
sha256:efbb20fb2f979cc8e6125e4d8620de83fcc2c84a4d3fc4dfb4d8f47b3fa6da2f
results-70400-14 Expired
7.79 KB
sha256:30a0bc890028c38e08dda452dafbe796fa9044fbe73c59349da174911c90096e
results-70400-15 Expired
11.6 KB
sha256:0a5ef6b6a87a5b5ca9bc899a4fd9d44d30718b453dba74a75d3d377457700bf1
results-70400-16 Expired
7.26 KB
sha256:43b0127365eb27b881e6432cac1b5b690d7c83c41628701041d4b11100a6fb14
results-70400-17 Expired
6.96 KB
sha256:2ce3c9fa041cef7c63466ff6e5fb60f6a395c1ecc3ea313ccbb1d90f1aabc0f9
results-70400-18 Expired
6.14 KB
sha256:5434d3e03f90afedd9280cb2b9f23b63ccf8d454394b4e04598f282489fcb42f
results-70400-2 Expired
7.02 KB
sha256:367cf2507d317220bf1c0a10919a5449e3ad80728168b85b0f4f3f6f2936a7aa
results-70400-3 Expired
7.25 KB
sha256:04f706155ed2a65c9d6f7c2e7f48b0608ca4ac0a08b8b3a72990b7a8a63d8a1f
results-70400-4 Expired
5.92 KB
sha256:7b79dce3de00ba0762cea5ae825ace815552774bf799c1a7566f795065fb9fed
results-70400-5 Expired
6.38 KB
sha256:f3948fc2f9ff06889a67be9bbd2204432429f7dc379c7c5988d3ec8f9279aa28
results-70400-6 Expired
6.74 KB
sha256:42cce3b3eb7e9c6ebc4414effbbb3e3a70b3815fddf39dc21f14bf6750f65c1a
results-70400-7 Expired
7.66 KB
sha256:43e06523d19bc471ba0cfb863e496c8319fbd7d618018fb5ee75afcbec331840
results-70400-8 Expired
6.96 KB
sha256:71dcdf6262b2fe094c7a556f7db7a9efca7fbda6c0910f42d05171e33745d7e8
results-70400-9 Expired
6 KB
sha256:c3e7d146ae4d9e01fc0161df280d1880ae56206d5e7237b3aeec5b57af4c2489
results-80000-1 Expired
5.6 KB
sha256:f770e918bd4d6d159affcfa967005cac4aae35e430b85b95273f5f6cb9650c65
results-80000-10 Expired
5.88 KB
sha256:8382eed3ec55b36203fa94f5079e8a6550588ec81ad506ef7aaf6a8232e5476f
results-80000-11 Expired
6.94 KB
sha256:87b52dbc4718c1a64842f54e47d0a4a6fabcd91da72417380d973163a0c372e5
results-80000-12 Expired
6.82 KB
sha256:70c286b8295278be3030193a82cb6295c1705d0b01eb0d2a22806d4551dce83f
results-80000-13 Expired
5.94 KB
sha256:90e63d603c9b2cbd38b963a71698ee72526bb677b4763c65e210daa0adbb5c35
results-80000-14 Expired
7.42 KB
sha256:7b23e5ecc60636a42998d5cc2502962346ca412706d07fa85a05375c0f4cf431
results-80000-15 Expired
11.1 KB
sha256:310e17224888b665d4d4f83e5be197429b0e2793bb72bd0be818416e9cd15fc7
results-80000-16 Expired
6.88 KB
sha256:41e2729f9be4891dae7c19e8cfe08a5cc176a0bc138e5bf23e522dbf6e4f9010
results-80000-17 Expired
6.44 KB
sha256:d42aac9cb19dd6de58f734aa06a90c94fd64afe1ef43f23726a785892770613d
results-80000-18 Expired
6 KB
sha256:131522b8309055bfbf80b9fec2c9fcb547639cdccfc0917df9efa29003712341
results-80000-2 Expired
6.75 KB
sha256:6d85a27c11ae36441548d498b53f805d08ad47e5ab529ce37efcf88dae769b77
results-80000-3 Expired
6.83 KB
sha256:1a90a8536159d62a304ad2708011ac31d60f48a8f06bb3091b329e51801e66f6
results-80000-4 Expired
5.87 KB
sha256:d8b9e34f4136c2bc4f0d8683ef03a29c45711b8cf629a69b2a38377f27e3008d
results-80000-5 Expired
6.26 KB
sha256:8dc85652ad38a74a10ccc42928a7b32108ab8dde63e796558b4a57f99b46ebed
results-80000-6 Expired
6.37 KB
sha256:4deb53c2ae5e395a70f277e5bd2ef91c81b40c95f0c0863a304f8950c06eb5d6
results-80000-7 Expired
7.1 KB
sha256:68c62e1838f97e60bce58fd9c5d1f97b401001d056f237ad2c7196a969780d80
results-80000-8 Expired
6.44 KB
sha256:981f61f064e325360d1b08f144a5d89e5c62b516a0d143fa8e27d69f3a8c6088
results-80000-9 Expired
5.69 KB
sha256:0d7821568d0b8fd48c633ce603a0f3217e69050f3b72797757abb6c846c18683
results-80100-1 Expired
5.66 KB
sha256:7faf19489237b61df149da4e37b1cdb23153cf698bc146f3e25f019ec8843d64
results-80100-10 Expired
6.03 KB
sha256:07af8c5d70827f09252a50a2cf830a370b5a4ff7a8a0321dfdc75835c1398191
results-80100-11 Expired
6.89 KB
sha256:df42f8aa26aeb473b6d62ce05c3f212a575966d6f263bdd3bdc9149f8aee83a1
results-80100-12 Expired
7.04 KB
sha256:91f2aabeda4e0ee810d9cd7115753435283e0b3bba9837649d2283cd8fab61bc
results-80100-13 Expired
6.2 KB
sha256:fe7eb11eacf6e6d817287ceccb34c68380f00835e50e6638697256a7b800f1fd
results-80100-14 Expired
7.56 KB
sha256:c494b7d70da4738f7d4bd3babcb28208bd8f7acebebb6d52917910e179b02f4f
results-80100-15 Expired
12.1 KB
sha256:83feefc2fd4eea018e7a040404b730283a76be3f0687bbfbc10f4fe69ca7cce6
results-80100-16 Expired
7.07 KB
sha256:cd55514de105602bb0bf3a10fda3bf6afac3c83b83cf5bb3068e3e419fe60b69
results-80100-17 Expired
6.66 KB
sha256:e2d71ce14f24b8e142a59a6d368881e590372f8300ec97f82b665e69e9521d11
results-80100-18 Expired
6.14 KB
sha256:845a6511199dd8b44f8044d934ddbf0c46ad40a7b164ca2290e2946c025b3711
results-80100-2 Expired
6.87 KB
sha256:9dc7a4912080fea73b7f2cdac1efee6fb2a61b6e4097aef9a75d6fa52d5b87d0
results-80100-3 Expired
6.76 KB
sha256:706a2acc24f04aab339fcf3aefe21f9aadf8ad529b3fa01dfdc2e293450c9cc6
results-80100-4 Expired
5.76 KB
sha256:f5781849973ebc6087bcdbb92f0c0f587167ff408b57eefcb95ee101336e1b9a
results-80100-5 Expired
6.18 KB
sha256:3d2e83acbb8ebbaab946129138d47aaade1350cc9668035760e69c6fc1f65565
results-80100-6 Expired
6.43 KB
sha256:ae0c08ec1189a616d5e580af6457f57eb220e08f4f6675847af314fe96ba0ad1
results-80100-7 Expired
6.84 KB
sha256:6020bc9426f23add057d56703548892bc9c8c9a1f372d41e115ec35e646d4fa1
results-80100-8 Expired
6.51 KB
sha256:855e64574ca29beabac11a6e661eb56ed2968f9b51574831de5a2b3b9b6e9a3c
results-80100-9 Expired
5.69 KB
sha256:36b7e95b4999f59a19bc286358f83481f5cd130e5e574175b013b1fcb393c987
results-80200-1 Expired
5.7 KB
sha256:a71d7c67938f8c1906378000a228d217772cd9458f7167c5dfb0d20cf42ec2c2
results-80200-10 Expired
6.03 KB
sha256:9d3b0edebb8fb3537a64af6440e8e1e67964c910d137a1e03748bb2842853e05
results-80200-11 Expired
6.95 KB
sha256:277aec15613c2172758f45bb3033779028cf7106c09ce3da2934724e41fe2b91
results-80200-12 Expired
7.08 KB
sha256:7d4ec2fd82d324cd530f4418207d737e1c7dc1f02a469e83ef89806432dd4405
results-80200-13 Expired
6.14 KB
sha256:b81aff469d80dbd6d473ada6f0930660e96ed63c47b23fb2d207e4459761cb24
results-80200-14 Expired
7.48 KB
sha256:8a0697c48b6edfe6d851fbfb176a503d6a0e8d58a6415832e99352c81c9c775e
results-80200-15 Expired
12 KB
sha256:6333c866653fea9ed60641bf9b89c562fd3cda21bb69d6610d0798cd99bb9afa
results-80200-16 Expired
6.99 KB
sha256:ec71f997af5975537aa4c6be9619418eb5452a1c69828237ff73cba29fb35921
results-80200-17 Expired
6.57 KB
sha256:21c598ff9d09f4248bce6cb2e59ce33de957bcc4b2adf3892cbae41e4ad6ad98
results-80200-18 Expired
6.06 KB
sha256:96c8574a4d339f282381f2dd48a8372aea9122866772ec1abb90fbab639db895
results-80200-2 Expired
6.87 KB
sha256:92d49f487ac56d31999682dca7ffa2faa76ade9da8f60129c62bcbdf554733e1
results-80200-3 Expired
6.78 KB
sha256:a00e118697427216357d0eda0f1fd5473de08f8587175590b1a92ff3657027cb
results-80200-4 Expired
5.81 KB
sha256:9164ac0479549d4e2cfd9891546a097aea59ae3af73f300eeb5873a05acaf8b4
results-80200-5 Expired
6.15 KB
sha256:421d7e383fac1d185cf853035a0dd61b0334f57c8228ae1895eb838510b56c4b
results-80200-6 Expired
6.49 KB
sha256:1b05254113d3d625b95c445137873e6783a3c9cdd84e64c4955a59dfc500baad
results-80200-7 Expired
6.84 KB
sha256:5ff1e5a61911b211b49e5896351e03d4d6a35a7f58205108229a35b4a9f85c87
results-80200-8 Expired
6.51 KB
sha256:506e5cc51e31e39480b129a93e8b8f35d08195ab83e73ad72420c8c7b3dfbeab
results-80200-9 Expired
5.69 KB
sha256:879f7d7f5df3405cf6596b3bc4eb4ff21761eb64365e56c4d22c6d96693bae97
results-80300-1 Expired
5.7 KB
sha256:7ae3747010558afd88f6d2f70d5136b9566bc8a4cc5c0831160f65078070eeaf
results-80300-10 Expired
6.03 KB
sha256:e1edc0775a2b2248001e4308eeaa932652f0af8d0b99dc02ce04ef420af4012c
results-80300-11 Expired
6.95 KB
sha256:cacf7629a963b8252b6af8736051acbe1054384941e43d498686cb65a34bfe3a
results-80300-12 Expired
7.08 KB
sha256:afe7360b3907c19a7a1f8b8cde88a12122d2d2880f630e37c772fe3fa6dd56bd
results-80300-13 Expired
6.14 KB
sha256:407e66926fb9f4a9c8cb77f171cdc9aae73ba218c42a64415958fcb84597c180
results-80300-14 Expired
7.48 KB
sha256:af3c749527c1c02c3950221d01b909fa64739bc2f5d9fa8135cb657c559786db
results-80300-15 Expired
12 KB
sha256:8c0d8d8ff0c387b0fa1a5923f43e1ce54ef561af4e3a68e0827fb67680dca3fe
results-80300-16 Expired
6.91 KB
sha256:0b4d072c48d8e4ea7751ab8414e2fbcad399cf6fa5b9830b8126bbb75fee8e88
results-80300-17 Expired
6.49 KB
sha256:b9f975041ba236d52960ad0d18e45c2f5446dbe53bc52cff843c132bd513ec15
results-80300-18 Expired
6.06 KB
sha256:b3b413eedee31be603723fa630de36d5c81e62e03885225c28c8f8707685bcef
results-80300-2 Expired
6.87 KB
sha256:775969170a12ad86806882c11ead116ae7cbd984238301eedd6a76c130677f53
results-80300-3 Expired
6.78 KB
sha256:c0fa35e84eaeeec992333f8c26f2b2aa95a5f5cb110b01435e1f6da58de4029d
results-80300-4 Expired
5.81 KB
sha256:c26c9b891a0aeddd81e5f006811a5b1f15abde41882b68331926750ea026b27f
results-80300-5 Expired
6.15 KB
sha256:c00a4b9dccecb5efb44611963c1c374da032a567f1a11100137b817013d6726e
results-80300-6 Expired
6.5 KB
sha256:197acd30d4d810077c028e7483bc8295139e21837847cc359b879312769c277b
results-80300-7 Expired
6.84 KB
sha256:e4a05d65afeed29739570c7db155806f715bfbf020acedb8d69197cd22a64f7c
results-80300-8 Expired
6.51 KB
sha256:e3daa2f10fe17ae6d9055cf22cd64dc97c277cc0e309c22321da1c417f1b6bb4
results-80300-9 Expired
5.69 KB
sha256:e9c27f13395c3166e64ac60f22a81821c45ca4ae04928e9412cff42d2b150a1d
results-80400-1 Expired
5.7 KB
sha256:4550a96cfe7034a26c3f11b4d868420281ea4bfde499c054a377d4a626775de6
results-80400-10 Expired
6.03 KB
sha256:1a40928130d3948f25e9438f590ce630259c9366599881719423427708f8b637
results-80400-11 Expired
6.95 KB
sha256:98b99409f1d086ebcc0a79e7440843e916d0f0e9c32fcba679726d0dddda45b7
results-80400-12 Expired
7.16 KB
sha256:fdd380613156ae716010983771b7533f9504c4c2875b1e7c3d3e94b27930bd40
results-80400-13 Expired
6.14 KB
sha256:4b140f48b5093000d191ce10057c3c45078614d7fb9ac36436fdad04b6674f97
results-80400-14 Expired
7.48 KB
sha256:60a4acd1e161cd6951c8e4fd3ae06d647df6f0687c67306cc56bed799b6b5426
results-80400-15 Expired
12 KB
sha256:99e999ac2af8a31c09d5ae45773827e0893bb1e80588ec6960698f0d8ddc8134
results-80400-16 Expired
6.91 KB
sha256:a1859e2ecab9fb567d52b9dcbcbb21e04bffdedcecfec9cbf08aeb4818e7acd2
results-80400-17 Expired
6.49 KB
sha256:366a821335277e1f9827e39db95c47b1a77de886dff7c3658c6d50d4230a5080
results-80400-18 Expired
6.06 KB
sha256:3e6b20605ef224e15eb624ba27b052ac9208734fcf577f6df17fa8cef08e798e
results-80400-2 Expired
6.87 KB
sha256:e777b6050ce4f551e25af1031c0facc1a678c9b8cdb8ab0c3247537c75d8ee73
results-80400-3 Expired
6.78 KB
sha256:40839249e22515c348d1780381fdabc6d40102f309c8f0e8388f7e6b32faa9b5
results-80400-4 Expired
5.81 KB
sha256:faf8823b2a2d80a4ace5e5b8feffbaa804eb34f810d83a9b68347228e1b20894
results-80400-5 Expired
6.15 KB
sha256:2088ad01b7bb220bfd6295432cfc7cc9e6d065b9c376f66aaab985f01ce49e78
results-80400-6 Expired
6.5 KB
sha256:2a6cae4dab8ab631052e354450fdf434a9c082f42a6e9e1b76be2f37ba04ffe8
results-80400-7 Expired
6.92 KB
sha256:8f1dd216c1d1f9c3864bfcbf5eca6605db6bdbcda15b2d98f1d5c941395d9c1a
results-80400-8 Expired
6.51 KB
sha256:7fe8844f82368e589074790e4645518186eac0b84b26739a59cc1b39b8b84b20
results-80400-9 Expired
5.69 KB
sha256:7cfd4b04c4c1b80850630db104a3e394fecfbd104303ee306bf87e25f7f5a5ed