[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <CALS6=qUf52a877nH414P0T2B7_9=A6FvqBLc24a-5duX0KrtSQ@mail.gmail.com>
Date: Fri, 12 Oct 2018 00:38:09 +0800
From: Carter Cheng <cartercheng@...il.com>
To: kernel-hardening@...ts.openwall.com
Subject: Fwd: link time analysis for the kernel.
---------- Forwarded message ---------
From: Carter Cheng <cartercheng@...il.com>
Date: Thu, Oct 11, 2018 at 9:45 PM
Subject: link time analysis for the kernel.
To: <kernelnewbies@...nelnewbies.org>
Hi,
There are some detaills about the current procedures for linking the kernel
that I am unfamiliar with. My understanding is that GCC and Clang both have
the ability to do link time analysis and transforms on code but is it
possible to write link time passes that will run on the kernel since the
linking phase is a bit different (i.e. doesnt produce an ELF file)?
Are there other tools that are used for the purpose of analysing the kernel
and patching it? I have encountered a tool called Coccinelle but I am
uncertain if CTL can be used to simulate the analysis I would need for
adding and eliding runtime checks on various pointer operations.
I assume from previous discussions that the gcc would be best since clang
still doesn't correctly compile the kernel without patches.
Regards,
Carter.
Content of type "text/html" skipped
Powered by blists - more mailing lists
Confused about mailing lists and their use?
Read about mailing lists on Wikipedia
and check out these
guidelines on proper formatting of your messages.
