PAriCheck: An efficient pointer arithmetic checker for C programs. / Younan, Yves; Phillipaerts, Pieter; Cavallaro, Lorenzo; Sekar, R.; Piessens, Frank; Joosen, Wouter.

2009.

Research output: Working paper

Published

Standard

PAriCheck: An efficient pointer arithmetic checker for C programs. / Younan, Yves; Phillipaerts, Pieter; Cavallaro, Lorenzo; Sekar, R.; Piessens, Frank; Joosen, Wouter.

2009.

Research output: Working paper

Harvard

Younan, Y, Phillipaerts, P, Cavallaro, L, Sekar, R, Piessens, F & Joosen, W 2009 'PAriCheck: An efficient pointer arithmetic checker for C programs'.

APA

Younan, Y., Phillipaerts, P., Cavallaro, L., Sekar, R., Piessens, F., & Joosen, W. (2009). PAriCheck: An efficient pointer arithmetic checker for C programs.

Vancouver

Younan Y, Phillipaerts P, Cavallaro L, Sekar R, Piessens F, Joosen W. PAriCheck: An efficient pointer arithmetic checker for C programs. 2009 Jun 1.

Author

Younan, Yves ; Phillipaerts, Pieter ; Cavallaro, Lorenzo ; Sekar, R. ; Piessens, Frank ; Joosen, Wouter. / PAriCheck: An efficient pointer arithmetic checker for C programs. 2009.

BibTeX

@techreport{4339370a7a9e4e61a2c790ea9d99c7ba,
title = "PAriCheck: An efficient pointer arithmetic checker for C programs",
author = "Yves Younan and Pieter Phillipaerts and Lorenzo Cavallaro and R. Sekar and Frank Piessens and Wouter Joosen",
year = "2009",
month = "6",
day = "1",
language = "English",
type = "WorkingPaper",

}

RIS

TY - UNPB

T1 - PAriCheck: An efficient pointer arithmetic checker for C programs

AU - Younan, Yves

AU - Phillipaerts, Pieter

AU - Cavallaro, Lorenzo

AU - Sekar, R.

AU - Piessens, Frank

AU - Joosen, Wouter

PY - 2009/6/1

Y1 - 2009/6/1

M3 - Working paper

BT - PAriCheck: An efficient pointer arithmetic checker for C programs

ER -