Searching for previous questions and finding a thread with some useful links suggests you might want to look into these two links:
-
a concise definition of “sound(ness)” in the UCG Glossary: Glossary - Unsafe Code Guidelines Reference (or: permalink to GitHub source)
-
a blog post on soundness by dtolnay: _03__soundness_bugs in dtolnay - Rust