github.com/epfl-dcsl/gotee@v0.0.0-20200909122901-014b35f5e5e9/example/hello-world/src/main.go (about) 1 package main 2 3 import ( 4 "fmt" 5 "gosec" 6 "hw" 7 ) 8 9 func main() { 10 done := make(chan bool) 11 12 // A regular goroutine 13 fmt.Println("From an untrusted domain:") 14 go hw.HelloWorld(done) 15 <-done 16 17 // Now a secured routine 18 fmt.Println("From a trusted domain:") 19 gosecure hw.HelloWorld(done) 20 <- done 21 }