high-assurance-rust

high-assurance-rust copied to clipboard

Example is missing a generic

3

Hello! I'm looking at https://highassurance.rs/chp7/traits.html#the-map-get-api. The example with the `get` is never introducing the second generics K and V in the code example. ```rust /// Returns a reference to the...

tatupesonen

Remove the word 'an' to improve the grammar.

vishallama

Update the Community Contributors list.

vishallama

SilvanCodes

pixelshot91

Fix https://github.com/tnballo/high-assurance-rust/issues/23

pixelshot91

Fix https://github.com/tnballo/high-assurance-rust/issues/45 The comment at the start of the SVG files disappeared when exporting with Draw.io ``` ``` Don't know if you want to add it back

pixelshot91

Fix https://github.com/tnballo/high-assurance-rust/issues/46

pixelshot91

Error in stack frame diagram?

2

In https://highassurance.rs/chp4/assure_stack_1.html#the-stack, the stack diagram show that the stack frame for the `square` function still exist under all the `recursive_count_down` stack frames. https://github.com/tnballo/high-assurance-rust/blob/main/src/chp4/stack_example.svg But in my understanding, the stack frame...

pixelshot91

Chapter 4.3. - Calling `strlen` on NULL

1

In the C code here https://highassurance.rs/chp4/attack_1.html#breaking-temporal-memory-safety-value-validity, ```c char* greeting = get_greeting(); size_t greeting_len = strlen(greeting); // Excludes null byte

pixelshot91