environment problem
system issue
Symbolic execution tools based on virtual machines solve the environment problem by forking the entire VM state.
Symbolic execution tools based on virtual machines solve the system issue by forking the entire VM state.