Kernel-hardening archive mirror
 help / color / mirror / Atom feed
From: Paulo Miguel Almeida <paulo.miguel.almeida.rodenas@gmail.com>
To: Kees Cook <keescook@chromium.org>
Cc: kernel-hardening@lists.openwall.com,
	linux-hardening@vger.kernel.org, cgel.zte@gmail.com
Subject: Re: [Self-introduction] - Paulo Almeida
Date: Wed, 12 Oct 2022 08:52:47 +1300	[thread overview]
Message-ID: <Y0XJjxP/BzoqZ+ts@mail.google.com> (raw)
In-Reply-To: <202210101536.A46A0690@keescook>

On Mon, Oct 10, 2022 at 04:22:48PM -0700, Kees Cook wrote:
> On Sun, Oct 09, 2022 at 07:32:38PM +1300, Paulo Miguel Almeida wrote:
> > My name is Paulo Almeida and as per the instructions listed on the KSPP
> > page, this is my self-introduction email :)
> 
> Hello! Welcome to the circus. :)
> 
Thanks =)

> >   writing a MOS 6502 emulator for the same reason.
> 
> Heh, nice. That made me wonder if there was a QEmu port, but it seems
> it hasn't been touched in a decade?
> https://github.com/AVEx-6502/qemu-6502
> 
> Is there a particular 6502 system you're working to emulate?
> 
Yes, there is. I am trying to emulate Ricoh 2A03 (RP2A03). That's the
slightly modified 6502 CPU used in the NES system. It's a really
well-documented platform so I chose that one to dip my toes in writing
virtualisation-related software.

> > I took the Linux Kernel Internals (LF420) and the Linux Kernel Debugging
> > and Security (LF44) courses by the Linux Foundation.
> 
> Cool -- did anything stand out for you in those courses?
> 
I'm easily amused by debugging/instrumentation techniques and the
kernel has so many of them for various specific niches.

What really stood out at the time was learning how versatile ftrace can
be to the point that this "debugging/tracing" utility is one of the main
gears of kernel live patching. Initially it felt wrong but after
wrapping my head around it, that was a very creative solution.

> > As for other experiences, due to the fact that I wrote my hobbyist OS, I
> > do have a decent experience with the x86/x86-64 architecture. I also
> > spent quite sometime writing static analysis parsers.... so should those
> > experiences help anyone or any possible future plan for the KSPP, please
> > count on me.
> 
> Great! One area that needs some review and testing that is x86-specific
> is the userspace CET support[3]. That spans a wide range of from chipset
> all the way up through compiler, kernel, and glibc. Getting more people
> to try that series out and post results ("it works for me" or "I
> couldn't trigger the protection", etc) would be very welcome.
> 
That sounds like it's my cup of tea :) I just finished reading the Intel
CET paper, it's an interesting approach with lots of things to be
tested. Thanks for the recommendation, I will get involved with that. 

> You've already found the "remove the 1-element arrays" work, and there
> are plenty more like that on the issue tracker. Trying to really put an
> end to strlcpy[4] is ongoing[5] too, as there has been a fairly
> concerted effort to remove them lately:
> 
> Count of "git grep strlcpy | wc -l" over recent releases:
> 
>          v5.17:  1535
>          v5.18:  1525
>          v5.19:  1507
>           v6.0:  1379
>         master:   544
>  next-20221010:   401
> 
Fingers crossed! I saw many patches for the strlcpy replacement so you
seem to be well covered for that... I will continue with the one-element
array changes and try to get involved with the support for Intel CET =)

Thanks for all the suggestions Kees!

Paulo A.

      reply	other threads:[~2022-10-11 20:04 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-10-09  6:32 [Self-introduction] - Paulo Almeida Paulo Miguel Almeida
2022-10-10 23:22 ` Kees Cook
2022-10-11 19:52   ` Paulo Miguel Almeida [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=Y0XJjxP/BzoqZ+ts@mail.google.com \
    --to=paulo.miguel.almeida.rodenas@gmail.com \
    --cc=cgel.zte@gmail.com \
    --cc=keescook@chromium.org \
    --cc=kernel-hardening@lists.openwall.com \
    --cc=linux-hardening@vger.kernel.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).