nilDereferenceAnalysis/example-2/main.go (14 lines of code) (raw):
package main
import (
"log"
"nil_dereference_analysis/common"
)
func process(user *common.User) {
if user == nil {
log.Println("user is nil")
}
copiedUser := user.Copy(nil)
handleUser(copiedUser)
}
func handleUser(user *common.User) {
// some logic with user
}