Merge branch 'basop-ci/ubsan-ignorelist' into 'basop-ci-branch'

import pathlib

all_c_files = pathlib.Path(".").glob("lib_*/*.c")

ivas_c_files = pathlib.Path(".").glob("lib_*/ivas*.c")

non_ivas_c_files = sorted(set(all_c_files) - set(ivas_c_files))

with open("ubsan_ignorelist.txt", "w") as f:

    for cfile in non_ivas_c_files:

        print(f"src:{cfile}", file=f)