Skip to content

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

License

Notifications You must be signed in to change notification settings

agra-uni-bremen/fdl21-stackuse-vp

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

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

Topics

Resources

License

Stars

Watchers

Forks