Differences between revisions 39 and 43 (spanning 4 versions)
Revision 39 as of 2011-02-17 18:51:40
Size: 17299
Editor: ?KeesCook
Comment: Update to include hardening-includes, hardening-check, etc
Revision 43 as of 2011-02-17 19:15:24
Size: 17577
Editor: ?KeesCook
Comment:
Deletions are marked like this. Additions are marked like this.
Line 7: Line 7:
"hardening-wrapper" is a set of scripts that divert the compiler, designed to help provide these options without requiring packaging changes. The goal is to be able to use the wrapper on the buildds and local developer's systems to provide hardened builds.

"hardening-includes" is a single Makefile that can be included in {{{debian/rules}}} from which the compile-time environment variables can be augmented to include the hardening options.
"hardening-wrapper" is a set of scripts that divert the compiler, designed to help provide these options without requiring packaging changes.

"hardening-includes" is a single Makefile snippet that can be included in {{{debian/rules}}} from which the compile-time environment variables can be augmented to include the hardening options.
Line 21: Line 21:
After that, any use of gcc, g++, or ld will have all hardening options enabled by default.  Each option can be disabled individually (via {{{export DEB_BUILD_HARDENING_[feature]=0}}}, see below), if there are complications with the build resulting from the new options. (So far, only rare issues with stack protector and PIE support have been documented.) After that, any use of gcc, g++, or ld will have all hardening features enabled by default. Each feature can be disabled individually (via {{{export DEB_BUILD_HARDENING_[feature]=0}}}, see below), if there are complications with the build resulting from the new features. (So far, only rare issues with stack protector and PIE support have been documented.)
Line 27: Line 27:
To use "hardening-includes", add it to the Build-Depends of your package, include its Makefile in {{{debian/rules}}}, and adjust the compiler flags to use it. For example, with a pure debhelper-7 style {{{debian/rules}}}: To use "hardening-includes", add it to the Build-Depends of your package, include its Makefile snippet in {{{debian/rules}}}, and adjust the compiler flags to use it. For example, with a pure debhelper-7 style {{{debian/rules}}}:
Line 44: Line 44:

Each hardening feature can be disabled individually (via {{{export DEB_BUILD_HARDENING_[feature]=0}}}, see below), if there are complications with the build resulting from the new features. (So far, only rare issues with stack protector and PIE support have been documented.)

To illustrate the effects of the features, a [[http://svn.debian.org/wsvn/hardening/example/trivial.c?op=file|trivial]] C source (with [[http://svn.debian.org/wsvn/hardening/example/Makefile?op=file|Makefile]]) is used as an example.
Line 165: Line 169:
 * Broken on arm and armel (compiler supports the flag, but fails to produce sane executables -- they always segfault). Filed as [[DebianBug:469517|bug 469517]] (disabled for these archs by default in hardening-wrapper 1.9)
Line 169: Line 172:
Position Independent Executable are needed to take advantage of Address Space Layout
Randomization, supported by some kernel versions. http://en.wikipedia.org/wiki/ASLR
[[http://en.wikipedia.org/wiki/Position-independent_code#Position-independent_executables|Position Independent Executable]] are needed to take advantage of [[http://en.wikipedia.org/wiki/ASLR|Address Space Layout Randomization]], supported by some kernel versions. While ASLR can already be enforced for stack, brk, mmap, code areas must be compiled as position-independent. Shared libraries already do this (-fPIC), so they gain ASLR, but binary text regions need to be build PIE to gain ASLR. When this happens, [[http://en.wikipedia.org/wiki/Return-oriented_programming|ROP]] attacks are much harder since there is no static location to bounce off of during a memory corruption attack.
Line 351: Line 353:

=== Build Changes ===

== Integrated build variables ==

Need to be able to enable/disable compile-time protections via debian/rules elements:
 * -fstack-protector
 * -pie (-fPIE)
 * -D_FORTIFY_SOURCE=2 -O2
 * -Wformat -Wformat-security
 * -Wl,-z,relro
 * -Wl,-z,now

Current implementation attempt at the user-space compiled hardening is [[http://svn.debian.org/wsvn/hardening]] which provides a gcc/g++/ld wrapper.

Using Hardening Options

Several compile-time options (detailed below) can be used to help harden a resulting binary against memory corruption attacks, or provide additional warning messages during compiles. The "hardening-wrapper" source package provides both the "hardening-wrapper" package and the "hardening-includes" package.

"hardening-wrapper" is a set of scripts that divert the compiler, designed to help provide these options without requiring packaging changes.

"hardening-includes" is a single Makefile snippet that can be included in debian/rules from which the compile-time environment variables can be augmented to include the hardening options.

Choosing the appropriate package is up to you.

hardening-wrapper

To use "hardening-wrapper", add it to the Build-Depends of your package, and enable it in the debian/rules file:

export DEB_BUILD_HARDENING=1

After that, any use of gcc, g++, or ld will have all hardening features enabled by default. Each feature can be disabled individually (via export DEB_BUILD_HARDENING_[feature]=0, see below), if there are complications with the build resulting from the new features. (So far, only rare issues with stack protector and PIE support have been documented.)

To illustrate the effects of the options, a trivial C source (with Makefile) is used as an example.

hardening-includes

To use "hardening-includes", add it to the Build-Depends of your package, include its Makefile snippet in debian/rules, and adjust the compiler flags to use it. For example, with a pure debhelper-7 style debian/rules:

include /usr/share/hardening-includes/hardening.make

CFLAGS=$(shell dpkg-buildflags --get CFLAGS)
LDFLAGS=$(shell dpkg-buildflags --get LDFLAGS)
CFLAGS+=$(HARDENING_CFLAGS)
LDFLAGS+=$(HARDENING_LDFLAGS)

%:
        dh $@

If you're building C++, use CXXFLAGS instead of CFLAGS above, etc. If building C and C++, use both.

Each hardening feature can be disabled individually (via export DEB_BUILD_HARDENING_[feature]=0, see below), if there are complications with the build resulting from the new features. (So far, only rare issues with stack protector and PIE support have been documented.)

To illustrate the effects of the features, a trivial C source (with Makefile) is used as an example.

Validation

To verify that the resulting binary does, in fact, have hardening features enabled, you can use "hardening-check" from the "hardening-includes" package to test each ELF binary:

$ hardening-check /usr/sbin/sshd 
/usr/sbin/sshd:
 Position Independent Executable: yes
 Stack protected: yes
 Fortify Source functions: yes
 Read-only relocations: yes
 Immediate binding: yes

If your binary does not make use of character arrays on the stack, it's possible that "Stack protected" will report "no", since there was no stack it found to protect. If you absolutely want to protect all stacks, you can add "-fstack-protector-all", but this tends not to be needed, and there are some trade-offs on speed.

If your binary does not make use of FORTIFY_SOURCE-protected glibc routines, it's possible that "Fortify Source functions" will report "no", since there were no functions used that included the glibc fortification routines.

Environment variables

Both "hardening-wrapper" and "hardening-includes" react to the following set of environment variables and change the behavior of the compiler flags.

DEB_BUILD_HARDENING_FORMAT (gcc/g++ -Wformat -Wformat-security)

Quoting the gcc man page:

  • If -Wformat is specified, also warn about uses of format functions that represent possible security problems. At present, this warns about calls to printf and scanf functions where the format string is not a string literal and there are no format arguments, as in printf (foo);. This may be a security hole if the format string came from untrusted input and contains %n.

http://en.wikipedia.org/wiki/Format_string_attack

Default compile:

$ make trivial
cc -Wall -O2    trivial.c   -o trivial

Hardened compile:

$ DEB_BUILD_HARDENING=1 make trivial
cc -Wall -O2    trivial.c   -o trivial
trivial.c: In function 'main':
trivial.c:16: warning: format not a string literal and no format arguments

Known problems: (Common build failures, non-availability on some archs)

  • None so far.

DEB_BUILD_HARDENING_FORTIFY (gcc/g++ -D_FORTIFY_SOURCE=2)

During code generation the compiler knows a great deal of information about buffer sizes (where possible), and attempts to replace insecure unlimited length buffer function calls with length-limited ones. This is especially useful for old, crufty code. Additionally, format strings in writable memory that contain '%n' are blocked. If an application depends on such a format string, it will need to be worked around.

Note that for this feature to be fully enabled, the source must also be compiled with -O2 or higher.

Default build:

$ make trivial
cc -Wall -O2    trivial.c   -o trivial
$ ./trivial $(perl -e 'print "A"x100')
Your first argument was: AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
Segmentation fault (core dumped)

Hardened build:

$ DEB_BUILD_HARDENING=1 make trivial
cc -Wall -O2    trivial.c   -o trivial
trivial.c: In function 'main':
trivial.c:16: warning: format not a string literal and no format arguments
$ ./trivial $(perl -e 'print "A"x100')
*** buffer overflow detected ***: ./trivial terminated

Known problems: (Common build failures, non-availability on some archs)

DEB_BUILD_HARDENING_STACKPROTECTOR (gcc/g++ -fstack-protector)

This is a mainline GCC feature, which adds safety checks against stack overwrites. This renders many potential code injection attacks into aborting situations. In the best case this turns code injection vulnerabilities into denial of service or into non-issues (depending on the application). http://en.wikipedia.org/wiki/Stack-smashing_protection

Would be nice to also use --param ssp-buffer-size=4.

Default build:

$ make trivial
cc -Wall -O2    trivial.c   -o trivial
$ ./trivial $(perl -e 'print "A"x100')
Your first argument was: AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
Segmentation fault (core dumped)

Hardened build (with FORTIFY disabled, since it catches the stack overflow before it happens):

$ DEB_BUILD_HARDENING=1 DEB_BUILD_HARDENING_FORTIFY=0 make trivial
cc -Wall -O2    trivial.c   -o trivial
trivial.c: In function 'main':
trivial.c:16: warning: format not a string literal and no format arguments
$ ./trivial $(perl -e 'print "A"x100')
Your first argument was: AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
*** stack smashing detected ***: ./trivial terminated

Known problems: (Common build failures, non-availability on some archs)

  • Not supported on ia64 and alpha. (disabled for these archs by default in hardening-wrapper 1.8)

    warning: -fstack-protector not supported for this target

  • Not supported on mips and hppa. (disabled for these archs by default in hardening-wrapper 1.10)

    warning: -fstack-protector not supported for this target

DEB_BUILD_HARDENING_PIE (gcc/g++ -fPIE -pie)

Position Independent Executable are needed to take advantage of Address Space Layout Randomization, supported by some kernel versions. While ASLR can already be enforced for stack, brk, mmap, code areas must be compiled as position-independent. Shared libraries already do this (-fPIC), so they gain ASLR, but binary text regions need to be build PIE to gain ASLR. When this happens, ROP attacks are much harder since there is no static location to bounce off of during a memory corruption attack.

Default build:

$ make trivial
cc -Wall -O2    trivial.c   -o trivial
$ file trivial
trivial: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), for GNU/Linux 2.6.8, dynamically linked (uses shared libs), not stripped

Hardened build:

$ DEB_BUILD_HARDENING=1 make trivial
cc -Wall -O2    trivial.c   -o trivial
trivial.c: In function 'main':
trivial.c:16: warning: format not a string literal and no format arguments
$ file trivial
trivial: ELF 64-bit LSB shared object, x86-64, version 1 (SYSV), for GNU/Linux 2.6.8, not stripped

Known problems: (Common build failures, non-availability on some archs)

  • Doesn't work on hppa and m68k (disabled for these archs by default in hardening-wrapper 1.6)
  • Doesn't work on some assembler, due to lack of registers. e.g.:

    vf_decimate.c:26: error: can't find a register in class 'BREG' while reloading 'asm'

DEB_BUILD_HARDENING_RELRO (ld -z relro)

During program load, several ELF memory sections need to be written to by the linker, but can be turned read-only before turning over control to the program. Most notably this prevents GOT overwrite attacks.

Default build:

$ make trivial
cc -Wall -O2    trivial.c   -o trivial
$ objdump -x trivial | grep RELRO

Hardened build:

$ DEB_BUILD_HARDENING=1 make trivial
cc -Wall -O2    trivial.c   -o trivial
trivial.c: In function 'main':
trivial.c:16: warning: format not a string literal and no format arguments
$ objdump -x trivial | grep RELRO
   RELRO off    0x0000000000000de8 vaddr 0x0000000000200de8 paddr 0x0000000000200de8 align 2**0

Known problems: (Common build failures, non-availability on some archs)

  • Unimplemented on ia64 (ld silently ignores the option).

DEB_BUILD_HARDENING_BINDNOW (ld -z now)

During program load, all dynamic symbols are resolved, allowing for the PLT to be marked read-only (due to -z relro above). For very large application, this can incur some performance loss during initial load while symbols are resolved.

Default build:

$ make trivial
cc -Wall -O2 trivial.c -o trivial
$ readelf -d trivial | grep BIND

Hardened build:

$ DEB_BUILD_HARDENING=1 make trivial
cc -Wall -O2 trivial.c -o trivial
trivial.c: In function 'main':
trivial.c:16: warning: format not a string literal and no format arguments
$ readelf -d trivial | grep BIND
 0x0000000000000018 (BIND_NOW)           

Known problems: (Common build failures, non-availability on some archs)

  • None.

State of implementation

An email was sent to the debian-devel-announce list in 2006 introducing the hardening-wrapper package and describing the way to integrate this hardening features in Debian.

A discussion has been fired on the debian-gcc list, as well as several bugs (bug 552688, bug 489771) reported to decide the best way to enable hardening compiler options.

Packages that have a bug report asking for the inclusion of this features can be found on the bug tracker.

A list of packages including hardening-wrapper and hardening-includes in their build-deps can be retrieved with the folowing commands:

  • reverse-build-depends --only-main --distribution unstable hardening-wrapper
  • reverse-build-depends --only-main --distribution unstable hardening-includes

After their meeting on the 14-16 January 2011, the debian security team announced in an email they intend to push the inclusion of hardening features for the wheezy release. A Birds of a Feather-session will be organized during the 2011 debconf to setup a process.

Notes on Memory Corruption Mitigation Methods

User Space

Stack Protector

gcc's -fstack-protector attempts to detect when a stack has been overwritten and aborts the program. Ubuntu has had this enabled by default since Edgy. Some programs do not play nice with it, and can be worked around with -fno-stack-protector. It would be nice to enable this by default, and for gcc to only attempt to use it when libc is being linked against.

Already done in sendmail.

heap protection

In glibc2.5, no additional work needed.

libc pointer encryption

In mainline glibc, as PTR_MANGLE.

gcc -D_FORTIFY_SOURCE=2 -O2

Compile-time protection against static sized buffer overflows. No known regressions or performance loss. This should be enabled system-wide

gcc -Wformat -Wformat-security

While not all programs correctly implement the printf hints (like glib's G_GNUC_PRINTF macro), adding this will at least call out simple printf format string vulnerabilities. Any programs whose builds become "noisy" as a result, should be fixed anyway.

gcc -pie -fPIE

This is especially difficult to plumb into packaging in a safe way, since it requires the executable be built with -fPIE for any .o files that are linked at the end with -pie. There is some amount of performance loss, but only due to the -fPIE, which is already true for all the linked libraries (via their -fPIC).

Already done with openssh, sendmail.

ld -z relro

(Or via gcc with -Wl,-z,relro) Already done with sendmail.

ld -z now

(Or via gcc with -Wl,-z,now).

Kernel Space

non-exec memory segmentation (ExecShield)

Stops execution of code in heap/stack. i386 specific (nx already does this for amd64), and introduces some small level of performance loss (5% for CPU-bound). Some people have worked on getting it pushed into the mainline kernel. Current state unknown -- would be very handy to have due to the popularity of i386. Marcus Better may be willing to continue to maintain the patchset for Debian.

Some applications appear to break when run in the protected memory layout. Most of these issues should be fixed due to RH (and SUSE?) already running with these protections.

Additional work for user-space is identifying programs that build assembly but fail to explicitly mark their stack as non-exec (gnupg, for example).

-fstack-protector

Is available for amd64 builds:

  • config CC_STACKPROTECTOR

runtime memory allocation validation

Detect double-frees in kernel space. No idea where it stands.

Address Space Layout Randomization

  • mmap: in mainline
  • stack: in mainline
  • vdso: in since 2.6.18 (COMPAT_VDSO disables it)
  • heap/exec: in -mm, 2.6.24
  • brk: 2.6.25

Having heap/exec ASLR is a prerequisite for -pie being useful. Presently, openssh is compiled with -pie.

/proc/$pid/maps protection

Present in 2.6.22; requires sysctl toggle (kernel.maps_protect = 1). Became non-optional in 2.6.27

/dev/mem protection

Included in 2.6.25.

From the GRSecurity patchset, protections against hardlink/symlink creation/following in world-writable areas. (Solves tmp races.) May potentially break things like postfix that manipulation hardlinks? Breaks POSIX. Getting taken in mainline may be tpossible with a build-time or proc toggle.

http://lkml.org/lkml/2005/3/10/101 http://lkml.org/lkml/2005/4/18/167

chroot, dmesg, fifo protections

Also from GRSecurity patchset.

Documentation