Fork of riscv-vp for the FDL21 paper: In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes.
For instructions on building/installing this software. Refer to the original riscv-vp installation instructions.
- The In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes paper about to be published as part of FDL 2021.
- The stack-usage-db tool which can be used to
generate stack usage databases, passed to the VP, using the
--stack-usage
command-line flag. - The artifacts used for evaluating this implementation in the aforementioned paper using the RIOT operating system.
This work was supported in part by the German Federal Ministry of Education and Research (BMBF) within the project Scale4Edge under contract no. 16ME0127 and within the project VerSys under contract no. 01IW19001.