Articles liés à Value-Range Analysis of C Programs: Towards Proving...

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Couverture souple

 
9788184895599: Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities