lkml.org 
[lkml]   [2015]   [Jul]   [14]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH v7 2/4] x86/stackvalidate: Compile-time stack validation
On Tue, Jul 14, 2015 at 10:57:38PM +0200, Peter Zijlstra wrote:
> On Tue, Jul 14, 2015 at 12:14:08PM -0500, Josh Poimboeuf wrote:
> > This adds a CONFIG_STACK_VALIDATION option which enables a host tool
> > named stackvalidate which runs at compile time. It analyzes every .o
> > file and ensures the validity of its stack metadata. It enforces a set
> > of rules on asm code and C inline assembly code so that stack traces can
> > be reliable.
> >
> > Currently it checks frame pointer usage. I plan to add DWARF CFI
> > validation as well.
>
> Validation or Annotation, as in the generation of DWARF CFI info?

My current thinking is I'll do both:

- CFI generation for asm code
- CFI validation of C code (and possibly asm code too)

It's TBD whether the generation will be done by this tool or by a
separate tool.

--
Josh


\
 
 \ /
  Last update: 2015-07-14 23:41    [W:0.125 / U:0.168 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site