Draft STPA for stack protection #4
Conversation
reiterative
force-pushed
the
reiterative/stack-memory-stpa
branch
from
2c6b49e to
682524d
Compare
|
@coppermanME Thanks for the input, Elana! Sorry that I forgot to include a link to this PR - please can you add your comments here instead of in the files? |
|
[EC] Why only stack overflow issues? [EC] Why is stack depth overflow a concern only for kernel data structures, whereas stack overflow is a concern only for application data? [EC] Assets to be protected are data and code, in kernel and user space. |
reiterative
force-pushed
the
reiterative/stack-memory-stpa
branch
from
9450aaa to
682524d
Compare
This was just a quick initial draft. Very happy to add other hazards related to the stack!
OK. I'll add that.
I was reading about stack depth overflow in the kernel context, and hadn't made the logical connection that it might apply in userspace too.
Will update. |
reiterative
force-pushed
the
reiterative/stack-memory-stpa
branch
4 times, most recently
from
fc80746 to
7172f4f
Compare
reiterative
force-pushed
the
reiterative/stack-memory-stpa
branch
4 times, most recently
from
547597b to
dc750b6
Compare
reiterative
force-pushed
the
reiterative/stack-memory-stpa
branch
from
421da5e to
dfdf709
Compare
reiterative
force-pushed
the
reiterative/stack-memory-stpa
branch
2 times, most recently
from
986e7e3 to
75d63de
Compare
Signed-off-by: Paul Albertella <[email protected]>
* Add assumptions to README * Rewrite losses, hazards and constraints Signed-off-by: Paul Albertella <[email protected]>
Signed-off-by: Paul Albertella <[email protected]>
Signed-off-by: Paul Albertella <[email protected]>
Signed-off-by: Paul Albertella <[email protected]>
* Rename 'Scehduler' to avoid confusion Signed-off-by: Paul Albertella <[email protected]>
Signed-off-by: Paul Albertella <[email protected]>
- Add feedback - Compiler CA applies to all comnponents - Hardware is not only interrupt source - Cosmetic improvements Signed-off-by: Paul Albertella <[email protected]>
* For system components only at this stage Signed-off-by: Paul Albertella <[email protected]>
* Add call stack as a controller * Remove subroutine controllers Signed-off-by: Paul Albertella <[email protected]>
Signed-off-by: Paul Albertella <[email protected]>
reiterative
force-pushed
the
reiterative/stack-memory-stpa
branch
from
75d63de to
e9aed40
Compare
No description provided.