Detecting Null-dereference Bugs via a Backward Analysis

Qian Wang, Dahai Jin, Yunzhan Gong, Hongbo Zhou. Detecting Null-dereference Bugs via a Backward Analysis. JSW, 8(12):3120-3131, 2013. [doi]

Authors

Qian Wang

This author has not been identified. Look up 'Qian Wang' in Google

Dahai Jin

This author has not been identified. Look up 'Dahai Jin' in Google

Yunzhan Gong

This author has not been identified. Look up 'Yunzhan Gong' in Google

Hongbo Zhou

This author has not been identified. Look up 'Hongbo Zhou' in Google