From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from ffbox0-bg.mplayerhq.hu (ffbox0-bg.ffmpeg.org [79.124.17.100]) by master.gitmailbox.com (Postfix) with ESMTP id 8E6C14AC26 for ; Thu, 16 May 2024 12:28:24 +0000 (UTC) Received: from [127.0.1.1] (localhost [127.0.0.1]) by ffbox0-bg.mplayerhq.hu (Postfix) with ESMTP id 9D4A368D499; Thu, 16 May 2024 15:28:22 +0300 (EEST) Received: from glom.nmugroup.com (glom.nmugroup.com [193.183.80.6]) by ffbox0-bg.mplayerhq.hu (Postfix) with ESMTPS id 1988368D2EA for ; Thu, 16 May 2024 15:28:16 +0300 (EEST) Received: from localhost (localhost [127.0.0.1]) by glom.nmugroup.com (Postfix) with ESMTP id 4A5A454288C1 for ; Thu, 16 May 2024 14:28:15 +0200 (CEST) Received: from debian.lan (unknown [IPv6:2a00:66c0:a::72c]) (Authenticated sender: git01) by glom.nmugroup.com (Postfix) with ESMTPSA id 0A1A954288A1 for ; Thu, 16 May 2024 14:28:14 +0200 (CEST) Message-ID: <25c6d017a9bf19b5948a571b1973bf339e21f16c.camel@haerdin.se> From: Tomas =?ISO-8859-1?Q?H=E4rdin?= To: FFmpeg development discussions and patches Date: Thu, 16 May 2024 14:28:13 +0200 In-Reply-To: <20240515212905.GO6420@pb2> References: <42af1d43261e04d99171c93ed26947712e263be8.camel@haerdin.se> <20240515212905.GO6420@pb2> User-Agent: Evolution 3.46.4-2 MIME-Version: 1.0 Subject: Re: [FFmpeg-devel] [RFC] Value analysis with Frama-C's Eva plugin (and an UB fix) X-BeenThere: ffmpeg-devel@ffmpeg.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: FFmpeg development discussions and patches List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: FFmpeg development discussions and patches Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: ffmpeg-devel-bounces@ffmpeg.org Sender: "ffmpeg-devel" Archived-At: List-Archive: List-Post: b25zIDIwMjQtMDUtMTUga2xvY2thbiAyMzoyOSArMDIwMCBza3JldiBNaWNoYWVsIE5pZWRlcm1h eWVyOgo+IE9uIFdlZCwgTWF5IDE1LCAyMDI0IGF0IDA5OjM5OjQzUE0gKzAyMDAsIFRvbWFzIEjD pHJkaW4gd3JvdGU6Cj4gPiBIaQo+ID4gCj4gPiBTbyBhcyBJIHNhaWQgaW4gdGhlIGNvdmVyaXR5 IHRocmVhZCBpdCB3b3VsZCBiZSBnb29kIGlmIHdlIGNvdWxkCj4gPiBnZXQgYXQKPiA+IGxlYXN0 IHBhcnQgb2YgdGhlIGNvZGViYXNlIGNvdmVyZWQgdXNpbmcgZm9ybWFsIHRvb2xzLiBUbyB0aGlz Cj4gPiBlZmZlY3QgSQo+ID4gc2F0IGRvd24gZm9yIGFuIGhvdXIganVzdCBub3cgYW5kIGdhdmUg bGliYXZ1dGlsL2NvbW1vbi5oIGEgZ28gd2l0aAo+ID4gRnJhbWEtQydzIEV2YSBwbHVnaW4gWzE7 Ml0uIFRoaXMgcGx1Z2luIHBlcmZvcm1zIHZhbHVlIGFuYWx5c2lzLAo+ID4gd2hpY2gKPiA+IGlz IGEgbXVjaCBzaW1wbGVyIGFuYWx5c2lzIGNvbXBhcmVkIHRvIHNheSB0aGUgd2Vha2VzdCBwcmVk aWNhdGUKPiA+IChXUCkKPiA+IHBsdWdpbi4KPiA+IAo+ID4gR29pbmcgdGhyb3VnaCB0aGUgZnVu Y3Rpb25zIGZyb20gdG9wIHRvIGJvdHRvbSBpdCBvbmx5IHRvb2sgdW50aWwKPiA+IGF2X2NsaXBs X2ludDMyX2MoKSB0byBmaW5kIG15IGZpcnN0IFVCLCBhIHBhdGNoIGZvciB3aGljaCBpcwo+ID4g YXR0YWNoZWQuCj4gPiBUaHVzIG15IGhhcnBpbmcgb24gdGhpcyBoYXMgYm9ybiBhdCBsZWFzdCBz b21lIGZydWl0Lgo+ID4gCj4gPiBUbyBydW4gdGhlIGFuYWx5c2lzIGltcGxlbWVudGVkIGluIHRo aXMgc2V0IG9mIHBhdGNoZXMgKGFsbCBvZgo+ID4gd2hpY2gKPiA+IEkndmUgYXR0YWNoZWQgaGVy ZSBiZWNhdXNlIEkgZG9uJ3Qgd2FudCB0byBib3RoZXIgd3JpdGluZyBzaXgKPiA+IGZvbGxvdy11 cAo+ID4gZW1haWwpLCBmaXJzdCBpbnN0YWxsIGZyYW1hLWMgdXNpbmcgb3BhbS4gSSdtIHVzaW5n IDI4LjB+YmV0YQo+ID4gKE5pY2tlbCkuCj4gPiBUaGVuIHJ1biAibWFrZSB2ZXJpZnkiIGluIGxp YmF2dXRpbC8gYW5kIEV2YSBzaG91bGQgdGVsbCB5b3UgdGhhdAo+ID4gMzMlCj4gPiBvZiBmdW5j dGlvbnMgYXJlIGNvdmVyZWQgYW5kIDEwMCUgb2Ygc3RhdGVtZW50cyBpbiB0aG9zZSBmdW5jdGlv bnMKPiA+IGFyZQo+ID4gY292ZXJlZCwgd2l0aCB6ZXJvIGFsYXJtcy4KPiA+IAo+ID4gSWYgdGhl IHByb2plY3QgaXNuJ3QgaW50ZXJlc3RlZCBpbiB0aGlzIHRoZW4gSSdsbCBwcm9iYWJseSBjb250 aW51ZQo+ID4gZmlkZGxpbmcgd2l0aCBpdCBvbiBteSBvd24gbW9zdGx5IGFzIGV4ZXJjaXNlLiBC dXQgSSBzdXNwZWN0IGl0Cj4gPiB3aWxsCj4gPiBiZWFyIGV2ZW4gbW9yZSBmcnVpdCBpbiB0aW1l Lgo+IAo+IGkgdGhpbmsgdGhpcyBpcyBjb29sLCBlc3BlY2lhbGx5IGNvbnNpZGVyaW5nCj4gCj4g Cj4gPiDCoGNvbW1vbi5oIHzCoMKgwqAgNCArKy0tCj4gPiDCoDEgZmlsZSBjaGFuZ2VkLCAyIGlu c2VydGlvbnMoKyksIDIgZGVsZXRpb25zKC0pCj4gPiBlNDUxYTdjZDlhNjAwZWNlMjJhNmVlODVh ZDdlZDBjMTYzNDlhNDExwqAgMDAwNi1sYXZ1LWNvbW1vbi5oLUZpeC0KPiA+IFVCLWluLWF2X2Ns aXBsX2ludDMyX2MucGF0Y2gKPiA+IEZyb20gOGE1MzU4NzhiOWYxZjg3Y2EyMGQ1ZTYyNmYyYzRj MDk4YjFjOTQ4ZSBNb24gU2VwIDE3IDAwOjAwOjAwCj4gPiAyMDAxCj4gPiBGcm9tOiA9P1VURi04 P3E/VG9tYXM9MjBIPUMzPUE0cmRpbj89IDxnaXRAaGFlcmRpbi5zZT4KPiA+IERhdGU6IFdlZCwg MTUgTWF5IDIwMjQgMjE6MDM6NDcgKzAyMDAKPiA+IFN1YmplY3Q6IFtQQVRDSCA2LzddIGxhdnUv Y29tbW9uLmg6IEZpeCBVQiBpbiBhdl9jbGlwbF9pbnQzMl9jKCkKPiA+IAo+ID4gLS0tCj4gPiDC oGxpYmF2dXRpbC9jb21tb24uaCB8IDQgKystLQo+ID4gwqAxIGZpbGUgY2hhbmdlZCwgMiBpbnNl cnRpb25zKCspLCAyIGRlbGV0aW9ucygtKQo+ID4gCj4gPiBkaWZmIC0tZ2l0IGEvbGliYXZ1dGls L2NvbW1vbi5oIGIvbGliYXZ1dGlsL2NvbW1vbi5oCj4gPiBpbmRleCBkODExMzFmOGFkLi4wNTIx ZWJiZmM1IDEwMDY0NAo+ID4gLS0tIGEvbGliYXZ1dGlsL2NvbW1vbi5oCj4gPiArKysgYi9saWJh dnV0aWwvY29tbW9uLmgKPiA+IEBAIC0yNTgsOCArMjU4LDggQEAgc3RhdGljIGF2X2Fsd2F5c19p bmxpbmUgYXZfY29uc3QgaW50MTZfdAo+ID4gYXZfY2xpcF9pbnQxNl9jKGludCBhKQo+ID4gwqAg Ki8KPiA+IMKgc3RhdGljIGF2X2Fsd2F5c19pbmxpbmUgYXZfY29uc3QgaW50MzJfdCBhdl9jbGlw bF9pbnQzMl9jKGludDY0X3QKPiA+IGEpCj4gPiDCoHsKPiA+IC3CoMKgwqAgaWYgKChhKzB4ODAw MDAwMDB1KSAmIH5VSU5UNjRfQygweEZGRkZGRkZGKSkgcmV0dXJuCj4gPiAoaW50MzJfdCkoKGE+ PjYzKSBeIDB4N0ZGRkZGRkYpOwo+ID4gLcKgwqDCoCBlbHNlwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqAgcmV0dXJuCj4gPiAoaW50MzJfdClhOwo+ID4gK8KgwqDCoCBpZiAoKGErVUlOVDY0X0MoMHg4 MDAwMDAwMCkpICYgflVJTlQ2NF9DKDB4RkZGRkZGRkYpKSByZXR1cm4KPiA+IChpbnQzMl90KSgo YT4+NjMpIF4gMHg3RkZGRkZGRik7Cj4gPiArwqDCoMKgIGVsc2XCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoCByZXR1cm4KPiA+IChpbnQzMl90KWE7Cj4gPiDCoH0KPiAK PiBpdCBhbHJlYWR5IGZvdW5kIHNvbWV0aGluZwo+IAo+IHRoZSBhdl9jbGlwbF9pbnQzMl9jIHBh dGNoIExHVE0KClllYWggSSdsbCBwdXNoIHRoYXQgcGF0Y2ggbGF0ZXIgdG9kYXkgb3Igc28gaWYg dGhlcmUgYXJlIG5vIG9iamVjdGlvbnMuCkknbGwgcHJvYmFibHkga2VlcCB0aGUgcmVzdCBvZiB0 aGVtIGluIGEgZm9yayBvZiBteSBvd24gZm9yIG5vdywKZXNwZWNpYWxseSBzaW5jZSBJJ20gc3Rp bGwgbGVhcm5pbmcgbW9yZSBhYm91dCBFdmEuIEZvciBleGFtcGxlLCB0aGUKQUNTTCBjb250cmFj dHMgSSBhZGRlZCB0byBhdl9sb2cyKigpIG1pZ2h0IG5vdCBhY3R1YWxseSBiZSBuZWNlc3NhcnkK Ci9Ub21hcwpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpm Zm1wZWctZGV2ZWwgbWFpbGluZyBsaXN0CmZmbXBlZy1kZXZlbEBmZm1wZWcub3JnCmh0dHBzOi8v ZmZtcGVnLm9yZy9tYWlsbWFuL2xpc3RpbmZvL2ZmbXBlZy1kZXZlbAoKVG8gdW5zdWJzY3JpYmUs IHZpc2l0IGxpbmsgYWJvdmUsIG9yIGVtYWlsCmZmbXBlZy1kZXZlbC1yZXF1ZXN0QGZmbXBlZy5v cmcgd2l0aCBzdWJqZWN0ICJ1bnN1YnNjcmliZSIuCg==