[{"data":1,"prerenderedAt":2065},["ShallowReactive",2],{"global-navigation":3,"page-\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr52-cpp":28,"surround-\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr52-cpp":1365,"sidebar-sei-cert-cpp-coding-standard":1372},[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":1349,"meta":1350,"navigation":7,"path":1361,"seo":1362,"stem":1363,"__hash__":1364},"content\u002F5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F04.ctr52-cpp.md","CTR52-CPP. Guarantee that library functions do not overflow",{"type":32,"value":33,"toc":1335},"minimark",[34,38,42,55,88,93,116,264,267,271,277,382,386,393,504,508,517,587,590,601,684,687,690,770,779,783,793,854,858,866,932,936,1178,1182,1196,1200,1254,1258,1307,1310,1331],[35,36,30],"h1",{"id":37},"ctr52-cpp-guarantee-that-library-functions-do-not-overflow",[39,40,41],"p",{},"Copying data into a container that is not large enough to hold that data results in a buffer overflow. To prevent such errors, data copied to the destination container must be restricted on the basis of the destination container's size, or preferably, the destination container must be guaranteed to be large enough to hold the data to be copied.",[39,43,44,49,50,54],{},[45,46,48],"a",{"href":47},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions#BB.Definitions-vulnerability","Vulnerabilities"," that result from copying data to an undersized buffer can also involve null-terminated strings. Consult ",[45,51,53],{"href":52},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcharacters-and-strings-str\u002Fstr50-cpp","STR50-CPP. Guarantee that storage for strings has sufficient space for character data and the null terminator"," for specific examples of this rule that involve strings.",[39,56,57,58,62,63,66,67,70,71,74,75,78,79,82,83,87],{},"Copies can be made with the ",[59,60,61],"code",{},"std::memcpy()"," function. However, the ",[59,64,65],{},"std::memmove()"," and ",[59,68,69],{},"std::memset()"," functions can also have the same vulnerabilities because they overwrite a block of memory without checking that the block is valid. Such issues are not limited to C standard library functions; standard template library (STL) generic algorithms, such as ",[59,72,73],{},"std::copy()"," , ",[59,76,77],{},"std::fill()"," , and ",[59,80,81],{},"std::transform()"," , also assume valid output buffer sizes [ ",[45,84,86],{"href":85},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography#AA.Bibliography-ISO\u002FIEC14882-2014","ISO\u002FIEC 14882-2014"," ].",[89,90,92],"h2",{"id":91},"noncompliant-code-example","Noncompliant Code Example",[39,94,95,96,98,99,102,103,106,107,109,110,112,113,115],{},"STL containers can be subject to the same vulnerabilities as array data types. The ",[59,97,73],{}," algorithm provides no inherent bounds checking and can lead to a buffer overflow. In this noncompliant code example, a vector of integers is copied from ",[59,100,101],{},"src"," to ",[59,104,105],{},"dest"," using ",[59,108,73],{}," . Because ",[59,111,73],{}," does nothing to expand the ",[59,114,105],{}," vector, the program will overflow the buffer on copying the first element.",[117,118,120],"code-block",{"quality":119},"bad",[121,122,127],"pre",{"className":123,"code":124,"language":125,"meta":126,"style":126},"language-cpp shiki shiki-themes github-light github-dark monokai","#include \u003Calgorithm>\n#include \u003Cvector>\n\nvoid f(const std::vector\u003Cint> &src) {\n  std::vector\u003Cint> dest;\n  std::copy(src.begin(), src.end(), dest.begin());\n  \u002F\u002F ...\n}\n","cpp","",[59,128,129,142,150,156,202,221,251,258],{"__ignoreMap":126},[130,131,134,138],"span",{"class":132,"line":133},"line",1,[130,135,137],{"class":136},"sC2Qs","#include",[130,139,141],{"class":140},"sstjo"," \u003Calgorithm>\n",[130,143,145,147],{"class":132,"line":144},2,[130,146,137],{"class":136},[130,148,149],{"class":140}," \u003Cvector>\n",[130,151,153],{"class":132,"line":152},3,[130,154,155],{"emptyLinePlaceholder":7},"\n",[130,157,159,163,167,171,174,178,181,184,187,190,193,196,199],{"class":132,"line":158},4,[130,160,162],{"class":161},"sq6CD","void",[130,164,166],{"class":165},"srTi1"," f",[130,168,170],{"class":169},"sMOD_","(",[130,172,173],{"class":136},"const",[130,175,177],{"class":176},"sz2Vg"," std",[130,179,180],{"class":169},"::",[130,182,183],{"class":176},"vector",[130,185,186],{"class":169},"\u003C",[130,188,189],{"class":161},"int",[130,191,192],{"class":169},"> ",[130,194,195],{"class":136},"&",[130,197,101],{"class":198},"sTHNf",[130,200,201],{"class":169},") {\n",[130,203,205,208,211,213,215,218],{"class":132,"line":204},5,[130,206,207],{"class":176},"  std",[130,209,210],{"class":169},"::vector",[130,212,186],{"class":136},[130,214,189],{"class":161},[130,216,217],{"class":136},">",[130,219,220],{"class":169}," dest;\n",[130,222,224,226,228,231,234,237,240,243,246,248],{"class":132,"line":223},6,[130,225,207],{"class":176},[130,227,180],{"class":169},[130,229,230],{"class":165},"copy",[130,232,233],{"class":169},"(src.",[130,235,236],{"class":165},"begin",[130,238,239],{"class":169},"(), src.",[130,241,242],{"class":165},"end",[130,244,245],{"class":169},"(), dest.",[130,247,236],{"class":165},[130,249,250],{"class":169},"());\n",[130,252,254],{"class":132,"line":253},7,[130,255,257],{"class":256},"s8-w5","  \u002F\u002F ...\n",[130,259,261],{"class":132,"line":260},8,[130,262,263],{"class":169},"}\n",[39,265,266],{},"This hazard applies to any algorithm that takes a destination iterator, expecting to fill it with values. Most of the STL algorithms expect the destination container to have sufficient space to hold the values provided.",[89,268,270],{"id":269},"compliant-solution-sufficient-initial-capacity","Compliant Solution (Sufficient Initial Capacity)",[39,272,273,274,276],{},"The proper way to use ",[59,275,73],{}," is to ensure the destination container can hold all the elements being copied to it. This compliant solution enlarges the capacity of the vector prior to the copy operation.",[117,278,280],{"quality":279},"good",[121,281,283],{"className":123,"code":282,"language":125,"meta":126,"style":126},"#include \u003Calgorithm>\n#include \u003Cvector>\nvoid f(const std::vector\u003Cint> &src) {\n  \u002F\u002F Initialize dest with src.size() default-inserted elements\n  std::vector\u003Cint> dest(src.size());\n  std::copy(src.begin(), src.end(), dest.begin());\n  \u002F\u002F ...\n}\n",[59,284,285,291,297,325,330,352,374,378],{"__ignoreMap":126},[130,286,287,289],{"class":132,"line":133},[130,288,137],{"class":136},[130,290,141],{"class":140},[130,292,293,295],{"class":132,"line":144},[130,294,137],{"class":136},[130,296,149],{"class":140},[130,298,299,301,303,305,307,309,311,313,315,317,319,321,323],{"class":132,"line":152},[130,300,162],{"class":161},[130,302,166],{"class":165},[130,304,170],{"class":169},[130,306,173],{"class":136},[130,308,177],{"class":176},[130,310,180],{"class":169},[130,312,183],{"class":176},[130,314,186],{"class":169},[130,316,189],{"class":161},[130,318,192],{"class":169},[130,320,195],{"class":136},[130,322,101],{"class":198},[130,324,201],{"class":169},[130,326,327],{"class":132,"line":158},[130,328,329],{"class":256},"  \u002F\u002F Initialize dest with src.size() default-inserted elements\n",[130,331,332,334,336,338,340,342,345,347,350],{"class":132,"line":204},[130,333,207],{"class":176},[130,335,210],{"class":169},[130,337,186],{"class":136},[130,339,189],{"class":161},[130,341,217],{"class":136},[130,343,344],{"class":165}," dest",[130,346,233],{"class":169},[130,348,349],{"class":165},"size",[130,351,250],{"class":169},[130,353,354,356,358,360,362,364,366,368,370,372],{"class":132,"line":223},[130,355,207],{"class":176},[130,357,180],{"class":169},[130,359,230],{"class":165},[130,361,233],{"class":169},[130,363,236],{"class":165},[130,365,239],{"class":169},[130,367,242],{"class":165},[130,369,245],{"class":169},[130,371,236],{"class":165},[130,373,250],{"class":169},[130,375,376],{"class":132,"line":253},[130,377,257],{"class":256},[130,379,380],{"class":132,"line":260},[130,381,263],{"class":169},[89,383,385],{"id":384},"compliant-solution-per-element-growth","Compliant Solution (Per-Element Growth)",[39,387,388,389,392],{},"An alternative approach is to supply a ",[59,390,391],{},"std::back_insert_iterator"," as the destination argument. This iterator expands the destination container by one element for each element supplied by the algorithm, which guarantees the destination container will become sufficiently large to hold the elements provided.",[117,394,395],{"quality":279},[121,396,398],{"className":123,"code":397,"language":125,"meta":126,"style":126},"#include \u003Calgorithm>\n#include \u003Citerator>\n#include \u003Cvector>\n\nvoid f(const std::vector\u003Cint> &src) {\n  std::vector\u003Cint> dest;\n  std::copy(src.begin(), src.end(), std::back_inserter(dest));\n  \u002F\u002F ...\n}\n",[59,399,400,406,413,419,423,451,465,495,499],{"__ignoreMap":126},[130,401,402,404],{"class":132,"line":133},[130,403,137],{"class":136},[130,405,141],{"class":140},[130,407,408,410],{"class":132,"line":144},[130,409,137],{"class":136},[130,411,412],{"class":140}," \u003Citerator>\n",[130,414,415,417],{"class":132,"line":152},[130,416,137],{"class":136},[130,418,149],{"class":140},[130,420,421],{"class":132,"line":158},[130,422,155],{"emptyLinePlaceholder":7},[130,424,425,427,429,431,433,435,437,439,441,443,445,447,449],{"class":132,"line":204},[130,426,162],{"class":161},[130,428,166],{"class":165},[130,430,170],{"class":169},[130,432,173],{"class":136},[130,434,177],{"class":176},[130,436,180],{"class":169},[130,438,183],{"class":176},[130,440,186],{"class":169},[130,442,189],{"class":161},[130,444,192],{"class":169},[130,446,195],{"class":136},[130,448,101],{"class":198},[130,450,201],{"class":169},[130,452,453,455,457,459,461,463],{"class":132,"line":223},[130,454,207],{"class":176},[130,456,210],{"class":169},[130,458,186],{"class":136},[130,460,189],{"class":161},[130,462,217],{"class":136},[130,464,220],{"class":169},[130,466,467,469,471,473,475,477,479,481,484,487,489,492],{"class":132,"line":253},[130,468,207],{"class":176},[130,470,180],{"class":169},[130,472,230],{"class":165},[130,474,233],{"class":169},[130,476,236],{"class":165},[130,478,239],{"class":169},[130,480,242],{"class":165},[130,482,483],{"class":169},"(), ",[130,485,486],{"class":176},"std",[130,488,180],{"class":169},[130,490,491],{"class":165},"back_inserter",[130,493,494],{"class":169},"(dest));\n",[130,496,497],{"class":132,"line":260},[130,498,257],{"class":256},[130,500,502],{"class":132,"line":501},9,[130,503,263],{"class":169},[89,505,507],{"id":506},"compliant-solution-assignment","Compliant Solution (Assignment)",[39,509,510,511,513,514,516],{},"The simplest solution is to construct ",[59,512,105],{}," from ",[59,515,101],{}," directly, as in this compliant solution.",[117,518,519],{"quality":279},[121,520,522],{"className":123,"code":521,"language":125,"meta":126,"style":126},"#include \u003Cvector>\n\nvoid f(const std::vector\u003Cint> &src) {\n  std::vector\u003Cint> dest(src);\n  \u002F\u002F ...\n}\n",[59,523,524,530,534,562,579,583],{"__ignoreMap":126},[130,525,526,528],{"class":132,"line":133},[130,527,137],{"class":136},[130,529,149],{"class":140},[130,531,532],{"class":132,"line":144},[130,533,155],{"emptyLinePlaceholder":7},[130,535,536,538,540,542,544,546,548,550,552,554,556,558,560],{"class":132,"line":152},[130,537,162],{"class":161},[130,539,166],{"class":165},[130,541,170],{"class":169},[130,543,173],{"class":136},[130,545,177],{"class":176},[130,547,180],{"class":169},[130,549,183],{"class":176},[130,551,186],{"class":169},[130,553,189],{"class":161},[130,555,192],{"class":169},[130,557,195],{"class":136},[130,559,101],{"class":198},[130,561,201],{"class":169},[130,563,564,566,568,570,572,574,576],{"class":132,"line":158},[130,565,207],{"class":176},[130,567,210],{"class":169},[130,569,186],{"class":136},[130,571,189],{"class":161},[130,573,217],{"class":136},[130,575,344],{"class":165},[130,577,578],{"class":169},"(src);\n",[130,580,581],{"class":132,"line":204},[130,582,257],{"class":256},[130,584,585],{"class":132,"line":223},[130,586,263],{"class":169},[89,588,92],{"id":589},"noncompliant-code-example-1",[39,591,592,593,596,597,600],{},"In this noncompliant code example, ",[59,594,595],{},"std::fill_n()"," is used to fill a buffer with 10 instances of the value ",[59,598,599],{},"0x42"," . However, the buffer has not allocated any space for the elements, so this operation results in a buffer overflow.",[117,602,603],{"quality":119},[121,604,606],{"className":123,"code":605,"language":125,"meta":126,"style":126},"#include \u003Calgorithm>\n#include \u003Cvector>\n\nvoid f() {\n  std::vector\u003Cint> v;\n  std::fill_n(v.begin(), 10, 0x42);\n}\n",[59,607,608,614,620,624,633,648,680],{"__ignoreMap":126},[130,609,610,612],{"class":132,"line":133},[130,611,137],{"class":136},[130,613,141],{"class":140},[130,615,616,618],{"class":132,"line":144},[130,617,137],{"class":136},[130,619,149],{"class":140},[130,621,622],{"class":132,"line":152},[130,623,155],{"emptyLinePlaceholder":7},[130,625,626,628,630],{"class":132,"line":158},[130,627,162],{"class":161},[130,629,166],{"class":165},[130,631,632],{"class":169},"() {\n",[130,634,635,637,639,641,643,645],{"class":132,"line":204},[130,636,207],{"class":176},[130,638,210],{"class":169},[130,640,186],{"class":136},[130,642,189],{"class":161},[130,644,217],{"class":136},[130,646,647],{"class":169}," v;\n",[130,649,650,652,654,657,660,662,664,668,671,674,677],{"class":132,"line":223},[130,651,207],{"class":176},[130,653,180],{"class":169},[130,655,656],{"class":165},"fill_n",[130,658,659],{"class":169},"(v.",[130,661,236],{"class":165},[130,663,483],{"class":169},[130,665,667],{"class":666},"s7F3e","10",[130,669,670],{"class":169},", ",[130,672,673],{"class":136},"0x",[130,675,676],{"class":666},"42",[130,678,679],{"class":169},");\n",[130,681,682],{"class":132,"line":253},[130,683,263],{"class":169},[89,685,270],{"id":686},"compliant-solution-sufficient-initial-capacity-1",[39,688,689],{},"This compliant solution ensures the capacity of the vector is sufficient before attempting to fill the container.",[117,691,692],{"quality":279},[121,693,695],{"className":123,"code":694,"language":125,"meta":126,"style":126},"#include \u003Calgorithm>\n#include \u003Cvector>\n\nvoid f() {\n  std::vector\u003Cint> v(10);\n  std::fill_n(v.begin(), 10, 0x42);\n}\n",[59,696,697,703,709,713,721,742,766],{"__ignoreMap":126},[130,698,699,701],{"class":132,"line":133},[130,700,137],{"class":136},[130,702,141],{"class":140},[130,704,705,707],{"class":132,"line":144},[130,706,137],{"class":136},[130,708,149],{"class":140},[130,710,711],{"class":132,"line":152},[130,712,155],{"emptyLinePlaceholder":7},[130,714,715,717,719],{"class":132,"line":158},[130,716,162],{"class":161},[130,718,166],{"class":165},[130,720,632],{"class":169},[130,722,723,725,727,729,731,733,736,738,740],{"class":132,"line":204},[130,724,207],{"class":176},[130,726,210],{"class":169},[130,728,186],{"class":136},[130,730,189],{"class":161},[130,732,217],{"class":136},[130,734,735],{"class":165}," v",[130,737,170],{"class":169},[130,739,667],{"class":666},[130,741,679],{"class":169},[130,743,744,746,748,750,752,754,756,758,760,762,764],{"class":132,"line":223},[130,745,207],{"class":176},[130,747,180],{"class":169},[130,749,656],{"class":165},[130,751,659],{"class":169},[130,753,236],{"class":165},[130,755,483],{"class":169},[130,757,667],{"class":666},[130,759,670],{"class":169},[130,761,673],{"class":136},[130,763,676],{"class":666},[130,765,679],{"class":169},[130,767,768],{"class":132,"line":253},[130,769,263],{"class":169},[39,771,772,773,775,776,778],{},"However, this compliant solution is inefficient. The constructor will default-construct 10 elements of type ",[59,774,189],{}," , which are subsequently replaced by the call to ",[59,777,595],{}," , meaning that each element in the container is initialized twice.",[89,780,782],{"id":781},"compliant-solution-fill-initialization","Compliant Solution (Fill Initialization)",[39,784,785,786,789,790,792],{},"This compliant solution initializes ",[59,787,788],{},"v"," to 10 elements whose values are all ",[59,791,599],{}," .",[117,794,795],{"quality":279},[121,796,798],{"className":123,"code":797,"language":125,"meta":126,"style":126},"#include \u003Calgorithm>\n#include \u003Cvector>\n\nvoid f() {\n  std::vector\u003Cint> v(10, 0x42);\n}\n",[59,799,800,806,812,816,824,850],{"__ignoreMap":126},[130,801,802,804],{"class":132,"line":133},[130,803,137],{"class":136},[130,805,141],{"class":140},[130,807,808,810],{"class":132,"line":144},[130,809,137],{"class":136},[130,811,149],{"class":140},[130,813,814],{"class":132,"line":152},[130,815,155],{"emptyLinePlaceholder":7},[130,817,818,820,822],{"class":132,"line":158},[130,819,162],{"class":161},[130,821,166],{"class":165},[130,823,632],{"class":169},[130,825,826,828,830,832,834,836,838,840,842,844,846,848],{"class":132,"line":204},[130,827,207],{"class":176},[130,829,210],{"class":169},[130,831,186],{"class":136},[130,833,189],{"class":161},[130,835,217],{"class":136},[130,837,735],{"class":165},[130,839,170],{"class":169},[130,841,667],{"class":666},[130,843,670],{"class":169},[130,845,673],{"class":136},[130,847,676],{"class":666},[130,849,679],{"class":169},[130,851,852],{"class":132,"line":223},[130,853,263],{"class":169},[89,855,857],{"id":856},"risk-assessment","Risk Assessment",[39,859,860,861,865],{},"Copying data to a buffer that is too small to hold the data results in a buffer overflow. Attackers can ",[45,862,864],{"href":863},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions#BB.Definitions-exploit","exploit"," this condition to execute arbitrary code.",[867,868,869,870,869,900],"table",{},"\n  ",[871,872,873,874,869],"thead",{},"\n    ",[875,876,877,878,877,882,877,885,877,888,877,891,877,894,877,897,873],"tr",{},"\n      ",[879,880,881],"th",{},"Rule",[879,883,884],{},"Severity",[879,886,887],{},"Likelihood",[879,889,890],{},"Detectable",[879,892,893],{},"Repairable",[879,895,896],{},"Priority",[879,898,899],{},"Level",[901,902,873,903,869],"tbody",{},[875,904,877,905,877,909,877,912,877,915,877,918,877,920,877,927,873],{},[906,907,908],"td",{},"CTR52-CPP",[906,910,911],{},"High",[906,913,914],{},"Likely",[906,916,917],{},"No",[906,919,917],{},[906,921,923],{"style":922},"color: #f1c40f;",[924,925,926],"b",{},"P9",[906,928,929],{"style":922},[924,930,931],{},"L2",[89,933,935],{"id":934},"automated-detection","Automated Detection",[867,937,940],{"className":938},[939],"wrapped",[901,941,942,966,999,1044,1072,1098,1122,1148],{},[875,943,946,951,956,961],{"className":944},[945],"header",[879,947,948],{},[39,949,950],{},"Tool",[879,952,953],{},[39,954,955],{},"Version",[879,957,958],{},[39,959,960],{},"Checker",[879,962,963],{},[39,964,965],{},"Description",[875,967,970,976,986,995],{"className":968},[969],"odd",[906,971,972],{},[45,973,975],{"href":974},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fastree","Astrée",[906,977,978],{},[979,980,983],"div",{"className":981},[982],"content-wrapper",[39,984,985],{},"25.10",[906,987,988],{},[989,990,991,992],"strong",{},"invalid_pointer_dereference",[993,994],"br",{},[906,996,997],{},[993,998],{},[875,1000,1003,1009,1015,1033],{"className":1001},[1002],"even",[906,1004,1005],{},[45,1006,1008],{"href":1007},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fcodesonar","CodeSonar",[906,1010,1011],{},[979,1012,1014],{"className":1013},[982],"9.1p0",[906,1016,1017],{},[39,1018,1019,1024,1025],{},[989,1020,1021,1022],{},"BADFUNC.BO.*",[993,1023],{}," ",[989,1026,1027,1028,1030,1031],{},"LANG.MEM.BO",[993,1029],{},"\nLANG.MEM.TBA",[993,1032],{},[906,1034,1035],{},[39,1036,1037,1038,1040,1041,1043],{},"A collection of warning classes that report uses of library functions prone to internal buffer overflows.",[993,1039],{},"\nBuffer Overrun",[993,1042],{},"\nTainted Buffer Access",[875,1045,1047,1053,1061,1068],{"className":1046},[969],[906,1048,1049],{},[45,1050,1052],{"href":1051},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fhelix-qac","Helix QAC",[906,1054,1055],{},[979,1056,1058],{"className":1057},[982],[39,1059,1060],{},"2025.2",[906,1062,1063],{},[39,1064,1065],{},[989,1066,1067],{},"DF3526, DF3527, DF3528, DF3529, DF3530, DF3531, DF3532, DF3533, DF3534",[906,1069,1070],{},[993,1071],{},[875,1073,1075,1081,1086,1094],{"className":1074},[1002],[906,1076,1077],{},[45,1078,1080],{"href":1079},"\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fklocwork","Klocwork",[906,1082,1083],{},[979,1084,1060],{"className":1085},[982],[906,1087,1088],{},[989,1089,1090,1091,1093],{},"ITER.END.OUTPARAM.MIGHT",[993,1092],{},"\nITER.END.OUTPARAM.MUST",[906,1095,1096],{},[993,1097],{},[875,1099,1101,1107,1112,1119],{"className":1100},[969],[906,1102,1103],{},[45,1104,1106],{"href":1105},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fparasoft","Parasoft C\u002FC++test",[906,1108,1109],{},[979,1110,1060],{"className":1111},[982],[906,1113,1114],{},[989,1115,1116,1117],{},"CERT_CPP-CTR52-a",[993,1118],{},[906,1120,1121],{},"Do not pass empty container iterators to std algorithms as destinations",[875,1123,1125,1131,1139,1145],{"className":1124},[1002],[906,1126,1127],{},[45,1128,1130],{"href":1129},"\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fpolyspace-bug-finder","Polyspace Bug Finder",[906,1132,1133],{},[979,1134,1136],{"className":1135},[982],[39,1137,1138],{},"R2025b",[906,1140,1141],{},[45,1142,1144],{"href":1143},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcctr52cpp.html","CERT C++: CTR52-CPP",[906,1146,1147],{},"Checks for library functions overflowing sequence container (rule partially covered).",[875,1149,1151,1157,1165,1175],{"className":1150},[969],[906,1152,1153],{},[45,1154,1156],{"href":1155},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsecurity-reviewer-static-reviewer","Security Reviewer - Static Reviewer",[906,1158,1159],{},[979,1160,1162],{"className":1161},[982],[39,1163,1164],{},"6.02",[906,1166,1167,1170,1172],{},[989,1168,1169],{},"C01",[993,1171],{},[989,1173,1174],{},"C04",[906,1176,1177],{},"Fully implemented",[89,1179,1181],{"id":1180},"related-vulnerabilities","Related Vulnerabilities",[39,1183,1184,1185,1189,1190,792],{},"Search for ",[45,1186,1188],{"href":1187},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions","vulnerabilities"," resulting from the violation of this rule on the ",[45,1191,1195],{"href":1192,"rel":1193},"https:\u002F\u002Fwww.kb.cert.org\u002Fvulnotes\u002Fbymetric?searchview&query=FIELD+KEYWORDS+contains+CTR52-CPP",[1194],"nofollow","CERT website",[89,1197,1199],{"id":1198},"related-guidelines","Related Guidelines",[867,1201,1203],{"className":1202},[939],[901,1204,1205,1217,1231],{},[875,1206,1208,1213],{"className":1207},[969],[906,1209,1210],{},[45,1211,1212],{"href":20},"SEI CERT C++ Coding Standard",[906,1214,1215],{},[45,1216,53],{"href":52},[875,1218,1220,1225],{"className":1219},[1002],[906,1221,1222],{},[45,1223,1224],{"href":17},"SEI CERT C Coding Standard",[906,1226,1227],{},[45,1228,1230],{"href":1229},"\u002Fsei-cert-c-coding-standard\u002Frules\u002Farrays-arr\u002Farr38-c","ARR38-C. Guarantee that library functions do not form invalid pointers",[875,1232,1234,1240],{"className":1233},[969],[906,1235,1236],{},[45,1237,1239],{"href":1238},"http:\u002F\u002Fcwe.mitre.org\u002F","MITRE CWE",[906,1241,1242,1246,1247,1249,1253],{},[45,1243,1245],{"href":1244},"http:\u002F\u002Fcwe.mitre.org\u002Fdata\u002Fdefinitions\u002F119.html","CWE 119"," , Failure to Constrain Operations within the Bounds of an Allocated Memory Buffer",[993,1248],{},[45,1250,1252],{"href":1251},"http:\u002F\u002Fcwe.mitre.org\u002Fdata\u002Fdefinitions\u002F805.html","CWE 805"," , Buffer Access with Incorrect Length Value",[89,1255,1257],{"id":1256},"bibliography","Bibliography",[867,1259,1261],{"className":1260},[939],[901,1262,1263,1277,1295],{},[875,1264,1266,1272],{"className":1265},[969],[906,1267,1268,1269,1271],{},"[ ",[45,1270,86],{"href":85}," ]",[906,1273,1274],{},[39,1275,1276],{},"Subclause 25.3, \"Mutating Sequence Operations\"",[875,1278,1280,1286],{"className":1279},[1002],[906,1281,1268,1282,1271],{},[45,1283,1285],{"href":1284},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography#AA.Bibliography-ISO\u002FIECTR24772-2013","ISO\u002FIEC TR 24772-2013",[906,1287,1288,1289,1291,1292,1294],{},"Buffer Overflow in Heap [XYB]",[993,1290],{},"\nBuffer Overflow in Stack [XYW]",[993,1293],{},"\nUnchecked Array Indexing [XYZ]",[875,1296,1298,1304],{"className":1297},[969],[906,1299,1268,1300,1271],{},[45,1301,1303],{"href":1302},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography#AA.Bibliography-Meyers01","Meyers 2001",[906,1305,1306],{},"Item 30, \"Make Sure Destination Ranges Are Big Enough\"",[1308,1309],"hr",{},[39,1311,1312,1024,1319,1024,1325],{},[45,1313,1315],{"href":1314},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr51-cpp",[1316,1317],"img",{"src":1318},"\u002Fattachments\u002F88046682\u002F88480621.png",[45,1320,1322],{"href":1321},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002F",[1316,1323],{"src":1324},"\u002Fattachments\u002F88046682\u002F88475556.png",[45,1326,1328],{"href":1327},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr53-cpp",[1316,1329],{"src":1330},"\u002Fattachments\u002F88046682\u002F88475555.png",[1332,1333,1334],"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 .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 .sMOD_, html code.shiki .sMOD_{--shiki-default:#24292E;--shiki-dark:#E1E4E8;--shiki-sepia:#F8F8F2}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 .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 .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":126,"searchDepth":144,"depth":144,"links":1336},[1337,1338,1339,1340,1341,1342,1343,1344,1345,1346,1347,1348],{"id":91,"depth":144,"text":92},{"id":269,"depth":144,"text":270},{"id":384,"depth":144,"text":385},{"id":506,"depth":144,"text":507},{"id":589,"depth":144,"text":92},{"id":686,"depth":144,"text":270},{"id":781,"depth":144,"text":782},{"id":856,"depth":144,"text":857},{"id":934,"depth":144,"text":935},{"id":1180,"depth":144,"text":1181},{"id":1198,"depth":144,"text":1199},{"id":1256,"depth":144,"text":1257},"md",{"tags":1351},[1352,1353,1354,1355,1356,1357,1358,1359,1360],"review","ctr","review-dms","rule","nptc-aliasing","cwe-119","review-ajb","nptc","cwe-805","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr52-cpp",{"title":30,"description":41},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F04.ctr52-cpp","wvt4t9iQdi8C2mt57eFF_Pt75z9mVxAiBVqR1xkdHiE",[1366,1369],{"title":1367,"path":1314,"stem":1368,"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",{"title":1370,"path":1327,"stem":1371,"children":-1},"CTR53-CPP. Use valid iterator ranges","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F05.ctr53-cpp",[1373],{"title":1212,"path":1374,"stem":1375,"children":1376},"\u002Fsei-cert-cpp-coding-standard","5.sei-cert-cpp-coding-standard\u002F1.index",[1377,1378,1445,1838,2051,2061],{"title":1212,"path":1374,"stem":1375},{"title":1379,"path":1380,"stem":1381,"children":1382},"Front Matter","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F1.index",[1383,1384],{"title":1379,"path":1380,"stem":1381},{"title":1385,"path":1386,"stem":1387,"children":1388},"Introduction","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F01.index",[1389,1390,1394,1398,1402,1406,1410,1414,1418,1422,1426,1430,1434,1438,1442],{"title":1385,"path":1386,"stem":1387},{"title":1391,"path":1392,"stem":1393},"Scope","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fscope","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F02.scope",{"title":1395,"path":1396,"stem":1397},"Audience","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Faudience","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F03.audience",{"title":1399,"path":1400,"stem":1401},"Usage","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fusage","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F04.usage",{"title":1403,"path":1404,"stem":1405},"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":1407,"path":1408,"stem":1409},"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":1411,"path":1412,"stem":1413},"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":1415,"path":1416,"stem":1417},"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":1419,"path":1420,"stem":1421},"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":1423,"path":1424,"stem":1425},"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":1427,"path":1428,"stem":1429},"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":1431,"path":1432,"stem":1433},"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":1435,"path":1436,"stem":1437},"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":1439,"path":1440,"stem":1441},"Acknowledgments","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Facknowledgments","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F14.acknowledgments",{"title":935,"path":1443,"stem":1444},"\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":1446,"path":1447,"stem":1448,"children":1449},"Rules","\u002Fsei-cert-cpp-coding-standard\u002Frules","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F01.index",[1450,1451,1471,1505,1538,1588,1646,1708,1722,1732,1770,1796],{"title":1446,"path":1447,"stem":1448},{"title":1452,"path":1453,"stem":1454,"children":1455},"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",[1456,1457,1459,1463,1467],{"title":1452,"path":1453,"stem":1454},{"title":53,"path":52,"stem":1458},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F02.characters-and-strings-str\u002F2.str50-cpp",{"title":1460,"path":1461,"stem":1462},"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":1464,"path":1465,"stem":1466},"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":1468,"path":1469,"stem":1470},"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":1472,"path":1473,"stem":1474,"children":1475},"Concurrency (CON)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F1.index",[1476,1477,1481,1485,1489,1493,1497,1501],{"title":1472,"path":1473,"stem":1474},{"title":1478,"path":1479,"stem":1480},"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":1482,"path":1483,"stem":1484},"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":1486,"path":1487,"stem":1488},"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":1490,"path":1491,"stem":1492},"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":1494,"path":1495,"stem":1496},"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":1498,"path":1499,"stem":1500},"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":1502,"path":1503,"stem":1504},"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":1506,"path":1507,"stem":1508,"children":1509},"Containers (CTR)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F01.index",[1510,1511,1515,1516,1517,1518,1522,1526,1530,1534],{"title":1506,"path":1507,"stem":1508},{"title":1512,"path":1513,"stem":1514},"CTR50-CPP. Guarantee that container indices and iterators are within the valid range","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr50-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F02.ctr50-cpp",{"title":1367,"path":1314,"stem":1368},{"title":30,"path":1361,"stem":1363},{"title":1370,"path":1327,"stem":1371},{"title":1519,"path":1520,"stem":1521},"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":1523,"path":1524,"stem":1525},"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":1527,"path":1528,"stem":1529},"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":1531,"path":1532,"stem":1533},"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":1535,"path":1536,"stem":1537},"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":1539,"path":1540,"stem":1541,"children":1542},"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",[1543,1544,1548,1552,1556,1560,1564,1568,1572,1576,1580,1584],{"title":1539,"path":1540,"stem":1541},{"title":1545,"path":1546,"stem":1547},"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":1549,"path":1550,"stem":1551},"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":1553,"path":1554,"stem":1555},"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":1557,"path":1558,"stem":1559},"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":1561,"path":1562,"stem":1563},"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":1565,"path":1566,"stem":1567},"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":1569,"path":1570,"stem":1571},"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":1573,"path":1574,"stem":1575},"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":1577,"path":1578,"stem":1579},"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":1581,"path":1582,"stem":1583},"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":1585,"path":1586,"stem":1587},"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":1589,"path":1590,"stem":1591,"children":1592},"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",[1593,1594,1598,1602,1606,1610,1614,1618,1622,1626,1630,1634,1638,1642],{"title":1589,"path":1590,"stem":1591},{"title":1595,"path":1596,"stem":1597},"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":1599,"path":1600,"stem":1601},"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":1603,"path":1604,"stem":1605},"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":1607,"path":1608,"stem":1609},"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":1611,"path":1612,"stem":1613},"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":1615,"path":1616,"stem":1617},"ERR55-CPP. Honor exception specifications","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr55-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F07.err55-cpp",{"title":1619,"path":1620,"stem":1621},"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":1623,"path":1624,"stem":1625},"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":1627,"path":1628,"stem":1629},"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":1631,"path":1632,"stem":1633},"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":1635,"path":1636,"stem":1637},"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":1639,"path":1640,"stem":1641},"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":1643,"path":1644,"stem":1645},"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":1647,"path":1648,"stem":1649,"children":1650},"Expressions (EXP)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F01.index",[1651,1652,1656,1660,1664,1668,1672,1676,1680,1684,1688,1692,1696,1700,1704],{"title":1647,"path":1648,"stem":1649},{"title":1653,"path":1654,"stem":1655},"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":1657,"path":1658,"stem":1659},"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":1661,"path":1662,"stem":1663},"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":1665,"path":1666,"stem":1667},"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":1669,"path":1670,"stem":1671},"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":1673,"path":1674,"stem":1675},"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":1677,"path":1678,"stem":1679},"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":1681,"path":1682,"stem":1683},"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":1685,"path":1686,"stem":1687},"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":1689,"path":1690,"stem":1691},"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":1693,"path":1694,"stem":1695},"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":1697,"path":1698,"stem":1699},"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":1701,"path":1702,"stem":1703},"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":1705,"path":1706,"stem":1707},"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":1709,"path":1710,"stem":1711,"children":1712},"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",[1713,1714,1718],{"title":1709,"path":1710,"stem":1711},{"title":1715,"path":1716,"stem":1717},"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":1719,"path":1720,"stem":1721},"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":1723,"path":1724,"stem":1725,"children":1726},"Integers (INT)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fintegers-int","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F09.integers-int\u002F1.index",[1727,1728],{"title":1723,"path":1724,"stem":1725},{"title":1729,"path":1730,"stem":1731},"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":1733,"path":1734,"stem":1735,"children":1736},"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",[1737,1738,1742,1746,1750,1754,1758,1762,1766],{"title":1733,"path":1734,"stem":1735},{"title":1739,"path":1740,"stem":1741},"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":1743,"path":1744,"stem":1745},"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":1747,"path":1748,"stem":1749},"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":1751,"path":1752,"stem":1753},"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":1755,"path":1756,"stem":1757},"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":1759,"path":1760,"stem":1761},"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":1763,"path":1764,"stem":1765},"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":1767,"path":1768,"stem":1769},"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":1771,"path":1772,"stem":1773,"children":1774},"Miscellaneous (MSC)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F1.index",[1775,1776,1780,1784,1788,1792],{"title":1771,"path":1772,"stem":1773},{"title":1777,"path":1778,"stem":1779},"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":1781,"path":1782,"stem":1783},"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":1785,"path":1786,"stem":1787},"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":1789,"path":1790,"stem":1791},"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":1793,"path":1794,"stem":1795},"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":1797,"path":1798,"stem":1799,"children":1800},"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",[1801,1802,1806,1810,1814,1818,1822,1826,1830,1834],{"title":1797,"path":1798,"stem":1799},{"title":1803,"path":1804,"stem":1805},"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":1807,"path":1808,"stem":1809},"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":1811,"path":1812,"stem":1813},"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":1815,"path":1816,"stem":1817},"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":1819,"path":1820,"stem":1821},"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":1823,"path":1824,"stem":1825},"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":1827,"path":1828,"stem":1829},"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":1831,"path":1832,"stem":1833},"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":1835,"path":1836,"stem":1837},"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":1839,"path":1840,"stem":1841,"children":1842},"Back Matter","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F1.index",[1843,1844,1848,1851,2034,2047],{"title":1839,"path":1840,"stem":1841},{"title":1845,"path":1846,"stem":1847},"AA. Bibliography","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F2.aa-bibliography",{"title":1849,"path":1187,"stem":1850},"BB. Definitions","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F3.bb-definitions",{"title":1852,"path":1853,"stem":1854,"children":1855},"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",[1856,1857,1859,1863,1867,1871,1875,1879,1883,1887,1891,1895,1899,1901,1905,1909,1913,1917,1921,1925,1929,1933,1937,1939,1943,1946,1950,1954,1958,1961,1965,1968,1972,1976,1980,1984,1988,1992,1996,2000,2004,2006,2010,2014,2018,2022,2026,2030],{"title":1852,"path":1853,"stem":1854},{"title":975,"path":974,"stem":1858},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F02.astree",{"title":1860,"path":1861,"stem":1862},"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":1864,"path":1865,"stem":1866},"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":1868,"path":1869,"stem":1870},"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":1872,"path":1873,"stem":1874},"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":1876,"path":1877,"stem":1878},"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":1880,"path":1881,"stem":1882},"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":1884,"path":1885,"stem":1886},"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":1888,"path":1889,"stem":1890},"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":1892,"path":1893,"stem":1894},"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":1896,"path":1897,"stem":1898},"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":1008,"path":1007,"stem":1900},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F13.codesonar",{"title":1902,"path":1903,"stem":1904},"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":1906,"path":1907,"stem":1908},"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":1910,"path":1911,"stem":1912},"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":1914,"path":1915,"stem":1916},"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":1918,"path":1919,"stem":1920},"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":1922,"path":1923,"stem":1924},"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":1926,"path":1927,"stem":1928},"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":1930,"path":1931,"stem":1932},"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":1934,"path":1935,"stem":1936},"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":1052,"path":1051,"stem":1938},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F23.helix-qac",{"title":1940,"path":1941,"stem":1942},"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":1080,"path":1944,"stem":1945},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fklocwork","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F25.klocwork",{"title":1947,"path":1948,"stem":1949},"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":1951,"path":1952,"stem":1953},"LDRA","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fldra","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F27.ldra",{"title":1955,"path":1956,"stem":1957},"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":1959,"path":1105,"stem":1960},"Parasoft","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F29.parasoft",{"title":1962,"path":1963,"stem":1964},"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":1130,"path":1966,"stem":1967},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fpolyspace-bug-finder","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F31.polyspace-bug-finder",{"title":1969,"path":1970,"stem":1971},"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":1973,"path":1974,"stem":1975},"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":1977,"path":1978,"stem":1979},"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":1981,"path":1982,"stem":1983},"PVS-Studio","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fpvs-studio","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F35.pvs-studio",{"title":1985,"path":1986,"stem":1987},"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":1989,"path":1990,"stem":1991},"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":1993,"path":1994,"stem":1995},"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":1997,"path":1998,"stem":1999},"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":2001,"path":2002,"stem":2003},"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":1156,"path":1155,"stem":2005},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F41.security-reviewer-static-reviewer",{"title":2007,"path":2008,"stem":2009},"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":2011,"path":2012,"stem":2013},"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":2015,"path":2016,"stem":2017},"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":2019,"path":2020,"stem":2021},"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":2023,"path":2024,"stem":2025},"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":2027,"path":2028,"stem":2029},"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":2031,"path":2032,"stem":2033},"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":2035,"path":2036,"stem":2037,"children":2038},"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",[2039,2040,2044],{"title":2035,"path":2036,"stem":2037},{"title":2041,"path":2042,"stem":2043},"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":1239,"path":2045,"stem":2046},"\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":2048,"path":2049,"stem":2050},"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":2052,"path":2053,"stem":2054,"children":2055},"Admin","\u002Fsei-cert-cpp-coding-standard\u002Fadmin","5.sei-cert-cpp-coding-standard\u002F5.admin\u002F1.index",[2056,2057],{"title":2052,"path":2053,"stem":2054},{"title":2058,"path":2059,"stem":2060},"TODO List","\u002Fsei-cert-cpp-coding-standard\u002Fadmin\u002Ftodo-list","5.sei-cert-cpp-coding-standard\u002F5.admin\u002F2.todo-list",{"title":2062,"path":2063,"stem":2064},"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",1775657778744]