Parameter and Return-value Analysis of Binary Executables.

Jingbo Zhang, Rongcai Zhao, Jianmin Pang

Browse the full COMPSAC paper archive.