knurling-rs / flip-link

Adds zero-cost stack overflow protection to your embedded programs
Apache License 2.0
271 stars 6 forks source link

Verify initial stack-pointer to be inside `static RAM` #41

Closed Urhengulas closed 3 years ago

Urhengulas commented 3 years ago

This PR verifies that the initial stack-pointer of each of the four example apps is inside the static RAM region, after being linked with flip-link.

I've made the choice to have one test for all example apps, instead of one test for each test. This approach is a bit easier to implement, but has the drawback of less error-resolution. E.g. if one of the examples would fail to compile the tests fail completely, instead of running the other ones successfully.

Depends on #40 and fixes #25.

japaric commented 3 years ago

bors r+

bors[bot] commented 3 years ago

Build succeeded: