Efficient Bug Detection by Inferring Implicit API Contract of Pointer State Transition.

Xingjing Deng, Yunlong Ma, Xiang Gao, Hailong Sun

Browse the full DSN paper archive.