CodeQL findings — Svc/WasmSequencer

devel @ 79819c5815de · generated 2026-09-23T21:24:50Z
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:377377cpp/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:396396cpp/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:410410cpp/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:425425cpp/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:441441cpp/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:210210cpp/fprime/checking-parameter-valuesmediumParameter outLen is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/WasmSequencer/WasmSequencerController.cpp:214214cpp/fprime/checking-parameter-valuesmediumParameter outBuf is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/WasmSequencer/WasmSequencerController.cpp:215215cpp/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:268268cpp/fprime/jpl-c/no-boolean-side-effectsmediumThis Boolean expression is not side-effect free.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:360360cpp/fprime/jpl-c/no-boolean-side-effectsmediumThis Boolean expression is not side-effect free.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:483483cpp/fprime/jpl-c/no-boolean-side-effectsmediumThis Boolean expression is not side-effect free.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:516516cpp/fprime/switch-defaultmediumThis switch statement does not have a default case.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:589589cpp/fprime/switch-defaultmediumThis switch statement does not have a default case.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:640640cpp/fprime/switch-defaultmediumThis switch statement does not have a default case.
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:703703cpp/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:345345cpp/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:399399cpp/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:409409cpp/fprime/magic-numberslowMagic number 999999u; consider a named constant (enum, static constexpr, or #define).
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:606606cpp/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:627627cpp/fprime/magic-numberslowMagic number 0.5f; consider a named constant (enum, static constexpr, or #define).
Svc/WasmSequencer/WasmSequencerInterpreter.cpp:656656cpp/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).