Skip to main content

Unspecified C Behaviours


Suitable for

MSc in Computer Science


Build instrumentation to check for unspecified behaviours in C, as per Section J.2 (and maybe also J.3) of the C standard. Talk to Michael Tautschnig or Martin Brain for this item.

You can point to for further information.