Coccinelle is a utility tool used to match specific code patterns in
order to modify or statically analyze them.
".cocci"scripts (Semantic Patches) are used to define such patterns and
also to specify what actions have to be performed.
Add script coccicheck, which allows to execute Coccinelle semantic
patches on top of op-tee source code.
It is called using the "coccicheck" target in the op-tee Makefile.
The script invokes semantic patches in 3 fashions:
	- use a single semantic patch: specify and execute a single
	  semantic patch from the local set.
	- use multiple semantic patches: execute all semantic patches
	  from the local set.
	- use a subset of external patches: specify a single or
	  multiple semantic patches, defined outside of the local set.

Reviewed-by: Paolo Valente <[email protected]>
Signed-off-by: Andrea Tagliavini <[email protected]>

Add a semantic patch that matches various boolean expressions that
compare to NULL, and produces patches that replace them with an
equivalent reduced form (e.g. "foo == NULL" becomes "!foo").

Reviewed-by: Paolo Valente <[email protected]>
Signed-off-by: Andrea Tagliavini <[email protected]>

Add a semantic patch that matches non-initialized variables and produces
patches that set values depending on the variable type.
  - Numeric variables are set to 0
  - Size_t arrays are set to {0}
  - Other arrays are set to {NULL}
  - Every other variable is set to NULL

Reviewed-by: Paolo Valente <[email protected]>
Signed-off-by: Andrea Tagliavini <[email protected]>

Add a semantic patch that matches the following construct:
  if(A + B > C)
For each occurrence of the construct, a warning is printed, in order to
highlight possible overflows.

Reviewed-by: Paolo Valente <[email protected]>
Signed-off-by: Andrea Tagliavini <[email protected]>

Add SPDX-License-Identifier.
Add option USE_SUBTREE, which let one run semantic patches on a
specific directory instead of the whole tree.

Signed-off-by: Andrea Tagliavini <[email protected]>

Add SPDX-License-Identifier to semantic patches.

Signed-off-by: Andrea Tagliavini <[email protected]>