| 
|
Quote: SafeTSA assigns a separate register plane for every type; guarantees type separation without type and range checks
topics >
all references >
references a-b >
Group:
type checking
Topic:
static single assignment; SSA
Quotation Skeleton
Another key idea of SafeTSA is "type separation": … program cannot undermine type safety and concomitant memory … code producer's side in a manner that cannot … [p. 138] SafeTSA uses a model in which there … [p. 139] every instruction automatically selects the appropriate plane … There is no way a malicious adversary can … Google-1 Google-2
Copyright clearance needed for quotation.
Group: type checking (12 topics, 385 quotes)
Topic: static single assignment; SSA (19 items)