RE: [PATCH] smatch_kernel_host_data: enable additional debug

"Reshetova, Elena" <[email protected]> Wed, 18 May 2022 10:03:45 +0000

Newsgroups	org.kernel.vger.smatch
Message-ID	<DM8PR11MB5750804B3B9315F68FA22E1CE7D19@DM8PR11MB5750.namprd11.prod.outlook.com>

 On Wed, May 18, 2022 at 11:07:41AM +0300, Elena Reshetova wrote:
> > This allows calling __smatch_host_rl(*val) from the
> > analysed code in the same way as __smatch_user_rl, but
> > for the data influenced by the host in confidential
> > computing threat model.
> >
> > Code author: Dan Carpenter
> >
> > Signed-off-by: Elena Reshetova <[email protected]>
> > ---
> 
> Thanks.  Applied.
> 
> It might take a while to push this because I'm trying to make some other
> changes.  Smatch has become gradually unusably slow for me so it's time
> for the annual DB cleanup.


Thank you Dan! No rush, I am just cleaning up my environment, rebasing,
etc. so wanted to send this last piece that related to host input now. 

Best Regards,
Elena.