Safecpp Component Architecture#
Safecpp Architecture
|
status: valid
security: YES
safety: ASIL_B
|
||||
Overview/Description#
Static Architecture#
SafeCpp
|
status: valid
security: YES
safety: ASIL_B
|
||||
|
|||||
Interfaces#
Aborts Upon Exception
|
status: valid
security: YES
safety: ASIL_B
|
||||
Allocate exception
|
status: valid
security: YES
safety: ASIL_B
|
||||
Coverage Termination Handler
|
status: valid
security: YES
safety: ASIL_B
|
||||
Terminate_handler
|
status: valid
security: YES
safety: ASIL_B
|
||||
Signal_handler
|
status: valid
security: YES
safety: ASIL_B
|
||||
Safe Math
|
status: valid
security: YES
safety: ASIL_B
|
||||
Add
|
status: valid
security: YES
safety: ASIL_B
|
||||
Subtract
|
status: valid
security: YES
safety: ASIL_B
|
||||
Multiply
|
status: valid
security: YES
safety: ASIL_B
|
||||
Divide
|
status: valid
security: YES
safety: ASIL_B
|
||||
Negate
|
status: valid
security: YES
safety: ASIL_B
|
||||
Abs
|
status: valid
security: YES
safety: ASIL_B
|
||||
Cast
|
status: valid
security: YES
safety: ASIL_B
|
||||
Less
|
status: valid
security: YES
safety: ASIL_B
|
||||
Greater
|
status: valid
security: YES
safety: ASIL_B
|
||||
Equal
|
status: valid
security: YES
safety: ASIL_B
|
||||
Notequal
|
status: valid
security: YES
safety: ASIL_B
|
||||
Lessequal
|
status: valid
security: YES
safety: ASIL_B
|
||||
Greaterequal
|
status: valid
security: YES
safety: ASIL_B
|
||||
Safe Atomics
|
status: valid
security: YES
safety: ASIL_B
|
||||
Atomic Add
|
status: valid
security: YES
safety: ASIL_B
|
||||
Scoped Function
|
status: valid
security: YES
safety: ASIL_B
|
||||
Move Only Scoped Function
|
status: valid
security: YES
safety: ASIL_B
|
||||
Copyable Scoped Function
|
status: valid
security: YES
safety: ASIL_B
|
||||
Expire
|
status: valid
security: YES
safety: ASIL_B
|
||||
String View
|
status: valid
security: YES
safety: ASIL_B
|
||||
Null Termination Check
|
status: valid
security: YES
safety: ASIL_B
|
||||