I am trying to run the ikos static analysis tool on cFS. The default flags present in the cFS repo in cFS/cfe/cmake/sample_defs/arch_build_custom.cmake include the following, with explanations in inline comments:

-Wno-format-truncation      # Inhibit printf-style format truncation warnings
-Wno-stringop-truncation    # Inhibit string operation truncation warnings

Removing those flags will cause a cFS build to fail. However, those flags cannot be handled by ikos-scan, which uses clang under the hood to intercept build commands. The following flags must also be added for ikos-scan to run, even if the above two flags are removed:

-Wno-newline-eof                    # For making IKOS work
-Wno-non-literal-null-conversion    # For making IKOS work

So, if I want to run ikos on a cFS build without creating a non-building configuration, I need to create a build process/option unique for ikos that removes the flags that cause issues and adds the flags that make ikos-scan work. How do I do this?