Y. Arahori, K. Gondow, and H. Maejima (Japan)
software tools, compilers, dynamic analysis, bounds checking, multi-threads, region management
There have been a large number of bounds checking techniques proposed for C. Among them, the approach proposed by Jones and Kelly (extended by Ruwase and Lam and further extended by Dhurjati and Adve) is the only one we know of that is both backwards-compatible and precise. Even the approach, however, can incur serious compatibility problems with threads. This paper proposes a collection of techniques to avoid such problems. Our experimental results show that our bounds checking is highly compatible with large multi-threaded programs (including Apache 2.2.2) and that it can detect boundary errors caused by them precisely.
Important Links:
Go Back
