CodeQL findings — Svc/Ccsds/CfdpManager

devel @ d3003862b5fd · generated 2026-11-03T21:41:25Z
FileLineRuleSeverityMessage
Svc/Ccsds/CfdpManager/Channel.cpp:149149cpp/fprime/for-header-flow-controlmediumThis for-statement header expression modifies the non-loop-control variable cw.
Svc/Ccsds/CfdpManager/Channel.cpp:411411cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Channel.cpp:494494cpp/fprime/checking-parameter-valuesmediumParameter history is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Channel.cpp:495495cpp/fprime/checking-parameter-valuesmediumParameter history is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Channel.cpp:503503cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Channel.cpp:534534cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Channel.cpp:539539cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Channel.cpp:570570cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Channel.cpp:597597cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Channel.cpp:603603cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Channel.cpp:606606cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Channel.cpp:607607cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Channel.cpp:616616cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Channel.cpp:664664cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Channel.cpp:693693cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Channel.cpp:732732cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Channel.cpp:755755cpp/fprime/jpl-c/loop-boundsmediumThe loop counter num_ts is not always incremented in the loop body.
Svc/Ccsds/CfdpManager/Channel.cpp:835835cpp/fprime/checking-parameter-valuesmediumParameter counter is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Channel.cpp:837837cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Channel.cpp:856856cpp/fprime/jpl-c/loop-boundsmediumThis loop does not have a fixed bound.
Svc/Ccsds/CfdpManager/Chunk.cpp:6060cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [memset](1) is not checked.
Svc/Ccsds/CfdpManager/Chunk.cpp:167167cpp/fprime/checking-parameter-valuesmediumParameter chunk is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Chunk.cpp:167167cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [memmove](1) is not checked.
Svc/Ccsds/CfdpManager/Chunk.cpp:169169cpp/fprime/checking-parameter-valuesmediumParameter chunk is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Chunk.cpp:169169cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [memcpy](1) is not checked.
Svc/Ccsds/CfdpManager/Chunk.cpp:179179cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [memmove](1) is not checked.
Svc/Ccsds/CfdpManager/Chunk.cpp:188188cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [memmove](1) is not checked.
Svc/Ccsds/CfdpManager/Chunk.cpp:199199cpp/fprime/jpl-c/loop-boundsmediumThe loop counter count is not always decremented in the loop body.
Svc/Ccsds/CfdpManager/Chunk.cpp:217217cpp/fprime/checking-parameter-valuesmediumParameter chunk is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Chunk.cpp:217217cpp/fprime/checking-parameter-valuesmediumParameter chunk is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Chunk.cpp:258258cpp/fprime/checking-parameter-valuesmediumParameter chunk is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Chunk.cpp:258258cpp/fprime/checking-parameter-valuesmediumParameter chunk is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Chunk.cpp:282282cpp/fprime/checking-parameter-valuesmediumParameter i is used as an array index or divisor without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Clist.cpp:4444cpp/fprime/checking-parameter-valuesmediumParameter node is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Clist.cpp:4545cpp/fprime/checking-parameter-valuesmediumParameter node is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Clist.cpp:5151cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Clist.cpp:5252cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Clist.cpp:7272cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Clist.cpp:7373cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Clist.cpp:9292cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Clist.cpp:103103cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Clist.cpp:104104cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Clist.cpp:105105cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Clist.cpp:127127cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Clist.cpp:128128cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Clist.cpp:129129cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Clist.cpp:157157cpp/fprime/jpl-c/no-boolean-side-effectsmediumThis Boolean expression is not side-effect free.
Svc/Ccsds/CfdpManager/Clist.cpp:195195cpp/fprime/jpl-c/no-boolean-side-effectsmediumThis Boolean expression is not side-effect free.
Svc/Ccsds/CfdpManager/Clist.hpp:8181cpp/fprime/checking-parameter-valuesmediumParameter member_ptr is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:106106cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:106106cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:106106cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:107107cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:135135cpp/fprime/jpl-c/loop-boundsmediumThis loop does not have a fixed bound.
Svc/Ccsds/CfdpManager/Engine.cpp:139139cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:144144cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:147147cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:150150cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:153153cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:182182cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:218218cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:229229cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:233233cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:235235cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:239239cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:241241cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:242242cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:244244cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:245245cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:252252cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [appendTlv](1) is not checked.
Svc/Ccsds/CfdpManager/Engine.cpp:309309cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:310310cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:311311cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:322322cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [appendTlv](1) is not checked.
Svc/Ccsds/CfdpManager/Engine.cpp:330330cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:338338cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:352352cpp/fprime/unguarded-unsigned-subtractionmediumUnsigned subtraction from getSize() with no check that it is at least the subtracted constant; this underflows instead of going negative when the size is too small.
Svc/Ccsds/CfdpManager/Engine.cpp:411411cpp/fprime/jpl-c/no-boolean-side-effectsmediumThis Boolean expression is not side-effect free.
Svc/Ccsds/CfdpManager/Engine.cpp:419419cpp/fprime/jpl-c/no-boolean-side-effectsmediumThis Boolean expression is not side-effect free.
Svc/Ccsds/CfdpManager/Engine.cpp:445445cpp/fprime/jpl-c/no-boolean-side-effectsmediumThis Boolean expression is not side-effect free.
Svc/Ccsds/CfdpManager/Engine.cpp:479479cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:491491cpp/fprime/jpl-c/loop-boundsmediumThis loop does not have a fixed bound.
Svc/Ccsds/CfdpManager/Engine.cpp:508508cpp/fprime/jpl-c/loop-boundsmediumThis loop does not have a fixed bound.
Svc/Ccsds/CfdpManager/Engine.cpp:526526cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:532532cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:556556cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/Engine.cpp:561561cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [sendAck](1) is not checked.
Svc/Ccsds/CfdpManager/Engine.cpp:576576cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/Engine.cpp:587587cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:591591cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:592592cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:621621cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/Engine.cpp:625625cpp/fprime/jpl-c/no-boolean-side-effectsmediumThis Boolean expression is not side-effect free.
Svc/Ccsds/CfdpManager/Engine.cpp:654654cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:672672cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/Engine.cpp:699699cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/Engine.cpp:701701cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [sendFinAckStateless](1) is not checked.
Svc/Ccsds/CfdpManager/Engine.cpp:797797cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:803803cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:804804cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:805805cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:807807cpp/fprime/checking-parameter-valuesmediumParameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:897897cpp/fprime/checking-parameter-valuesmediumParameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:903903cpp/fprime/checking-parameter-valuesmediumParameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:904904cpp/fprime/checking-parameter-valuesmediumParameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:905905cpp/fprime/checking-parameter-valuesmediumParameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:906906cpp/fprime/checking-parameter-valuesmediumParameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:907907cpp/fprime/checking-parameter-valuesmediumParameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:908908cpp/fprime/checking-parameter-valuesmediumParameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:911911cpp/fprime/checking-parameter-valuesmediumParameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:912912cpp/fprime/checking-parameter-valuesmediumParameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:932932cpp/fprime/checking-parameter-valuesmediumParameter chan is used as an array index or divisor without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/Engine.cpp:11301130cpp/fprime/jpl-c/use-of-assertions-non-booleanmediumAssertions should be defined as Boolean tests.
Svc/Ccsds/CfdpManager/Engine.cpp:11731173cpp/fprime/jpl-c/loop-boundsmediumThis loop does not have a fixed bound.
Svc/Ccsds/CfdpManager/Engine.cpp:11811181cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [format](1) is not checked.
Svc/Ccsds/CfdpManager/Engine.cpp:11851185cpp/fprime/checking-parameter-valuesmediumParameter chan_num is used as an array index or divisor without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/TransactionRx.cpp:8484cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [memset](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:8585cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [memset](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:103103cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [memset](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:104104cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [memset](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:355355cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [format](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:493493cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:574574cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:634634cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:674674cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:728728cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:769769cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:814814cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [addSegment](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:883883cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [addSegment](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:900900cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [memset](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:930930cpp/fprime/jpl-c/loop-boundsmediumThe loop counter count_bytes is not always incremented in the loop body. The loop counter rx_crc_calc_bytes is not always incremented in the loop body.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:10341034cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:10681068cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:10811081cpp/fprime/jpl-c/no-boolean-side-effectsmediumThis Boolean expression is not side-effect free.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:11681168cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionTx.cpp:6161cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [memset](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionTx.cpp:281281cpp/fprime/checking-parameter-valuesmediumParameter cont is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/TransactionTx.cpp:594594cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionTx.cpp:636636cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionTx.cpp:649649cpp/fprime/jpl-c/loop-boundsmediumThis loop does not have a fixed bound.
Svc/Ccsds/CfdpManager/TransactionTx.cpp:694694cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionTx.cpp:744744cpp/fprime/jpl-c/checking-return-valuesmediumThe return value of non-void function [setBuffLen](1) is not checked.
Svc/Ccsds/CfdpManager/TransactionTx.cpp:755755cpp/fprime/checking-parameter-valuesmediumParameter dispatch is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/TransactionTx.cpp:782782cpp/fprime/checking-parameter-valuesmediumParameter dispatch is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/TransactionTx.cpp:794794cpp/fprime/checking-parameter-valuesmediumParameter dispatch is dereferenced without first being checked (e.g. with FW_ASSERT or a condition).
Svc/Ccsds/CfdpManager/CfdpManager.cpp:323323cpp/jpl-c/function-size-limitslowSendFile_cmdHandler has too many parameters (9, while 6 are allowed).
Svc/Ccsds/CfdpManager/CfdpManager.cpp:349349cpp/jpl-c/function-size-limitslowPlaybackDirectory_cmdHandler has too many parameters (9, while 6 are allowed).
Svc/Ccsds/CfdpManager/CfdpManager.cpp:377377cpp/jpl-c/function-size-limitslowPollDirectory_cmdHandler has too many parameters (10, while 6 are allowed).
Svc/Ccsds/CfdpManager/Channel.cpp:5151cpp/jpl-c/function-size-limitslowChannel has too many lines (116, while 60 are allowed).
Svc/Ccsds/CfdpManager/Channel.cpp:101101cpp/fprime/jpl-c/multiple-var-decls-per-linelowMultiple variable declarations on the same line.
Svc/Ccsds/CfdpManager/Channel.cpp:173173cpp/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/Ccsds/CfdpManager/Channel.cpp:212212cpp/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/Ccsds/CfdpManager/Channel.cpp:268268cpp/jpl-c/function-size-limitslowtickTransactions has too many lines (66, while 60 are allowed).
Svc/Ccsds/CfdpManager/Channel.cpp:335335cpp/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/Ccsds/CfdpManager/Channel.cpp:352352cpp/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/Ccsds/CfdpManager/Channel.cpp:456456cpp/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/Ccsds/CfdpManager/Channel.cpp:476476cpp/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/Ccsds/CfdpManager/Channel.cpp:538538cpp/jpl-c/function-size-limitslowmoveTransaction has too many lines (62, while 60 are allowed).
Svc/Ccsds/CfdpManager/Channel.cpp:748748cpp/jpl-c/function-size-limitslowprocessPlaybackDirectory has too many lines (80, while 60 are allowed).
Svc/Ccsds/CfdpManager/Channel.cpp:875875cpp/fprime/jpl-c/non-const-function-pointerlowThis call does not go through a const function pointer.
Svc/Ccsds/CfdpManager/Channel.cpp:930930cpp/fprime/jpl-c/non-const-function-pointerlowThis call does not go through a const function pointer.
Svc/Ccsds/CfdpManager/Chunk.cpp:8787cpp/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/Ccsds/CfdpManager/Chunk.cpp:125125cpp/fprime/jpl-c/non-const-function-pointerlowThis call does not go through a const function pointer.
Svc/Ccsds/CfdpManager/Chunk.cpp:134134cpp/fprime/jpl-c/non-const-function-pointerlowThis call does not go through a const function pointer.
Svc/Ccsds/CfdpManager/Chunk.cpp:151151cpp/fprime/jpl-c/non-const-function-pointerlowThis call does not go through a const function pointer.
Svc/Ccsds/CfdpManager/Chunk.cpp:193193cpp/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/Ccsds/CfdpManager/Chunk.cpp:275275cpp/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/Ccsds/CfdpManager/Chunk.hpp:7575cpp/jpl-c/hidden-pointer-indirection-typedeflowThe typedef GapComputeCallback hides pointer indirection.
Svc/Ccsds/CfdpManager/Clist.cpp:157157cpp/fprime/jpl-c/non-const-function-pointerlowThis call does not go through a const function pointer.
Svc/Ccsds/CfdpManager/Clist.cpp:195195cpp/fprime/jpl-c/non-const-function-pointerlowThis call does not go through a const function pointer.
Svc/Ccsds/CfdpManager/Clist.hpp:9595cpp/jpl-c/hidden-pointer-indirection-typedeflowThe typedef CListFunc hides pointer indirection.
Svc/Ccsds/CfdpManager/Clist.hpp:103103cpp/jpl-c/hidden-pointer-indirection-typedeflowThe typedef CListTraverseCallback hides pointer indirection.
Svc/Ccsds/CfdpManager/Engine.cpp:131131cpp/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/Ccsds/CfdpManager/Engine.cpp:170170cpp/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/Ccsds/CfdpManager/Engine.cpp:530530cpp/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/Ccsds/CfdpManager/Engine.cpp:569569cpp/jpl-c/function-size-limitslowrecvInit has too many lines (89, while 60 are allowed).
Svc/Ccsds/CfdpManager/Engine.cpp:659659cpp/jpl-c/function-size-limitslowreceivePdu has too many lines (73, while 60 are allowed).
Svc/Ccsds/CfdpManager/Engine.cpp:791791cpp/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/Ccsds/CfdpManager/Engine.cpp:810810cpp/jpl-c/function-size-limitslowtxFile has too many parameters (8, while 6 are allowed).
Svc/Ccsds/CfdpManager/Engine.cpp:885885cpp/jpl-c/function-size-limitslowplaybackDirInitiate has too many parameters (8, while 6 are allowed).
Svc/Ccsds/CfdpManager/Engine.cpp:919919cpp/jpl-c/function-size-limitslowplaybackDir has too many parameters (7, while 6 are allowed).
Svc/Ccsds/CfdpManager/Engine.cpp:948948cpp/jpl-c/function-size-limitslowstartPollDir has too many parameters (8, while 6 are allowed).
Svc/Ccsds/CfdpManager/Engine.cpp:10411041cpp/jpl-c/function-size-limitslowfinishTransaction has too many lines (99, while 60 are allowed).
Svc/Ccsds/CfdpManager/Engine.cpp:11471147cpp/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/Ccsds/CfdpManager/Engine.cpp:11591159cpp/fprime/jpl-c/non-const-function-pointerlowThis call does not go through a const function pointer.
Svc/Ccsds/CfdpManager/Transaction.hpp:7070cpp/jpl-c/hidden-pointer-indirection-typedeflowThe typedef StateSendFunc hides pointer indirection.
Svc/Ccsds/CfdpManager/Transaction.hpp:8282cpp/jpl-c/hidden-pointer-indirection-typedeflowThe typedef StateRecvFunc hides pointer indirection.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:9090cpp/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/Ccsds/CfdpManager/TransactionRx.cpp:130130cpp/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/Ccsds/CfdpManager/TransactionRx.cpp:156156cpp/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/Ccsds/CfdpManager/TransactionRx.cpp:240240cpp/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/Ccsds/CfdpManager/TransactionRx.cpp:240240cpp/jpl-c/function-size-limitslowrTick has too many lines (91, while 60 are allowed).
Svc/Ccsds/CfdpManager/TransactionRx.cpp:485485cpp/jpl-c/function-size-limitslowrProcessFd has too many lines (81, while 60 are allowed).
Svc/Ccsds/CfdpManager/TransactionRx.cpp:567567cpp/jpl-c/function-size-limitslowrSubstateRecvEof has too many lines (61, while 60 are allowed).
Svc/Ccsds/CfdpManager/TransactionRx.cpp:586586cpp/fprime/incomplete-codelowComment contains the incomplete-code marker TODO.
Svc/Ccsds/CfdpManager/TransactionRx.cpp:826826cpp/jpl-c/function-size-limitslowrSubstateSendNak has too many lines (64, while 60 are allowed).
Svc/Ccsds/CfdpManager/TransactionRx.cpp:891891cpp/jpl-c/function-size-limitslowr2CalcCrcChunk has too many lines (110, while 60 are allowed).
Svc/Ccsds/CfdpManager/TransactionRx.cpp:10501050cpp/jpl-c/function-size-limitslowr2RecvMd has too many lines (85, while 60 are allowed).
Svc/Ccsds/CfdpManager/TransactionRx.cpp:11971197cpp/fprime/jpl-c/non-const-function-pointerlowThis call does not go through a const function pointer.
Svc/Ccsds/CfdpManager/TransactionTx.cpp:8282cpp/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/Ccsds/CfdpManager/TransactionTx.cpp:181181cpp/jpl-c/function-size-limitslowsTick has too many lines (91, while 60 are allowed).
Svc/Ccsds/CfdpManager/TransactionTx.cpp:336336cpp/jpl-c/function-size-limitslowsSendFileData has too many lines (79, while 60 are allowed).
Svc/Ccsds/CfdpManager/TransactionTx.cpp:416416cpp/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/Ccsds/CfdpManager/TransactionTx.cpp:487487cpp/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/Ccsds/CfdpManager/TransactionTx.cpp:506506cpp/jpl-c/function-size-limitslowsSubstateSendMetadata has too many lines (62, while 60 are allowed).
Svc/Ccsds/CfdpManager/TransactionTx.cpp:775775cpp/fprime/jpl-c/non-const-function-pointerlowThis call does not go through a const function pointer.
Svc/Ccsds/CfdpManager/TransactionTx.cpp:784784cpp/fprime/jpl-c/non-const-function-pointerlowThis call does not go through a const function pointer.
Svc/Ccsds/CfdpManager/TransactionTx.cpp:796796cpp/fprime/jpl-c/non-const-function-pointerlowThis call does not go through a const function pointer.