Jobs Library Features

Memory Usage

All functions in the jobs library operate only on the buffers provided, and use only local variables on the stack.

Compliance & Coverage

The jobs library is designed to be compliant with ISO C90 and MISRA C:2012. All functions are written to have minimal complexity. Unit tests and CBMC proofs are written to cover every path of execution and achieve 100% branch coverage.