RTL-Check : a practical static analysis framework to verify memory safety and more

Description

Thèse (M.Sc.)--Université Laval, 2006. / Titre de l'écran-titre (visionné le 18 sept. 2007). Bibliogr.

Links & Downloads

1. http://www.theses.ulaval.ca/2006/23909/23909.pdf

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/228779785
Date	January 1900
Creators	Lacroix, Patrice.
Publisher	Québec : Université Laval,
Source Sets	OCLC
Language	French
Detected Language	English