Buffer overflow detection on binary code

zbMath1104.94008MaRDI QIDQ849950

Yanfei Zheng, Hui Li, Ke-Fei Chen

Publication date: 15 November 2006

Published in: Journal of Shanghai Jiaotong University (Science) (Search for Journal in Brave)

zbMATH Keywords

feature abstract graphinteger range constraint

Mathematics Subject Classification ID

Applications of graph theory (05C90) Source coding (94A29)

This page was built for publication: Buffer overflow detection on binary code