Explore >> Select a destination

You are here

 embeddedartistry.com
Leveraging Your Toolchain to Improve Security - Embedded Artistry
| | hackingcpp.com
C++ Diagnostic Basics: Warnings, Assertions, Testing | hacking C++
2.9 parsecs away

Travel
| | Basic techniques and tools for ensuring correctness: compiler warnings (gcc/clang/MSVC), assertions (assert/static_assert) and testing (with some doctest examples).
| | rtx.meta.security
CVE-2023-4039: GCC's -fstack-protector fails to guard dynamic stack allocations on ARM64 | Meta Red Team X
3.4 parsecs away

Travel
| | Technical writeups by Meta's Security folks, including Red Team.
| | btorpey.github.io
Using clang's Address Sanitizer (without clang) - Confessions of a Wall Street Programmer
3.8 parsecs away

Travel
| | How to use clang's address sanitizer with gcc to find memory errors
| | www.ralfj.de
Formalizing Rust
15.8 parsecs away

Travel
| My current research project - and the main topic of my PhD thesis - is about developing a semantic model of the Rust programming language and, most importantly, its type system. Rust is an ...