[{"data":1,"prerenderedAt":2815},["ShallowReactive",2],{"global-navigation":3,"page-\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr50-cpp":28,"surround-\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr50-cpp":2115,"sidebar-sei-cert-cpp-coding-standard":2123},[4,8],{"title":5,"path":6,"_path":6,"fromAppConfig":7},"Home","\u002F",true,{"title":9,"path":10,"children":11,"_path":27,"fromAppConfig":7},"Coding Standards","\u002Fcoding-standards\u002F",[12,15,18,21,24],{"title":13,"path":14},"Android Coding Standard","\u002Fandroid-secure-coding-standard\u002F",{"title":16,"path":17},"C Coding Standard","\u002Fsei-cert-c-coding-standard\u002F",{"title":19,"path":20},"C++ Coding Standard","\u002Fsei-cert-cpp-coding-standard\u002F",{"title":22,"path":23},"Java Coding Standard","\u002Fsei-cert-oracle-coding-standard-for-java\u002F",{"title":25,"path":26},"Perl Coding Standard","\u002Fsei-cert-perl-coding-standard\u002F","\u002Fcoding-standards",{"id":29,"title":30,"body":31,"description":41,"extension":2099,"meta":2100,"navigation":7,"path":2111,"seo":2112,"stem":2113,"__hash__":2114},"content\u002F5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F02.ctr50-cpp.md","CTR50-CPP. Guarantee that container indices and iterators are within the valid range",{"type":32,"value":33,"toc":2080},"minimark",[34,38,42,47,84,227,234,243,339,343,349,696,703,738,845,853,860,959,965,990,1079,1083,1107,1304,1308,1314,1481,1485,1492,1556,1560,1931,1935,1949,1953,1995,1999,2053,2056,2076],[35,36,30],"h1",{"id":37},"ctr50-cpp-guarantee-that-container-indices-and-iterators-are-within-the-valid-range",[39,40,41],"p",{},"Ensuring that array references are within the bounds of the array is almost entirely the responsibility of the programmer. Likewise, when using standard template library vectors, the programmer is responsible for ensuring integer indexes are within the bounds of the vector.",[43,44,46],"h2",{"id":45},"noncompliant-code-example-pointers","Noncompliant Code Example (Pointers)",[39,48,49,50,54,55,58,59,62,63,66,67,69,70,73,74,76,77,79,80,83],{},"This noncompliant code example shows a function, ",[51,52,53],"code",{},"insert_in_table()"," , that has two ",[51,56,57],{},"int"," parameters, ",[51,60,61],{},"pos"," and ",[51,64,65],{},"value"," , both of which can be influenced by data originating from untrusted sources. The function performs a range check to ensure that ",[51,68,61],{}," does not exceed the upper bound of the array, specified by ",[51,71,72],{},"tableSize"," , but fails to check the lower bound. Because ",[51,75,61],{}," is declared as a (signed) ",[51,78,57],{}," , this parameter can assume a negative value, resulting in a write outside the bounds of the memory referenced by ",[51,81,82],{},"table"," .",[85,86,88],"code-block",{"quality":87},"bad",[89,90,95],"pre",{"className":91,"code":92,"language":93,"meta":94,"style":94},"language-cpp shiki shiki-themes github-light github-dark monokai","#include \u003Ccstddef>\n \nvoid insert_in_table(int *table, std::size_t tableSize, int pos, int value) {\n  if (pos >= tableSize) {\n    \u002F\u002F Handle error\n    return;\n  }\n  table[pos] = value;\n}\n","cpp","",[51,96,97,110,117,172,187,194,203,209,221],{"__ignoreMap":94},[98,99,102,106],"span",{"class":100,"line":101},"line",1,[98,103,105],{"class":104},"sC2Qs","#include",[98,107,109],{"class":108},"sstjo"," \u003Ccstddef>\n",[98,111,113],{"class":100,"line":112},2,[98,114,116],{"class":115},"sMOD_"," \n",[98,118,120,124,128,131,133,136,139,142,146,149,152,155,157,159,162,164,166,169],{"class":100,"line":119},3,[98,121,123],{"class":122},"sq6CD","void",[98,125,127],{"class":126},"srTi1"," insert_in_table",[98,129,130],{"class":115},"(",[98,132,57],{"class":122},[98,134,135],{"class":104}," *",[98,137,82],{"class":138},"sTHNf",[98,140,141],{"class":115},", ",[98,143,145],{"class":144},"sz2Vg","std",[98,147,148],{"class":115},"::",[98,150,151],{"class":122},"size_t",[98,153,154],{"class":138}," tableSize",[98,156,141],{"class":115},[98,158,57],{"class":122},[98,160,161],{"class":138}," pos",[98,163,141],{"class":115},[98,165,57],{"class":122},[98,167,168],{"class":138}," value",[98,170,171],{"class":115},") {\n",[98,173,175,178,181,184],{"class":100,"line":174},4,[98,176,177],{"class":104},"  if",[98,179,180],{"class":115}," (pos ",[98,182,183],{"class":104},">=",[98,185,186],{"class":115}," tableSize) {\n",[98,188,190],{"class":100,"line":189},5,[98,191,193],{"class":192},"s8-w5","    \u002F\u002F Handle error\n",[98,195,197,200],{"class":100,"line":196},6,[98,198,199],{"class":104},"    return",[98,201,202],{"class":115},";\n",[98,204,206],{"class":100,"line":205},7,[98,207,208],{"class":115},"  }\n",[98,210,212,215,218],{"class":100,"line":211},8,[98,213,214],{"class":115},"  table[pos] ",[98,216,217],{"class":104},"=",[98,219,220],{"class":115}," value;\n",[98,222,224],{"class":100,"line":223},9,[98,225,226],{"class":115},"}\n",[43,228,230,231,233],{"id":229},"compliant-solution-size_t","Compliant Solution ( ",[51,232,151],{}," )",[39,235,236,237,239,240,242],{},"In this compliant solution, the parameter ",[51,238,61],{}," is declared as ",[51,241,151],{}," , which prevents the passing of negative arguments.",[85,244,246],{"quality":245},"good",[89,247,249],{"className":91,"code":248,"language":93,"meta":94,"style":94},"#include \u003Ccstddef>\n \nvoid insert_in_table(int *table, std::size_t tableSize, std::size_t pos, int value) {\n  if (pos >= tableSize) {\n    \u002F\u002F Handle error\n    return;\n  }\n  table[pos] = value;\n}\n",[51,250,251,257,261,303,313,317,323,327,335],{"__ignoreMap":94},[98,252,253,255],{"class":100,"line":101},[98,254,105],{"class":104},[98,256,109],{"class":108},[98,258,259],{"class":100,"line":112},[98,260,116],{"class":115},[98,262,263,265,267,269,271,273,275,277,279,281,283,285,287,289,291,293,295,297,299,301],{"class":100,"line":119},[98,264,123],{"class":122},[98,266,127],{"class":126},[98,268,130],{"class":115},[98,270,57],{"class":122},[98,272,135],{"class":104},[98,274,82],{"class":138},[98,276,141],{"class":115},[98,278,145],{"class":144},[98,280,148],{"class":115},[98,282,151],{"class":122},[98,284,154],{"class":138},[98,286,141],{"class":115},[98,288,145],{"class":144},[98,290,148],{"class":115},[98,292,151],{"class":122},[98,294,161],{"class":138},[98,296,141],{"class":115},[98,298,57],{"class":122},[98,300,168],{"class":138},[98,302,171],{"class":115},[98,304,305,307,309,311],{"class":100,"line":174},[98,306,177],{"class":104},[98,308,180],{"class":115},[98,310,183],{"class":104},[98,312,186],{"class":115},[98,314,315],{"class":100,"line":189},[98,316,193],{"class":192},[98,318,319,321],{"class":100,"line":196},[98,320,199],{"class":104},[98,322,202],{"class":115},[98,324,325],{"class":100,"line":205},[98,326,208],{"class":115},[98,328,329,331,333],{"class":100,"line":211},[98,330,214],{"class":115},[98,332,217],{"class":104},[98,334,220],{"class":115},[98,336,337],{"class":100,"line":223},[98,338,226],{"class":115},[43,340,342],{"id":341},"compliant-solution-non-type-templates","Compliant Solution (Non-Type Templates)",[39,344,345,346,348],{},"Non-type templates can be used to define functions accepting an array type where the array bounds are deduced at compile time. This compliant solution is functionally equivalent to the previous bounds-checking one except that it additionally supports calling ",[51,347,53],{}," with an array of known bounds.",[85,350,351],{"quality":245},[89,352,354],{"className":91,"code":353,"language":93,"meta":94,"style":94},"#include \u003Ccstddef>\n#include \u003Cnew>\n\nvoid insert_in_table(int *table, std::size_t tableSize, std::size_t pos, int value) { \u002F\u002F #1\n  if (pos >= tableSize) {\n    \u002F\u002F Handle error\n    return;\n  }\n  table[pos] = value;\n}\n\ntemplate \u003Cstd::size_t N>\nvoid insert_in_table(int (&table)[N], std::size_t pos, int value) { \u002F\u002F #2\n  insert_in_table(table, N, pos, value);\n}\n \nvoid f() {\n  \u002F\u002F Exposition only\n  int table1[100];\n  int *table2 = new int[100];\n  insert_in_table(table1, 0, 0); \u002F\u002F Calls #2\n  insert_in_table(table2, 0, 0); \u002F\u002F Error, no matching function call\n  insert_in_table(table1, 100, 0, 0); \u002F\u002F Calls #1\n  insert_in_table(table2, 100, 0, 0); \u002F\u002F Calls #1\n  delete [] table2;\n}\n",[51,355,356,362,369,374,420,430,434,440,444,452,457,462,483,522,531,536,541,552,558,574,599,620,639,661,682,691],{"__ignoreMap":94},[98,357,358,360],{"class":100,"line":101},[98,359,105],{"class":104},[98,361,109],{"class":108},[98,363,364,366],{"class":100,"line":112},[98,365,105],{"class":104},[98,367,368],{"class":108}," \u003Cnew>\n",[98,370,371],{"class":100,"line":119},[98,372,373],{"emptyLinePlaceholder":7},"\n",[98,375,376,378,380,382,384,386,388,390,392,394,396,398,400,402,404,406,408,410,412,414,417],{"class":100,"line":174},[98,377,123],{"class":122},[98,379,127],{"class":126},[98,381,130],{"class":115},[98,383,57],{"class":122},[98,385,135],{"class":104},[98,387,82],{"class":138},[98,389,141],{"class":115},[98,391,145],{"class":144},[98,393,148],{"class":115},[98,395,151],{"class":122},[98,397,154],{"class":138},[98,399,141],{"class":115},[98,401,145],{"class":144},[98,403,148],{"class":115},[98,405,151],{"class":122},[98,407,161],{"class":138},[98,409,141],{"class":115},[98,411,57],{"class":122},[98,413,168],{"class":138},[98,415,416],{"class":115},") {",[98,418,419],{"class":192}," \u002F\u002F #1\n",[98,421,422,424,426,428],{"class":100,"line":189},[98,423,177],{"class":104},[98,425,180],{"class":115},[98,427,183],{"class":104},[98,429,186],{"class":115},[98,431,432],{"class":100,"line":196},[98,433,193],{"class":192},[98,435,436,438],{"class":100,"line":205},[98,437,199],{"class":104},[98,439,202],{"class":115},[98,441,442],{"class":100,"line":211},[98,443,208],{"class":115},[98,445,446,448,450],{"class":100,"line":223},[98,447,214],{"class":115},[98,449,217],{"class":104},[98,451,220],{"class":115},[98,453,455],{"class":100,"line":454},10,[98,456,226],{"class":115},[98,458,460],{"class":100,"line":459},11,[98,461,373],{"emptyLinePlaceholder":7},[98,463,465,468,471,473,475,477,480],{"class":100,"line":464},12,[98,466,467],{"class":122},"template",[98,469,470],{"class":115}," \u003C",[98,472,145],{"class":144},[98,474,148],{"class":115},[98,476,151],{"class":122},[98,478,479],{"class":144}," N",[98,481,482],{"class":115},">\n",[98,484,486,488,490,492,494,497,500,503,505,507,509,511,513,515,517,519],{"class":100,"line":485},13,[98,487,123],{"class":122},[98,489,127],{"class":126},[98,491,130],{"class":115},[98,493,57],{"class":122},[98,495,496],{"class":115}," (",[98,498,499],{"class":104},"&",[98,501,502],{"class":115},"table)[N], ",[98,504,145],{"class":144},[98,506,148],{"class":115},[98,508,151],{"class":122},[98,510,161],{"class":138},[98,512,141],{"class":115},[98,514,57],{"class":122},[98,516,168],{"class":138},[98,518,416],{"class":115},[98,520,521],{"class":192}," \u002F\u002F #2\n",[98,523,525,528],{"class":100,"line":524},14,[98,526,527],{"class":126},"  insert_in_table",[98,529,530],{"class":115},"(table, N, pos, value);\n",[98,532,534],{"class":100,"line":533},15,[98,535,226],{"class":115},[98,537,539],{"class":100,"line":538},16,[98,540,116],{"class":115},[98,542,544,546,549],{"class":100,"line":543},17,[98,545,123],{"class":122},[98,547,548],{"class":126}," f",[98,550,551],{"class":115},"() {\n",[98,553,555],{"class":100,"line":554},18,[98,556,557],{"class":192},"  \u002F\u002F Exposition only\n",[98,559,561,564,567,571],{"class":100,"line":560},19,[98,562,563],{"class":122},"  int",[98,565,566],{"class":115}," table1[",[98,568,570],{"class":569},"s7F3e","100",[98,572,573],{"class":115},"];\n",[98,575,577,579,581,584,586,589,592,595,597],{"class":100,"line":576},20,[98,578,563],{"class":122},[98,580,135],{"class":104},[98,582,583],{"class":115},"table2 ",[98,585,217],{"class":104},[98,587,588],{"class":104}," new",[98,590,591],{"class":122}," int",[98,593,594],{"class":115},"[",[98,596,570],{"class":569},[98,598,573],{"class":115},[98,600,602,604,607,610,612,614,617],{"class":100,"line":601},21,[98,603,527],{"class":126},[98,605,606],{"class":115},"(table1, ",[98,608,609],{"class":569},"0",[98,611,141],{"class":115},[98,613,609],{"class":569},[98,615,616],{"class":115},");",[98,618,619],{"class":192}," \u002F\u002F Calls #2\n",[98,621,623,625,628,630,632,634,636],{"class":100,"line":622},22,[98,624,527],{"class":126},[98,626,627],{"class":115},"(table2, ",[98,629,609],{"class":569},[98,631,141],{"class":115},[98,633,609],{"class":569},[98,635,616],{"class":115},[98,637,638],{"class":192}," \u002F\u002F Error, no matching function call\n",[98,640,642,644,646,648,650,652,654,656,658],{"class":100,"line":641},23,[98,643,527],{"class":126},[98,645,606],{"class":115},[98,647,570],{"class":569},[98,649,141],{"class":115},[98,651,609],{"class":569},[98,653,141],{"class":115},[98,655,609],{"class":569},[98,657,616],{"class":115},[98,659,660],{"class":192}," \u002F\u002F Calls #1\n",[98,662,664,666,668,670,672,674,676,678,680],{"class":100,"line":663},24,[98,665,527],{"class":126},[98,667,627],{"class":115},[98,669,570],{"class":569},[98,671,141],{"class":115},[98,673,609],{"class":569},[98,675,141],{"class":115},[98,677,609],{"class":569},[98,679,616],{"class":115},[98,681,660],{"class":192},[98,683,685,688],{"class":100,"line":684},25,[98,686,687],{"class":104},"  delete []",[98,689,690],{"class":115}," table2;\n",[98,692,694],{"class":100,"line":693},26,[98,695,226],{"class":115},[43,697,699,700,233],{"id":698},"noncompliant-code-example-stdvector","Noncompliant Code Example ( ",[51,701,702],{},"std::vector",[39,704,705,706,708,709,711,712,76,714,717,718,721,722,725,726,731,732,734,735,737],{},"In this noncompliant code example, a ",[51,707,702],{}," is used in place of a pointer and size pair. The function performs a range check to ensure that ",[51,710,61],{}," does not exceed the upper bound of the container. Because ",[51,713,61],{},[51,715,716],{},"  long long "," , this parameter can assume a negative value. On systems where ",[51,719,720],{},"std::vector::size_type"," is ultimately implemented as an ",[51,723,724],{},"  unsigned int "," (such as with ",[727,728,730],"a",{"href":729},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions#BB.Definitions-msvc","Microsoft Visual Studio"," 2013), the usual arithmetic conversions applied for the comparison expression will convert the unsigned value to a signed value. If ",[51,733,61],{}," has a negative value, this comparison will not fail, resulting in a write outside the bounds of the ",[51,736,702],{}," object when the negative value is interpreted as a large unsigned value in the indexing operator.",[85,739,740],{"quality":87},[89,741,743],{"className":91,"code":742,"language":93,"meta":94,"style":94},"#include \u003Cvector>\n \nvoid insert_in_table(std::vector\u003Cint> &table, long long pos, int value) {\n  if (pos >= table.size()) {\n    \u002F\u002F Handle error\n    return;\n  }\n  table[pos] = value;\n}\n",[51,744,745,752,757,802,819,823,829,833,841],{"__ignoreMap":94},[98,746,747,749],{"class":100,"line":101},[98,748,105],{"class":104},[98,750,751],{"class":108}," \u003Cvector>\n",[98,753,754],{"class":100,"line":112},[98,755,756],{"class":115}," \n",[98,758,759,761,763,765,767,769,772,775,777,780,782,784,786,789,792,794,796,798,800],{"class":100,"line":119},[98,760,123],{"class":122},[98,762,127],{"class":126},[98,764,130],{"class":115},[98,766,145],{"class":144},[98,768,148],{"class":115},[98,770,771],{"class":144},"vector",[98,773,774],{"class":115},"\u003C",[98,776,57],{"class":122},[98,778,779],{"class":115},"> ",[98,781,499],{"class":104},[98,783,82],{"class":138},[98,785,141],{"class":115},[98,787,788],{"class":122},"long",[98,790,791],{"class":122}," long",[98,793,161],{"class":138},[98,795,141],{"class":115},[98,797,57],{"class":122},[98,799,168],{"class":138},[98,801,171],{"class":115},[98,803,804,806,808,810,813,816],{"class":100,"line":174},[98,805,177],{"class":104},[98,807,180],{"class":115},[98,809,183],{"class":104},[98,811,812],{"class":115}," table.",[98,814,815],{"class":126},"size",[98,817,818],{"class":115},"()) {\n",[98,820,821],{"class":100,"line":189},[98,822,193],{"class":192},[98,824,825,827],{"class":100,"line":196},[98,826,199],{"class":104},[98,828,202],{"class":115},[98,830,831],{"class":100,"line":205},[98,832,208],{"class":115},[98,834,835,837,839],{"class":100,"line":211},[98,836,214],{"class":115},[98,838,217],{"class":104},[98,840,220],{"class":115},[98,842,843],{"class":100,"line":223},[98,844,226],{"class":115},[43,846,230,848,850,851,233],{"id":847},"compliant-solution-stdvector-size_t",[51,849,702],{}," , ",[51,852,151],{},[39,854,236,855,239,857,859],{},[51,856,61],{},[51,858,151],{}," , which ensures that the comparison expression will fail when a large, positive value (converted from a negative argument) is given.",[85,861,862],{"quality":245},[89,863,865],{"className":91,"code":864,"language":93,"meta":94,"style":94},"#include \u003Cvector>\n \nvoid insert_in_table(std::vector\u003Cint> &table, std::size_t pos, int value) {\n  if (pos >= table.size()) {\n    \u002F\u002F Handle error\n    return;\n  }\n  table[pos] = value;\n}\n",[51,866,867,873,877,919,933,937,943,947,955],{"__ignoreMap":94},[98,868,869,871],{"class":100,"line":101},[98,870,105],{"class":104},[98,872,751],{"class":108},[98,874,875],{"class":100,"line":112},[98,876,756],{"class":115},[98,878,879,881,883,885,887,889,891,893,895,897,899,901,903,905,907,909,911,913,915,917],{"class":100,"line":119},[98,880,123],{"class":122},[98,882,127],{"class":126},[98,884,130],{"class":115},[98,886,145],{"class":144},[98,888,148],{"class":115},[98,890,771],{"class":144},[98,892,774],{"class":115},[98,894,57],{"class":122},[98,896,779],{"class":115},[98,898,499],{"class":104},[98,900,82],{"class":138},[98,902,141],{"class":115},[98,904,145],{"class":144},[98,906,148],{"class":115},[98,908,151],{"class":122},[98,910,161],{"class":138},[98,912,141],{"class":115},[98,914,57],{"class":122},[98,916,168],{"class":138},[98,918,171],{"class":115},[98,920,921,923,925,927,929,931],{"class":100,"line":174},[98,922,177],{"class":104},[98,924,180],{"class":115},[98,926,183],{"class":104},[98,928,812],{"class":115},[98,930,815],{"class":126},[98,932,818],{"class":115},[98,934,935],{"class":100,"line":189},[98,936,193],{"class":192},[98,938,939,941],{"class":100,"line":196},[98,940,199],{"class":104},[98,942,202],{"class":115},[98,944,945],{"class":100,"line":205},[98,946,208],{"class":115},[98,948,949,951,953],{"class":100,"line":211},[98,950,214],{"class":115},[98,952,217],{"class":104},[98,954,220],{"class":115},[98,956,957],{"class":100,"line":223},[98,958,226],{"class":115},[43,960,230,962,233],{"id":961},"compliant-solution-stdvectorat",[51,963,964],{},"std::vector::at()",[39,966,967,968,971,972,975,976,978,979,981,982,985,986,83],{},"In this compliant solution, access to the vector is accomplished with the ",[51,969,970],{},"at()"," method. This method provides bounds checking, throwing a ",[51,973,974],{},"std::out_of_range"," exception if ",[51,977,61],{}," is not a valid index value. The ",[51,980,53],{}," function is declared with ",[51,983,984],{},"noexcept(false)"," in compliance with ",[727,987,989],{"href":988},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr55-cpp","ERR55-CPP. Honor exception specifications",[85,991,992],{"quality":245},[89,993,995],{"className":91,"code":994,"language":93,"meta":94,"style":94},"#include \u003Cvector>\n \nvoid insert_in_table(std::vector\u003Cint> &table, std::size_t pos, int value) noexcept(false) {\n  table.at(pos) = value;\n}\n",[51,996,997,1003,1007,1060,1075],{"__ignoreMap":94},[98,998,999,1001],{"class":100,"line":101},[98,1000,105],{"class":104},[98,1002,751],{"class":108},[98,1004,1005],{"class":100,"line":112},[98,1006,756],{"class":115},[98,1008,1009,1011,1013,1015,1017,1019,1021,1023,1025,1027,1029,1031,1033,1035,1037,1039,1041,1043,1045,1047,1050,1053,1055,1058],{"class":100,"line":119},[98,1010,123],{"class":122},[98,1012,127],{"class":126},[98,1014,130],{"class":115},[98,1016,145],{"class":144},[98,1018,148],{"class":115},[98,1020,771],{"class":144},[98,1022,774],{"class":115},[98,1024,57],{"class":122},[98,1026,779],{"class":115},[98,1028,499],{"class":104},[98,1030,82],{"class":138},[98,1032,141],{"class":115},[98,1034,145],{"class":144},[98,1036,148],{"class":115},[98,1038,151],{"class":122},[98,1040,161],{"class":138},[98,1042,141],{"class":115},[98,1044,57],{"class":122},[98,1046,168],{"class":138},[98,1048,1049],{"class":115},") ",[98,1051,1052],{"class":104},"noexcept",[98,1054,130],{"class":115},[98,1056,1057],{"class":569},"false",[98,1059,171],{"class":115},[98,1061,1062,1065,1068,1071,1073],{"class":100,"line":174},[98,1063,1064],{"class":115},"  table.",[98,1066,1067],{"class":126},"at",[98,1069,1070],{"class":115},"(pos) ",[98,1072,217],{"class":104},[98,1074,220],{"class":115},[98,1076,1077],{"class":100,"line":189},[98,1078,226],{"class":115},[43,1080,1082],{"id":1081},"noncompliant-code-example-iterators","Noncompliant Code Example (Iterators)",[39,1084,1085,1086,1089,1090,1093,1094,1097,1098,1100,1101,1103,1104,1106],{},"In this noncompliant code example, the ",[51,1087,1088],{},"f_imp()"," function is given the (correct) ending iterator ",[51,1091,1092],{},"e"," for a container, and ",[51,1095,1096],{},"b"," is an iterator from the same container. However, it is possible that ",[51,1099,1096],{}," is not within the valid range of its container. For instance, if the container were empty, ",[51,1102,1096],{}," would equal ",[51,1105,1092],{}," and be improperly dereferenced.",[85,1108,1109],{"quality":87},[89,1110,1112],{"className":91,"code":1111,"language":93,"meta":94,"style":94},"#include \u003Citerator>\n \ntemplate \u003Ctypename ForwardIterator>\nvoid f_imp(ForwardIterator b, ForwardIterator e, int val, std::forward_iterator_tag) {\n  do {\n    *b++ = val;\n  } while (b != e);\n}\n\ntemplate \u003Ctypename ForwardIterator>\nvoid f(ForwardIterator b, ForwardIterator e, int val) {\n  typename std::iterator_traits\u003CForwardIterator>::iterator_category cat;\n  f_imp(b, e, val, cat);\n}\n",[51,1113,1114,1121,1125,1139,1179,1187,1203,1220,1224,1228,1240,1266,1292,1300],{"__ignoreMap":94},[98,1115,1116,1118],{"class":100,"line":101},[98,1117,105],{"class":104},[98,1119,1120],{"class":108}," \u003Citerator>\n",[98,1122,1123],{"class":100,"line":112},[98,1124,116],{"class":115},[98,1126,1127,1129,1131,1134,1137],{"class":100,"line":119},[98,1128,467],{"class":122},[98,1130,470],{"class":115},[98,1132,1133],{"class":122},"typename",[98,1135,1136],{"class":144}," ForwardIterator",[98,1138,482],{"class":115},[98,1140,1141,1143,1146,1148,1151,1154,1156,1158,1161,1163,1165,1168,1170,1172,1174,1177],{"class":100,"line":174},[98,1142,123],{"class":122},[98,1144,1145],{"class":126}," f_imp",[98,1147,130],{"class":115},[98,1149,1150],{"class":144},"ForwardIterator",[98,1152,1153],{"class":138}," b",[98,1155,141],{"class":115},[98,1157,1150],{"class":144},[98,1159,1160],{"class":138}," e",[98,1162,141],{"class":115},[98,1164,57],{"class":122},[98,1166,1167],{"class":138}," val",[98,1169,141],{"class":115},[98,1171,145],{"class":144},[98,1173,148],{"class":115},[98,1175,1176],{"class":144},"forward_iterator_tag",[98,1178,171],{"class":115},[98,1180,1181,1184],{"class":100,"line":189},[98,1182,1183],{"class":104},"  do",[98,1185,1186],{"class":115}," {\n",[98,1188,1189,1192,1194,1197,1200],{"class":100,"line":196},[98,1190,1191],{"class":104},"    *",[98,1193,1096],{"class":115},[98,1195,1196],{"class":104},"++",[98,1198,1199],{"class":104}," =",[98,1201,1202],{"class":115}," val;\n",[98,1204,1205,1208,1211,1214,1217],{"class":100,"line":205},[98,1206,1207],{"class":115},"  } ",[98,1209,1210],{"class":104},"while",[98,1212,1213],{"class":115}," (b ",[98,1215,1216],{"class":104},"!=",[98,1218,1219],{"class":115}," e);\n",[98,1221,1222],{"class":100,"line":211},[98,1223,226],{"class":115},[98,1225,1226],{"class":100,"line":223},[98,1227,373],{"emptyLinePlaceholder":7},[98,1229,1230,1232,1234,1236,1238],{"class":100,"line":454},[98,1231,467],{"class":122},[98,1233,470],{"class":115},[98,1235,1133],{"class":122},[98,1237,1136],{"class":144},[98,1239,482],{"class":115},[98,1241,1242,1244,1246,1248,1250,1252,1254,1256,1258,1260,1262,1264],{"class":100,"line":459},[98,1243,123],{"class":122},[98,1245,548],{"class":126},[98,1247,130],{"class":115},[98,1249,1150],{"class":144},[98,1251,1153],{"class":138},[98,1253,141],{"class":115},[98,1255,1150],{"class":144},[98,1257,1160],{"class":138},[98,1259,141],{"class":115},[98,1261,57],{"class":122},[98,1263,1167],{"class":138},[98,1265,171],{"class":115},[98,1267,1268,1271,1274,1276,1279,1281,1283,1286,1289],{"class":100,"line":464},[98,1269,1270],{"class":104},"  typename",[98,1272,1273],{"class":144}," std",[98,1275,148],{"class":115},[98,1277,1278],{"class":144},"iterator_traits",[98,1280,774],{"class":115},[98,1282,1150],{"class":144},[98,1284,1285],{"class":115},">::",[98,1287,1288],{"class":144},"iterator_category",[98,1290,1291],{"class":115}," cat;\n",[98,1293,1294,1297],{"class":100,"line":485},[98,1295,1296],{"class":126},"  f_imp",[98,1298,1299],{"class":115},"(b, e, val, cat);\n",[98,1301,1302],{"class":100,"line":524},[98,1303,226],{"class":115},[43,1305,1307],{"id":1306},"compliant-solution","Compliant Solution",[39,1309,1310,1311],{},"This compliant solution tests for iterator validity before attempting to dereference ",[51,1312,1313],{},"b.",[85,1315,1316],{"quality":245},[89,1317,1319],{"className":91,"code":1318,"language":93,"meta":94,"style":94},"#include \u003Citerator>\n \ntemplate \u003Ctypename ForwardIterator>\nvoid f_imp(ForwardIterator b, ForwardIterator e, int val, std::forward_iterator_tag) {\n  while (b != e) {\n    *b++ = val;\n  }\n}\n\ntemplate \u003Ctypename ForwardIterator>\nvoid f(ForwardIterator b, ForwardIterator e, int val) {\n  typename std::iterator_traits\u003CForwardIterator>::iterator_category cat;\n  f_imp(b, e, val, cat);\n}\n",[51,1320,1321,1327,1331,1343,1377,1389,1401,1405,1409,1413,1425,1451,1471,1477],{"__ignoreMap":94},[98,1322,1323,1325],{"class":100,"line":101},[98,1324,105],{"class":104},[98,1326,1120],{"class":108},[98,1328,1329],{"class":100,"line":112},[98,1330,756],{"class":115},[98,1332,1333,1335,1337,1339,1341],{"class":100,"line":119},[98,1334,467],{"class":122},[98,1336,470],{"class":115},[98,1338,1133],{"class":122},[98,1340,1136],{"class":144},[98,1342,482],{"class":115},[98,1344,1345,1347,1349,1351,1353,1355,1357,1359,1361,1363,1365,1367,1369,1371,1373,1375],{"class":100,"line":174},[98,1346,123],{"class":122},[98,1348,1145],{"class":126},[98,1350,130],{"class":115},[98,1352,1150],{"class":144},[98,1354,1153],{"class":138},[98,1356,141],{"class":115},[98,1358,1150],{"class":144},[98,1360,1160],{"class":138},[98,1362,141],{"class":115},[98,1364,57],{"class":122},[98,1366,1167],{"class":138},[98,1368,141],{"class":115},[98,1370,145],{"class":144},[98,1372,148],{"class":115},[98,1374,1176],{"class":144},[98,1376,171],{"class":115},[98,1378,1379,1382,1384,1386],{"class":100,"line":189},[98,1380,1381],{"class":104},"  while",[98,1383,1213],{"class":115},[98,1385,1216],{"class":104},[98,1387,1388],{"class":115}," e) {\n",[98,1390,1391,1393,1395,1397,1399],{"class":100,"line":196},[98,1392,1191],{"class":104},[98,1394,1096],{"class":115},[98,1396,1196],{"class":104},[98,1398,1199],{"class":104},[98,1400,1202],{"class":115},[98,1402,1403],{"class":100,"line":205},[98,1404,208],{"class":115},[98,1406,1407],{"class":100,"line":211},[98,1408,226],{"class":115},[98,1410,1411],{"class":100,"line":223},[98,1412,373],{"emptyLinePlaceholder":7},[98,1414,1415,1417,1419,1421,1423],{"class":100,"line":454},[98,1416,467],{"class":122},[98,1418,470],{"class":115},[98,1420,1133],{"class":122},[98,1422,1136],{"class":144},[98,1424,482],{"class":115},[98,1426,1427,1429,1431,1433,1435,1437,1439,1441,1443,1445,1447,1449],{"class":100,"line":459},[98,1428,123],{"class":122},[98,1430,548],{"class":126},[98,1432,130],{"class":115},[98,1434,1150],{"class":144},[98,1436,1153],{"class":138},[98,1438,141],{"class":115},[98,1440,1150],{"class":144},[98,1442,1160],{"class":138},[98,1444,141],{"class":115},[98,1446,57],{"class":122},[98,1448,1167],{"class":138},[98,1450,171],{"class":115},[98,1452,1453,1455,1457,1459,1461,1463,1465,1467,1469],{"class":100,"line":464},[98,1454,1270],{"class":104},[98,1456,1273],{"class":144},[98,1458,148],{"class":115},[98,1460,1278],{"class":144},[98,1462,774],{"class":115},[98,1464,1150],{"class":144},[98,1466,1285],{"class":115},[98,1468,1288],{"class":144},[98,1470,1291],{"class":115},[98,1472,1473,1475],{"class":100,"line":485},[98,1474,1296],{"class":126},[98,1476,1299],{"class":115},[98,1478,1479],{"class":100,"line":524},[98,1480,226],{"class":115},[43,1482,1484],{"id":1483},"risk-assessment","Risk Assessment",[39,1486,1487,1488,83],{},"Using an invalid array or container index can result in an arbitrary memory overwrite or ",[727,1489,1491],{"href":1490},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions#BB.Definitions-abnormaltermination","abnormal program termination",[82,1493,1494,1495,1494,1525],{},"\n  ",[1496,1497,1498,1499,1494],"thead",{},"\n    ",[1500,1501,1502,1503,1502,1507,1502,1510,1502,1513,1502,1516,1502,1519,1502,1522,1498],"tr",{},"\n      ",[1504,1505,1506],"th",{},"Rule",[1504,1508,1509],{},"Severity",[1504,1511,1512],{},"Likelihood",[1504,1514,1515],{},"Detectable",[1504,1517,1518],{},"Repairable",[1504,1520,1521],{},"Priority",[1504,1523,1524],{},"Level",[1526,1527,1498,1528,1494],"tbody",{},[1500,1529,1502,1530,1502,1534,1502,1537,1502,1540,1502,1543,1502,1545,1502,1551,1498],{},[1531,1532,1533],"td",{},"CTR50-CPP",[1531,1535,1536],{},"High",[1531,1538,1539],{},"Likely",[1531,1541,1542],{},"No",[1531,1544,1542],{},[1531,1546,1548],{"style":1547},"color: #f1c40f;",[1096,1549,1550],{},"P9",[1531,1552,1553],{"style":1547},[1096,1554,1555],{},"L2",[43,1557,1559],{"id":1558},"automated-detection","Automated Detection",[82,1561,1564],{"className":1562},[1563],"wrapped",[1526,1565,1566,1590,1621,1700,1733,1803,1834,1858,1902],{},[1500,1567,1570,1575,1580,1585],{"className":1568},[1569],"header",[1504,1571,1572],{},[39,1573,1574],{},"Tool",[1504,1576,1577],{},[39,1578,1579],{},"Version",[1504,1581,1582],{},[39,1583,1584],{},"Checker",[1504,1586,1587],{},[39,1588,1589],{},"Description",[1500,1591,1594,1600,1610,1616],{"className":1592},[1593],"odd",[1531,1595,1596],{},[727,1597,1599],{"href":1598},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fastree","Astrée",[1531,1601,1602],{},[1603,1604,1607],"div",{"className":1605},[1606],"content-wrapper",[39,1608,1609],{},"25.10",[1531,1611,1612],{},[1613,1614,1615],"strong",{},"overflow_upon_dereference",[1531,1617,1618],{},[1619,1620],"br",{},[1500,1622,1625,1631,1637,1674],{"className":1623},[1624],"even",[1531,1626,1627],{},[727,1628,1630],{"href":1629},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fcodesonar","CodeSonar",[1531,1632,1633],{},[1603,1634,1636],{"className":1635},[1606],"9.1p0",[1531,1638,1639],{},[39,1640,1641,1655,1656,1655,1661,1655,1666],{},[1613,1642,1643,1644,1646,1647,1649,1650,1652,1653],{},"LANG.MEM.BO",[1619,1645],{},"\nLANG.MEM.BU",[1619,1648],{},"\nLANG.MEM.TO",[1619,1651],{},"\nLANG.MEM.TU",[1619,1654],{}," ",[1613,1657,1658,1659],{},"LANG.MEM.TBA",[1619,1660],{},[1613,1662,1663,1664],{},"LANG.STRUCT.PBB",[1619,1665],{},[1613,1667,1668,1669,1671,1672],{},"LANG.STRUCT.PPE",[1619,1670],{},"\nLANG.STRUCT.PARITH",[1619,1673],{},[1531,1675,1676],{},[39,1677,1678,1679,1681,1682,1684,1685,1687,1688,1690,1691,1693,1694,1696,1697,1699],{},"Buffer overrun",[1619,1680],{},"\nBuffer underrun",[1619,1683],{},"\nType overrun",[1619,1686],{},"\nType underrun",[1619,1689],{},"\nTainted buffer access",[1619,1692],{},"\nPointer before beginning of object",[1619,1695],{},"\nPointer past end of object",[1619,1698],{},"\nPointer Arithmetic",[1500,1701,1703,1709,1717,1729],{"className":1702},[1593],[1531,1704,1705],{},[727,1706,1708],{"href":1707},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fhelix-qac","Helix QAC",[1531,1710,1711],{},[1603,1712,1714],{"className":1713},[1606],[39,1715,1716],{},"2025.2",[1531,1718,1719,1724],{},[39,1720,1721],{},[1613,1722,1723],{},"C++3139, C++3140",[39,1725,1726],{},[1613,1727,1728],{},"DF2891",[1531,1730,1731],{},[1619,1732],{},[1500,1734,1736,1742,1747,1799],{"className":1735},[1624],[1531,1737,1738],{},[727,1739,1741],{"href":1740},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fklocwork","Klocwork",[1531,1743,1744],{},[1603,1745,1716],{"className":1746},[1606],[1531,1748,1749],{},[39,1750,1751,1754,1756,1759,1761,1764,1766,1769,1771,1774,1776,1779,1781,1784,1786,1789,1791,1794,1796],{},[1613,1752,1753],{},"ABV.ANY_SIZE_ARRAY",[1619,1755],{},[1613,1757,1758],{},"ABV.GENERAL",[1619,1760],{},[1613,1762,1763],{},"ABV.GENERAL.MULTIDIMENSION",[1619,1765],{},[1613,1767,1768],{},"ABV.NON_ARRAY",[1619,1770],{},[1613,1772,1773],{},"ABV.STACK",[1619,1775],{},[1613,1777,1778],{},"ABV.TAINTED",[1619,1780],{},[1613,1782,1783],{},"SV.TAINTED.ALLOC_SIZE",[1619,1785],{},[1613,1787,1788],{},"SV.TAINTED.CALL.INDEX_ACCESS",[1619,1790],{},[1613,1792,1793],{},"SV.TAINTED.CALL.LOOP_BOUND",[1619,1795],{},[1613,1797,1798],{},"SV.TAINTED.INDEX_ACCESS",[1531,1800,1801],{},[1619,1802],{},[1500,1804,1806,1812,1818,1829],{"className":1805},[1593],[1531,1807,1808],{},[727,1809,1811],{"href":1810},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fldra","LDRA tool suite",[1531,1813,1814],{},[1603,1815,1817],{"className":1816},[1606],"9.7.1",[1531,1819,1820],{},[39,1821,1822,1655,1825],{},[1613,1823,1824],{},"45 D, 47 S, 476 S, 489 S, 64 X, 66 X, 68 X, 69 X, 70 X, 71 X, 79 X",[1613,1826,1827],{},[1619,1828],{},[1531,1830,1831],{},[39,1832,1833],{},"Partially implemented",[1500,1835,1837,1843,1848,1855],{"className":1836},[1624],[1531,1838,1839],{},[727,1840,1842],{"href":1841},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fparasoft","Parasoft C\u002FC++test",[1531,1844,1845],{},[1603,1846,1716],{"className":1847},[1606],[1531,1849,1850],{},[1613,1851,1852,1853],{},"CERT_CPP-CTR50-a",[1619,1854],{},[1531,1856,1857],{},"Guarantee that container indices are within the valid range",[1500,1859,1861,1867,1875,1881],{"className":1860},[1593],[1531,1862,1863],{},[727,1864,1866],{"href":1865},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fpolyspace-bug-finder","Polyspace Bug Finder",[1531,1868,1869],{},[1603,1870,1872],{"className":1871},[1606],[39,1873,1874],{},"R2025b",[1531,1876,1877],{},[727,1878,1880],{"href":1879},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcctr50cpp.html","CERT C++: CTR50-CPP",[1531,1882,1883,1886,1899],{},[39,1884,1885],{},"Checks for:",[1887,1888,1889,1893,1896],"ul",{},[1890,1891,1892],"li",{},"Array access out of bounds",[1890,1894,1895],{},"Array access with tainted index",[1890,1897,1898],{},"Pointer dereference with tainted offset",[39,1900,1901],{},"Rule partially covered.",[1500,1903,1905,1911,1919,1927],{"className":1904},[1624],[1531,1906,1907],{},[727,1908,1910],{"href":1909},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fpvs-studio","PVS-Studio",[1531,1912,1913],{},[1603,1914,1916],{"className":1915},[1606],[39,1917,1918],{},"7.42",[1531,1920,1921],{},[1613,1922,1923],{},[727,1924,1926],{"href":1925},"https:\u002F\u002Fpvs-studio.com\u002Fen\u002Fdocs\u002Fwarnings\u002Fv781\u002F","V781",[1531,1928,1929],{},[1619,1930],{},[43,1932,1934],{"id":1933},"related-vulnerabilities","Related Vulnerabilities",[39,1936,1937,1938,1942,1943,83],{},"Search for ",[727,1939,1941],{"href":1940},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions#BB.Definitions-vulnerabi","vulnerabilities"," resulting from the violation of this rule on the ",[727,1944,1948],{"href":1945,"rel":1946},"https:\u002F\u002Fwww.kb.cert.org\u002Fvulnotes\u002Fbymetric?searchview&query=FIELD+KEYWORDS+contains+CTR50-CPP",[1947],"nofollow","CERT website",[43,1950,1952],{"id":1951},"related-guidelines","Related Guidelines",[82,1954,1956],{"className":1955},[1563],[1526,1957,1958,1972],{},[1500,1959,1961,1966],{"className":1960},[1593],[1531,1962,1963],{},[727,1964,1965],{"href":17},"SEI CERT C Coding Standard",[1531,1967,1968],{},[727,1969,1971],{"href":1970},"\u002Fsei-cert-c-coding-standard\u002Frules\u002Farrays-arr\u002Farr30-c","ARR30-C. Do not form or use out-of-bounds pointers or array subscripts",[1500,1973,1975,1981],{"className":1974},[1624],[1531,1976,1977],{},[727,1978,1980],{"href":1979},"http:\u002F\u002Fcwe.mitre.org\u002F","MITRE CWE",[1531,1982,1983,1987,1988,1990,1994],{},[727,1984,1986],{"href":1985},"http:\u002F\u002Fcwe.mitre.org\u002Fdata\u002Fdefinitions\u002F119.html","CWE 119"," , Failure to Constrain Operations within the Bounds of a Memory Buffer",[1619,1989],{},[727,1991,1993],{"href":1992},"http:\u002F\u002Fcwe.mitre.org\u002Fdata\u002Fdefinitions\u002F129.html","CWE 129"," , Improper Validation of Array Index",[43,1996,1998],{"id":1997},"bibliography","Bibliography",[82,2000,2002],{"className":2001},[1563],[1526,2003,2004,2023,2041],{},[1500,2005,2007,2015],{"className":2006},[1593],[1531,2008,2009,2010,2014],{},"[ ",[727,2011,2013],{"href":2012},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography#AA.Bibliography-ISO\u002FIEC14882-2014","ISO\u002FIEC 14882-2014"," ]",[1531,2016,2017],{},[39,2018,2019,2020,2022],{},"Clause 23, \"Containers Library\"",[1619,2021],{},"\nSubclause 24.2.1, \"In General\"",[1500,2024,2026,2032],{"className":2025},[1624],[1531,2027,2009,2028,2014],{},[727,2029,2031],{"href":2030},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography#AA.Bibliography-ISO\u002FIECTR24772-2013","ISO\u002FIEC TR 24772-2013",[1531,2033,2034,2035,2037,2038,2040],{},"Boundary Beginning Violation [XYX]",[1619,2036],{},"\nWrap-Around Error [XYY]",[1619,2039],{},"\nUnchecked Array Indexing [XYZ]",[1500,2042,2044,2050],{"className":2043},[1593],[1531,2045,2009,2046,2014],{},[727,2047,2049],{"href":2048},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography#AA.Bibliography-Viega05","Viega 2005",[1531,2051,2052],{},"Section 5.2.13, \"Unchecked Array Indexing\"",[2054,2055],"hr",{},[39,2057,2058,1655,2065,1655,2070],{},[727,2059,2061],{"href":2060},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002F",[2062,2063],"img",{"src":2064},"\u002Fattachments\u002F88046682\u002F88480621.png",[727,2066,2067],{"href":2060},[2062,2068],{"src":2069},"\u002Fattachments\u002F88046682\u002F88475556.png",[727,2071,2073],{"href":2072},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr51-cpp",[2062,2074],{"src":2075},"\u002Fattachments\u002F88046682\u002F88475555.png",[2077,2078,2079],"style",{},"html pre.shiki code .sC2Qs, html code.shiki .sC2Qs{--shiki-default:#D73A49;--shiki-dark:#F97583;--shiki-sepia:#F92672}html pre.shiki code .sstjo, html code.shiki .sstjo{--shiki-default:#032F62;--shiki-dark:#9ECBFF;--shiki-sepia:#E6DB74}html pre.shiki code .sMOD_, html code.shiki .sMOD_{--shiki-default:#24292E;--shiki-dark:#E1E4E8;--shiki-sepia:#F8F8F2}html pre.shiki code .sq6CD, html code.shiki .sq6CD{--shiki-default:#D73A49;--shiki-default-font-style:inherit;--shiki-dark:#F97583;--shiki-dark-font-style:inherit;--shiki-sepia:#66D9EF;--shiki-sepia-font-style:italic}html pre.shiki code .srTi1, html code.shiki .srTi1{--shiki-default:#6F42C1;--shiki-dark:#B392F0;--shiki-sepia:#A6E22E}html pre.shiki code .sTHNf, html code.shiki .sTHNf{--shiki-default:#E36209;--shiki-default-font-style:inherit;--shiki-dark:#FFAB70;--shiki-dark-font-style:inherit;--shiki-sepia:#FD971F;--shiki-sepia-font-style:italic}html pre.shiki code .sz2Vg, html code.shiki .sz2Vg{--shiki-default:#6F42C1;--shiki-default-text-decoration:inherit;--shiki-dark:#B392F0;--shiki-dark-text-decoration:inherit;--shiki-sepia:#A6E22E;--shiki-sepia-text-decoration:underline}html pre.shiki code .s8-w5, html code.shiki .s8-w5{--shiki-default:#6A737D;--shiki-dark:#6A737D;--shiki-sepia:#88846F}html .default .shiki span {color: var(--shiki-default);background: var(--shiki-default-bg);font-style: var(--shiki-default-font-style);font-weight: var(--shiki-default-font-weight);text-decoration: var(--shiki-default-text-decoration);}html .shiki span {color: var(--shiki-default);background: var(--shiki-default-bg);font-style: var(--shiki-default-font-style);font-weight: var(--shiki-default-font-weight);text-decoration: var(--shiki-default-text-decoration);}html .dark .shiki span {color: var(--shiki-dark);background: var(--shiki-dark-bg);font-style: var(--shiki-dark-font-style);font-weight: var(--shiki-dark-font-weight);text-decoration: var(--shiki-dark-text-decoration);}html.dark .shiki span {color: var(--shiki-dark);background: var(--shiki-dark-bg);font-style: var(--shiki-dark-font-style);font-weight: var(--shiki-dark-font-weight);text-decoration: var(--shiki-dark-text-decoration);}html .sepia .shiki span {color: var(--shiki-sepia);background: var(--shiki-sepia-bg);font-style: var(--shiki-sepia-font-style);font-weight: var(--shiki-sepia-font-weight);text-decoration: var(--shiki-sepia-text-decoration);}html.sepia .shiki span {color: var(--shiki-sepia);background: var(--shiki-sepia-bg);font-style: var(--shiki-sepia-font-style);font-weight: var(--shiki-sepia-font-weight);text-decoration: var(--shiki-sepia-text-decoration);}html pre.shiki code .s7F3e, html code.shiki .s7F3e{--shiki-default:#005CC5;--shiki-dark:#79B8FF;--shiki-sepia:#AE81FF}",{"title":94,"searchDepth":112,"depth":112,"links":2081},[2082,2083,2085,2086,2088,2090,2092,2093,2094,2095,2096,2097,2098],{"id":45,"depth":112,"text":46},{"id":229,"depth":112,"text":2084},"Compliant Solution ( size_t )",{"id":341,"depth":112,"text":342},{"id":698,"depth":112,"text":2087},"Noncompliant Code Example ( std::vector )",{"id":847,"depth":112,"text":2089},"Compliant Solution ( std::vector , size_t )",{"id":961,"depth":112,"text":2091},"Compliant Solution ( std::vector::at() )",{"id":1081,"depth":112,"text":1082},{"id":1306,"depth":112,"text":1307},{"id":1483,"depth":112,"text":1484},{"id":1558,"depth":112,"text":1559},{"id":1933,"depth":112,"text":1934},{"id":1951,"depth":112,"text":1952},{"id":1997,"depth":112,"text":1998},"md",{"tags":2101},[2102,2103,2104,2105,2106,2107,2108,2109,2110],"review","ptc","ctr","review-dms","rule","notes","cwe-119","review-ajb","cwe-129","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr50-cpp",{"title":30,"description":41},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F02.ctr50-cpp","FS2jGIpS7whixQeVodK0IjT1LaPzQ5a2mzG4ThzyUMQ",[2116,2120],{"title":2117,"path":2118,"stem":2119,"children":-1},"Containers (CTR)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F01.index",{"title":2121,"path":2072,"stem":2122,"children":-1},"CTR51-CPP. Use valid references, pointers, and iterators to reference elements of a container","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F03.ctr51-cpp",[2124],{"title":2125,"path":2126,"stem":2127,"children":2128},"SEI CERT C++ Coding Standard","\u002Fsei-cert-cpp-coding-standard","5.sei-cert-cpp-coding-standard\u002F1.index",[2129,2130,2197,2590,2801,2811],{"title":2125,"path":2126,"stem":2127},{"title":2131,"path":2132,"stem":2133,"children":2134},"Front Matter","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F1.index",[2135,2136],{"title":2131,"path":2132,"stem":2133},{"title":2137,"path":2138,"stem":2139,"children":2140},"Introduction","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F01.index",[2141,2142,2146,2150,2154,2158,2162,2166,2170,2174,2178,2182,2186,2190,2194],{"title":2137,"path":2138,"stem":2139},{"title":2143,"path":2144,"stem":2145},"Scope","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fscope","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F02.scope",{"title":2147,"path":2148,"stem":2149},"Audience","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Faudience","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F03.audience",{"title":2151,"path":2152,"stem":2153},"Usage","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fusage","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F04.usage",{"title":2155,"path":2156,"stem":2157},"How this Coding Standard Is Organized","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fhow-this-coding-standard-is-organized","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F05.how-this-coding-standard-is-organized",{"title":2159,"path":2160,"stem":2161},"Relation to the CERT C Coding Standard","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Frelation-to-the-cert-c-coding-standard","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F06.relation-to-the-cert-c-coding-standard",{"title":2163,"path":2164,"stem":2165},"Rules Versus Recommendations","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Frules-versus-recommendations","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F07.rules-versus-recommendations",{"title":2167,"path":2168,"stem":2169},"Tool Selection and Validation","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Ftool-selection-and-validation","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F08.tool-selection-and-validation",{"title":2171,"path":2172,"stem":2173},"Conformance Testing","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fconformance-testing","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F09.conformance-testing",{"title":2175,"path":2176,"stem":2177},"Development Process","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fdevelopment-process","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F10.development-process",{"title":2179,"path":2180,"stem":2181},"System Qualities","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fsystem-qualities","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F11.system-qualities",{"title":2183,"path":2184,"stem":2185},"Automatically Generated Code","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fautomatically-generated-code","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F12.automatically-generated-code",{"title":2187,"path":2188,"stem":2189},"Government Regulations","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fgovernment-regulations","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F13.government-regulations",{"title":2191,"path":2192,"stem":2193},"Acknowledgments","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Facknowledgments","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F14.acknowledgments",{"title":1559,"path":2195,"stem":2196},"\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fautomated-detection","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F15.automated-detection",{"title":2198,"path":2199,"stem":2200,"children":2201},"Rules","\u002Fsei-cert-cpp-coding-standard\u002Frules","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F01.index",[2202,2203,2225,2259,2292,2342,2398,2460,2474,2484,2522,2548],{"title":2198,"path":2199,"stem":2200},{"title":2204,"path":2205,"stem":2206,"children":2207},"Characters and Strings (STR)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcharacters-and-strings-str","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F02.characters-and-strings-str\u002F1.index",[2208,2209,2213,2217,2221],{"title":2204,"path":2205,"stem":2206},{"title":2210,"path":2211,"stem":2212},"STR50-CPP. Guarantee that storage for strings has sufficient space for character data and the null terminator","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcharacters-and-strings-str\u002Fstr50-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F02.characters-and-strings-str\u002F2.str50-cpp",{"title":2214,"path":2215,"stem":2216},"STR52-CPP. Use valid references, pointers, and iterators to reference elements of a basic_string","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcharacters-and-strings-str\u002Fstr52-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F02.characters-and-strings-str\u002F3.str52-cpp",{"title":2218,"path":2219,"stem":2220},"STR53-CPP. Range check element access","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcharacters-and-strings-str\u002Fstr53-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F02.characters-and-strings-str\u002F4.str53-cpp",{"title":2222,"path":2223,"stem":2224},"string from a null pointer","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcharacters-and-strings-str\u002Fstring-from-a-null-pointer","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F02.characters-and-strings-str\u002F5.string-from-a-null-pointer",{"title":2226,"path":2227,"stem":2228,"children":2229},"Concurrency (CON)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F1.index",[2230,2231,2235,2239,2243,2247,2251,2255],{"title":2226,"path":2227,"stem":2228},{"title":2232,"path":2233,"stem":2234},"CON50-CPP. Do not destroy a mutex while it is locked","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon50-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F2.con50-cpp",{"title":2236,"path":2237,"stem":2238},"CON51-CPP. Ensure actively held locks are released on exceptional conditions","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon51-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F3.con51-cpp",{"title":2240,"path":2241,"stem":2242},"CON52-CPP. Prevent data races when accessing bit-fields from multiple threads","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon52-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F4.con52-cpp",{"title":2244,"path":2245,"stem":2246},"CON53-CPP. Avoid deadlock by locking in a predefined order","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon53-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F5.con53-cpp",{"title":2248,"path":2249,"stem":2250},"CON54-CPP. Wrap functions that can spuriously wake up in a loop","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon54-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F6.con54-cpp",{"title":2252,"path":2253,"stem":2254},"CON55-CPP. Preserve thread safety and liveness when using condition variables","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon55-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F7.con55-cpp",{"title":2256,"path":2257,"stem":2258},"CON56-CPP. Do not speculatively lock a non-recursive mutex that is already owned by the calling thread","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon56-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F8.con56-cpp",{"title":2117,"path":2118,"stem":2119,"children":2260},[2261,2262,2263,2264,2268,2272,2276,2280,2284,2288],{"title":2117,"path":2118,"stem":2119},{"title":30,"path":2111,"stem":2113},{"title":2121,"path":2072,"stem":2122},{"title":2265,"path":2266,"stem":2267},"CTR52-CPP. Guarantee that library functions do not overflow","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr52-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F04.ctr52-cpp",{"title":2269,"path":2270,"stem":2271},"CTR53-CPP. Use valid iterator ranges","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr53-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F05.ctr53-cpp",{"title":2273,"path":2274,"stem":2275},"CTR54-CPP. Do not subtract iterators that do not refer to the same container","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr54-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F06.ctr54-cpp",{"title":2277,"path":2278,"stem":2279},"CTR55-CPP. Do not use an additive operator on an iterator if the result would overflow","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr55-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F07.ctr55-cpp",{"title":2281,"path":2282,"stem":2283},"CTR56-CPP. Do not use pointer arithmetic on polymorphic objects","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr56-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F08.ctr56-cpp",{"title":2285,"path":2286,"stem":2287},"CTR57-CPP. Provide a valid ordering predicate","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr57-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F09.ctr57-cpp",{"title":2289,"path":2290,"stem":2291},"CTR58-CPP. Predicate function objects should not be mutable","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr58-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F10.ctr58-cpp",{"title":2293,"path":2294,"stem":2295,"children":2296},"Declarations and Initialization (DCL)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F01.index",[2297,2298,2302,2306,2310,2314,2318,2322,2326,2330,2334,2338],{"title":2293,"path":2294,"stem":2295},{"title":2299,"path":2300,"stem":2301},"DCL50-CPP. Do not define a C-style variadic function","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl50-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F02.dcl50-cpp",{"title":2303,"path":2304,"stem":2305},"DCL51-CPP. Do not declare or define a reserved identifier","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl51-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F03.dcl51-cpp",{"title":2307,"path":2308,"stem":2309},"DCL52-CPP. Never qualify a reference type with const or volatile","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl52-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F04.dcl52-cpp",{"title":2311,"path":2312,"stem":2313},"DCL53-CPP. Do not write syntactically ambiguous declarations","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl53-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F05.dcl53-cpp",{"title":2315,"path":2316,"stem":2317},"DCL54-CPP. Overload allocation and deallocation functions as a pair in the same scope","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl54-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F06.dcl54-cpp",{"title":2319,"path":2320,"stem":2321},"DCL55-CPP. Avoid information leakage when passing a class object across a trust boundary","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl55-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F07.dcl55-cpp",{"title":2323,"path":2324,"stem":2325},"DCL56-CPP. Avoid cycles during initialization of static objects","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl56-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F08.dcl56-cpp",{"title":2327,"path":2328,"stem":2329},"DCL57-CPP. Do not let exceptions escape from destructors or deallocation functions","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl57-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F09.dcl57-cpp",{"title":2331,"path":2332,"stem":2333},"DCL58-CPP. Do not modify the standard namespaces","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl58-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F10.dcl58-cpp",{"title":2335,"path":2336,"stem":2337},"DCL59-CPP. Do not define an unnamed namespace in a header file","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl59-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F11.dcl59-cpp",{"title":2339,"path":2340,"stem":2341},"DCL60-CPP. Obey the one-definition rule","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl60-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F12.dcl60-cpp",{"title":2343,"path":2344,"stem":2345,"children":2346},"Exceptions and Error Handling (ERR)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F01.index",[2347,2348,2352,2356,2360,2364,2368,2370,2374,2378,2382,2386,2390,2394],{"title":2343,"path":2344,"stem":2345},{"title":2349,"path":2350,"stem":2351},"ERR50-CPP. Do not abruptly terminate the program","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr50-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F02.err50-cpp",{"title":2353,"path":2354,"stem":2355},"ERR51-CPP. Handle all exceptions","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr51-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F03.err51-cpp",{"title":2357,"path":2358,"stem":2359},"ERR52-CPP. Do not use setjmp() or longjmp()","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr52-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F04.err52-cpp",{"title":2361,"path":2362,"stem":2363},"ERR53-CPP. Do not reference base classes or class data members in a constructor or destructor function-try-block handler","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr53-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F05.err53-cpp",{"title":2365,"path":2366,"stem":2367},"ERR54-CPP. Catch handlers should order their parameter types from most derived to least derived","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr54-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F06.err54-cpp",{"title":989,"path":988,"stem":2369},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F07.err55-cpp",{"title":2371,"path":2372,"stem":2373},"ERR56-CPP. Guarantee exception safety","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr56-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F08.err56-cpp",{"title":2375,"path":2376,"stem":2377},"ERR57-CPP. Do not leak resources when handling exceptions","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr57-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F09.err57-cpp",{"title":2379,"path":2380,"stem":2381},"ERR58-CPP. Handle all exceptions thrown before main() begins executing","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr58-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F10.err58-cpp",{"title":2383,"path":2384,"stem":2385},"ERR59-CPP. Do not throw an exception across execution boundaries","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr59-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F11.err59-cpp",{"title":2387,"path":2388,"stem":2389},"ERR60-CPP. Exception objects must be nothrow copy constructible","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr60-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F12.err60-cpp",{"title":2391,"path":2392,"stem":2393},"ERR61-CPP. Catch exceptions by lvalue reference","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr61-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F13.err61-cpp",{"title":2395,"path":2396,"stem":2397},"ERR62-CPP. Detect errors when converting a string to a number","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr62-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F14.err62-cpp",{"title":2399,"path":2400,"stem":2401,"children":2402},"Expressions (EXP)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F01.index",[2403,2404,2408,2412,2416,2420,2424,2428,2432,2436,2440,2444,2448,2452,2456],{"title":2399,"path":2400,"stem":2401},{"title":2405,"path":2406,"stem":2407},"EXP50-CPP. Do not depend on the order of evaluation for side effects","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp50-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F02.exp50-cpp",{"title":2409,"path":2410,"stem":2411},"EXP51-CPP. Do not delete an array through a pointer of the incorrect type","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp51-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F03.exp51-cpp",{"title":2413,"path":2414,"stem":2415},"EXP52-CPP. Do not rely on side effects in unevaluated operands","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp52-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F04.exp52-cpp",{"title":2417,"path":2418,"stem":2419},"EXP53-CPP. Do not read uninitialized memory","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp53-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F05.exp53-cpp",{"title":2421,"path":2422,"stem":2423},"EXP54-CPP. Do not access an object outside of its lifetime","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp54-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F06.exp54-cpp",{"title":2425,"path":2426,"stem":2427},"EXP55-CPP. Do not access a cv-qualified object through a cv-unqualified type","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp55-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F07.exp55-cpp",{"title":2429,"path":2430,"stem":2431},"EXP56-CPP. Do not call a function with a mismatched language linkage","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp56-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F08.exp56-cpp",{"title":2433,"path":2434,"stem":2435},"EXP57-CPP. Do not cast or delete pointers to incomplete classes","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp57-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F09.exp57-cpp",{"title":2437,"path":2438,"stem":2439},"EXP58-CPP. Pass an object of the correct type to va_start","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp58-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F10.exp58-cpp",{"title":2441,"path":2442,"stem":2443},"EXP59-CPP. Use offsetof() on valid types and members","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp59-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F11.exp59-cpp",{"title":2445,"path":2446,"stem":2447},"EXP60-CPP. Do not pass a nonstandard-layout type object across execution boundaries","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp60-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F12.exp60-cpp",{"title":2449,"path":2450,"stem":2451},"EXP61-CPP. A lambda object must not outlive any of its reference captured objects","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp61-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F13.exp61-cpp",{"title":2453,"path":2454,"stem":2455},"EXP62-CPP. Do not access the bits of an object representation that are not part of the object's value representation","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp62-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F14.exp62-cpp",{"title":2457,"path":2458,"stem":2459},"EXP63-CPP. Do not rely on the value of a moved-from object","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp63-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F15.exp63-cpp",{"title":2461,"path":2462,"stem":2463,"children":2464},"Input Output (FIO)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Finput-output-fio","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F08.input-output-fio\u002F1.index",[2465,2466,2470],{"title":2461,"path":2462,"stem":2463},{"title":2467,"path":2468,"stem":2469},"FIO50-CPP. Do not alternately input and output from a file stream without an intervening positioning call","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Finput-output-fio\u002Ffio50-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F08.input-output-fio\u002F2.fio50-cpp",{"title":2471,"path":2472,"stem":2473},"FIO51-CPP. Close files when they are no longer needed","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Finput-output-fio\u002Ffio51-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F08.input-output-fio\u002F3.fio51-cpp",{"title":2475,"path":2476,"stem":2477,"children":2478},"Integers (INT)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fintegers-int","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F09.integers-int\u002F1.index",[2479,2480],{"title":2475,"path":2476,"stem":2477},{"title":2481,"path":2482,"stem":2483},"INT50-CPP. Do not cast to an out-of-range enumeration value","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fintegers-int\u002Fint50-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F09.integers-int\u002F2.int50-cpp",{"title":2485,"path":2486,"stem":2487,"children":2488},"Memory Management (MEM)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F1.index",[2489,2490,2494,2498,2502,2506,2510,2514,2518],{"title":2485,"path":2486,"stem":2487},{"title":2491,"path":2492,"stem":2493},"MEM50-CPP. Do not access freed memory","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem50-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F2.mem50-cpp",{"title":2495,"path":2496,"stem":2497},"MEM51-CPP. Properly deallocate dynamically allocated resources","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem51-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F3.mem51-cpp",{"title":2499,"path":2500,"stem":2501},"MEM52-CPP. Detect and handle memory allocation errors","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem52-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F4.mem52-cpp",{"title":2503,"path":2504,"stem":2505},"MEM53-CPP. Explicitly construct and destruct objects when manually managing object lifetime","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem53-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F5.mem53-cpp",{"title":2507,"path":2508,"stem":2509},"MEM54-CPP. Provide placement new with properly aligned pointers to sufficient storage capacity","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem54-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F6.mem54-cpp",{"title":2511,"path":2512,"stem":2513},"MEM55-CPP. Honor replacement dynamic storage management requirements","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem55-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F7.mem55-cpp",{"title":2515,"path":2516,"stem":2517},"MEM56-CPP. Do not store an already-owned pointer value in an unrelated smart pointer","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem56-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F8.mem56-cpp",{"title":2519,"path":2520,"stem":2521},"MEM57-CPP. Avoid using default operator new for over-aligned types","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem57-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F9.mem57-cpp",{"title":2523,"path":2524,"stem":2525,"children":2526},"Miscellaneous (MSC)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F1.index",[2527,2528,2532,2536,2540,2544],{"title":2523,"path":2524,"stem":2525},{"title":2529,"path":2530,"stem":2531},"MSC51-CPP. Ensure your random number generator is properly seeded","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc51-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F2.msc51-cpp",{"title":2533,"path":2534,"stem":2535},"MSC52-CPP. Value-returning functions must return a value from all exit paths","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc52-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F3.msc52-cpp",{"title":2537,"path":2538,"stem":2539},"MSC53-CPP. Do not return from a function declared [[noreturn]]","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc53-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F4.msc53-cpp",{"title":2541,"path":2542,"stem":2543},"MSC54-CPP. A signal handler must be a plain old function","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc54-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F5.msc54-cpp",{"title":2545,"path":2546,"stem":2547},"rand() for generating pseudorandom numbers","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Frand-for-generating-pseudorandom-numbers","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F6.rand-for-generating-pseudorandom-numbers",{"title":2549,"path":2550,"stem":2551,"children":2552},"Object Oriented Programming (OOP)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F01.index",[2553,2554,2558,2562,2566,2570,2574,2578,2582,2586],{"title":2549,"path":2550,"stem":2551},{"title":2555,"path":2556,"stem":2557},"OOP50-CPP. Do not invoke virtual functions from constructors or destructors","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop50-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F02.oop50-cpp",{"title":2559,"path":2560,"stem":2561},"OOP51-CPP. Do not slice derived objects","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop51-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F03.oop51-cpp",{"title":2563,"path":2564,"stem":2565},"OOP52-CPP. Do not delete a polymorphic object without a virtual destructor","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop52-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F04.oop52-cpp",{"title":2567,"path":2568,"stem":2569},"OOP53-CPP. Write constructor member initializers in the canonical order","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop53-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F05.oop53-cpp",{"title":2571,"path":2572,"stem":2573},"OOP54-CPP. Gracefully handle self-copy assignment","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop54-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F06.oop54-cpp",{"title":2575,"path":2576,"stem":2577},"OOP55-CPP. Do not use pointer-to-member operators to access nonexistent members","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop55-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F07.oop55-cpp",{"title":2579,"path":2580,"stem":2581},"OOP56-CPP. Honor replacement handler requirements","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop56-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F08.oop56-cpp",{"title":2583,"path":2584,"stem":2585},"OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop57-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F09.oop57-cpp",{"title":2587,"path":2588,"stem":2589},"OOP58-CPP. Copy operations must not mutate the source object","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop58-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F10.oop58-cpp",{"title":2591,"path":2592,"stem":2593,"children":2594},"Back Matter","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F1.index",[2595,2596,2600,2604,2784,2797],{"title":2591,"path":2592,"stem":2593},{"title":2597,"path":2598,"stem":2599},"AA. Bibliography","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F2.aa-bibliography",{"title":2601,"path":2602,"stem":2603},"BB. Definitions","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F3.bb-definitions",{"title":2605,"path":2606,"stem":2607,"children":2608},"CC. Analyzers","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F01.index",[2609,2610,2612,2616,2620,2624,2628,2632,2636,2640,2644,2648,2652,2654,2658,2662,2666,2670,2674,2678,2682,2686,2690,2692,2696,2698,2702,2705,2709,2712,2716,2718,2722,2726,2730,2732,2736,2740,2744,2748,2752,2756,2760,2764,2768,2772,2776,2780],{"title":2605,"path":2606,"stem":2607},{"title":1599,"path":1598,"stem":2611},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F02.astree",{"title":2613,"path":2614,"stem":2615},"Astrée_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fastree_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F03.astree_v",{"title":2617,"path":2618,"stem":2619},"Axivion Bauhaus Suite","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Faxivion-bauhaus-suite","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F04.axivion-bauhaus-suite",{"title":2621,"path":2622,"stem":2623},"Axivion Bauhaus Suite_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Faxivion-bauhaus-suite_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F05.axivion-bauhaus-suite_v",{"title":2625,"path":2626,"stem":2627},"Clang","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fclang","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F06.clang",{"title":2629,"path":2630,"stem":2631},"Clang_38_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fclang_38_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F07.clang_38_v",{"title":2633,"path":2634,"stem":2635},"Clang_39_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fclang_39_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F08.clang_39_v",{"title":2637,"path":2638,"stem":2639},"Clang_40_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fclang_40_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F09.clang_40_v",{"title":2641,"path":2642,"stem":2643},"Clang_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fclang_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F10.clang_v",{"title":2645,"path":2646,"stem":2647},"Codee","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fcodee","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F11.codee",{"title":2649,"path":2650,"stem":2651},"Codee_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fcodee_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F12.codee_v",{"title":1630,"path":1629,"stem":2653},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F13.codesonar",{"title":2655,"path":2656,"stem":2657},"CodeSonar_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fcodesonar_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F14.codesonar_v",{"title":2659,"path":2660,"stem":2661},"Coverity","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fcoverity","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F15.coverity",{"title":2663,"path":2664,"stem":2665},"Coverity_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fcoverity_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F16.coverity_v",{"title":2667,"path":2668,"stem":2669},"ECLAIR","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Feclair","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F17.eclair",{"title":2671,"path":2672,"stem":2673},"ECLAIR_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Feclair_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F18.eclair_v",{"title":2675,"path":2676,"stem":2677},"EDG","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fedg","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F19.edg",{"title":2679,"path":2680,"stem":2681},"Edg_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fedg_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F20.edg_v",{"title":2683,"path":2684,"stem":2685},"GCC","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fgcc","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F21.gcc",{"title":2687,"path":2688,"stem":2689},"Gcc_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fgcc_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F22.gcc_v",{"title":1708,"path":1707,"stem":2691},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F23.helix-qac",{"title":2693,"path":2694,"stem":2695},"Helix QAC_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fhelix-qac_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F24.helix-qac_v",{"title":1741,"path":1740,"stem":2697},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F25.klocwork",{"title":2699,"path":2700,"stem":2701},"Klocwork_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fklocwork_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F26.klocwork_v",{"title":2703,"path":1810,"stem":2704},"LDRA","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F27.ldra",{"title":2706,"path":2707,"stem":2708},"Ldra_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fldra_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F28.ldra_v",{"title":2710,"path":1841,"stem":2711},"Parasoft","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F29.parasoft",{"title":2713,"path":2714,"stem":2715},"Parasoft_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fparasoft_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F30.parasoft_v",{"title":1866,"path":1865,"stem":2717},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F31.polyspace-bug-finder",{"title":2719,"path":2720,"stem":2721},"Polyspace Bug Finder_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fpolyspace-bug-finder_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F32.polyspace-bug-finder_v",{"title":2723,"path":2724,"stem":2725},"PRQA QA-C++","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fprqa-qa-cpp","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F33.prqa-qa-cpp",{"title":2727,"path":2728,"stem":2729},"PRQA QA-C++_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fprqa-qa-cpp_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F34.prqa-qa-cpp_v",{"title":1910,"path":1909,"stem":2731},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F35.pvs-studio",{"title":2733,"path":2734,"stem":2735},"PVS-Studio_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fpvs-studio_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F36.pvs-studio_v",{"title":2737,"path":2738,"stem":2739},"Rose","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Frose","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F37.rose",{"title":2741,"path":2742,"stem":2743},"Rose_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Frose_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F38.rose_v",{"title":2745,"path":2746,"stem":2747},"RuleChecker","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Frulechecker","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F39.rulechecker",{"title":2749,"path":2750,"stem":2751},"RuleChecker_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Frulechecker_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F40.rulechecker_v",{"title":2753,"path":2754,"stem":2755},"Security Reviewer - Static Reviewer","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsecurity-reviewer-static-reviewer","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F41.security-reviewer-static-reviewer",{"title":2757,"path":2758,"stem":2759},"Security Reviewer - Static Reviewer_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsecurity-reviewer-static-reviewer_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F42.security-reviewer-static-reviewer_v",{"title":2761,"path":2762,"stem":2763},"Semgrep","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsemgrep","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F43.semgrep",{"title":2765,"path":2766,"stem":2767},"Semgrep_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsemgrep_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F44.semgrep_v",{"title":2769,"path":2770,"stem":2771},"SonarQube C\u002FC++ Plugin","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsonarqube-ccpp-plugin","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F45.sonarqube-ccpp-plugin",{"title":2773,"path":2774,"stem":2775},"SonarQube C\u002FC++ Plugin_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsonarqube-ccpp-plugin_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F46.sonarqube-ccpp-plugin_v",{"title":2777,"path":2778,"stem":2779},"Splint","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsplint","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F47.splint",{"title":2781,"path":2782,"stem":2783},"Splint_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsplint_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F48.splint_v",{"title":2785,"path":2786,"stem":2787,"children":2788},"DD. Related Guidelines","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fdd-related-guidelines","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F5.dd-related-guidelines\u002F1.index",[2789,2790,2794],{"title":2785,"path":2786,"stem":2787},{"title":2791,"path":2792,"stem":2793},"2008","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fdd-related-guidelines\u002F2.2008","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F5.dd-related-guidelines\u002F2.2008",{"title":1980,"path":2795,"stem":2796},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fdd-related-guidelines\u002Fmitre-cwe","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F5.dd-related-guidelines\u002F3.mitre-cwe",{"title":2798,"path":2799,"stem":2800},"EE. Risk Assessments","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fee-risk-assessments","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F6.ee-risk-assessments",{"title":2802,"path":2803,"stem":2804,"children":2805},"Admin","\u002Fsei-cert-cpp-coding-standard\u002Fadmin","5.sei-cert-cpp-coding-standard\u002F5.admin\u002F1.index",[2806,2807],{"title":2802,"path":2803,"stem":2804},{"title":2808,"path":2809,"stem":2810},"TODO List","\u002Fsei-cert-cpp-coding-standard\u002Fadmin\u002Ftodo-list","5.sei-cert-cpp-coding-standard\u002F5.admin\u002F2.todo-list",{"title":2812,"path":2813,"stem":2814},"Errata for SEI CERT C++ Coding Standard (2016 Edition)","\u002Fsei-cert-cpp-coding-standard\u002Ferrata-for-sei-cert-cpp-coding-standard-2016-edition","5.sei-cert-cpp-coding-standard\u002F6.errata-for-sei-cert-cpp-coding-standard-2016-edition",1775657778743]