Gecko [ 167.86.127.34 ]

Name	Size	Permission
msan.go	540 B	-rw-r--r--
msan2.go	644 B	-rw-r--r--
msan2_cmsan.go	710 B	-rw-r--r--
msan3.go	552 B	-rw-r--r--
msan4.go	878 B	-rw-r--r--
msan5.go	904 B	-rw-r--r--
msan6.go	1.4 KB	-rw-r--r--
msan_fail.go	701 B	-rw-r--r--
msan_shared.go	303 B	-rw-r--r--
tsan.go	700 B	-rw-r--r--
tsan10.go	798 B	-rw-r--r--
tsan11.go	1.24 KB	-rw-r--r--
tsan12.go	926 B	-rw-r--r--
tsan2.go	940 B	-rw-r--r--
tsan3.go	662 B	-rw-r--r--
tsan4.go	634 B	-rw-r--r--
tsan5.go	927 B	-rw-r--r--
tsan6.go	817 B	-rw-r--r--
tsan7.go	708 B	-rw-r--r--
tsan8.go	1.32 KB	-rw-r--r--
tsan9.go	1.33 KB	-rw-r--r--
tsan_shared.go	1.46 KB	-rw-r--r--

Code Editor : msan6.go

// Copyright 2018 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

package main

// A C function returning a value on the Go stack could leave the Go
// stack marked as uninitialized, potentially causing a later error
// when the stack is used for something else. Issue 26209.

/*
#cgo LDFLAGS: -fsanitize=memory
#cgo CPPFLAGS: -fsanitize=memory

#include <stdint.h>
#include <stdlib.h>
#include <string.h>

typedef struct {
	uintptr_t a[20];
} S;

S f() {
	S *p;

p = (S *)(malloc(sizeof(S)));
	p->a[0] = 0;
	return *p;
}
*/
import "C"

// allocateStack extends the stack so that stack copying doesn't
// confuse the msan data structures.
//go:noinline
func allocateStack(i int) int {
	if i == 0 {
		return i
	}
	return allocateStack(i - 1)
}

// F1 marks a chunk of stack as uninitialized.
// C.f returns an uninitialized struct on the stack, so msan will mark
// the stack as uninitialized.
//go:noinline
func F1() uintptr {
	s := C.f()
	return uintptr(s.a[0])
}

// F2 allocates a struct on the stack and converts it to an empty interface,
// which will call msanread and see that the data appears uninitialized.
//go:noinline
func F2() interface{} {
	return C.S{}
}

func poisonStack(i int) int {
	if i == 0 {
		return int(F1())
	}
	F1()
	r := poisonStack(i - 1)
	F2()
	return r
}

func main() {
	allocateStack(16384)
	poisonStack(128)
}

${this.title}

Code Editor : msan6.go