Re: [RFC PATCH v3 00/13] Clavis LSM

2025-03-05 Thread Paul Moore
On Wed, Mar 5, 2025 at 4:30 PM Eric Snowberg wrote: > > On Mar 4, 2025, at 5:23 PM, Paul Moore wrote: > > On Tue, Mar 4, 2025 at 9:47 AM Eric Snowberg > > wrote: > >>> On Mar 3, 2025, at 3:40 PM, Paul Moore wrote: > >>> On Fri, Feb 28, 2025 at 12:52 PM Eric Snowberg > >>> wrote: > > On F

Re: [RFC PATCH v3 00/13] Clavis LSM

2025-03-05 Thread Eric Snowberg
> On Mar 4, 2025, at 5:23 PM, Paul Moore wrote: > > On Tue, Mar 4, 2025 at 9:47 AM Eric Snowberg wrote: >>> On Mar 3, 2025, at 3:40 PM, Paul Moore wrote: >>> On Fri, Feb 28, 2025 at 12:52 PM Eric Snowberg >>> wrote: > On Feb 28, 2025, at 9:14 AM, Paul Moore wrote: > On Fri, Feb 28,

Re: [PATCH v2 00/34] Compiler-Based Capability- and Locking-Analysis

2025-03-05 Thread Peter Zijlstra
On Wed, Mar 05, 2025 at 07:27:32AM -0800, Bart Van Assche wrote: > On 3/5/25 3:20 AM, Peter Zijlstra wrote: > > diff --git a/include/linux/blkdev.h b/include/linux/blkdev.h > > index 248416ecd01c..d27607d9c2dc 100644 > > --- a/include/linux/blkdev.h > > +++ b/include/linux/blkdev.h > > @@ -945,6 +9

Re: [PATCH v2 00/34] Compiler-Based Capability- and Locking-Analysis

2025-03-05 Thread Bart Van Assche
On 3/5/25 3:20 AM, Peter Zijlstra wrote: diff --git a/include/linux/blkdev.h b/include/linux/blkdev.h index 248416ecd01c..d27607d9c2dc 100644 --- a/include/linux/blkdev.h +++ b/include/linux/blkdev.h @@ -945,6 +945,7 @@ static inline unsigned int blk_boundary_sectors_left(sector_t offset, */

Re: [PATCH v2 00/34] Compiler-Based Capability- and Locking-Analysis

2025-03-05 Thread Peter Zijlstra
Right, so since this is all awesome, I figured I should try and have it compile kernel/sched/, see how far I get. I know I can't use the __guarded_by() things, they're just too primitive for that I need, but I figured I should try and have it track the lock/unlock thingies at least. I've had t

Re: [PATCH v2 31/34] drivers/tty: Enable capability analysis for core files

2025-03-05 Thread Jiri Slaby
On 04. 03. 25, 10:21, Marco Elver wrote: Enable capability analysis for drivers/tty/*. This demonstrates a larger conversion to use Clang's capability analysis. The benefit is additional static checking of locking rules, along with better documentation. Signed-off-by: Marco Elver Cc: Greg Kroa

Re: [PATCH v2 31/34] drivers/tty: Enable capability analysis for core files

2025-03-05 Thread Marco Elver
On Wed, 5 Mar 2025 at 10:15, Jiri Slaby wrote: > > On 04. 03. 25, 10:21, Marco Elver wrote: > > Enable capability analysis for drivers/tty/*. > > > > This demonstrates a larger conversion to use Clang's capability > > analysis. The benefit is additional static checking of locking rules, > > along

Re: [PATCH v2 01/34] compiler_types: Move lock checking attributes to compiler-capability-analysis.h

2025-03-05 Thread Dan Carpenter
On Wed, Mar 05, 2025 at 10:13:44AM +0100, Marco Elver wrote: > On Wed, Mar 05, 2025 at 11:36AM +0300, Dan Carpenter wrote: > > On Tue, Mar 04, 2025 at 10:21:00AM +0100, Marco Elver wrote: > > > +#ifndef _LINUX_COMPILER_CAPABILITY_ANALYSIS_H > > > +#define _LINUX_COMPILER_CAPABILITY_ANALYSIS_H > > >

Re: [PATCH v2 01/34] compiler_types: Move lock checking attributes to compiler-capability-analysis.h

2025-03-05 Thread Marco Elver
On Wed, Mar 05, 2025 at 11:36AM +0300, Dan Carpenter wrote: > On Tue, Mar 04, 2025 at 10:21:00AM +0100, Marco Elver wrote: > > +#ifndef _LINUX_COMPILER_CAPABILITY_ANALYSIS_H > > +#define _LINUX_COMPILER_CAPABILITY_ANALYSIS_H > > + > > +#ifdef __CHECKER__ > > + > > +/* Sparse context/lock checking s

Re: [PATCH v2 01/34] compiler_types: Move lock checking attributes to compiler-capability-analysis.h

2025-03-05 Thread Dan Carpenter
On Tue, Mar 04, 2025 at 10:21:00AM +0100, Marco Elver wrote: > +#ifndef _LINUX_COMPILER_CAPABILITY_ANALYSIS_H > +#define _LINUX_COMPILER_CAPABILITY_ANALYSIS_H > + > +#ifdef __CHECKER__ > + > +/* Sparse context/lock checking support. */ > +# define __must_hold(x) __attribute__((context(