-- Leo's gemini proxy

-- Connecting to tilde.pink:1965...

-- Connected

-- Sending request

-- Meta line: 20 text/gemini;

code sandboxing techniques


Roy Marples added "privilege separation" to dhcpcd.


This basically means that the software runs as multiple processes

which communicate with each other. Lots of regular operations

can be performed in underprivileged subprocesses that aren't

allowed to do much, which greatly minimizes the impact of exploits.


He wrote a couple of blog posts comparing OS-specific techniques

for restricting processes:


Capsicum vs Pledge in a Network Management Tool

Capsicum vs Pledge in a Network Management Tool ... Part 2


... and then followed up with a third after I poked him on IRC

and pointed out that setrlimit is a thing:


Capsicum vs Pledge Final Thoughts


Why sandbox?


Perhaps you write super awesome code in languages that give you

a nice sense of safety and a remote execution bug is totally

out of the question.


Maybe you're a super devops and containerize everything so you're

totally safe, at least until the latest container escape bug comes out.


Even then, it's nice to clearly state what your program is

allowed to do, it gives you constraints to work with, and

makes bugs really obvious.


Models


User account restrictions


Perhaps the easiest way to do sandboxing is with separate user

accounts. If your process changes from root to an unprivileged

user shortly after starting, it greatly reduces opportunity

for abuse.


Most sensitive data on most systems is stored in files with

fine-grained permissions, so not being root really helps.

in most cases root is also allowed to do nasty system-wide

things that ordinary users aren't.


Filesystem restrictions


POSIX has a setrlimit function. combined with flags like

RLIMIT_NOFILE, you can do things like prevent your

process from opening any more files, or spawning any

new subprocesses. This is really nice until you run into

system-specific quirks as Roy discovered in his last

blog post.


chroot is very useful for application authors for

one particular purpose: changing the root filesystem for your

process to an empty directory is a surefire promise that

your process will not open any new files from this point forwards.


It is often claimed that chroot is not a security mechanism.


Indeed, many UNIX vendors have refused to patch potential chroot

escapes.


However, it has clearly been used as one for a long time.


chroot also requires root, so you have to do it before

dropping to your underprivileged user.


At this point I can point to Daniel J Bernstein's extremesandbox.c

as a classic example of these techniques.


extremesandbox.c


System call allowlists


Essentially, you build a list of low level system calls you

expect your process to use into the binary, then pass

this to the kernel in some way, and then it enforces

this usage.


This seems to be very commonly deployed these days, thanks to

Linux's seccomp-bpf. The BSDs previously had something

similar in systrace, but it very much went out of fashion

as bugs were found.


System call allow lists are system-specific by definition.

if you use libraries that abstract the OS away, you can

probably make a reasonable guess at what it currently does,

but not necessarily what it might do in the future.


Problem: I don't care what system calls I'm using


System call restrictions have to face a fundamental problem with

how software development works: most of the time we do not use

system calls, we use nice friendly libraries that wrap those

system calls. The precise system calls the library uses are what

we in the trade call an "implementation detail".


The standard model to talk to a UNIX system is to do it through libc.

if you're writing a programming language, it's probably safer

to bind to libc than to use syscalls directly, since they have

not traditionally been seen as a stable interface. (note: in

NetBSD even using libc involves abstractions, functions are

versioned to avoid ABI breakage, and this is hidden from the

programmer).


Solution: abstract the system calls


This is the approach OpenBSD took with their pledge sandboxing

mechanism.


My primary problem with this is that the categories they chose to let

you allow seem both too broad and too tied to the C programming language:

do I really want to allow stdio?


Solution: think about resources, not system calls


As a programmer, you're probably far more aware of what resources

your program requires than what system calls it might happen to

use. This is why I like setrlimit - it's much easier to understand

how many files a program might open.


It also happens that most of the harm you can do as a naughty exploiter,

if you happen to take over a process, involves using resources: maybe

you want to read some private data from a file and send it over a

network socket, that involves opening several new resources.


Solaris privileges


I'd already spent a while thinking about this before I learned about

Solaris privileges and the setppriv system call in illumos.


The setppriv model provides a nice abstraction where you have

to think about the resources your code is using, but not necessary

the system calls (or indeed areas of the C library) it wants to use.


I think it's very interesting, and I think it's a shame that like

many innovative features in OS development it's been slightly

forgotten.


It's supported in portable OpenSSH, look for the file sandbox-solaris.c.


sandbox-solaris.c


More Unix and NetBSD

-- Response ended

-- Page fetched on Sun Jun 2 15:08:44 2024