CodeQL findings — Svc/WasmSequencer

devel @ d32863dd6395 · generated 2026-10-14T21:28:12Z
FileLineRuleSeverityMessage
Svc/WasmSequencer/WasmSequencer.cpp:310310cpp/fprime/switch-defaultmediumThis switch statement does not have a default case.
Svc/WasmSequencer/WasmSequencer.cpp:313313cpp/fprime/jpl-c/loop-boundsmediumThis loop does not have a fixed bound.
Svc/WasmSequencer/WasmSequencer.cpp:361361cpp/fprime/command-responsemediumCommand handler RUN_cmdHandler has a path that neither calls cmdResponse_out nor saves opCode and cmdSeq into member variables read by a deferred cmdResponse_out call.
Svc/WasmSequencer/WasmSequencer.cpp:376376cpp/fprime/command-responsemediumCommand handler WAIT_cmdHandler has a path that neither calls cmdResponse_out nor saves opCode and cmdSeq into member variables read by a deferred cmdResponse_out call.
Svc/WasmSequencer/WasmSequencer.cpp:395395cpp/fprime/command-responsemediumCommand handler LOAD_cmdHandler has a path that neither calls cmdResponse_out nor saves opCode and cmdSeq into member variables read by a deferred cmdResponse_out call.
Svc/WasmSequencer/WasmSequencer.cpp:409409cpp/fprime/command-responsemediumCommand handler INVOKE_cmdHandler has a path that neither calls cmdResponse_out nor saves opCode and cmdSeq into member variables read by a deferred cmdResponse_out call.
Svc/WasmSequencer/WasmSequencer.cpp:422422cpp/fprime/command-responsemediumCommand handler CANCEL_cmdHandler has a path that neither calls cmdResponse_out nor saves opCode and cmdSeq into member variables read by a deferred cmdResponse_out call.
Svc/WasmSequencer/WasmSequencer.cpp:438438cpp/fprime/command-responsemediumCommand handler CONTINUE_cmdHandler has a path that neither calls cmdResponse_out nor saves opCode and cmdSeq into member variables read by a deferred cmdResponse_out call.
Svc/WasmSequencer/WasmSequencerController.cpp:207207cpp/fprime/checking-parameter-valuesmediumParameter outLen is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/WasmSequencer/WasmSequencerController.cpp:211211cpp/fprime/checking-parameter-valuesmediumParameter outBuf is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/WasmSequencer/WasmSequencerController.cpp:212212cpp/fprime/checking-parameter-valuesmediumParameter outLen is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/WasmSequencer/WasmSequencerHelpers.cpp:9696cpp/fprime/checking-parameter-valuesmediumParameter ptr is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/WasmSequencer/WasmSequencerHelpers.cpp:264264cpp/fprime/jpl-c/loop-boundsmediumThis loop does not have a fixed bound.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:4141cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:193193cpp/fprime/switch-defaultmediumThis switch statement does not have a default case.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:265265cpp/fprime/jpl-c/no-boolean-side-effectsmediumThis Boolean expression is not side-effect free.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:357357cpp/fprime/jpl-c/no-boolean-side-effectsmediumThis Boolean expression is not side-effect free.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:453453cpp/fprime/jpl-c/no-boolean-side-effectsmediumThis Boolean expression is not side-effect free.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:486486cpp/fprime/switch-defaultmediumThis switch statement does not have a default case.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:559559cpp/fprime/switch-defaultmediumThis switch statement does not have a default case.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:610610cpp/fprime/switch-defaultmediumThis switch statement does not have a default case.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:673673cpp/fprime/jpl-c/loop-boundsmediumThis loop does not have a fixed bound.
Svc/WasmSequencer/WasmSequencer.cpp:6969cpp/jpl-c/function-size-limitslowconfigure has too many lines (68, while 60 are allowed).
Svc/WasmSequencer/WasmSequencer.cpp:138138cpp/fprime/jpl-c/use-of-assertions-densitylowAll functions of more than 10 lines should have at least one assertion, unless they handle errors by returning a status enum or bool, or by emitting a WARNING/FATAL event.
Svc/WasmSequencer/WasmSequencer.cpp:282282cpp/jpl-c/function-size-limitslowserialIn_handler has too many lines (74, while 60 are allowed).
Svc/WasmSequencer/WasmSequencerController.cpp:340340cpp/fprime/jpl-c/use-of-assertions-densitylowAll functions of more than 10 lines should have at least one assertion, unless they handle errors by returning a status enum or bool, or by emitting a WARNING/FATAL event.
Svc/WasmSequencer/WasmSequencerHelpers.cpp:6666cpp/fprime/jpl-c/use-of-assertions-densitylowAll functions of more than 10 lines should have at least one assertion, unless they handle errors by returning a status enum or bool, or by emitting a WARNING/FATAL event.
Svc/WasmSequencer/WasmSequencerHelpers.cpp:363363cpp/fprime/jpl-c/use-of-assertions-densitylowAll functions of more than 10 lines should have at least one assertion, unless they handle errors by returning a status enum or bool, or by emitting a WARNING/FATAL event.
Svc/WasmSequencer/WasmSequencerHost.cpp:7878cpp/jpl-c/hidden-pointer-indirection-typedeflowThe typedef HostFn hides pointer indirection.
Svc/WasmSequencer/WasmSequencerHost.cpp:9191cpp/fprime/jpl-c/non-const-function-pointerlowThis call does not go through a const function pointer.
Svc/WasmSequencer/WasmSequencerHost.cpp:9797cpp/fprime/magic-numberslowMagic number 12; consider a named constant (enum, static constexpr, or #define).
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:4646cpp/fprime/jpl-c/basic-int-typeslowfuel uses the basic integral type unsigned long rather than a typedef with size and signedness.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:396396cpp/fprime/jpl-c/use-of-assertions-densitylowAll functions of more than 10 lines should have at least one assertion, unless they handle errors by returning a status enum or bool, or by emitting a WARNING/FATAL event.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:406406cpp/fprime/magic-numberslowMagic number 999999u; consider a named constant (enum, static constexpr, or #define).
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:576576cpp/fprime/jpl-c/use-of-assertions-densitylowAll functions of more than 10 lines should have at least one assertion, unless they handle errors by returning a status enum or bool, or by emitting a WARNING/FATAL event.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:597597cpp/fprime/magic-numberslowMagic number 0.5f; consider a named constant (enum, static constexpr, or #define).
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:626626cpp/jpl-c/function-size-limitslowSvc_WasmSequencer_InterpreterStateMachine_action_dequeueSerialAndResume has too many lines (91, while 60 are allowed).
Svc/WasmSequencer/spacewasm_include/spacewasm.h:374374cpp/jpl-c/hidden-pointer-indirection-typedeflowThe typedef spacewasm_alloc_fn_t hides pointer indirection.
Svc/WasmSequencer/spacewasm_include/spacewasm.h:380380cpp/jpl-c/hidden-pointer-indirection-typedeflowThe typedef spacewasm_realloc_fn_t hides pointer indirection.
Svc/WasmSequencer/spacewasm_include/spacewasm.h:389389cpp/jpl-c/hidden-pointer-indirection-typedeflowThe typedef spacewasm_dealloc_fn_t hides pointer indirection.
Svc/WasmSequencer/spacewasm_include/spacewasm.h:419419cpp/jpl-c/hidden-pointer-indirection-typedeflowThe typedef spacewasm_host_fn_t hides pointer indirection.
Svc/WasmSequencer/spacewasm_include/spacewasm.h:431431cpp/jpl-c/hidden-pointer-indirection-typedeflowThe typedef spacewasm_read_fn_t hides pointer indirection.
Svc/WasmSequencer/spacewasm_include/spacewasm.h:461461cpp/jpl-c/hidden-pointer-indirection-typedeflowThe typedef spacewasm_global_alloc_fn_t hides pointer indirection.
Svc/WasmSequencer/spacewasm_include/spacewasm.h:466466cpp/jpl-c/hidden-pointer-indirection-typedeflowThe typedef spacewasm_global_dealloc_fn_t hides pointer indirection.
Svc/WasmSequencer/spacewasm_include/spacewasm.h:528528cpp/jpl-c/function-size-limitslowspacewasm_add_host_function has too many parameters (7, while 6 are allowed).