Guarantees and safety

Mon, 01 Jan 0001 00:00:00 +0000

This section brings together the TrustLang capabilities that are responsible for the safety and quality of programs: safe memory management, protection from data races, correctness control at compile time and formal verification.

Each capability is described in detail in exactly one place (the source page) and is only mentioned here with a summary and a link. Detailed lists of options/diagnostics are not duplicated — their source is the tool’s help (trust --help, trust -Whelp, LSP hovers).

Stack overflow protection (stack check)

Mon, 01 Jan 0001 00:00:00 +0000

TrustLang has built-in stack overflow protection. Before calling a protected function, the free space on the thread stack is checked, and if it is insufficient — instead of abnormal termination of the whole application (segmentation fault), a program exception stack_overflow is created, which can be caught and handled inside the application, after which program execution continues.

A detailed description of the implementation and usage methods will be here.

For now you can look at usage examples: recursive computation of Fibonacci numbers and recursive primality check

Safety on TrustLang

Guarantees and safety

Stack overflow protection (stack check)