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

Groups > linux.kernel > #1519915

Re: Formal description of system call interface

Show all headers | View raw

On Sun, Nov 6, 2016 at 2:39 PM, Dmitry Vyukov <dvyukov@google.com> wrote:
> Hello,
>
> This is notes from the discussion we had at Linux Plumbers this week
> regarding providing a formal description of system calls (user API).
>
> The idea come up in the context of syzkaller, syscall fuzzer, which
> has descriptions for 1000+ syscalls mostly concentrating on types of
> arguments and return values. However, problems are that a small group
> of people can't write descriptions for all syscalls; can't keep them
> up-to-date and doesn't have necessary domain expertise to do correct
> descriptions in some cases.
>
> We identified a surprisingly large number of potential users for such
> descriptions:

Let me add one more: consolidation of all the incompatible arch
syscall tables.  A sufficiently descriptive format should be parseable
at build time to generate the syscall tables.

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

Thread

Formal description of system call interface Dmitry Vyukov <dvyukov@google.com> - 2016-11-06 23:50 +0100
  Re: Formal description of system call interface Szabolcs Nagy <nsz@port70.net> - 2016-11-07 01:40 +0100
    Re: Formal description of system call interface Dmitry Vyukov <dvyukov@google.com> - 2016-11-21 16:10 +0100
      Re: Formal description of system call interface Szabolcs Nagy <nsz@port70.net> - 2016-11-22 14:10 +0100
  Re: Formal description of system call interface Cyril Hrubis <chrubis@suse.cz> - 2016-11-07 11:40 +0100
    Re: Formal description of system call interface Dmitry Vyukov <dvyukov@google.com> - 2016-11-21 16:20 +0100
      Re: Formal description of system call interface Tavis Ormandy <taviso@google.com> - 2016-11-21 16:40 +0100
      Re: Formal description of system call interface Cyril Hrubis <chrubis@suse.cz> - 2016-11-21 17:20 +0100
    Re: Formal description of system call interface Steven Rostedt <rostedt@goodmis.org> - 2016-11-21 16:40 +0100
      Re: Formal description of system call interface Dmitry Vyukov <dvyukov@google.com> - 2016-11-21 16:50 +0100
        Re: Formal description of system call interface Cyril Hrubis <chrubis@suse.cz> - 2016-11-21 18:00 +0100
  Re: Formal description of system call interface Andy Lutomirski <luto@amacapital.net> - 2016-11-11 18:20 +0100
    Re: Formal description of system call interface Dmitry Vyukov <dvyukov@google.com> - 2016-11-21 16:20 +0100

csiph-web