From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <ffmpeg-devel-bounces@ffmpeg.org>
Received: from ffbox0-bg.mplayerhq.hu (ffbox0-bg.ffmpeg.org [79.124.17.100])
	by master.gitmailbox.com (Postfix) with ESMTP id 80C754AC2A
	for <ffmpegdev@gitmailbox.com>; Thu, 16 May 2024 12:31:44 +0000 (UTC)
Received: from [127.0.1.1] (localhost [127.0.0.1])
	by ffbox0-bg.mplayerhq.hu (Postfix) with ESMTP id 237C268D499;
	Thu, 16 May 2024 15:31:42 +0300 (EEST)
Received: from glom.nmugroup.com (glom.nmugroup.com [193.183.80.6])
 by ffbox0-bg.mplayerhq.hu (Postfix) with ESMTPS id EE64268D42E
 for <ffmpeg-devel@ffmpeg.org>; Thu, 16 May 2024 15:31:34 +0300 (EEST)
Received: from localhost (localhost [127.0.0.1])
 by glom.nmugroup.com (Postfix) with ESMTP id 8F5A25428C2F
 for <ffmpeg-devel@ffmpeg.org>; Thu, 16 May 2024 14:31:34 +0200 (CEST)
Received: from debian.lan (unknown [IPv6:2a00:66c0:a::72c])
 (Authenticated sender: git01)
 by glom.nmugroup.com (Postfix) with ESMTPSA id 44A3D54288A1
 for <ffmpeg-devel@ffmpeg.org>; Thu, 16 May 2024 14:31:32 +0200 (CEST)
Message-ID: <f19ec00406c576362699e3cbc90611593fac41a0.camel@haerdin.se>
From: Tomas =?ISO-8859-1?Q?H=E4rdin?= <git@haerdin.se>
To: FFmpeg development discussions and patches <ffmpeg-devel@ffmpeg.org>
Date: Thu, 16 May 2024 14:31:31 +0200
In-Reply-To: <ZkX4QyV1YRwueJfR@andrews-2024-laptop.sayers>
References: <42af1d43261e04d99171c93ed26947712e263be8.camel@haerdin.se>
 <ZkX4QyV1YRwueJfR@andrews-2024-laptop.sayers>
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 <ffmpeg-devel.ffmpeg.org>
List-Unsubscribe: <https://ffmpeg.org/mailman/options/ffmpeg-devel>,
 <mailto:ffmpeg-devel-request@ffmpeg.org?subject=unsubscribe>
List-Archive: <https://ffmpeg.org/pipermail/ffmpeg-devel>
List-Post: <mailto:ffmpeg-devel@ffmpeg.org>
List-Help: <mailto:ffmpeg-devel-request@ffmpeg.org?subject=help>
List-Subscribe: <https://ffmpeg.org/mailman/listinfo/ffmpeg-devel>,
 <mailto:ffmpeg-devel-request@ffmpeg.org?subject=subscribe>
Reply-To: FFmpeg development discussions and patches <ffmpeg-devel@ffmpeg.org>
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Errors-To: ffmpeg-devel-bounces@ffmpeg.org
Sender: "ffmpeg-devel" <ffmpeg-devel-bounces@ffmpeg.org>
Archived-At: <https://master.gitmailbox.com/ffmpegdev/f19ec00406c576362699e3cbc90611593fac41a0.camel@haerdin.se/>
List-Archive: <https://master.gitmailbox.com/ffmpegdev/>
List-Post: <mailto:ffmpegdev@gitmailbox.com>

dG9yIDIwMjQtMDUtMTYga2xvY2thbiAxMzoxMiArMDEwMCBza3JldiBBbmRyZXcgU2F5ZXJzOgo+
IE9uIFdlZCwgTWF5IDE1LCAyMDI0IGF0IDA5OjM5OjQzUE0gKzAyMDAsIFRvbWFzIEjDpHJkaW4g
d3JvdGU6Cj4gPiBIaQo+ID4gCj4gPiBTbyBhcyBJIHNhaWQgaW4gdGhlIGNvdmVyaXR5IHRocmVh
ZCBpdCB3b3VsZCBiZSBnb29kIGlmIHdlIGNvdWxkCj4gPiBnZXQgYXQKPiA+IGxlYXN0IHBhcnQg
b2YgdGhlIGNvZGViYXNlIGNvdmVyZWQgdXNpbmcgZm9ybWFsIHRvb2xzLiBUbyB0aGlzCj4gPiBl
ZmZlY3QgSQo+ID4gc2F0IGRvd24gZm9yIGFuIGhvdXIganVzdCBub3cgYW5kIGdhdmUgbGliYXZ1
dGlsL2NvbW1vbi5oIGEgZ28gd2l0aAo+ID4gRnJhbWEtQydzIEV2YSBwbHVnaW4gWzE7Ml0uIFRo
aXMgcGx1Z2luIHBlcmZvcm1zIHZhbHVlIGFuYWx5c2lzLAo+ID4gd2hpY2gKPiA+IGlzIGEgbXVj
aCBzaW1wbGVyIGFuYWx5c2lzIGNvbXBhcmVkIHRvIHNheSB0aGUgd2Vha2VzdCBwcmVkaWNhdGUK
PiA+IChXUCkKPiA+IHBsdWdpbi4KPiA+IAo+ID4gR29pbmcgdGhyb3VnaCB0aGUgZnVuY3Rpb25z
IGZyb20gdG9wIHRvIGJvdHRvbSBpdCBvbmx5IHRvb2sgdW50aWwKPiA+IGF2X2NsaXBsX2ludDMy
X2MoKSB0byBmaW5kIG15IGZpcnN0IFVCLCBhIHBhdGNoIGZvciB3aGljaCBpcwo+ID4gYXR0YWNo
ZWQuCj4gPiBUaHVzIG15IGhhcnBpbmcgb24gdGhpcyBoYXMgYm9ybiBhdCBsZWFzdCBzb21lIGZy
dWl0Lgo+ID4gCj4gPiBUbyBydW4gdGhlIGFuYWx5c2lzIGltcGxlbWVudGVkIGluIHRoaXMgc2V0
IG9mIHBhdGNoZXMgKGFsbCBvZgo+ID4gd2hpY2gKPiA+IEkndmUgYXR0YWNoZWQgaGVyZSBiZWNh
dXNlIEkgZG9uJ3Qgd2FudCB0byBib3RoZXIgd3JpdGluZyBzaXgKPiA+IGZvbGxvdy11cAo+ID4g
ZW1haWwpLCBmaXJzdCBpbnN0YWxsIGZyYW1hLWMgdXNpbmcgb3BhbS4gSSdtIHVzaW5nIDI4LjB+
YmV0YQo+ID4gKE5pY2tlbCkuCj4gPiBUaGVuIHJ1biAibWFrZSB2ZXJpZnkiIGluIGxpYmF2dXRp
bC8gYW5kIEV2YSBzaG91bGQgdGVsbCB5b3UgdGhhdAo+ID4gMzMlCj4gPiBvZiBmdW5jdGlvbnMg
YXJlIGNvdmVyZWQgYW5kIDEwMCUgb2Ygc3RhdGVtZW50cyBpbiB0aG9zZSBmdW5jdGlvbnMKPiA+
IGFyZQo+ID4gY292ZXJlZCwgd2l0aCB6ZXJvIGFsYXJtcy4KPiA+IAo+ID4gSWYgdGhlIHByb2pl
Y3QgaXNuJ3QgaW50ZXJlc3RlZCBpbiB0aGlzIHRoZW4gSSdsbCBwcm9iYWJseSBjb250aW51ZQo+
ID4gZmlkZGxpbmcgd2l0aCBpdCBvbiBteSBvd24gbW9zdGx5IGFzIGV4ZXJjaXNlLiBCdXQgSSBz
dXNwZWN0IGl0Cj4gPiB3aWxsCj4gPiBiZWFyIGV2ZW4gbW9yZSBmcnVpdCBpbiB0aW1lLgo+ID4g
Cj4gPiAvVG9tYXMKPiA+IAo+ID4gWzFdIGh0dHBzOi8vZnJhbWEtYy5jb20vCj4gPiBbMl0gaHR0
cHM6Ly9mcmFtYS1jLmNvbS9mYy1wbHVnaW5zL2V2YS5odG1sCj4gCj4gSSdtIGFsbCBmb3IgYXV0
b21hdGVkIGNoZWNrcywgYnV0IGluIG15IGV4cGVyaWVuY2UgdGhleSdyZSBvbmx5Cj4gd29ydGh3
aGlsZQo+IGlmIHR3byBjb25kaXRpb25zIGFyZSBtZXQ6Cj4gCj4gKiB0aGV5IHJ1biBhdXRvbWF0
aWNhbGx5IG9uIGEgcmVndWxhciBiYXNpcwoKVGhleSBjb3VsZCBlYXNpbHkgYmUgaW5jb3Jwb3Jh
dGVkIGludG8gRkFURSBvciBhIHBvc3QtY29tbWl0IGhvb2sKCj4gKiB0aGVpciBvdXRwdXQgZG9l
c24ndCBnZXQgYm9yaW5nCgpUaGUgb3V0cHV0IG9mIEZyYW1hLUMgaW4gZ2VuZXJhbCB0ZW5kcyB0
byBiZSBxdWl0ZSBjaGF0dHkuIEkndmUgYXNrZWQgYQpjb3VwbGUgb2YgdGltZSBmb3IgdGhlbSB0
byBhZGQgZXhpdCBjb2RlcywgZm9yIGV4YW1wbGUgcmV0dXJuaW5nIHdpdGgKemVybyBvbmx5IGlm
IHRoZXJlIGFyZSBubyBhbGFybXMgYW5kIG5vIHVucHJvdmVuIHByb29mIG9ibGlnYXRpb25zLgpX
aXRoIEV2YSBncmVwcGluZyBmb3IgIiAwIGFsYXJtcyBnZW5lcmF0ZWQgYnkgdGhlIGFuYWx5c2lz
LiIgaXMgb25lCndheSwgYnV0IHRoYXQncyBhbHNvIHF1aXRlIHVnbHkKCi9Ub21hcwpfX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpmZm1wZWctZGV2ZWwgbWFp
bGluZyBsaXN0CmZmbXBlZy1kZXZlbEBmZm1wZWcub3JnCmh0dHBzOi8vZmZtcGVnLm9yZy9tYWls
bWFuL2xpc3RpbmZvL2ZmbXBlZy1kZXZlbAoKVG8gdW5zdWJzY3JpYmUsIHZpc2l0IGxpbmsgYWJv
dmUsIG9yIGVtYWlsCmZmbXBlZy1kZXZlbC1yZXF1ZXN0QGZmbXBlZy5vcmcgd2l0aCBzdWJqZWN0
ICJ1bnN1YnNjcmliZSIuCg==