fprime-fpy-cmd compiles the full source, extracts the sole ConstCmdDirective, and sends it without honoring the surrounding control flow (src/fpy/main.py:536–581). Consequently, the expression below would send CMD_NO_OP even though normal sequence execution skips it; this finding is based on source analysis, with no command transmitted. Reject anything other than a single bare command call with constant arguments before reaching the send path.
False and (CdhCore.cmdDisp.CMD_NO_OP() == Fw.CmdResponse.OK)
fprime-fpy-cmdcompiles the full source, extracts the soleConstCmdDirective, and sends it without honoring the surrounding control flow (src/fpy/main.py:536–581). Consequently, the expression below would send CMD_NO_OP even though normal sequence execution skips it; this finding is based on source analysis, with no command transmitted. Reject anything other than a single bare command call with constant arguments before reaching the send path.