PAriCheck: an efficient pointer arithmetic checker for C programs

  title={PAriCheck: an efficient pointer arithmetic checker for C programs},
  author={Yves Younan and Pieter Philippaerts and Lorenzo Cavallaro and R. Sekar and Frank Piessens and Wouter Joosen},
Buffer overflows are still a significant problem in programs written in C and C++. In this paper we present a bounds checker, called PAriCheck, that inserts dynamic runtime checks to ensure that attackers are not able to abuse buffer overflow vulnerabilities. The main approach is based on checking pointer arithmetic rather than pointer dereferences when performing bounds checks. The checks are performed by assigning a unique label to each object and ensuring that the label is associated with… CONTINUE READING
Highly Cited
This paper has 80 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 51 extracted citations

Intelligent Intrusion Detection in Low-Power IoTs

ACM Trans. Internet Techn. • 2016
View 4 Excerpts
Highly Influenced

Checked C: Making C Safe by Extension

2018 IEEE Cybersecurity Development (SecDev) • 2018

Enforcing Unique Code Target Property for Control-Flow Integrity

ACM Conference on Computer and Communications Security • 2018
View 1 Excerpt

81 Citations

Citations per Year
Semantic Scholar estimates that this publication has 81 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…