search for: ac5866be1ccf6effdfe9ff1c393e60969

Hi, I intend to trace the Use instructions of a variable object in its lifecycle, so, the first step is to obtain the type of the object. However, the datastructure object is complicated typed value, such as "struct file *f" in linux kernel. The problerm is what operations should be taken to obtain the type of Value "struct *file", and locate or such type Value*s *in a