Using dynamic analysis to detect memory defects
