On Thu, Jan 21, 2021 at 12:08:23PM +0100, Ard Biesheuvel wrote: > On Thu, 21 Jan 2021 at 11:26, Julien Thierry <jthierry@xxxxxxxxxx> wrote: > > I'm not familiar with toolcahin code models, but would this approach be > > able to validate assembly code (either inline or in assembly files?) > > > > No, it would not. But those files are part of the code base, and can > be reviewed and audited. x86 has a long history if failing at exactly that.