andyxieyong / fdl21-stackuse-vp

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

stackuse-vp

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.

Installation

For instructions on building/installing this software. Refer to the original riscv-vp installation instructions.

Additional Resources

• 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.

Acknowledgements

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.