diff options
author | Eduardo Julian | 2022-11-05 21:23:20 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-11-05 21:23:20 -0400 |
commit | fd8ea1e1b9cae781abe42aeadda2e0ef149994d6 (patch) | |
tree | 7fdc152ac481d4f2a8b7be12c98d11a8c644f541 /documentation/bookmark/security/memory.md | |
parent | 736521eb56a45122eb0a545b677d3ffca1451080 (diff) |
Property-based testing can now log/print successful seeds from run.
Diffstat (limited to '')
-rw-r--r-- | documentation/bookmark/security/memory.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/documentation/bookmark/security/memory.md b/documentation/bookmark/security/memory.md index 3bbd00fe9..f0704a136 100644 --- a/documentation/bookmark/security/memory.md +++ b/documentation/bookmark/security/memory.md @@ -1,4 +1,6 @@ # Reference +0. []() +0. [TAG: Tagged Architecture Guide](https://dl.acm.org/doi/pdf/10.1145/3533704) 0. [Why is memory safety still a concern?](https://docs.google.com/presentation/d/1EscMOcMNOwi-bCgOthjiwIXE30w_SeHk3ahjyY0pX10/edit#slide=id.p) |