Powered by Linux
DB changes and job changes — Semantic Matching Tool

DB changes and job changes

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



A couple things.

I recently changed the DB from storing filenames to storing a hash of
the filename.  This cuts down on the size of my DB from 44GB to 28GB.
It's unfortunate that it's not backwards compatible but it's definitely
worth it.  Hopefully it doesn't cause any issues but let me know if it
does.  <smatch@xxxxxxxxxxxxxxx>

The other thing is that tomorrow is my last day at Oracle.  I've been
living with my family in Kenya but we've always wanted to move to Uganda
where my wife's family is and where I have family as well.
Unfortunately Oracle doesn't have an office in Uganda so I'm going to
need to find another job.

I'm tremendously grateful for my time at Oracle.  In basically every way
except the location it was my dream job.  I'm especially grateful to all
the great managers I've had: Chris Mason, James Morris, Dhaval Giani and
Tom Hromatka.  It's been really really really good and I'm definitely a
bit sad that it's over but I also am excited to try make life work in
Uganda.

When I started kernel development in 2009, static analysis was not
widely used in the Linux kernel and there was a backlog of easy to find
buffer overflows.  Now static analysis is an integral part of the
development process.  Smatch has also improved enormously and can detect
much more complicated bugs.  I'm so happy with the progress we have
made.

I'm not exactly sure what comes next, but it's probably still going to
be something related to Smatch.  So I'm still going to be around.  My
email address is <error27@xxxxxxxxx>.

There is still enough work in the Linux kernel to keep me busy for years
and I enjoy working on the kernel.  But it might also be fun to use
Smatch in user space...  We shall see.  Last time when I was unemployed
I worked on the Linux kernel for fun and I'm going to this time as well
so you're still going to see me on kernel-janitors for a while at least.

The other thing is that if you want me to write a custom Smatch check
for your company I'd probably interested in doing that.  Or if you ask
me nicely and it's something for Open Source then I'd probably write it
for free.

regards,
dan carpenter




[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux