Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.kernel > #1523701

Re: [RFC 0/3] ABI spec - verification

Show all headers | View raw

On Wed, 16 Nov 2016, alexander.levin@verizon.com wrote:

Cc'ed Nicholas McGuire

> As discussed at plumbers, having a standard spec for the kernel's ABI has
> quite a few uses and enough people wanted it to get the ball rolling.
> 
> We agreed that it's desirable to have something that can be used from code
> rather than just a spec on paper both for validation and allowing other users
> (like fuzzers, userspace libraries, and various userspace tools) to build
> on that.
> 
> What we ended up deciding on at plumbers is:
> 
>  - I'll do a few kernel bits do demonstrate how we can validate the spec from
> the kernel.
>  - Dmitry Vyukov will provide a way to translate syzkaller's syscall
> documentation into something that can be easily used in the kernel and
> userspace.
>  - Various projects will attempt to integrate it to make sure that the
> framework works for them.
> 
> Once those bits are done we can focus on getting the spec right, and we'll
> have a good way to validate our work both in userspace and in the kernel.
> 
> This patchset is a basic draft of said kernel bits. I mostly want to make
> sure that Dmitry and myself are on the same page as to how integration will
> look like, but also to open it to criticism and suggestions (bikeshedding).
> 
> 
> Sasha Levin (3):
>   abi_spec: basic definitions of constraints, args and syscalls
>   abi_spec: hooks into syscall to allow pre and post checking
>   abi_spec: example spec for open(), placeholder for rest of syscalls
> 
>  include/linux/syscalls.h      |   7 +-
>  include/uapi/linux/abi_spec.h |  58 ++++++
>  kernel/Makefile               |   2 +
>  kernel/abi_spec.c             | 456 ++++++++++++++++++++++++++++++++++++++++++
>  4 files changed, 522 insertions(+), 1 deletion(-)
>  create mode 100644 include/uapi/linux/abi_spec.h
>  create mode 100644 kernel/abi_spec.c
> 
> -- 
> 2.7.4
> 

Back to linux.kernel | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

[RFC 0/3] ABI spec - verification alexander.levin@verizon.com - 2016-11-16 18:40 +0100
  [RFC 2/3] abi_spec: hooks into syscall to allow pre and post checking alexander.levin@verizon.com - 2016-11-16 18:40 +0100
    Re: [RFC 2/3] abi_spec: hooks into syscall to allow pre and post checking Dmitry Vyukov <dvyukov@google.com> - 2016-11-21 17:00 +0100
      Re: [RFC 2/3] abi_spec: hooks into syscall to allow pre and post  checking alexander.levin@verizon.com - 2016-11-23 16:20 +0100
    Re: [RFC 2/3] abi_spec: hooks into syscall to allow pre and post  checking Steven Rostedt <rostedt@goodmis.org> - 2016-11-21 17:00 +0100
  [RFC 1/3] abi_spec: basic definitions of constraints, args and  syscalls alexander.levin@verizon.com - 2016-11-16 18:40 +0100
    Re: [RFC 1/3] abi_spec: basic definitions of constraints, args and syscalls Dmitry Vyukov <dvyukov@google.com> - 2016-11-21 15:50 +0100
      Re: [RFC 1/3] abi_spec: basic definitions of constraints, args and  syscalls alexander.levin@verizon.com - 2016-11-23 16:10 +0100
    Re: [RFC 1/3] abi_spec: basic definitions of constraints, args and  syscalls Steven Rostedt <rostedt@goodmis.org> - 2016-11-21 16:50 +0100
      Re: [RFC 1/3] abi_spec: basic definitions of constraints, args and  syscalls alexander.levin@verizon.com - 2016-11-23 16:20 +0100
        Re: [RFC 1/3] abi_spec: basic definitions of constraints, args and  syscalls Steven Rostedt <rostedt@goodmis.org> - 2016-11-23 16:40 +0100
        Re: [RFC 1/3] abi_spec: basic definitions of constraints, args and  syscalls Steven Rostedt <rostedt@goodmis.org> - 2016-11-23 16:40 +0100
  [RFC 3/3] abi_spec: example spec for open(), placeholder for rest of  syscalls alexander.levin@verizon.com - 2016-11-16 18:40 +0100
  Re: [RFC 0/3] ABI spec - verification Thomas Gleixner <tglx@linutronix.de> - 2016-11-16 18:50 +0100
  Re: [RFC 0/3] ABI spec - verification Dmitry Vyukov <dvyukov@google.com> - 2016-11-21 15:30 +0100
    Re: [RFC 0/3] ABI spec - verification alexander.levin@verizon.com - 2016-11-23 15:40 +0100

csiph-web