Kalimetrix Logiscope Rule Violations Report    


Date: 18 Sep 2014

This document contains information concerning the coding rule analysis of the project Analyse_LFR_Cpp made with Logiscope RuleChecker which is part of Kalimetrix Logiscope.

The following information is available:

Rules Violated by the Application

The following orders are available for application analysis:

Violations ordered by File

For each of the following files, you will find the results of rule checking analysis:

avf0_prc0.c

Severity Rule Mnemonic Rule Name State Lines
Advisory parse Parse error Violated 1

avf0_prc0.h

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Utilisee_V1 Don_Utilisee_V1 Violated 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 33

avf1_prc1.c

Severity Rule Mnemonic Rule Name State Lines
Advisory parse Parse error Violated 1

avf1_prc1.h

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Utilisee_V1 Don_Utilisee_V1 Violated 7, 8, 9, 10, 11, 12, 13, 14, 15, 30

avf2_prc2.c

Severity Rule Mnemonic Rule Name State Lines
Advisory parse Parse error Violated 49, 54, 156, 161, 227
Unknown Don_Initialisation_V1 Don_Initialisation_V1 Violated 52, 117, 120, 121, 142, 146, 149, 153, 189, 190, 191, 191, 199, 200, 201, 201, 216, 217, 218, 218, 218
Don_Invariant_V1 Don_Invariant_V1 Violated 20, 41, 42, 43, 62, 82, 94, 104, 115, 121, 231, 231, 231, 241, 244
Don_PointeurNonAff_V1 Don_PointeurNonAff_V1 Violated 35, 130
Don_Utilisee_V1 Don_Utilisee_V1 Violated 17, 22, 31, 129, 135
Tr_Parenthèses_V1 Tr_Parenthèses_V1 Violated 76, 77, 78, 85, 88, 95, 98, 105, 109, 231

avf2_prc2.h

Severity Rule Mnemonic Rule Name State Lines

basic_parameters.c

Severity Rule Mnemonic Rule Name State Lines

basic_parameters.h

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Homonymie_V1 Don_Homonymie_V1 Violated 60
Don_Initialisation_V1 Don_Initialisation_V1 Violated 84, 88, 92, 103, 136, 141, 145, 156, 296, 301, 305, 316, 412, 417, 421, 436, 635, 642, 646, 657, 680, 687, 691, 702, 725, 732, 736, 747, 770, 778, 782, 793, 816, 823, 827, 838
Don_Invariant_V1 Don_Invariant_V1 Violated 57, 57, 57, 60, 61, 65, 66, 67, 67, 69, 70, 70, 73, 74, 77, 81, 82, 84, 90, 94, 96, 98, 101, 101, 101, 110, 110, 111, 111, 114, 114, 115, 115, 118, 119, 119, 120, 121, 122, 123, 124, 124, 124, 125, 125, 125, 126, 126, 126, 127, 127, 127, 131, 132, 133, 134, 136, 143, 147, 149, 151, 154, 154, 154, 163, 163, 164, 164, 167, 167, 168, 168, 171, 172, 172, 173, 174, 175, 176, 177, 177, 177, 178, 178, 178, 179, 179, 179, 180, 180, 180, 186, 186, 187, 187, 188, 188, 190, 191, 192, 194, 194, 194, 195, 195, 195, 198, 198, 198, 202, 202, 202, 206, 207, 208, 209, 209, 210, 210, 211, 211, 215, 217, 217, 219, 219, 219, 223, 224, 225, 225, 230, 230, 231, 231, 232, 232, 232, 233, 233, 233, 234, 234, 234, 235, 235, 235, 236, 236, 236, 237, 237, 237, 239, 239, 241, 241, 243, 243, 246, 247, 248, 248, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 281, 281, 285, 285, 285, 285, 288, 288, 288, 291, 291, 291, 291, 294, 294, 294, 296, 303, 307, 309, 311, 314, 314, 314, 314, 314, 319, 319, 320, 321, 322, 322, 323, 325, 325, 325, 328, 328, 329, 329, 330, 330, 334, 334, 334, 337, 337, 337, 339, 339, 341, 341, 344, 344, 345, 346, 346, 354, 355, 356, 356, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 393, 394, 399, 399, 399, 399, 402, 402, 402, 405, 405, 405, 405, 408, 408, 408, 412, 419, 423, 425, 427, 430, 430, 431, 432, 434, 434, 434, 434, 434, 439, 439, 440, 442, 442, 442, 445, 445, 446, 446, 450, 450, 450, 453, 453, 453, 455, 455, 457, 457, 460, 461, 461, 462, 463, 463, 487, 488, 492, 493, 494, 494, 495, 496, 496, 499, 500, 503, 527, 528, 529, 530, 530, 530, 531, 531, 531, 533, 534, 534, 535, 535, 538, 539, 540, 541, 541, 541, 542, 542, 542, 544, 544, 545, 545, 548, 549, 550, 551, 551, 551, 552, 552, 552, 554, 554, 555, 555, 558, 559, 560, 561, 561, 561, 562, 562, 562, 564, 564, 565, 565, 568, 568, 569, 570, 571, 571, 571, 572, 572, 572, 574, 574, 575, 575, 578, 578, 579, 580, 581, 581, 581, 582, 582, 582, 584, 584, 585, 585, 588, 588, 589, 590, 591, 591, 591, 592, 592, 592, 594, 594, 595, 595, 598, 598, 599, 600, 601, 601, 601, 602, 602, 602, 604, 604, 605, 605, 608, 608, 609, 610, 611, 611, 611, 612, 612, 612, 614, 614, 615, 615, 618, 618, 619, 620, 621, 621, 621, 622, 622, 622, 624, 624, 625, 625, 638, 639, 640, 644, 648, 650, 652, 655, 655, 655, 664, 664, 665, 665, 668, 668, 669, 669, 672, 673, 674, 674, 674, 675, 675, 675, 676, 676, 676, 677, 677, 677, 680, 683, 683, 684, 685, 689, 693, 695, 697, 700, 700, 700, 709, 709, 710, 710, 713, 713, 714, 714, 717, 718, 719, 719, 719, 720, 720, 720, 721, 721, 721, 722, 722, 722, 725, 728, 728, 729, 730, 734, 738, 740, 742, 745, 745, 745, 754, 754, 755, 755, 758, 758, 759, 759, 762, 763, 764, 764, 764, 765, 765, 765, 766, 766, 766, 767, 767, 767, 770, 773, 773, 774, 775, 780, 784, 786, 788, 791, 791, 791, 800, 800, 801, 801, 804, 804, 805, 805, 808, 809, 810, 810, 810, 811, 811, 811, 812, 812, 812, 813, 813, 813, 816, 819, 819, 820, 821, 825, 829, 831, 833, 836, 836, 836, 845, 845, 846, 846, 849, 849, 850, 850, 853, 854, 855, 855, 855, 856, 856, 856, 857, 857, 857, 858, 858, 858
Don_PointeurNonAff_V1 Don_PointeurNonAff_V1 Violated 48, 477
Tr_ComparaisonStrict_V1 Tr_ComparaisonStrict_V1 Violated 96, 149, 309, 425, 650, 695, 740, 786, 831
Tr_Parenthèses_V1 Tr_Parenthèses_V1 Violated 57, 67, 69, 70, 80, 101, 105, 110, 111, 114, 115, 126, 127, 131, 154, 158, 163, 164, 167, 168, 179, 180, 186, 190, 191, 192, 194, 195, 198, 202, 209, 210, 211, 215, 217, 219, 225, 229, 238, 239, 241, 243, 248, 254, 268, 285, 291, 314, 322, 325, 328, 329, 334, 337, 339, 341, 346, 352, 354, 358, 376, 399, 405, 410, 434, 439, 442, 445, 446, 450, 453, 455, 457, 461, 463, 493, 494, 496, 528, 529, 530, 531, 534, 535, 539, 540, 541, 542, 544, 545, 549, 550, 551, 552, 554, 555, 559, 560, 561, 562, 564, 565, 568, 569, 570, 571, 572, 574, 575, 578, 579, 580, 581, 582, 584, 585, 588, 589, 590, 591, 592, 594, 595, 598, 599, 600, 601, 602, 604, 605, 608, 609, 610, 611, 612, 614, 615, 618, 619, 620, 621, 622, 624, 625, 655, 659, 664, 665, 668, 669, 676, 677, 680, 683, 700, 704, 709, 710, 713, 714, 721, 722, 725, 728, 745, 749, 754, 755, 758, 759, 766, 767, 770, 773, 791, 795, 800, 801, 804, 805, 812, 813, 816, 819, 836, 840, 845, 846, 849, 850, 857, 858
Tr_Residus_V1 Tr_Residus_V1 Violated 340, 456
Tr_TestEgalite_V1 Tr_TestEgalite_V1 Violated 96, 149, 309, 425, 650, 695, 740, 786, 831

basic_parameters_params.h

Severity Rule Mnemonic Rule Name State Lines

ccsds_types.h

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Homonymie_V1 Don_Homonymie_V1 Violated 262
Don_Invariant_V1 Don_Invariant_V1 Violated 258, 259, 260, 266, 268, 269, 278, 279, 280, 286, 288, 289, 290, 303, 304, 305, 311, 313, 314, 315, 318, 327, 328, 329, 335, 337, 338, 339, 350, 351, 352, 358, 360, 361, 362, 373, 374, 375, 381, 383, 384, 385, 388, 389, 390, 391, 399, 400, 401, 407, 413, 414, 422, 423, 424, 430, 434, 435, 443, 444, 445, 451, 457, 458, 466, 467, 468, 474, 478, 480, 488, 489, 490, 496, 500, 501, 509, 510, 511, 517, 525, 526, 527, 532, 537, 538, 539, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 556, 558, 559, 560, 561, 563, 570, 571, 575, 577, 578, 579, 581, 582, 583, 619, 620, 621, 627, 637, 638, 639
Don_Utilisee_V1 Don_Utilisee_V1 Violated 273, 274, 275, 276, 278, 279, 280, 282, 283, 284, 285, 286, 288, 289, 290, 291, 292, 293, 294, 298, 299, 300, 301, 303, 304, 305, 307, 308, 309, 310, 311, 313, 314, 315, 316, 317, 318, 322, 323, 324, 325, 327, 328, 329, 331, 332, 333, 334, 335, 337, 338, 339, 340, 341, 345, 346, 347, 348, 350, 351, 352, 354, 355, 356, 357, 358, 360, 361, 362, 363, 364, 368, 369, 370, 371, 373, 374, 375, 377, 378, 379, 380, 381, 383, 384, 385, 386, 387, 388, 389, 390, 391, 395, 396, 397, 398, 399, 400, 401, 403, 404, 405, 406, 407, 409, 410, 411, 412, 413, 414, 418, 419, 420, 421, 422, 423, 424, 426, 427, 428, 429, 430, 432, 433, 434, 435, 439, 440, 441, 442, 443, 444, 445, 447, 448, 449, 450, 451, 453, 454, 455, 456, 457, 458, 462, 463, 464, 465, 466, 467, 468, 470, 471, 472, 473, 474, 476, 477, 478, 479, 480, 484, 485, 486, 487, 488, 489, 490, 492, 493, 494, 495, 496, 498, 499, 500, 501, 506, 507, 508, 509, 510, 511, 513, 514, 515, 516, 517, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 537, 538, 539, 541, 542, 543, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 556, 558, 559, 560, 561, 562, 563, 565, 566, 567, 568, 570, 571, 572, 573, 575, 577, 578, 579, 581, 582, 583, 585, 586, 587, 588, 589, 590, 591, 592, 593, 594, 595, 597, 598, 599, 601, 602, 603, 605, 606, 608, 609, 611, 615, 616, 617, 618, 619, 620, 621, 623, 624, 625, 626, 627, 628, 632, 633, 637, 638, 639, 640, 641, 642, 643, 647, 648, 652, 653, 657, 658, 661

file_utilities.c

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Invariant_V1 Don_Invariant_V1 Violated 16, 18, 19, 21, 24, 25, 26, 27, 29, 31, 33, 33, 33, 34, 34, 35, 35, 35, 35, 36, 36, 37, 37, 37, 37, 38, 38, 39, 39, 39, 39, 40, 40, 41, 41, 41, 41, 42, 42, 43, 43, 43, 44, 44, 45, 45, 45, 45, 46, 46, 47, 47, 47, 47, 48, 48, 49, 49, 49, 49, 50, 50, 51, 51, 51, 52, 52, 53, 53, 53, 53, 54, 54, 55, 55, 55, 55, 56, 56, 57, 57, 57, 58, 58, 59, 59, 59, 59, 60, 60, 61, 61, 61, 62, 62, 65, 72, 73, 74, 75, 76, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 91, 92, 93, 94, 95, 96, 97, 98, 100, 101, 102, 103, 104, 105, 106, 107
Don_PointeurNonAff_V1 Don_PointeurNonAff_V1 Violated 15
Tr_FonctionSortie_V1 Tr_FonctionSortie_V1 Violated 11
Tr_Parenthèses_V1 Tr_Parenthèses_V1 Violated 33, 35, 37, 39, 41, 43, 45, 47, 49, 51, 53, 55, 57, 59, 61, 73, 74, 75, 76, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 91, 92, 93, 94, 95, 96, 97, 98, 100, 101, 102, 103, 104, 105, 106, 107

file_utilities.h

Severity Rule Mnemonic Rule Name State Lines

fsw_config.c

Severity Rule Mnemonic Rule Name State Lines
Advisory parse Parse error Violated 1
Unknown Tr_Residus_V1 Tr_Residus_V1 Violated 40

fsw_globals.c

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Invariant_V1 Don_Invariant_V1 Violated 26, 27, 28, 29, 31, 32
Don_Utilisee_V1 Don_Utilisee_V1 Violated 26, 27, 28, 29, 30, 31, 32, 33, 40, 41, 42, 43, 44, 50, 51, 52, 55, 56, 57, 58, 61, 62, 65, 67, 68, 69, 70, 71, 72, 73
Tr_Parenthèses_V1 Tr_Parenthèses_V1 Violated 44

fsw_init.c

Severity Rule Mnemonic Rule Name State Lines
Advisory parse Parse error Violated 1

fsw_init.h

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Invariant_V1 Don_Invariant_V1 Violated 19, 20
Don_Utilisee_V1 Don_Utilisee_V1 Violated 19

fsw_misc.c

Severity Rule Mnemonic Rule Name State Lines
Advisory parse Parse error Violated 33, 39, 100, 137, 138, 139, 151, 159, 181, 190, 205, 234, 246, 276, 293, 336, 362, 376, 389, 445, 486, 545
Unknown Don_Initialisation_V1 Don_Initialisation_V1 Violated 30, 148, 189, 199, 231, 283, 439, 441, 494, 553
Don_Invariant_V1 Don_Invariant_V1 Violated 28, 49, 50, 51, 52, 64, 65, 66, 88, 97, 167, 167, 168, 169, 170, 171, 171, 172, 201, 210, 214, 214, 215, 218, 218, 219, 219, 220, 220, 221, 222, 222, 223, 242, 258, 259, 262, 262, 263, 264, 265, 266, 284, 284, 286, 286, 290, 291, 317, 319, 322, 323, 325, 326, 327, 328, 331, 331, 332, 332, 333, 333, 347, 348, 352, 356, 369, 369, 370, 370, 371, 372, 372, 373, 383, 383, 400, 400, 401, 402, 403, 404, 404, 405, 410, 410, 411, 411, 412, 412, 413, 414, 414, 415, 419, 419, 420, 420, 422, 423, 424, 425, 427, 428, 428, 429, 429, 430, 430, 434, 434, 436, 449, 454, 458, 458, 459, 459, 460, 460, 461, 461, 462, 462, 463, 463, 467, 469, 469, 469, 470, 470, 471, 471, 472, 476, 481, 485, 494, 495, 495, 496, 496, 497, 497, 498, 498, 499, 499, 500, 500, 508, 513, 517, 517, 518, 518, 519, 519, 520, 520, 521, 521, 522, 522, 526, 528, 528, 528, 529, 529, 530, 530, 531, 535, 540, 544, 553, 554, 554, 555, 555, 556, 556, 557, 557, 558, 558, 559, 559, 570, 573, 575, 579, 579
Don_PointeurNonAff_V1 Don_PointeurNonAff_V1 Violated 314, 392, 450, 509
Don_Utilisee_V1 Don_Utilisee_V1 Violated 25, 26
Tr_FonctionSortie_V1 Tr_FonctionSortie_V1 Violated 142
Tr_ModifCompteur_V1 Tr_ModifCompteur_V1 Violated 317, 317
Tr_Parenthèses_V1 Tr_Parenthèses_V1 Violated 49, 50, 51, 52, 64, 65, 66, 95, 231, 347, 348, 352, 359, 383, 441, 467, 469, 475, 476, 481, 494, 526, 528, 534, 535, 540, 553

fsw_misc.h

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Utilisee_V1 Don_Utilisee_V1 Violated 12, 46
Tr_Residus_V1 Tr_Residus_V1 Violated 16

fsw_params.h

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Homonymie_V1 Don_Homonymie_V1 Violated 89, 90, 91, 92, 93, 94
Don_Utilisee_V1 Don_Utilisee_V1 Violated 18, 249, 250, 251, 252
Tr_ModelFonction_V1 Tr_ModelFonction_V1 Violated 217, 218, 219, 221, 222, 223, 227, 228, 229, 231, 232, 233, 237, 238, 239, 241, 242, 243

fsw_params_nb_bytes.h

Severity Rule Mnemonic Rule Name State Lines

fsw_params_processing.h

Severity Rule Mnemonic Rule Name State Lines

fsw_params_wf_handler.h

Severity Rule Mnemonic Rule Name State Lines

fsw_processing.c

Severity Rule Mnemonic Rule Name State Lines
Advisory parse Parse error Violated 319, 324, 451
Unknown Don_Initialisation_V1 Don_Initialisation_V1 Violated 41, 100, 136, 687
Don_Invariant_V1 Don_Invariant_V1 Violated 41, 45, 45, 46, 46, 50, 52, 75, 77, 82, 84, 89, 100, 100, 104, 106, 108, 111, 113, 113, 118, 120, 122, 122, 127, 136, 136, 144, 146, 148, 151, 155, 161, 165, 176, 203, 211, 216, 217, 219, 220, 229, 234, 235, 237, 251, 252, 253, 255, 263, 263, 264, 264, 265, 266, 268, 268, 269, 269, 270, 271, 273, 273, 275, 276, 282, 282, 283, 283, 284, 285, 287, 287, 288, 288, 289, 290, 292, 292, 294, 295, 301, 301, 302, 302, 303, 304, 306, 306, 307, 307, 308, 309, 311, 311, 313, 314, 333, 340, 340, 341, 341, 343, 348, 348, 349, 351, 359, 360, 362, 362, 364, 370, 371, 372, 383, 385, 385, 386, 387, 387, 388, 388, 389, 389, 390, 390, 392, 397, 398, 399, 400, 401, 401, 402, 402, 403, 403, 404, 404, 405, 405, 406, 406, 407, 407, 408, 408, 415, 418, 418, 424, 426, 429, 429, 430, 433, 435, 438, 438, 439, 442, 444, 447, 447, 448, 456, 460, 460, 461, 463, 464, 467, 467, 468, 468, 469, 469, 470, 471, 471, 472, 474, 474, 475, 475, 476, 476, 477, 477, 478, 478, 479, 479, 484, 498, 500, 500, 501, 502, 503, 503, 504, 504, 505, 507, 513, 514, 514, 515, 515, 516, 516, 517, 517, 518, 518, 519, 519, 520, 520, 521, 530, 532, 532, 533, 534, 535, 535, 536, 536, 537, 539, 545, 546, 546, 547, 547, 548, 548, 549, 549, 550, 550, 551, 551, 552, 553, 553, 554, 567, 589, 590, 602, 602, 603, 603, 604, 604, 605, 605, 606, 606, 607, 607, 613, 614, 614, 614, 615, 615, 616, 616, 617, 617, 618, 618, 619, 635, 639, 639, 640, 640, 641, 641, 642, 642, 643, 643, 644, 644, 649, 684
Don_PointeurNonAff_V1 Don_PointeurNonAff_V1 Violated 627, 628, 629
Tr_Parenthèses_V1 Tr_Parenthèses_V1 Violated 41, 45, 46, 100, 113, 122, 136, 203, 216, 220, 234, 273, 292, 311, 341, 362, 424, 433, 442, 454, 614, 635, 662, 669

fsw_processing.h

Severity Rule Mnemonic Rule Name State Lines
Advisory parse Parse error Violated 156, 184, 216
Unknown Don_Homonymie_V1 Don_Homonymie_V1 Violated 102
Don_Invariant_V1 Don_Invariant_V1 Violated 34, 34, 40, 40, 63, 64, 128, 130, 131, 132, 133, 134, 135, 136, 137, 139, 139, 144, 144, 149, 149, 168, 170, 194, 196, 205, 206, 229, 231, 234, 237, 237, 238, 238
Don_PointeurNonAff_V1 Don_PointeurNonAff_V1 Violated 220, 221
Don_Utilisee_V1 Don_Utilisee_V1 Violated 19, 28, 34, 39, 40, 45, 46, 47, 48, 49, 57, 63
Tr_Parenthèses_V1 Tr_Parenthèses_V1 Violated 130, 172, 175, 178, 198, 201, 208, 233, 234

fsw_processing_globals.c

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Homonymie_V1 Don_Homonymie_V1 Violated 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39, 41, 42, 43, 44, 46
Don_Invariant_V1 Don_Invariant_V1 Violated 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39, 41, 42, 43, 44, 46
Don_Utilisee_V1 Don_Utilisee_V1 Violated 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39, 41, 42, 43, 44, 46

fsw_spacewire.c

Severity Rule Mnemonic Rule Name State Lines
Advisory parse Parse error Violated 33, 37, 42, 46, 52, 68, 77, 81, 88, 92, 101, 130, 136, 145, 162, 191, 215, 227, 235, 243, 251, 263, 269, 276, 288, 298, 304, 308, 326, 336, 346, 357, 377, 380, 383, 386, 389, 392, 395, 400, 422, 434, 455, 478, 607
Unknown Don_Initialisation_V1 Don_Initialisation_V1 Violated 41, 45, 51, 57, 58, 127, 153, 154, 156, 156, 174, 176, 176, 178, 183, 183, 184, 212, 241, 278, 281, 526, 529, 531, 533, 535, 537, 539, 541, 543, 545, 547, 549, 551, 553, 604, 606
Don_Invariant_V1 Don_Invariant_V1 Violated 51, 58, 116, 117, 144, 153, 153, 154, 184, 234, 242, 278, 280, 325, 340, 351, 373, 374, 376, 413, 415, 447, 448, 450, 451, 468, 470, 472, 474, 558, 558, 559, 560, 560, 561, 587, 589, 589, 591, 595, 606
Don_PointeurNonAff_V1 Don_PointeurNonAff_V1 Violated 207
Don_Utilisee_V1 Don_Utilisee_V1 Violated 16, 17, 29, 206, 208, 209, 489
Pr_Instruction_V1 Pr_Instruction_V1 Violated 377, 380, 383, 386, 389, 392, 395
Tr_FonctionSortie_V1 Tr_FonctionSortie_V1 Violated 21, 21, 21
Tr_Parenthèses_V1 Tr_Parenthèses_V1 Violated 157, 183, 448, 451, 470, 474, 493, 495, 497, 499, 501, 503, 505, 507, 509, 511, 513, 515, 517, 528, 530, 532, 534, 536, 538, 540, 542, 544, 546, 548, 550, 552, 586, 591, 595

fsw_spacewire.h

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Homonymie_V1 Don_Homonymie_V1 Violated 34
Int_CheminAbsolu_V1 Int_CheminAbsolu_V1 Violated 9

grlib_regs.h

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Utilisee_V1 Don_Utilisee_V1 Violated 7, 8, 10, 11, 15, 18, 19, 20, 21, 22, 27, 28, 29, 30, 34, 35, 36, 37, 38, 42, 43, 44, 45, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 83, 84, 85, 86, 88, 89, 90, 91, 93, 94, 95, 96, 98, 99, 100, 101, 103, 104, 105, 106

lfr_cpu_usage_report.c

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Homonymie_V1 Don_Homonymie_V1 Violated 39
Don_Initialisation_V1 Don_Initialisation_V1 Violated 140
Don_Invariant_V1 Don_Invariant_V1 Violated 56, 60, 71, 76, 79, 89, 95, 98, 127, 132, 135, 136, 140
Don_PointeurNonAff_V1 Don_PointeurNonAff_V1 Violated 50, 51
Don_Separee_V1 Don_Separee_V1 Violated 52, 54
Don_TypeBooleen_V1 Don_TypeBooleen_V1 Violated 77, 82, 96, 122
Don_Utilisee_V1 Don_Utilisee_V1 Violated 39, 54, 54, 54, 56
Int_CheminAbsolu_V1 Int_CheminAbsolu_V1 Violated 27, 28, 33
Tr_BoucleSortie_V1 Tr_BoucleSortie_V1 Violated 74, 93, 102
Tr_Parenthèses_V1 Tr_Parenthèses_V1 Violated 128, 135

lfr_cpu_usage_report.h

Severity Rule Mnemonic Rule Name State Lines

main.c

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Homonymie_V1 Don_Homonymie_V1 Violated 15
Don_Invariant_V1 Don_Invariant_V1 Violated 16, 20, 25, 29, 34, 38, 42
Don_PointeurNonAff_V1 Don_PointeurNonAff_V1 Violated 15
Tr_Residus_V1 Tr_Residus_V1 Violated 28

tc_acceptance.c

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Homonymie_V1 Don_Homonymie_V1 Violated 121
Don_Initialisation_V1 Don_Initialisation_V1 Violated 129, 129, 203, 283, 433
Don_Invariant_V1 Don_Invariant_V1 Violated 12, 27, 27, 27, 27, 41, 41, 43, 44, 44, 45, 47, 47, 48, 50, 50, 51, 53, 53, 54, 56, 56, 57, 59, 59, 60, 62, 62, 63, 65, 65, 66, 86, 87, 90, 90, 91, 91, 127, 127, 127, 127, 127, 127, 128, 128, 129, 129, 129, 422, 423, 423, 426, 426
Don_PointeurNonAff_V1 Don_PointeurNonAff_V1 Violated 419
Tr_Parenthèses_V1 Tr_Parenthèses_V1 Violated 45, 48, 51, 54, 57, 60, 63, 66, 127, 129, 222, 270, 422, 423, 426

tc_acceptance.h

Severity Rule Mnemonic Rule Name State Lines

tc_handler.c

Severity Rule Mnemonic Rule Name State Lines
Advisory parse Parse error Violated 1
Unknown Tr_Residus_V1 Tr_Residus_V1 Violated 325

tc_handler.h

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Utilisee_V1 Don_Utilisee_V1 Violated 16

tc_load_dump_parameters.c

Severity Rule Mnemonic Rule Name State Lines
Advisory parse Parse error Violated 305, 314
Unknown Don_Initialisation_V1 Don_Initialisation_V1 Violated 663, 682, 699
Don_Invariant_V1 Don_Invariant_V1 Violated 26, 27, 103, 112, 123, 125, 170, 179, 187, 187, 188, 190, 235, 244, 255, 257, 291, 291, 292, 295, 295, 296, 296, 297, 297, 298, 299, 299, 300, 334, 335, 338, 339, 342, 343, 354, 356, 362, 364, 373, 380, 382, 390, 392, 401, 409, 411, 433, 434, 434, 452, 453, 453, 471, 472, 472, 715, 715, 716, 717, 718, 719, 719, 720, 726, 726, 727, 727, 728, 728, 729, 730, 730, 731, 741, 741, 742, 743, 743, 744, 745, 745, 746
Don_Utilisee_V1 Don_Utilisee_V1 Violated 320
Tr_ComparaisonStrict_V1 Tr_ComparaisonStrict_V1 Violated 123, 188, 255, 390, 409
Tr_Parenthèses_V1 Tr_Parenthèses_V1 Violated 47, 122, 187, 254, 302, 335, 339, 343, 389, 408, 652, 670, 689
Tr_TestEgalite_V1 Tr_TestEgalite_V1 Violated 123, 188, 255, 390, 409

tc_load_dump_parameters.h

Severity Rule Mnemonic Rule Name State Lines

TC_types.h

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Invariant_V1 Don_Invariant_V1 Violated 49, 50, 51, 57, 63, 64, 65, 73, 74, 80, 81, 82, 90, 91, 92, 93, 96, 97, 103, 104, 105, 111, 118, 119, 120, 128, 135, 136, 137, 143, 144, 145, 150, 156, 157, 158, 166, 172, 173, 174, 180, 186, 187, 188, 194, 195
Don_Utilisee_V1 Don_Utilisee_V1 Violated 49, 50, 51, 53, 54, 55, 56, 57, 63, 64, 65, 67, 68, 69, 70, 71, 72, 73, 74, 80, 81, 82, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 103, 104, 105, 107, 108, 109, 110, 111, 118, 119, 120, 122, 123, 124, 125, 126, 127, 128, 135, 136, 137, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 156, 157, 158, 160, 161, 162, 163, 164, 165, 166, 172, 173, 174, 176, 177, 178, 179, 180, 186, 187, 188, 190, 191, 192, 193, 194, 195

tm_byte_positions.h

Severity Rule Mnemonic Rule Name State Lines

tm_lfr_tc_exe.c

Severity Rule Mnemonic Rule Name State Lines
Advisory parse Parse error Violated 71, 80, 142, 151, 210, 219, 276, 285, 342, 351, 425, 434
Unknown Don_Initialisation_V1 Don_Initialisation_V1 Violated 378, 378
Don_Invariant_V1 Don_Invariant_V1 Violated 44, 44, 45, 47, 47, 48, 54, 54, 55, 55, 56, 56, 57, 58, 58, 59, 61, 61, 62, 62, 63, 63, 64, 64, 109, 109, 110, 112, 112, 113, 119, 119, 120, 120, 121, 121, 122, 123, 123, 124, 126, 126, 127, 128, 128, 129, 129, 130, 130, 131, 131, 177, 177, 178, 180, 180, 181, 187, 187, 188, 188, 189, 189, 190, 191, 191, 192, 194, 194, 195, 196, 196, 197, 197, 198, 198, 199, 199, 202, 202, 203, 203, 245, 245, 246, 248, 248, 249, 255, 255, 256, 256, 257, 257, 258, 259, 259, 260, 262, 262, 263, 264, 264, 265, 265, 266, 266, 267, 267, 311, 311, 312, 314, 314, 315, 321, 321, 322, 322, 323, 323, 324, 325, 325, 326, 328, 328, 329, 330, 330, 331, 331, 332, 332, 333, 333, 378, 378, 378, 386, 386, 387, 389, 389, 390, 396, 396, 397, 397, 398, 398, 399, 400, 400, 401, 403, 403, 404, 405, 405, 406, 406, 407, 407, 408, 408, 411, 411, 412, 412, 413, 413, 414, 414, 415, 415, 416, 417, 417, 418, 418, 493, 494, 498, 498, 499, 504, 508
Don_PointeurNonAff_V1 Don_PointeurNonAff_V1 Violated 376
Don_Utilisee_V1 Don_Utilisee_V1 Violated 101, 102, 169, 170, 237, 238, 303, 304, 373, 374
Tr_FonctionSortie_V1 Tr_FonctionSortie_V1 Violated 18, 18, 18, 18, 18
Tr_Parenthèses_V1 Tr_Parenthèses_V1 Violated 66, 137, 205, 271, 337, 378, 420, 493, 494, 496, 504

tm_lfr_tc_exe.h

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Homonymie_V1 Don_Homonymie_V1 Violated 19

wf_handler.c

Severity Rule Mnemonic Rule Name State Lines
Advisory parse Parse error Violated 220, 232, 239, 246, 275, 289, 296, 305, 332, 368, 388, 420, 430, 443, 462, 488, 902, 976, 1049, 1053, 1062, 1191, 1372
Unknown Don_Homonymie_V1 Don_Homonymie_V1 Violated 847, 1286
Don_Initialisation_V1 Don_Initialisation_V1 Violated 75, 85, 85, 217, 230, 234, 235, 237, 241, 242, 244, 248, 249, 272, 329, 341, 343, 345, 347, 385, 397, 436, 1018, 1021, 1051, 1060, 1289, 1303, 1315, 1349, 1380, 1398, 1398
Don_Invariant_V1 Don_Invariant_V1 Violated 15, 16, 17, 75, 75, 85, 99, 99, 103, 103, 122, 129, 129, 138, 145, 145, 152, 154, 154, 156, 158, 158, 160, 167, 167, 174, 176, 176, 178, 180, 180, 182, 287, 287, 353, 438, 472, 472, 473, 473, 474, 474, 476, 476, 477, 477, 478, 478, 480, 480, 482, 483, 509, 509, 515, 515, 516, 517, 518, 520, 520, 521, 522, 522, 523, 527, 527, 528, 529, 529, 530, 532, 534, 541, 541, 542, 542, 543, 543, 544, 544, 545, 545, 546, 546, 557, 565, 565, 566, 570, 570, 571, 573, 574, 574, 575, 576, 576, 577, 578, 587, 587, 588, 588, 589, 589, 590, 590, 591, 591, 592, 592, 601, 608, 608, 609, 611, 612, 612, 613, 614, 614, 615, 617, 626, 626, 627, 627, 628, 628, 629, 629, 630, 630, 631, 631, 658, 658, 659, 663, 664, 666, 666, 671, 682, 682, 683, 683, 684, 684, 685, 685, 686, 686, 687, 687, 691, 722, 722, 723, 727, 728, 730, 741, 741, 742, 742, 743, 743, 744, 744, 745, 745, 746, 746, 752, 761, 792, 792, 793, 799, 802, 803, 803, 804, 804, 805, 805, 806, 806, 807, 807, 810, 811, 815, 826, 826, 827, 827, 828, 828, 829, 829, 830, 830, 831, 831, 835, 848, 851, 853, 853, 854, 855, 855, 856, 856, 857, 857, 858, 858, 860, 860, 861, 861, 862, 862, 863, 863, 864, 864, 865, 870, 870, 874, 874, 878, 878, 882, 882, 886, 886, 890, 890, 894, 894, 898, 898, 909, 909, 910, 910, 911, 911, 912, 912, 913, 913, 914, 922, 925, 927, 927, 928, 928, 929, 929, 930, 931, 931, 932, 934, 934, 935, 935, 936, 936, 937, 937, 938, 938, 939, 944, 944, 948, 948, 952, 952, 956, 956, 960, 960, 964, 964, 968, 968, 972, 972, 983, 983, 984, 984, 985, 985, 986, 986, 987, 987, 988, 1012, 1013, 1014, 1015, 1026, 1029, 1030, 1032, 1035, 1036, 1040, 1041, 1047, 1060, 1071, 1071, 1071, 1072, 1072, 1072, 1073, 1073, 1073, 1074, 1074, 1074, 1075, 1075, 1075, 1076, 1076, 1076, 1080, 1080, 1080, 1080, 1082, 1084, 1087, 1107, 1108, 1108, 1109, 1109, 1110, 1110, 1110, 1111, 1111, 1112, 1112, 1113, 1122, 1123, 1123, 1123, 1124, 1124, 1125, 1125, 1126, 1126, 1127, 1127, 1128, 1141, 1152, 1198, 1199, 1200, 1220, 1220, 1221, 1221, 1222, 1223, 1223, 1224, 1224, 1241, 1242, 1245, 1247, 1250, 1251, 1254, 1255, 1258, 1276, 1276, 1277, 1279, 1280, 1290, 1290, 1290, 1291, 1291, 1291, 1291, 1291, 1291, 1294, 1304, 1304, 1304, 1305, 1305, 1305, 1305, 1305, 1305, 1316, 1316, 1316, 1318, 1378, 1382, 1382, 1383, 1388, 1392
Don_PointeurNonAff_V1 Don_PointeurNonAff_V1 Violated 790, 999, 1000, 1001, 1103, 1118, 1340
Tr_Parenthèses_V1 Tr_Parenthèses_V1 Violated 72, 85, 122, 138, 152, 156, 160, 174, 178, 182, 284, 480, 534, 658, 668, 672, 675, 722, 732, 735, 792, 803, 804, 805, 806, 807, 817, 820, 860, 870, 874, 878, 882, 886, 890, 894, 898, 907, 934, 944, 948, 952, 956, 960, 964, 968, 972, 981, 1021, 1027, 1033, 1060, 1061, 1080, 1089, 1108, 1123, 1219, 1247, 1251, 1255, 1276, 1279, 1280, 1290, 1291, 1293, 1304, 1305, 1307, 1316, 1318, 1351, 1362, 1378, 1380, 1388
Tr_Residus_V1 Tr_Residus_V1 Violated 1012, 1013, 1014, 1030, 1036, 1246

wf_handler.h

Severity Rule Mnemonic Rule Name State Lines
Unknown Don_Invariant_V1 Don_Invariant_V1 Violated 35
Don_Utilisee_V1 Don_Utilisee_V1 Violated 20, 30

Violations ordered by Rule

For each of the following rules, you will find the result of rule checking analysis for the files of the application:

Severity Rule Mnemonic Rule Name Violations
Advisory parse Parse error 120
Unknown Don_AllocDynBord_V1 Don_AllocDynBord_V1 0
Don_Declaration_V1 Don_Declaration_V1 0
Don_Homonymie_V1 Don_Homonymie_V1 49
Don_Initialisation_V1 Don_Initialisation_V1 152
Don_Invariant_V1 Don_Invariant_V1 2344
Don_PointeurNonAff_V1 Don_PointeurNonAff_V1 27
Don_Separee_V1 Don_Separee_V1 2
Don_TypeBooleen_V1 Don_TypeBooleen_V1 4
Don_Utilisee_V1 Don_Utilisee_V1 596
Dyn_Abort_V1 Dyn_Abort_V1 0
Int_CheminAbsolu_V1 Int_CheminAbsolu_V1 4
Org_Masquage_V1 Org_Masquage_V1 0
Pr_CartStd_V1 Pr_CartStd_V1 0
Pr_Instruction_V1 Pr_Instruction_V1 7
Tr_AutoIncl_V1 Tr_AutoIncl_V1 0
Tr_BoucleSortie_V1 Tr_BoucleSortie_V1 3
Tr_ComparaisonStrict_V1 Tr_ComparaisonStrict_V1 14
Tr_FonctionSortie_V1 Tr_FonctionSortie_V1 10
Tr_Goto_V1 Tr_Goto_V1 0
Tr_ModelFonction_V1 Tr_ModelFonction_V1 18
Tr_ModifCompteur_V1 Tr_ModifCompteur_V1 2
Tr_ModifConst_V1 Tr_ModifConst_V1 0
Tr_ParAnonym_V1 Tr_ParAnonym_V1 0
Tr_Parenthèses_V1 Tr_Parenthèses_V1 463
Tr_Residus_V1 Tr_Residus_V1 12
Tr_TestEgalite_V1 Tr_TestEgalite_V1 14

For a more detailed description of a rule, just follow the link of the rule name.

Severity : Advisory

parse : Parse error

File name State Lines
avf0_prc0.c Violated 1
avf1_prc1.c Violated 1
avf2_prc2.c Violated 49, 54, 156, 161, 227
fsw_config.c Violated 1
fsw_init.c Violated 1
fsw_misc.c Violated 33, 39, 100, 137, 138, 139, 151, 159, 181, 190, 205, 234, 246, 276, 293, 336, 362, 376, 389, 445, 486, 545
fsw_processing.c Violated 319, 324, 451
fsw_processing.h Violated 156, 184, 216
fsw_spacewire.c Violated 33, 37, 42, 46, 52, 68, 77, 81, 88, 92, 101, 130, 136, 145, 162, 191, 215, 227, 235, 243, 251, 263, 269, 276, 288, 298, 304, 308, 326, 336, 346, 357, 377, 380, 383, 386, 389, 392, 395, 400, 422, 434, 455, 478, 607
tc_handler.c Violated 1
tc_load_dump_parameters.c Violated 305, 314
tm_lfr_tc_exe.c Violated 71, 80, 142, 151, 210, 219, 276, 285, 342, 351, 425, 434
wf_handler.c Violated 220, 232, 239, 246, 275, 289, 296, 305, 332, 368, 388, 420, 430, 443, 462, 488, 902, 976, 1049, 1053, 1062, 1191, 1372

Severity : Unknown

Don_AllocDynBord_V1 : Don_AllocDynBord_V1

File name State Lines
- Not Violated -

Don_Declaration_V1 : Don_Declaration_V1

File name State Lines
- Not Violated -

Don_Homonymie_V1 : Don_Homonymie_V1

File name State Lines
basic_parameters.h Violated 60
ccsds_types.h Violated 262
fsw_params.h Violated 89, 90, 91, 92, 93, 94
fsw_processing.h Violated 102
fsw_processing_globals.c Violated 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39, 41, 42, 43, 44, 46
fsw_spacewire.h Violated 34
lfr_cpu_usage_report.c Violated 39
main.c Violated 15
tc_acceptance.c Violated 121
tm_lfr_tc_exe.h Violated 19
wf_handler.c Violated 847, 1286

Don_Initialisation_V1 : Don_Initialisation_V1

File name State Lines
avf2_prc2.c Violated 52, 117, 120, 121, 142, 146, 149, 153, 189, 190, 191, 191, 199, 200, 201, 201, 216, 217, 218, 218, 218
basic_parameters.h Violated 84, 88, 92, 103, 136, 141, 145, 156, 296, 301, 305, 316, 412, 417, 421, 436, 635, 642, 646, 657, 680, 687, 691, 702, 725, 732, 736, 747, 770, 778, 782, 793, 816, 823, 827, 838
fsw_misc.c Violated 30, 148, 189, 199, 231, 283, 439, 441, 494, 553
fsw_processing.c Violated 41, 100, 136, 687
fsw_spacewire.c Violated 41, 45, 51, 57, 58, 127, 153, 154, 156, 156, 174, 176, 176, 178, 183, 183, 184, 212, 241, 278, 281, 526, 529, 531, 533, 535, 537, 539, 541, 543, 545, 547, 549, 551, 553, 604, 606
lfr_cpu_usage_report.c Violated 140
tc_acceptance.c Violated 129, 129, 203, 283, 433
tc_load_dump_parameters.c Violated 663, 682, 699
tm_lfr_tc_exe.c Violated 378, 378
wf_handler.c Violated 75, 85, 85, 217, 230, 234, 235, 237, 241, 242, 244, 248, 249, 272, 329, 341, 343, 345, 347, 385, 397, 436, 1018, 1021, 1051, 1060, 1289, 1303, 1315, 1349, 1380, 1398, 1398

Don_Invariant_V1 : Don_Invariant_V1

File name State Lines
avf2_prc2.c Violated 20, 41, 42, 43, 62, 82, 94, 104, 115, 121, 231, 231, 231, 241, 244
basic_parameters.h Violated 57, 57, 57, 60, 61, 65, 66, 67, 67, 69, 70, 70, 73, 74, 77, 81, 82, 84, 90, 94, 96, 98, 101, 101, 101, 110, 110, 111, 111, 114, 114, 115, 115, 118, 119, 119, 120, 121, 122, 123, 124, 124, 124, 125, 125, 125, 126, 126, 126, 127, 127, 127, 131, 132, 133, 134, 136, 143, 147, 149, 151, 154, 154, 154, 163, 163, 164, 164, 167, 167, 168, 168, 171, 172, 172, 173, 174, 175, 176, 177, 177, 177, 178, 178, 178, 179, 179, 179, 180, 180, 180, 186, 186, 187, 187, 188, 188, 190, 191, 192, 194, 194, 194, 195, 195, 195, 198, 198, 198, 202, 202, 202, 206, 207, 208, 209, 209, 210, 210, 211, 211, 215, 217, 217, 219, 219, 219, 223, 224, 225, 225, 230, 230, 231, 231, 232, 232, 232, 233, 233, 233, 234, 234, 234, 235, 235, 235, 236, 236, 236, 237, 237, 237, 239, 239, 241, 241, 243, 243, 246, 247, 248, 248, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 281, 281, 285, 285, 285, 285, 288, 288, 288, 291, 291, 291, 291, 294, 294, 294, 296, 303, 307, 309, 311, 314, 314, 314, 314, 314, 319, 319, 320, 321, 322, 322, 323, 325, 325, 325, 328, 328, 329, 329, 330, 330, 334, 334, 334, 337, 337, 337, 339, 339, 341, 341, 344, 344, 345, 346, 346, 354, 355, 356, 356, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 393, 394, 399, 399, 399, 399, 402, 402, 402, 405, 405, 405, 405, 408, 408, 408, 412, 419, 423, 425, 427, 430, 430, 431, 432, 434, 434, 434, 434, 434, 439, 439, 440, 442, 442, 442, 445, 445, 446, 446, 450, 450, 450, 453, 453, 453, 455, 455, 457, 457, 460, 461, 461, 462, 463, 463, 487, 488, 492, 493, 494, 494, 495, 496, 496, 499, 500, 503, 527, 528, 529, 530, 530, 530, 531, 531, 531, 533, 534, 534, 535, 535, 538, 539, 540, 541, 541, 541, 542, 542, 542, 544, 544, 545, 545, 548, 549, 550, 551, 551, 551, 552, 552, 552, 554, 554, 555, 555, 558, 559, 560, 561, 561, 561, 562, 562, 562, 564, 564, 565, 565, 568, 568, 569, 570, 571, 571, 571, 572, 572, 572, 574, 574, 575, 575, 578, 578, 579, 580, 581, 581, 581, 582, 582, 582, 584, 584, 585, 585, 588, 588, 589, 590, 591, 591, 591, 592, 592, 592, 594, 594, 595, 595, 598, 598, 599, 600, 601, 601, 601, 602, 602, 602, 604, 604, 605, 605, 608, 608, 609, 610, 611, 611, 611, 612, 612, 612, 614, 614, 615, 615, 618, 618, 619, 620, 621, 621, 621, 622, 622, 622, 624, 624, 625, 625, 638, 639, 640, 644, 648, 650, 652, 655, 655, 655, 664, 664, 665, 665, 668, 668, 669, 669, 672, 673, 674, 674, 674, 675, 675, 675, 676, 676, 676, 677, 677, 677, 680, 683, 683, 684, 685, 689, 693, 695, 697, 700, 700, 700, 709, 709, 710, 710, 713, 713, 714, 714, 717, 718, 719, 719, 719, 720, 720, 720, 721, 721, 721, 722, 722, 722, 725, 728, 728, 729, 730, 734, 738, 740, 742, 745, 745, 745, 754, 754, 755, 755, 758, 758, 759, 759, 762, 763, 764, 764, 764, 765, 765, 765, 766, 766, 766, 767, 767, 767, 770, 773, 773, 774, 775, 780, 784, 786, 788, 791, 791, 791, 800, 800, 801, 801, 804, 804, 805, 805, 808, 809, 810, 810, 810, 811, 811, 811, 812, 812, 812, 813, 813, 813, 816, 819, 819, 820, 821, 825, 829, 831, 833, 836, 836, 836, 845, 845, 846, 846, 849, 849, 850, 850, 853, 854, 855, 855, 855, 856, 856, 856, 857, 857, 857, 858, 858, 858
ccsds_types.h Violated 258, 259, 260, 266, 268, 269, 278, 279, 280, 286, 288, 289, 290, 303, 304, 305, 311, 313, 314, 315, 318, 327, 328, 329, 335, 337, 338, 339, 350, 351, 352, 358, 360, 361, 362, 373, 374, 375, 381, 383, 384, 385, 388, 389, 390, 391, 399, 400, 401, 407, 413, 414, 422, 423, 424, 430, 434, 435, 443, 444, 445, 451, 457, 458, 466, 467, 468, 474, 478, 480, 488, 489, 490, 496, 500, 501, 509, 510, 511, 517, 525, 526, 527, 532, 537, 538, 539, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 556, 558, 559, 560, 561, 563, 570, 571, 575, 577, 578, 579, 581, 582, 583, 619, 620, 621, 627, 637, 638, 639
file_utilities.c Violated 16, 18, 19, 21, 24, 25, 26, 27, 29, 31, 33, 33, 33, 34, 34, 35, 35, 35, 35, 36, 36, 37, 37, 37, 37, 38, 38, 39, 39, 39, 39, 40, 40, 41, 41, 41, 41, 42, 42, 43, 43, 43, 44, 44, 45, 45, 45, 45, 46, 46, 47, 47, 47, 47, 48, 48, 49, 49, 49, 49, 50, 50, 51, 51, 51, 52, 52, 53, 53, 53, 53, 54, 54, 55, 55, 55, 55, 56, 56, 57, 57, 57, 58, 58, 59, 59, 59, 59, 60, 60, 61, 61, 61, 62, 62, 65, 72, 73, 74, 75, 76, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 91, 92, 93, 94, 95, 96, 97, 98, 100, 101, 102, 103, 104, 105, 106, 107
fsw_globals.c Violated 26, 27, 28, 29, 31, 32
fsw_init.h Violated 19, 20
fsw_misc.c Violated 28, 49, 50, 51, 52, 64, 65, 66, 88, 97, 167, 167, 168, 169, 170, 171, 171, 172, 201, 210, 214, 214, 215, 218, 218, 219, 219, 220, 220, 221, 222, 222, 223, 242, 258, 259, 262, 262, 263, 264, 265, 266, 284, 284, 286, 286, 290, 291, 317, 319, 322, 323, 325, 326, 327, 328, 331, 331, 332, 332, 333, 333, 347, 348, 352, 356, 369, 369, 370, 370, 371, 372, 372, 373, 383, 383, 400, 400, 401, 402, 403, 404, 404, 405, 410, 410, 411, 411, 412, 412, 413, 414, 414, 415, 419, 419, 420, 420, 422, 423, 424, 425, 427, 428, 428, 429, 429, 430, 430, 434, 434, 436, 449, 454, 458, 458, 459, 459, 460, 460, 461, 461, 462, 462, 463, 463, 467, 469, 469, 469, 470, 470, 471, 471, 472, 476, 481, 485, 494, 495, 495, 496, 496, 497, 497, 498, 498, 499, 499, 500, 500, 508, 513, 517, 517, 518, 518, 519, 519, 520, 520, 521, 521, 522, 522, 526, 528, 528, 528, 529, 529, 530, 530, 531, 535, 540, 544, 553, 554, 554, 555, 555, 556, 556, 557, 557, 558, 558, 559, 559, 570, 573, 575, 579, 579
fsw_processing.c Violated 41, 45, 45, 46, 46, 50, 52, 75, 77, 82, 84, 89, 100, 100, 104, 106, 108, 111, 113, 113, 118, 120, 122, 122, 127, 136, 136, 144, 146, 148, 151, 155, 161, 165, 176, 203, 211, 216, 217, 219, 220, 229, 234, 235, 237, 251, 252, 253, 255, 263, 263, 264, 264, 265, 266, 268, 268, 269, 269, 270, 271, 273, 273, 275, 276, 282, 282, 283, 283, 284, 285, 287, 287, 288, 288, 289, 290, 292, 292, 294, 295, 301, 301, 302, 302, 303, 304, 306, 306, 307, 307, 308, 309, 311, 311, 313, 314, 333, 340, 340, 341, 341, 343, 348, 348, 349, 351, 359, 360, 362, 362, 364, 370, 371, 372, 383, 385, 385, 386, 387, 387, 388, 388, 389, 389, 390, 390, 392, 397, 398, 399, 400, 401, 401, 402, 402, 403, 403, 404, 404, 405, 405, 406, 406, 407, 407, 408, 408, 415, 418, 418, 424, 426, 429, 429, 430, 433, 435, 438, 438, 439, 442, 444, 447, 447, 448, 456, 460, 460, 461, 463, 464, 467, 467, 468, 468, 469, 469, 470, 471, 471, 472, 474, 474, 475, 475, 476, 476, 477, 477, 478, 478, 479, 479, 484, 498, 500, 500, 501, 502, 503, 503, 504, 504, 505, 507, 513, 514, 514, 515, 515, 516, 516, 517, 517, 518, 518, 519, 519, 520, 520, 521, 530, 532, 532, 533, 534, 535, 535, 536, 536, 537, 539, 545, 546, 546, 547, 547, 548, 548, 549, 549, 550, 550, 551, 551, 552, 553, 553, 554, 567, 589, 590, 602, 602, 603, 603, 604, 604, 605, 605, 606, 606, 607, 607, 613, 614, 614, 614, 615, 615, 616, 616, 617, 617, 618, 618, 619, 635, 639, 639, 640, 640, 641, 641, 642, 642, 643, 643, 644, 644, 649, 684
fsw_processing.h Violated 34, 34, 40, 40, 63, 64, 128, 130, 131, 132, 133, 134, 135, 136, 137, 139, 139, 144, 144, 149, 149, 168, 170, 194, 196, 205, 206, 229, 231, 234, 237, 237, 238, 238
fsw_processing_globals.c Violated 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39, 41, 42, 43, 44, 46
fsw_spacewire.c Violated 51, 58, 116, 117, 144, 153, 153, 154, 184, 234, 242, 278, 280, 325, 340, 351, 373, 374, 376, 413, 415, 447, 448, 450, 451, 468, 470, 472, 474, 558, 558, 559, 560, 560, 561, 587, 589, 589, 591, 595, 606
lfr_cpu_usage_report.c Violated 56, 60, 71, 76, 79, 89, 95, 98, 127, 132, 135, 136, 140
main.c Violated 16, 20, 25, 29, 34, 38, 42
tc_acceptance.c Violated 12, 27, 27, 27, 27, 41, 41, 43, 44, 44, 45, 47, 47, 48, 50, 50, 51, 53, 53, 54, 56, 56, 57, 59, 59, 60, 62, 62, 63, 65, 65, 66, 86, 87, 90, 90, 91, 91, 127, 127, 127, 127, 127, 127, 128, 128, 129, 129, 129, 422, 423, 423, 426, 426
tc_load_dump_parameters.c Violated 26, 27, 103, 112, 123, 125, 170, 179, 187, 187, 188, 190, 235, 244, 255, 257, 291, 291, 292, 295, 295, 296, 296, 297, 297, 298, 299, 299, 300, 334, 335, 338, 339, 342, 343, 354, 356, 362, 364, 373, 380, 382, 390, 392, 401, 409, 411, 433, 434, 434, 452, 453, 453, 471, 472, 472, 715, 715, 716, 717, 718, 719, 719, 720, 726, 726, 727, 727, 728, 728, 729, 730, 730, 731, 741, 741, 742, 743, 743, 744, 745, 745, 746
TC_types.h Violated 49, 50, 51, 57, 63, 64, 65, 73, 74, 80, 81, 82, 90, 91, 92, 93, 96, 97, 103, 104, 105, 111, 118, 119, 120, 128, 135, 136, 137, 143, 144, 145, 150, 156, 157, 158, 166, 172, 173, 174, 180, 186, 187, 188, 194, 195
tm_lfr_tc_exe.c Violated 44, 44, 45, 47, 47, 48, 54, 54, 55, 55, 56, 56, 57, 58, 58, 59, 61, 61, 62, 62, 63, 63, 64, 64, 109, 109, 110, 112, 112, 113, 119, 119, 120, 120, 121, 121, 122, 123, 123, 124, 126, 126, 127, 128, 128, 129, 129, 130, 130, 131, 131, 177, 177, 178, 180, 180, 181, 187, 187, 188, 188, 189, 189, 190, 191, 191, 192, 194, 194, 195, 196, 196, 197, 197, 198, 198, 199, 199, 202, 202, 203, 203, 245, 245, 246, 248, 248, 249, 255, 255, 256, 256, 257, 257, 258, 259, 259, 260, 262, 262, 263, 264, 264, 265, 265, 266, 266, 267, 267, 311, 311, 312, 314, 314, 315, 321, 321, 322, 322, 323, 323, 324, 325, 325, 326, 328, 328, 329, 330, 330, 331, 331, 332, 332, 333, 333, 378, 378, 378, 386, 386, 387, 389, 389, 390, 396, 396, 397, 397, 398, 398, 399, 400, 400, 401, 403, 403, 404, 405, 405, 406, 406, 407, 407, 408, 408, 411, 411, 412, 412, 413, 413, 414, 414, 415, 415, 416, 417, 417, 418, 418, 493, 494, 498, 498, 499, 504, 508
wf_handler.c Violated 15, 16, 17, 75, 75, 85, 99, 99, 103, 103, 122, 129, 129, 138, 145, 145, 152, 154, 154, 156, 158, 158, 160, 167, 167, 174, 176, 176, 178, 180, 180, 182, 287, 287, 353, 438, 472, 472, 473, 473, 474, 474, 476, 476, 477, 477, 478, 478, 480, 480, 482, 483, 509, 509, 515, 515, 516, 517, 518, 520, 520, 521, 522, 522, 523, 527, 527, 528, 529, 529, 530, 532, 534, 541, 541, 542, 542, 543, 543, 544, 544, 545, 545, 546, 546, 557, 565, 565, 566, 570, 570, 571, 573, 574, 574, 575, 576, 576, 577, 578, 587, 587, 588, 588, 589, 589, 590, 590, 591, 591, 592, 592, 601, 608, 608, 609, 611, 612, 612, 613, 614, 614, 615, 617, 626, 626, 627, 627, 628, 628, 629, 629, 630, 630, 631, 631, 658, 658, 659, 663, 664, 666, 666, 671, 682, 682, 683, 683, 684, 684, 685, 685, 686, 686, 687, 687, 691, 722, 722, 723, 727, 728, 730, 741, 741, 742, 742, 743, 743, 744, 744, 745, 745, 746, 746, 752, 761, 792, 792, 793, 799, 802, 803, 803, 804, 804, 805, 805, 806, 806, 807, 807, 810, 811, 815, 826, 826, 827, 827, 828, 828, 829, 829, 830, 830, 831, 831, 835, 848, 851, 853, 853, 854, 855, 855, 856, 856, 857, 857, 858, 858, 860, 860, 861, 861, 862, 862, 863, 863, 864, 864, 865, 870, 870, 874, 874, 878, 878, 882, 882, 886, 886, 890, 890, 894, 894, 898, 898, 909, 909, 910, 910, 911, 911, 912, 912, 913, 913, 914, 922, 925, 927, 927, 928, 928, 929, 929, 930, 931, 931, 932, 934, 934, 935, 935, 936, 936, 937, 937, 938, 938, 939, 944, 944, 948, 948, 952, 952, 956, 956, 960, 960, 964, 964, 968, 968, 972, 972, 983, 983, 984, 984, 985, 985, 986, 986, 987, 987, 988, 1012, 1013, 1014, 1015, 1026, 1029, 1030, 1032, 1035, 1036, 1040, 1041, 1047, 1060, 1071, 1071, 1071, 1072, 1072, 1072, 1073, 1073, 1073, 1074, 1074, 1074, 1075, 1075, 1075, 1076, 1076, 1076, 1080, 1080, 1080, 1080, 1082, 1084, 1087, 1107, 1108, 1108, 1109, 1109, 1110, 1110, 1110, 1111, 1111, 1112, 1112, 1113, 1122, 1123, 1123, 1123, 1124, 1124, 1125, 1125, 1126, 1126, 1127, 1127, 1128, 1141, 1152, 1198, 1199, 1200, 1220, 1220, 1221, 1221, 1222, 1223, 1223, 1224, 1224, 1241, 1242, 1245, 1247, 1250, 1251, 1254, 1255, 1258, 1276, 1276, 1277, 1279, 1280, 1290, 1290, 1290, 1291, 1291, 1291, 1291, 1291, 1291, 1294, 1304, 1304, 1304, 1305, 1305, 1305, 1305, 1305, 1305, 1316, 1316, 1316, 1318, 1378, 1382, 1382, 1383, 1388, 1392
wf_handler.h Violated 35

Don_PointeurNonAff_V1 : Don_PointeurNonAff_V1

File name State Lines
avf2_prc2.c Violated 35, 130
basic_parameters.h Violated 48, 477
file_utilities.c Violated 15
fsw_misc.c Violated 314, 392, 450, 509
fsw_processing.c Violated 627, 628, 629
fsw_processing.h Violated 220, 221
fsw_spacewire.c Violated 207
lfr_cpu_usage_report.c Violated 50, 51
main.c Violated 15
tc_acceptance.c Violated 419
tm_lfr_tc_exe.c Violated 376
wf_handler.c Violated 790, 999, 1000, 1001, 1103, 1118, 1340

Don_Separee_V1 : Don_Separee_V1

File name State Lines
lfr_cpu_usage_report.c Violated 52, 54

Don_TypeBooleen_V1 : Don_TypeBooleen_V1

File name State Lines
lfr_cpu_usage_report.c Violated 77, 82, 96, 122

Don_Utilisee_V1 : Don_Utilisee_V1

File name State Lines
avf0_prc0.h Violated 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 33
avf1_prc1.h Violated 7, 8, 9, 10, 11, 12, 13, 14, 15, 30
avf2_prc2.c Violated 17, 22, 31, 129, 135
ccsds_types.h Violated 273, 274, 275, 276, 278, 279, 280, 282, 283, 284, 285, 286, 288, 289, 290, 291, 292, 293, 294, 298, 299, 300, 301, 303, 304, 305, 307, 308, 309, 310, 311, 313, 314, 315, 316, 317, 318, 322, 323, 324, 325, 327, 328, 329, 331, 332, 333, 334, 335, 337, 338, 339, 340, 341, 345, 346, 347, 348, 350, 351, 352, 354, 355, 356, 357, 358, 360, 361, 362, 363, 364, 368, 369, 370, 371, 373, 374, 375, 377, 378, 379, 380, 381, 383, 384, 385, 386, 387, 388, 389, 390, 391, 395, 396, 397, 398, 399, 400, 401, 403, 404, 405, 406, 407, 409, 410, 411, 412, 413, 414, 418, 419, 420, 421, 422, 423, 424, 426, 427, 428, 429, 430, 432, 433, 434, 435, 439, 440, 441, 442, 443, 444, 445, 447, 448, 449, 450, 451, 453, 454, 455, 456, 457, 458, 462, 463, 464, 465, 466, 467, 468, 470, 471, 472, 473, 474, 476, 477, 478, 479, 480, 484, 485, 486, 487, 488, 489, 490, 492, 493, 494, 495, 496, 498, 499, 500, 501, 506, 507, 508, 509, 510, 511, 513, 514, 515, 516, 517, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 537, 538, 539, 541, 542, 543, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 556, 558, 559, 560, 561, 562, 563, 565, 566, 567, 568, 570, 571, 572, 573, 575, 577, 578, 579, 581, 582, 583, 585, 586, 587, 588, 589, 590, 591, 592, 593, 594, 595, 597, 598, 599, 601, 602, 603, 605, 606, 608, 609, 611, 615, 616, 617, 618, 619, 620, 621, 623, 624, 625, 626, 627, 628, 632, 633, 637, 638, 639, 640, 641, 642, 643, 647, 648, 652, 653, 657, 658, 661
fsw_globals.c Violated 26, 27, 28, 29, 30, 31, 32, 33, 40, 41, 42, 43, 44, 50, 51, 52, 55, 56, 57, 58, 61, 62, 65, 67, 68, 69, 70, 71, 72, 73
fsw_init.h Violated 19
fsw_misc.c Violated 25, 26
fsw_misc.h Violated 12, 46
fsw_params.h Violated 18, 249, 250, 251, 252
fsw_processing.h Violated 19, 28, 34, 39, 40, 45, 46, 47, 48, 49, 57, 63
fsw_processing_globals.c Violated 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39, 41, 42, 43, 44, 46
fsw_spacewire.c Violated 16, 17, 29, 206, 208, 209, 489
grlib_regs.h Violated 7, 8, 10, 11, 15, 18, 19, 20, 21, 22, 27, 28, 29, 30, 34, 35, 36, 37, 38, 42, 43, 44, 45, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 83, 84, 85, 86, 88, 89, 90, 91, 93, 94, 95, 96, 98, 99, 100, 101, 103, 104, 105, 106
lfr_cpu_usage_report.c Violated 39, 54, 54, 54, 56
tc_handler.h Violated 16
tc_load_dump_parameters.c Violated 320
TC_types.h Violated 49, 50, 51, 53, 54, 55, 56, 57, 63, 64, 65, 67, 68, 69, 70, 71, 72, 73, 74, 80, 81, 82, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 103, 104, 105, 107, 108, 109, 110, 111, 118, 119, 120, 122, 123, 124, 125, 126, 127, 128, 135, 136, 137, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 156, 157, 158, 160, 161, 162, 163, 164, 165, 166, 172, 173, 174, 176, 177, 178, 179, 180, 186, 187, 188, 190, 191, 192, 193, 194, 195
tm_lfr_tc_exe.c Violated 101, 102, 169, 170, 237, 238, 303, 304, 373, 374
wf_handler.h Violated 20, 30

Dyn_Abort_V1 : Dyn_Abort_V1

File name State Lines
- Not Violated -

Int_CheminAbsolu_V1 : Int_CheminAbsolu_V1

File name State Lines
fsw_spacewire.h Violated 9
lfr_cpu_usage_report.c Violated 27, 28, 33

Org_Masquage_V1 : Org_Masquage_V1

File name State Lines
- Not Violated -

Pr_CartStd_V1 : Pr_CartStd_V1

File name State Lines
- Not Violated -

Pr_Instruction_V1 : Pr_Instruction_V1

File name State Lines
fsw_spacewire.c Violated 377, 380, 383, 386, 389, 392, 395

Tr_AutoIncl_V1 : Tr_AutoIncl_V1

File name State Lines
- Not Violated -

Tr_BoucleSortie_V1 : Tr_BoucleSortie_V1

File name State Lines
lfr_cpu_usage_report.c Violated 74, 93, 102

Tr_ComparaisonStrict_V1 : Tr_ComparaisonStrict_V1

File name State Lines
basic_parameters.h Violated 96, 149, 309, 425, 650, 695, 740, 786, 831
tc_load_dump_parameters.c Violated 123, 188, 255, 390, 409

Tr_FonctionSortie_V1 : Tr_FonctionSortie_V1

File name State Lines
file_utilities.c Violated 11
fsw_misc.c Violated 142
fsw_spacewire.c Violated 21, 21, 21
tm_lfr_tc_exe.c Violated 18, 18, 18, 18, 18

Tr_Goto_V1 : Tr_Goto_V1

File name State Lines
- Not Violated -

Tr_ModelFonction_V1 : Tr_ModelFonction_V1

File name State Lines
fsw_params.h Violated 217, 218, 219, 221, 222, 223, 227, 228, 229, 231, 232, 233, 237, 238, 239, 241, 242, 243

Tr_ModifCompteur_V1 : Tr_ModifCompteur_V1

File name State Lines
fsw_misc.c Violated 317, 317

Tr_ModifConst_V1 : Tr_ModifConst_V1

File name State Lines
- Not Violated -

Tr_ParAnonym_V1 : Tr_ParAnonym_V1

File name State Lines
- Not Violated -

Tr_Parenthèses_V1 : Tr_Parenthèses_V1

File name State Lines
avf2_prc2.c Violated 76, 77, 78, 85, 88, 95, 98, 105, 109, 231
basic_parameters.h Violated 57, 67, 69, 70, 80, 101, 105, 110, 111, 114, 115, 126, 127, 131, 154, 158, 163, 164, 167, 168, 179, 180, 186, 190, 191, 192, 194, 195, 198, 202, 209, 210, 211, 215, 217, 219, 225, 229, 238, 239, 241, 243, 248, 254, 268, 285, 291, 314, 322, 325, 328, 329, 334, 337, 339, 341, 346, 352, 354, 358, 376, 399, 405, 410, 434, 439, 442, 445, 446, 450, 453, 455, 457, 461, 463, 493, 494, 496, 528, 529, 530, 531, 534, 535, 539, 540, 541, 542, 544, 545, 549, 550, 551, 552, 554, 555, 559, 560, 561, 562, 564, 565, 568, 569, 570, 571, 572, 574, 575, 578, 579, 580, 581, 582, 584, 585, 588, 589, 590, 591, 592, 594, 595, 598, 599, 600, 601, 602, 604, 605, 608, 609, 610, 611, 612, 614, 615, 618, 619, 620, 621, 622, 624, 625, 655, 659, 664, 665, 668, 669, 676, 677, 680, 683, 700, 704, 709, 710, 713, 714, 721, 722, 725, 728, 745, 749, 754, 755, 758, 759, 766, 767, 770, 773, 791, 795, 800, 801, 804, 805, 812, 813, 816, 819, 836, 840, 845, 846, 849, 850, 857, 858
file_utilities.c Violated 33, 35, 37, 39, 41, 43, 45, 47, 49, 51, 53, 55, 57, 59, 61, 73, 74, 75, 76, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 91, 92, 93, 94, 95, 96, 97, 98, 100, 101, 102, 103, 104, 105, 106, 107
fsw_globals.c Violated 44
fsw_misc.c Violated 49, 50, 51, 52, 64, 65, 66, 95, 231, 347, 348, 352, 359, 383, 441, 467, 469, 475, 476, 481, 494, 526, 528, 534, 535, 540, 553
fsw_processing.c Violated 41, 45, 46, 100, 113, 122, 136, 203, 216, 220, 234, 273, 292, 311, 341, 362, 424, 433, 442, 454, 614, 635, 662, 669
fsw_processing.h Violated 130, 172, 175, 178, 198, 201, 208, 233, 234
fsw_spacewire.c Violated 157, 183, 448, 451, 470, 474, 493, 495, 497, 499, 501, 503, 505, 507, 509, 511, 513, 515, 517, 528, 530, 532, 534, 536, 538, 540, 542, 544, 546, 548, 550, 552, 586, 591, 595
lfr_cpu_usage_report.c Violated 128, 135
tc_acceptance.c Violated 45, 48, 51, 54, 57, 60, 63, 66, 127, 129, 222, 270, 422, 423, 426
tc_load_dump_parameters.c Violated 47, 122, 187, 254, 302, 335, 339, 343, 389, 408, 652, 670, 689
tm_lfr_tc_exe.c Violated 66, 137, 205, 271, 337, 378, 420, 493, 494, 496, 504
wf_handler.c Violated 72, 85, 122, 138, 152, 156, 160, 174, 178, 182, 284, 480, 534, 658, 668, 672, 675, 722, 732, 735, 792, 803, 804, 805, 806, 807, 817, 820, 860, 870, 874, 878, 882, 886, 890, 894, 898, 907, 934, 944, 948, 952, 956, 960, 964, 968, 972, 981, 1021, 1027, 1033, 1060, 1061, 1080, 1089, 1108, 1123, 1219, 1247, 1251, 1255, 1276, 1279, 1280, 1290, 1291, 1293, 1304, 1305, 1307, 1316, 1318, 1351, 1362, 1378, 1380, 1388

Tr_Residus_V1 : Tr_Residus_V1

File name State Lines
basic_parameters.h Violated 340, 456
fsw_config.c Violated 40
fsw_misc.h Violated 16
main.c Violated 28
tc_handler.c Violated 325
wf_handler.c Violated 1012, 1013, 1014, 1030, 1036, 1246

Tr_TestEgalite_V1 : Tr_TestEgalite_V1

File name State Lines
basic_parameters.h Violated 96, 149, 309, 425, 650, 695, 740, 786, 831
tc_load_dump_parameters.c Violated 123, 188, 255, 390, 409

Source File List

In the following table you will find for each file of the application:

File Name Date
avf0_prc0.c 11/07/14-09:48:26
avf0_prc0.h 16/06/14-14:12:54
avf1_prc1.c 11/07/14-09:48:26
avf1_prc1.h 28/04/14-14:58:38
avf2_prc2.c 11/07/14-09:48:26
avf2_prc2.h 11/07/14-09:48:26
basic_parameters.c 26/05/14-15:26:48
basic_parameters.h 11/07/14-17:14:53
basic_parameters_params.h 26/05/14-15:26:48
ccsds_types.h 12/06/14-07:09:18
file_utilities.c 26/05/14-15:26:48
file_utilities.h 26/05/14-15:26:48
fsw_config.c 21/01/14-13:48:08
fsw_globals.c 16/06/14-08:08:30
fsw_init.c 23/06/14-07:51:26
fsw_init.h 28/04/14-12:58:00
fsw_misc.c 17/06/14-07:32:52
fsw_misc.h 16/06/14-08:08:30
fsw_params.h 16/06/14-08:54:02
fsw_params_nb_bytes.h 15/05/14-07:51:46
fsw_params_processing.h 11/07/14-09:48:26
fsw_params_wf_handler.h 13/05/14-09:24:46
fsw_processing.c 16/06/14-15:44:20
fsw_processing.h 11/07/14-09:48:26
fsw_processing_globals.c 24/10/13-16:28:16
fsw_spacewire.c 29/04/14-11:25:32
fsw_spacewire.h 29/04/14-11:25:32
grlib_regs.h 16/06/14-15:38:38
lfr_cpu_usage_report.c 27/05/14-07:25:20
lfr_cpu_usage_report.h 16/05/14-07:16:16
main.c 26/05/14-15:26:48
tc_acceptance.c 31/03/14-09:16:42
tc_acceptance.h 31/03/14-08:35:54
tc_handler.c 19/06/14-07:38:26
tc_handler.h 15/05/14-14:55:34
tc_load_dump_parameters.c 20/06/14-15:19:16
tc_load_dump_parameters.h 17/06/14-09:35:28
TC_types.h 28/01/14-08:16:54
tm_byte_positions.h 28/01/14-07:23:58
tm_lfr_tc_exe.c 17/06/14-09:18:08
tm_lfr_tc_exe.h 31/03/14-07:17:48
wf_handler.c 23/06/14-07:09:38
wf_handler.h 29/05/14-09:32:54

Advisory Synthesis Table

In the following table you will find for each file of the application and for each rule having severity Advisory the number of violations for the file (red or green number if there were violations or not).

parse
avf0_prc0.c 1
avf0_prc0.h 0
avf1_prc1.c 1
avf1_prc1.h 0
avf2_prc2.c 5
avf2_prc2.h 0
basic_parameters.c 0
basic_parameters.h 0
basic_parameters_params.h 0
ccsds_types.h 0
file_utilities.c 0
file_utilities.h 0
fsw_config.c 1
fsw_globals.c 0
fsw_init.c 1
fsw_init.h 0
fsw_misc.c 22
fsw_misc.h 0
fsw_params.h 0
fsw_params_nb_bytes.h 0
fsw_params_processing.h 0
fsw_params_wf_handler.h 0
fsw_processing.c 3
fsw_processing.h 3
fsw_processing_globals.c 0
fsw_spacewire.c 45
fsw_spacewire.h 0
grlib_regs.h 0
lfr_cpu_usage_report.c 0
lfr_cpu_usage_report.h 0
main.c 0
tc_acceptance.c 0
tc_acceptance.h 0
tc_handler.c 1
tc_handler.h 0
tc_load_dump_parameters.c 2
tc_load_dump_parameters.h 0
TC_types.h 0
tm_byte_positions.h 0
tm_lfr_tc_exe.c 12
tm_lfr_tc_exe.h 0
wf_handler.c 23
wf_handler.h 0
Total 120

Unknown Synthesis Table

In the following table you will find for each file of the application and for each rule having severity Unknown the number of violations for the file (red or green number if there were violations or not).

Don_AllocDynBord_V1 Don_Declaration_V1 Don_Homonymie_V1 Don_Initialisation_V1 Don_Invariant_V1 Don_PointeurNonAff_V1 Don_Separee_V1 Don_TypeBooleen_V1 Don_Utilisee_V1 Dyn_Abort_V1
avf0_prc0.c 0 0 0 0 0 0 0 0 0 0
avf0_prc0.h 0 0 0 0 0 0 0 0 12 0
avf1_prc1.c 0 0 0 0 0 0 0 0 0 0
avf1_prc1.h 0 0 0 0 0 0 0 0 10 0
avf2_prc2.c 0 0 0 21 15 2 0 0 5 0
avf2_prc2.h 0 0 0 0 0 0 0 0 0 0
basic_parameters.c 0 0 0 0 0 0 0 0 0 0
basic_parameters.h 0 0 1 36 653 2 0 0 0 0
basic_parameters_params.h 0 0 0 0 0 0 0 0 0 0
ccsds_types.h 0 0 1 0 120 0 0 0 291 0
file_utilities.c 0 0 0 0 129 1 0 0 0 0
file_utilities.h 0 0 0 0 0 0 0 0 0 0
fsw_config.c 0 0 0 0 0 0 0 0 0 0
fsw_globals.c 0 0 0 0 6 0 0 0 30 0
fsw_init.c 0 0 0 0 0 0 0 0 0 0
fsw_init.h 0 0 0 0 2 0 0 0 1 0
fsw_misc.c 0 0 0 10 195 4 0 0 2 0
fsw_misc.h 0 0 0 0 0 0 0 0 2 0
fsw_params.h 0 0 6 0 0 0 0 0 5 0
fsw_params_nb_bytes.h 0 0 0 0 0 0 0 0 0 0
fsw_params_processing.h 0 0 0 0 0 0 0 0 0 0
fsw_params_wf_handler.h 0 0 0 0 0 0 0 0 0 0
fsw_processing.c 0 0 0 4 293 3 0 0 0 0
fsw_processing.h 0 0 1 0 34 2 0 0 12 0
fsw_processing_globals.c 0 0 33 0 33 0 0 0 33 0
fsw_spacewire.c 0 0 0 37 41 1 0 0 7 0
fsw_spacewire.h 0 0 1 0 0 0 0 0 0 0
grlib_regs.h 0 0 0 0 0 0 0 0 71 0
lfr_cpu_usage_report.c 0 0 1 1 13 2 2 4 5 0
lfr_cpu_usage_report.h 0 0 0 0 0 0 0 0 0 0
main.c 0 0 1 0 7 1 0 0 0 0
tc_acceptance.c 0 0 1 5 54 1 0 0 0 0
tc_acceptance.h 0 0 0 0 0 0 0 0 0 0
tc_handler.c 0 0 0 0 0 0 0 0 0 0
tc_handler.h 0 0 0 0 0 0 0 0 1 0
tc_load_dump_parameters.c 0 0 0 3 83 0 0 0 1 0
tc_load_dump_parameters.h 0 0 0 0 0 0 0 0 0 0
TC_types.h 0 0 0 0 46 0 0 0 96 0
tm_byte_positions.h 0 0 0 0 0 0 0 0 0 0
tm_lfr_tc_exe.c 0 0 0 2 188 1 0 0 10 0
tm_lfr_tc_exe.h 0 0 1 0 0 0 0 0 0 0
wf_handler.c 0 0 2 33 431 7 0 0 0 0
wf_handler.h 0 0 0 0 1 0 0 0 2 0
Total 0 0 49 152 2344 27 2 4 596 0
Int_CheminAbsolu_V1 Org_Masquage_V1 Pr_CartStd_V1 Pr_Instruction_V1 Tr_AutoIncl_V1 Tr_BoucleSortie_V1 Tr_ComparaisonStrict_V1 Tr_FonctionSortie_V1 Tr_Goto_V1 Tr_ModelFonction_V1
avf0_prc0.c 0 0 0 0 0 0 0 0 0 0
avf0_prc0.h 0 0 0 0 0 0 0 0 0 0
avf1_prc1.c 0 0 0 0 0 0 0 0 0 0
avf1_prc1.h 0 0 0 0 0 0 0 0 0 0
avf2_prc2.c 0 0 0 0 0 0 0 0 0 0
avf2_prc2.h 0 0 0 0 0 0 0 0 0 0
basic_parameters.c 0 0 0 0 0 0 0 0 0 0
basic_parameters.h 0 0 0 0 0 0 9 0 0 0
basic_parameters_params.h 0 0 0 0 0 0 0 0 0 0
ccsds_types.h 0 0 0 0 0 0 0 0 0 0
file_utilities.c 0 0 0 0 0 0 0 1 0 0
file_utilities.h 0 0 0 0 0 0 0 0 0 0
fsw_config.c 0 0 0 0 0 0 0 0 0 0
fsw_globals.c 0 0 0 0 0 0 0 0 0 0
fsw_init.c 0 0 0 0 0 0 0 0 0 0
fsw_init.h 0 0 0 0 0 0 0 0 0 0
fsw_misc.c 0 0 0 0 0 0 0 1 0 0
fsw_misc.h 0 0 0 0 0 0 0 0 0 0
fsw_params.h 0 0 0 0 0 0 0 0 0 18
fsw_params_nb_bytes.h 0 0 0 0 0 0 0 0 0 0
fsw_params_processing.h 0 0 0 0 0 0 0 0 0 0
fsw_params_wf_handler.h 0 0 0 0 0 0 0 0 0 0
fsw_processing.c 0 0 0 0 0 0 0 0 0 0
fsw_processing.h 0 0 0 0 0 0 0 0 0 0
fsw_processing_globals.c 0 0 0 0 0 0 0 0 0 0
fsw_spacewire.c 0 0 0 7 0 0 0 3 0 0
fsw_spacewire.h 1 0 0 0 0 0 0 0 0 0
grlib_regs.h 0 0 0 0 0 0 0 0 0 0
lfr_cpu_usage_report.c 3 0 0 0 0 3 0 0 0 0
lfr_cpu_usage_report.h 0 0 0 0 0 0 0 0 0 0
main.c 0 0 0 0 0 0 0 0 0 0
tc_acceptance.c 0 0 0 0 0 0 0 0 0 0
tc_acceptance.h 0 0 0 0 0 0 0 0 0 0
tc_handler.c 0 0 0 0 0 0 0 0 0 0
tc_handler.h 0 0 0 0 0 0 0 0 0 0
tc_load_dump_parameters.c 0 0 0 0 0 0 5 0 0 0
tc_load_dump_parameters.h 0 0 0 0 0 0 0 0 0 0
TC_types.h 0 0 0 0 0 0 0 0 0 0
tm_byte_positions.h 0 0 0 0 0 0 0 0 0 0
tm_lfr_tc_exe.c 0 0 0 0 0 0 0 5 0 0
tm_lfr_tc_exe.h 0 0 0 0 0 0 0 0 0 0
wf_handler.c 0 0 0 0 0 0 0 0 0 0
wf_handler.h 0 0 0 0 0 0 0 0 0 0
Total 4 0 0 7 0 3 14 10 0 18
Tr_ModifCompteur_V1 Tr_ModifConst_V1 Tr_ParAnonym_V1 Tr_Parenthèses_V1 Tr_Residus_V1 Tr_TestEgalite_V1
avf0_prc0.c 0 0 0 0 0 0
avf0_prc0.h 0 0 0 0 0 0
avf1_prc1.c 0 0 0 0 0 0
avf1_prc1.h 0 0 0 0 0 0
avf2_prc2.c 0 0 0 10 0 0
avf2_prc2.h 0 0 0 0 0 0
basic_parameters.c 0 0 0 0 0 0
basic_parameters.h 0 0 0 192 2 9
basic_parameters_params.h 0 0 0 0 0 0
ccsds_types.h 0 0 0 0 0 0
file_utilities.c 0 0 0 47 0 0
file_utilities.h 0 0 0 0 0 0
fsw_config.c 0 0 0 0 1 0
fsw_globals.c 0 0 0 1 0 0
fsw_init.c 0 0 0 0 0 0
fsw_init.h 0 0 0 0 0 0
fsw_misc.c 2 0 0 27 0 0
fsw_misc.h 0 0 0 0 1 0
fsw_params.h 0 0 0 0 0 0
fsw_params_nb_bytes.h 0 0 0 0 0 0
fsw_params_processing.h 0 0 0 0 0 0
fsw_params_wf_handler.h 0 0 0 0 0 0
fsw_processing.c 0 0 0 24 0 0
fsw_processing.h 0 0 0 9 0 0
fsw_processing_globals.c 0 0 0 0 0 0
fsw_spacewire.c 0 0 0 35 0 0
fsw_spacewire.h 0 0 0 0 0 0
grlib_regs.h 0 0 0 0 0 0
lfr_cpu_usage_report.c 0 0 0 2 0 0
lfr_cpu_usage_report.h 0 0 0 0 0 0
main.c 0 0 0 0 1 0
tc_acceptance.c 0 0 0 15 0 0
tc_acceptance.h 0 0 0 0 0 0
tc_handler.c 0 0 0 0 1 0
tc_handler.h 0 0 0 0 0 0
tc_load_dump_parameters.c 0 0 0 13 0 5
tc_load_dump_parameters.h 0 0 0 0 0 0
TC_types.h 0 0 0 0 0 0
tm_byte_positions.h 0 0 0 0 0 0
tm_lfr_tc_exe.c 0 0 0 11 0 0
tm_lfr_tc_exe.h 0 0 0 0 0 0
wf_handler.c 0 0 0 77 6 0
wf_handler.h 0 0 0 0 0 0
Total 2 0 0 463 12 14

Rules Description

Don_AllocDynBord_V1 : Don_AllocDynBord_V1

Severity is Unknown

No description available

Don_Declaration_V1 : Don_Declaration_V1

Severity is Unknown

No description available

Don_Homonymie_V1 : Don_Homonymie_V1

Severity is Unknown

No description available

Don_Initialisation_V1 : Don_Initialisation_V1

Severity is Unknown

No description available

Don_Invariant_V1 : Don_Invariant_V1

Severity is Unknown

No description available

Don_PointeurNonAff_V1 : Don_PointeurNonAff_V1

Severity is Unknown

No description available

Don_Separee_V1 : Don_Separee_V1

Severity is Unknown

No description available

Don_TypeBooleen_V1 : Don_TypeBooleen_V1

Severity is Unknown

No description available

Don_Utilisee_V1 : Don_Utilisee_V1

Severity is Unknown

No description available

Dyn_Abort_V1 : Dyn_Abort_V1

Severity is Unknown

No description available

Int_CheminAbsolu_V1 : Int_CheminAbsolu_V1

Severity is Unknown

No description available

Org_Masquage_V1 : Org_Masquage_V1

Severity is Unknown

No description available

Pr_CartStd_V1 : Pr_CartStd_V1

Severity is Unknown

No description available

Pr_Instruction_V1 : Pr_Instruction_V1

Severity is Unknown

No description available

Tr_AutoIncl_V1 : Tr_AutoIncl_V1

Severity is Unknown

No description available

Tr_BoucleSortie_V1 : Tr_BoucleSortie_V1

Severity is Unknown

No description available

Tr_ComparaisonStrict_V1 : Tr_ComparaisonStrict_V1

Severity is Unknown

No description available

Tr_FonctionSortie_V1 : Tr_FonctionSortie_V1

Severity is Unknown

No description available

Tr_Goto_V1 : Tr_Goto_V1

Severity is Unknown

No description available

Tr_ModelFonction_V1 : Tr_ModelFonction_V1

Severity is Unknown

No description available

Tr_ModifCompteur_V1 : Tr_ModifCompteur_V1

Severity is Unknown

No description available

Tr_ModifConst_V1 : Tr_ModifConst_V1

Severity is Unknown

No description available

Tr_ParAnonym_V1 : Tr_ParAnonym_V1

Severity is Unknown

No description available

Tr_Parenthèses_V1 : Tr_Parenthèses_V1

Severity is Unknown

No description available

Tr_Residus_V1 : Tr_Residus_V1

Severity is Unknown

No description available

Tr_TestEgalite_V1 : Tr_TestEgalite_V1

Severity is Unknown

No description available

parse : Parse error

Severity is Advisory


Definition:
-----------
This standard identifies module parts that could not be parsed.