2 Hits in 5.9 sec

PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations [article]

Tina Jung, Fabian Ritter, Sebastian Hack, Universität Des Saarlandes
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

OASIcs, Volume 8, WCET'08, Complete Volume [article]

Raimund Kirner
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