A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
Memory safety violations such as buffer overflows are a threat to security to this day. A common solution to ensure memory safety for C is code instrumentation. ... In this article, we present PICO, an approach to eliminate and replace in-bounds checks. ... CONCLUSIONS We presented PICO, an optimization for compiler-based memory safety instrumentations. PICO computes Presburger formulas for in-bounds conditions of memory accesses. ...doi:10.22028/d291-34529 fatcat:4t77afetkngnra7s4ihb7x6jmi
We would like to thank Raimund Kirner for his support in integrating his tool CALCWCET 167 and Albrecht Kadlec for many related discussions. ... Acknowledgments We would like to thank Niklas Holsti from Tidorum Ltd for his valuable comments on this paper. Acknowledgements. ... Optimization and Analysis In the following, we propose a combination of optimization and analysis of a memory layout in order to compute safe WCET bounds for preemptively scheduled tasks. ...doi:10.4230/oasics.wcet.2008 fatcat:gohrtwqyzbfwdckw3fryeikrge