Added a safe function (returns the return address of the function), takes care of a data race in char/random.c
Added a safe function (returns the return address of the function), takes care of a data race in char/random.c

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer