Stack bounds analysis for microcontroller assembly code.

Jrg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski

Browse the full CASES paper archive.