Dependable C

Introduction

• ImplementationSuport
• C version
• Why not fix C

Requirements

• Requirements

General Advice

• Warnings
• C++ compatibility
• Standard library

Concepts of C

• As-If
• undefined behavior

Keywords

• flow control
• keyword list
• reserved keywords

Types

• Endianess
• floats
• Initialization in C
• Types Sizes
• Bool

Operators

• Comparasions
• shifts

C Versions

• C99
• C11
• C17
• C23

Memory Model

• VLAs are broken
• Concurrency
• Effective type in c
• Flexible array member
• recomendations

Dependable UB

• Dependable UB

Extra

• Memory debugger
• tweets
• Why is C the safest language

About

• About