commoncriteria / operatingsystem

Protection Profile for Operating Systems
The Unlicense
9 stars 6 forks source link

stack-based buffer overflow protection req #93

Closed jeffblank closed 6 years ago

jeffblank commented 9 years ago

make more repeatable / precise

kgal commented 6 years ago

We're now doing static analysis to find stack canaries.