u have any remark or question about patches, please, feel free
to contact us.
Regards,
Frédéric Recoules
- Mail original -
De: "FRÉDÉRIC RECOULES"
À: "ffmpeg-devel"
Cc: "Richard Bonichon" , "Sébastien Bardin"
Envoyé: Vendredi 3 Avril 2020 22:41:58
voyé: Samedi 4 Avril 2020 19:55:13
Objet: Re: [FFmpeg-devel] [inline assembly compliance] Issues and patches
> i can retest and find a mininal command line for configure which triggers
> this
> in case you cannot reproduce it ?
Thank you, but it is a known (non) issue of Clang and is
own size"
but Clang have chosen to not follow it on this.
Also, I have resubmitted the patches and I hope they will be more readable and
useful.
Regards,
Frédéric Recoules
De: "Michael Niedermayer"
À: "ffmpeg-devel"
Envoyé: Samedi 4 Avril 2020 18:55:27
Obj
On Sat, Apr 04, 2020 at 12:28:43PM +0200, FRÉDÉRIC RECOULES wrote:
> Thank you for your answers.
>
> As you have pointed out, these patches are full of unrelated changes that are
> not important for safety.
> Most of them were never intended to be posted here, the diff we submitted was
> the o
n them, but the
differences
are only instruction swaps A.B.C -> B.A.C.
Frédéric Recoules
De: "Michael Niedermayer"
À: "ffmpeg-devel"
Envoyé: Samedi 4 Avril 2020 00:39:13
Objet: Re: [FFmpeg-devel] [inline assembly compliance] Issues and patches
On Fri, Apr 03, 2020
On Fri, Apr 03, 2020 at 10:41:58PM +0200, FRÉDÉRIC RECOULES wrote:
> Dear developpers,
>
>
>
> we are academic researchers working in automated program analysis.
> We are currently interested in checking compliance of inline asm chunks
> as found in C programs.
>
> While benchmarking our to
On Fri, 3 Apr 2020 at 22:07, Carl Eugen Hoyos wrote:
> Am Fr., 3. Apr. 2020 um 22:42 Uhr schrieb FRÉDÉRIC RECOULES
> :
>
> > we are academic researchers working in automated program analysis.
> > We are currently interested in checking compliance of inline asm chunks
> > as found in C programs.
>
Am Fr., 3. Apr. 2020 um 22:42 Uhr schrieb FRÉDÉRIC RECOULES
:
> we are academic researchers working in automated program analysis.
> We are currently interested in checking compliance of inline asm chunks
> as found in C programs.
>
> While benchmarking our tool and technique, we found a number of
Dear developpers,
we are academic researchers working in automated program analysis.
We are currently interested in checking compliance of inline asm chunks
as found in C programs.
While benchmarking our tool and technique, we found a number of issues in
FFMPEG. We report them to you, as w
