@inproceedings{guizani:inria-00549418, TITLE = {{Analyse de Programmes par Tra{\c c}age}}, AUTHOR = {Guizani, Wadie and Marion, Jean-Yves and Reynaud, Daniel}, URL = {https://inria.hal.science/inria-00549418}, BOOKTITLE = {{8{\`e}me Symposium sur la S{\'e}curit{\'e} des Technologies de l'Information et des Communications - SSTIC 2010}}, ADDRESS = {Rennes, France}, PAGES = {125-138}, YEAR = {2010}, MONTH = Jun, PDF = {https://inria.hal.science/inria-00549418/file/document_actes.pdf}, HAL_ID = {inria-00549418}, HAL_VERSION = {v1}, }