Hi Derek, On Mon, May 20, 2019 at 06:10:31PM +0100, Derek M Jones wrote: > Himanshu Jha, > > Good luck with your project. > > > Could you please point me some critical data examples that you know in > > the kernel source which should be protected. This would help us a lot! > > Hopefully not the sort of thing that appears in the kernel, > but a problem that the C committee continues to grapple with: > http://shape-of-code.coding-guidelines.com/2019/05/17/c-considering-support-for-background-checks-on-pointer-values/ AFAIK kernel doesn't follow ISO-C standards. There are many warnings reported when `-Wformat-signedness` flag is passed to build kernel. https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html which is undefined behavior: http://port70.net/~nsz/c/c11/n1570.html#7.21.6.1p9 Eg., drivers/iio/trigger/stm32-timer-trigger.c:228:24: warning: format ‘%d’ expects argument of type ‘int’, but argument 3 has type ‘unsigned int’ [-Wformat=] return sprintf(buf, "%d\n", (unsigned int)freq); ~^ ~~~~~~~~~~~~~~~~~~ %d Your blog is interesting but my current project is a different experiment. But you might want to explore: https://lists.elisa.tech/g/main Thanks for your time! > > -- > Derek M. Jones Software analysis > tel: +44 (0)1252 520667 blog:shape-of-code.coding-guidelines.com -- Himanshu Jha Undergraduate Student Department of Electronics & Communication Guru Tegh Bahadur Institute of Technology
