Safety

Table of contents

Overview

Safe and unsafe code

Safety modes

Memory safety model

Data races versus unsynchronized temporal safety

Safe library ecosystem

Build modes

Constraints

Probabilistic techniques likely cannot stop attacks

References