| Svc/Ccsds/CfdpManager/Channel.cpp:149 | 149 | cpp/fprime/for-header-flow-control | medium | This for-statement header expression modifies the non-loop-control variable cw. |
| Svc/Ccsds/CfdpManager/Channel.cpp:411 | 411 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Channel.cpp:494 | 494 | cpp/fprime/checking-parameter-values | medium | Parameter history is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Channel.cpp:495 | 495 | cpp/fprime/checking-parameter-values | medium | Parameter history is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Channel.cpp:503 | 503 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Channel.cpp:534 | 534 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Channel.cpp:539 | 539 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Channel.cpp:570 | 570 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Channel.cpp:597 | 597 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Channel.cpp:603 | 603 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Channel.cpp:606 | 606 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Channel.cpp:607 | 607 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Channel.cpp:616 | 616 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Channel.cpp:664 | 664 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Channel.cpp:693 | 693 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Channel.cpp:732 | 732 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Channel.cpp:755 | 755 | cpp/fprime/jpl-c/loop-bounds | medium | The loop counter num_ts is not always incremented in the loop body. |
| Svc/Ccsds/CfdpManager/Channel.cpp:814 | 814 | cpp/fprime/checking-parameter-values | medium | Parameter counter is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Channel.cpp:816 | 816 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Channel.cpp:835 | 835 | cpp/fprime/jpl-c/loop-bounds | medium | This loop does not have a fixed bound. |
| Svc/Ccsds/CfdpManager/Chunk.cpp:60 | 60 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [memset](1) is not checked. |
| Svc/Ccsds/CfdpManager/Chunk.cpp:167 | 167 | cpp/fprime/checking-parameter-values | medium | Parameter chunk is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Chunk.cpp:167 | 167 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [memmove](1) is not checked. |
| Svc/Ccsds/CfdpManager/Chunk.cpp:169 | 169 | cpp/fprime/checking-parameter-values | medium | Parameter chunk is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Chunk.cpp:169 | 169 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [memcpy](1) is not checked. |
| Svc/Ccsds/CfdpManager/Chunk.cpp:179 | 179 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [memmove](1) is not checked. |
| Svc/Ccsds/CfdpManager/Chunk.cpp:188 | 188 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [memmove](1) is not checked. |
| Svc/Ccsds/CfdpManager/Chunk.cpp:199 | 199 | cpp/fprime/jpl-c/loop-bounds | medium | The loop counter count is not always decremented in the loop body. |
| Svc/Ccsds/CfdpManager/Chunk.cpp:217 | 217 | cpp/fprime/checking-parameter-values | medium | Parameter chunk is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Chunk.cpp:217 | 217 | cpp/fprime/checking-parameter-values | medium | Parameter chunk is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Chunk.cpp:258 | 258 | cpp/fprime/checking-parameter-values | medium | Parameter chunk is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Chunk.cpp:258 | 258 | cpp/fprime/checking-parameter-values | medium | Parameter chunk is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Chunk.cpp:282 | 282 | cpp/fprime/checking-parameter-values | medium | Parameter 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:44 | 44 | cpp/fprime/checking-parameter-values | medium | Parameter node is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Clist.cpp:45 | 45 | cpp/fprime/checking-parameter-values | medium | Parameter node is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Clist.cpp:51 | 51 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Clist.cpp:52 | 52 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Clist.cpp:72 | 72 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Clist.cpp:73 | 73 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Clist.cpp:92 | 92 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Clist.cpp:103 | 103 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Clist.cpp:104 | 104 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Clist.cpp:105 | 105 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Clist.cpp:127 | 127 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Clist.cpp:128 | 128 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Clist.cpp:129 | 129 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Clist.cpp:157 | 157 | cpp/fprime/jpl-c/no-boolean-side-effects | medium | This Boolean expression is not side-effect free. |
| Svc/Ccsds/CfdpManager/Clist.cpp:195 | 195 | cpp/fprime/jpl-c/no-boolean-side-effects | medium | This Boolean expression is not side-effect free. |
| Svc/Ccsds/CfdpManager/Clist.hpp:81 | 81 | cpp/fprime/checking-parameter-values | medium | Parameter member_ptr is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:105 | 105 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:105 | 105 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:105 | 105 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:106 | 106 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:134 | 134 | cpp/fprime/jpl-c/loop-bounds | medium | This loop does not have a fixed bound. |
| Svc/Ccsds/CfdpManager/Engine.cpp:138 | 138 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:143 | 143 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:146 | 146 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:149 | 149 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:152 | 152 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:181 | 181 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:217 | 217 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:228 | 228 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:232 | 232 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:234 | 234 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:238 | 238 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:240 | 240 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:241 | 241 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:243 | 243 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:244 | 244 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:251 | 251 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [appendTlv](1) is not checked. |
| Svc/Ccsds/CfdpManager/Engine.cpp:308 | 308 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:309 | 309 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:310 | 310 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:321 | 321 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [appendTlv](1) is not checked. |
| Svc/Ccsds/CfdpManager/Engine.cpp:329 | 329 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:337 | 337 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:351 | 351 | cpp/fprime/unguarded-unsigned-subtraction | medium | Unsigned 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:402 | 402 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:405 | 405 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:406 | 406 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:408 | 408 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:409 | 409 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:409 | 409 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:423 | 423 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:435 | 435 | cpp/fprime/jpl-c/loop-bounds | medium | This loop does not have a fixed bound. |
| Svc/Ccsds/CfdpManager/Engine.cpp:452 | 452 | cpp/fprime/jpl-c/loop-bounds | medium | This loop does not have a fixed bound. |
| Svc/Ccsds/CfdpManager/Engine.cpp:470 | 470 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:476 | 476 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:500 | 500 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/Engine.cpp:505 | 505 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [sendAck](1) is not checked. |
| Svc/Ccsds/CfdpManager/Engine.cpp:520 | 520 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/Engine.cpp:531 | 531 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:535 | 535 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:536 | 536 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:565 | 565 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/Engine.cpp:592 | 592 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:610 | 610 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/Engine.cpp:637 | 637 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/Engine.cpp:639 | 639 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [sendFinAckStateless](1) is not checked. |
| Svc/Ccsds/CfdpManager/Engine.cpp:733 | 733 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:739 | 739 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:740 | 740 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:741 | 741 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:743 | 743 | cpp/fprime/checking-parameter-values | medium | Parameter txn is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:833 | 833 | cpp/fprime/checking-parameter-values | medium | Parameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:839 | 839 | cpp/fprime/checking-parameter-values | medium | Parameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:840 | 840 | cpp/fprime/checking-parameter-values | medium | Parameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:841 | 841 | cpp/fprime/checking-parameter-values | medium | Parameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:842 | 842 | cpp/fprime/checking-parameter-values | medium | Parameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:843 | 843 | cpp/fprime/checking-parameter-values | medium | Parameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:844 | 844 | cpp/fprime/checking-parameter-values | medium | Parameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:847 | 847 | cpp/fprime/checking-parameter-values | medium | Parameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:848 | 848 | cpp/fprime/checking-parameter-values | medium | Parameter pb is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/Engine.cpp:868 | 868 | cpp/fprime/checking-parameter-values | medium | Parameter 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:1059 | 1059 | cpp/fprime/jpl-c/use-of-assertions-non-boolean | medium | Assertions should be defined as Boolean tests. |
| Svc/Ccsds/CfdpManager/Engine.cpp:1102 | 1102 | cpp/fprime/jpl-c/loop-bounds | medium | This loop does not have a fixed bound. |
| Svc/Ccsds/CfdpManager/Engine.cpp:1110 | 1110 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [format](1) is not checked. |
| Svc/Ccsds/CfdpManager/Engine.cpp:1114 | 1114 | cpp/fprime/checking-parameter-values | medium | Parameter 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:84 | 84 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [memset](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:85 | 85 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [memset](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:103 | 103 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [memset](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:104 | 104 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [memset](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:355 | 355 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [format](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:493 | 493 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:574 | 574 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:634 | 634 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:674 | 674 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:728 | 728 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:769 | 769 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:813 | 813 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [addSegment](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:882 | 882 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [addSegment](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:899 | 899 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [memset](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:929 | 929 | cpp/fprime/jpl-c/loop-bounds | medium | The 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:1033 | 1033 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:1067 | 1067 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:1160 | 1160 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionTx.cpp:61 | 61 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [memset](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionTx.cpp:281 | 281 | cpp/fprime/checking-parameter-values | medium | Parameter cont is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/TransactionTx.cpp:594 | 594 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionTx.cpp:636 | 636 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionTx.cpp:649 | 649 | cpp/fprime/jpl-c/loop-bounds | medium | This loop does not have a fixed bound. |
| Svc/Ccsds/CfdpManager/TransactionTx.cpp:694 | 694 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionTx.cpp:744 | 744 | cpp/fprime/jpl-c/checking-return-values | medium | The return value of non-void function [setBuffLen](1) is not checked. |
| Svc/Ccsds/CfdpManager/TransactionTx.cpp:755 | 755 | cpp/fprime/checking-parameter-values | medium | Parameter dispatch is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/TransactionTx.cpp:782 | 782 | cpp/fprime/checking-parameter-values | medium | Parameter dispatch is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/TransactionTx.cpp:794 | 794 | cpp/fprime/checking-parameter-values | medium | Parameter dispatch is dereferenced without first being checked (e.g. with FW_ASSERT or a condition). |
| Svc/Ccsds/CfdpManager/CfdpManager.cpp:323 | 323 | cpp/jpl-c/function-size-limits | low | SendFile_cmdHandler has too many parameters (9, while 6 are allowed). |
| Svc/Ccsds/CfdpManager/CfdpManager.cpp:349 | 349 | cpp/jpl-c/function-size-limits | low | PlaybackDirectory_cmdHandler has too many parameters (9, while 6 are allowed). |
| Svc/Ccsds/CfdpManager/CfdpManager.cpp:377 | 377 | cpp/jpl-c/function-size-limits | low | PollDirectory_cmdHandler has too many parameters (10, while 6 are allowed). |
| Svc/Ccsds/CfdpManager/Channel.cpp:51 | 51 | cpp/jpl-c/function-size-limits | low | Channel has too many lines (116, while 60 are allowed). |
| Svc/Ccsds/CfdpManager/Channel.cpp:101 | 101 | cpp/fprime/jpl-c/multiple-var-decls-per-line | low | Multiple variable declarations on the same line. |
| Svc/Ccsds/CfdpManager/Channel.cpp:173 | 173 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:212 | 212 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:268 | 268 | cpp/jpl-c/function-size-limits | low | tickTransactions has too many lines (66, while 60 are allowed). |
| Svc/Ccsds/CfdpManager/Channel.cpp:335 | 335 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:352 | 352 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:456 | 456 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:476 | 476 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:538 | 538 | cpp/jpl-c/function-size-limits | low | moveTransaction has too many lines (62, while 60 are allowed). |
| Svc/Ccsds/CfdpManager/Channel.cpp:854 | 854 | cpp/fprime/jpl-c/non-const-function-pointer | low | This call does not go through a const function pointer. |
| Svc/Ccsds/CfdpManager/Channel.cpp:909 | 909 | cpp/fprime/jpl-c/non-const-function-pointer | low | This call does not go through a const function pointer. |
| Svc/Ccsds/CfdpManager/Chunk.cpp:87 | 87 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:125 | 125 | cpp/fprime/jpl-c/non-const-function-pointer | low | This call does not go through a const function pointer. |
| Svc/Ccsds/CfdpManager/Chunk.cpp:134 | 134 | cpp/fprime/jpl-c/non-const-function-pointer | low | This call does not go through a const function pointer. |
| Svc/Ccsds/CfdpManager/Chunk.cpp:151 | 151 | cpp/fprime/jpl-c/non-const-function-pointer | low | This call does not go through a const function pointer. |
| Svc/Ccsds/CfdpManager/Chunk.cpp:193 | 193 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:275 | 275 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:75 | 75 | cpp/jpl-c/hidden-pointer-indirection-typedef | low | The typedef GapComputeCallback hides pointer indirection. |
| Svc/Ccsds/CfdpManager/Clist.cpp:157 | 157 | cpp/fprime/jpl-c/non-const-function-pointer | low | This call does not go through a const function pointer. |
| Svc/Ccsds/CfdpManager/Clist.cpp:195 | 195 | cpp/fprime/jpl-c/non-const-function-pointer | low | This call does not go through a const function pointer. |
| Svc/Ccsds/CfdpManager/Clist.hpp:95 | 95 | cpp/jpl-c/hidden-pointer-indirection-typedef | low | The typedef CListFunc hides pointer indirection. |
| Svc/Ccsds/CfdpManager/Clist.hpp:103 | 103 | cpp/jpl-c/hidden-pointer-indirection-typedef | low | The typedef CListTraverseCallback hides pointer indirection. |
| Svc/Ccsds/CfdpManager/Engine.cpp:130 | 130 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:169 | 169 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:474 | 474 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:513 | 513 | cpp/jpl-c/function-size-limits | low | recvInit has too many lines (83, while 60 are allowed). |
| Svc/Ccsds/CfdpManager/Engine.cpp:597 | 597 | cpp/jpl-c/function-size-limits | low | receivePdu has too many lines (73, while 60 are allowed). |
| Svc/Ccsds/CfdpManager/Engine.cpp:727 | 727 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:746 | 746 | cpp/jpl-c/function-size-limits | low | txFile has too many parameters (8, while 6 are allowed). |
| Svc/Ccsds/CfdpManager/Engine.cpp:821 | 821 | cpp/jpl-c/function-size-limits | low | playbackDirInitiate has too many parameters (8, while 6 are allowed). |
| Svc/Ccsds/CfdpManager/Engine.cpp:855 | 855 | cpp/jpl-c/function-size-limits | low | playbackDir has too many parameters (7, while 6 are allowed). |
| Svc/Ccsds/CfdpManager/Engine.cpp:884 | 884 | cpp/jpl-c/function-size-limits | low | startPollDir has too many parameters (8, while 6 are allowed). |
| Svc/Ccsds/CfdpManager/Engine.cpp:977 | 977 | cpp/jpl-c/function-size-limits | low | finishTransaction has too many lines (92, while 60 are allowed). |
| Svc/Ccsds/CfdpManager/Engine.cpp:1076 | 1076 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:1088 | 1088 | cpp/fprime/jpl-c/non-const-function-pointer | low | This call does not go through a const function pointer. |
| Svc/Ccsds/CfdpManager/Transaction.hpp:70 | 70 | cpp/jpl-c/hidden-pointer-indirection-typedef | low | The typedef StateSendFunc hides pointer indirection. |
| Svc/Ccsds/CfdpManager/Transaction.hpp:82 | 82 | cpp/jpl-c/hidden-pointer-indirection-typedef | low | The typedef StateRecvFunc hides pointer indirection. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:90 | 90 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:130 | 130 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:156 | 156 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:240 | 240 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:240 | 240 | cpp/jpl-c/function-size-limits | low | rTick has too many lines (91, while 60 are allowed). |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:485 | 485 | cpp/jpl-c/function-size-limits | low | rProcessFd has too many lines (81, while 60 are allowed). |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:567 | 567 | cpp/jpl-c/function-size-limits | low | rSubstateRecvEof has too many lines (61, while 60 are allowed). |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:586 | 586 | cpp/fprime/incomplete-code | low | Comment contains the incomplete-code marker TODO. |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:825 | 825 | cpp/jpl-c/function-size-limits | low | rSubstateSendNak has too many lines (64, while 60 are allowed). |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:890 | 890 | cpp/jpl-c/function-size-limits | low | r2CalcCrcChunk has too many lines (110, while 60 are allowed). |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:1049 | 1049 | cpp/jpl-c/function-size-limits | low | r2RecvMd has too many lines (78, while 60 are allowed). |
| Svc/Ccsds/CfdpManager/TransactionRx.cpp:1189 | 1189 | cpp/fprime/jpl-c/non-const-function-pointer | low | This call does not go through a const function pointer. |
| Svc/Ccsds/CfdpManager/TransactionTx.cpp:82 | 82 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:181 | 181 | cpp/jpl-c/function-size-limits | low | sTick has too many lines (91, while 60 are allowed). |
| Svc/Ccsds/CfdpManager/TransactionTx.cpp:336 | 336 | cpp/jpl-c/function-size-limits | low | sSendFileData has too many lines (79, while 60 are allowed). |
| Svc/Ccsds/CfdpManager/TransactionTx.cpp:416 | 416 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:487 | 487 | cpp/fprime/jpl-c/use-of-assertions-density | low | All 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:506 | 506 | cpp/jpl-c/function-size-limits | low | sSubstateSendMetadata has too many lines (62, while 60 are allowed). |
| Svc/Ccsds/CfdpManager/TransactionTx.cpp:775 | 775 | cpp/fprime/jpl-c/non-const-function-pointer | low | This call does not go through a const function pointer. |
| Svc/Ccsds/CfdpManager/TransactionTx.cpp:784 | 784 | cpp/fprime/jpl-c/non-const-function-pointer | low | This call does not go through a const function pointer. |
| Svc/Ccsds/CfdpManager/TransactionTx.cpp:796 | 796 | cpp/fprime/jpl-c/non-const-function-pointer | low | This call does not go through a const function pointer. |