[{"data":1,"prerenderedAt":2223},["ShallowReactive",2],{"global-navigation":3,"page-\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp55-cpp":28,"surround-\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp55-cpp":1523,"sidebar-sei-cert-cpp-coding-standard":1530},[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":1507,"extension":1508,"meta":1509,"navigation":7,"path":1519,"seo":1520,"stem":1521,"__hash__":1522},"content\u002F5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F07.exp55-cpp.md","EXP55-CPP. Do not access a cv-qualified object through a cv-unqualified type",{"type":32,"value":33,"toc":1493},"minimark",[34,38,48,63,66,71,92,97,106,248,252,266,340,343,369,603,606,623,795,798,812,965,968,984,987,990,993,996,1004,1007,1011,1024,1090,1095,1371,1375,1389,1393,1420,1424,1465,1468,1489],[35,36,30],"h1",{"id":37},"exp55-cpp-do-not-access-a-cv-qualified-object-through-a-cv-unqualified-type",[39,40,41,42,47],"p",{},"The C++ Standard, [dcl.type.cv], paragraph 4 [ ",[43,44,46],"a",{"href":45},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography#AA.Bibliography-ISO\u002FIEC14882-2014","ISO\u002FIEC 14882-2014"," ], states the following:",[49,50,51],"blockquote",{},[39,52,53,54,58,59,62],{},"Except that any class member declared ",[55,56,57],"code",{},"mutable"," can be modified, any attempt to modify a ",[55,60,61],{},"const"," object during its lifetime results in undefined behavior.",[39,64,65],{},"Similarly, paragraph 6 states the following:",[49,67,68],{},[39,69,70],{},"What constitutes an access to an object that has volatile-qualified type is implementation-defined. If an attempt is made to refer to an object defined with a volatile-qualified type through the use of a glvalue with a non-volatile-qualified type, the program behavior is undefined.",[39,72,73,74,76,77,79,80,83,84,86,87,91],{},"Do not cast away a ",[55,75,61],{}," qualification to attempt to modify the resulting object. The ",[55,78,61],{}," qualifier implies that the API designer does not intend for that object to be modified despite the possibility it may be modifiable. Do not cast away a ",[55,81,82],{},"volatile"," qualification; the ",[55,85,82],{}," qualifier implies that the API designer intends the object to be accessed in ways unknown to the compiler, and any access of the volatile object results in ",[43,88,90],{"href":89},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions#BB.Definitions-undefinedbehavior","undefined behavior"," .",[93,94,96],"h2",{"id":95},"noncompliant-code-example","Noncompliant Code Example",[39,98,99,100,103,104,91],{},"In this noncompliant code example, the function ",[55,101,102],{},"g"," () is passed a const int &, which is then cast to an int & and modified. Because the referenced value was previously declared as const, the assignment operation results in ",[43,105,90],{"href":89},[107,108,110],"code-block",{"quality":109},"bad",[111,112,117],"pre",{"className":113,"code":114,"language":115,"meta":116,"style":116},"language-cpp shiki shiki-themes github-light github-dark monokai","void g(const int &ci) {\n  int &ir = const_cast\u003Cint &>(ci);\n  ir = 42;\n}\n\nvoid f() {\n  const int i = 4;\n  g(i);\n}\n","cpp","",[55,118,119,152,178,193,199,205,216,234,243],{"__ignoreMap":116},[120,121,124,128,132,136,139,142,145,149],"span",{"class":122,"line":123},"line",1,[120,125,127],{"class":126},"sq6CD","void",[120,129,131],{"class":130},"srTi1"," g",[120,133,135],{"class":134},"sMOD_","(",[120,137,61],{"class":138},"sC2Qs",[120,140,141],{"class":126}," int",[120,143,144],{"class":138}," &",[120,146,148],{"class":147},"sTHNf","ci",[120,150,151],{"class":134},") {\n",[120,153,155,158,160,163,166,169,172,175],{"class":122,"line":154},2,[120,156,157],{"class":126},"  int",[120,159,144],{"class":138},[120,161,162],{"class":134},"ir ",[120,164,165],{"class":138},"=",[120,167,168],{"class":138}," const_cast\u003C",[120,170,171],{"class":126},"int",[120,173,174],{"class":138}," &>",[120,176,177],{"class":134},"(ci);\n",[120,179,181,184,186,190],{"class":122,"line":180},3,[120,182,183],{"class":134},"  ir ",[120,185,165],{"class":138},[120,187,189],{"class":188},"s7F3e"," 42",[120,191,192],{"class":134},";\n",[120,194,196],{"class":122,"line":195},4,[120,197,198],{"class":134},"}\n",[120,200,202],{"class":122,"line":201},5,[120,203,204],{"emptyLinePlaceholder":7},"\n",[120,206,208,210,213],{"class":122,"line":207},6,[120,209,127],{"class":126},[120,211,212],{"class":130}," f",[120,214,215],{"class":134},"() {\n",[120,217,219,222,224,227,229,232],{"class":122,"line":218},7,[120,220,221],{"class":138},"  const",[120,223,141],{"class":126},[120,225,226],{"class":134}," i ",[120,228,165],{"class":138},[120,230,231],{"class":188}," 4",[120,233,192],{"class":134},[120,235,237,240],{"class":122,"line":236},8,[120,238,239],{"class":130},"  g",[120,241,242],{"class":134},"(i);\n",[120,244,246],{"class":122,"line":245},9,[120,247,198],{"class":134},[93,249,251],{"id":250},"compliant-solution","Compliant Solution",[39,253,254,255,258,259,262,263,265],{},"In this compliant solution, the function ",[55,256,257],{},"g()"," is passed an ",[55,260,261],{},"  int & "," , and the caller is required to pass an ",[55,264,171],{}," that can be modified.",[107,267,269],{"quality":268},"good",[111,270,272],{"className":113,"code":271,"language":115,"meta":116,"style":116},"void g(int &i) {\n  i = 42;\n}\n\nvoid f() {\n  int i = 4;\n  g(i);\n}\n",[55,273,274,291,302,306,310,318,330,336],{"__ignoreMap":116},[120,275,276,278,280,282,284,286,289],{"class":122,"line":123},[120,277,127],{"class":126},[120,279,131],{"class":130},[120,281,135],{"class":134},[120,283,171],{"class":126},[120,285,144],{"class":138},[120,287,288],{"class":147},"i",[120,290,151],{"class":134},[120,292,293,296,298,300],{"class":122,"line":154},[120,294,295],{"class":134},"  i ",[120,297,165],{"class":138},[120,299,189],{"class":188},[120,301,192],{"class":134},[120,303,304],{"class":122,"line":180},[120,305,198],{"class":134},[120,307,308],{"class":122,"line":195},[120,309,204],{"emptyLinePlaceholder":7},[120,311,312,314,316],{"class":122,"line":201},[120,313,127],{"class":126},[120,315,212],{"class":130},[120,317,215],{"class":134},[120,319,320,322,324,326,328],{"class":122,"line":207},[120,321,157],{"class":126},[120,323,226],{"class":134},[120,325,165],{"class":138},[120,327,231],{"class":188},[120,329,192],{"class":134},[120,331,332,334],{"class":122,"line":218},[120,333,239],{"class":130},[120,335,242],{"class":134},[120,337,338],{"class":122,"line":236},[120,339,198],{"class":134},[93,341,96],{"id":342},"noncompliant-code-example-1",[39,344,345,346,348,349,351,352,355,356,359,360,362,363,366,367,91],{},"In this noncompliant code example, a ",[55,347,61],{}," -qualified method is called that attempts to cache results by casting away the ",[55,350,61],{}," -qualifier of ",[55,353,354],{},"this"," . Because ",[55,357,358],{},"s"," was declared ",[55,361,61],{}," , the mutation of ",[55,364,365],{},"cachedValue"," results in ",[43,368,90],{"href":89},[107,370,371],{"quality":109},[111,372,374],{"className":113,"code":373,"language":115,"meta":116,"style":116},"#include \u003Ciostream>\n \nclass S {\n  int cachedValue;\n  \n  int compute_value() const;  \u002F\u002F expensive\npublic:\n  S() : cachedValue(0) {}\n  \n  \u002F\u002F ...  \n  int get_value() const {\n    if (!cachedValue) {\n      const_cast\u003CS *>(this)->cachedValue = compute_value();  \n    }        \n    return cachedValue;\n  }\n};\n\nvoid f() {\n  const S s;\n  std::cout \u003C\u003C s.get_value() \u003C\u003C std::endl;\n}\n",[55,375,376,385,390,402,409,414,433,438,456,460,466,480,495,522,528,536,542,548,553,562,570,598],{"__ignoreMap":116},[120,377,378,381],{"class":122,"line":123},[120,379,380],{"class":138},"#include",[120,382,384],{"class":383},"sstjo"," \u003Ciostream>\n",[120,386,387],{"class":122,"line":154},[120,388,389],{"class":134}," \n",[120,391,392,395,399],{"class":122,"line":180},[120,393,394],{"class":126},"class",[120,396,398],{"class":397},"sz2Vg"," S",[120,400,401],{"class":134}," {\n",[120,403,404,406],{"class":122,"line":195},[120,405,157],{"class":126},[120,407,408],{"class":134}," cachedValue;\n",[120,410,411],{"class":122,"line":201},[120,412,413],{"class":134},"  \n",[120,415,416,418,421,424,426,429],{"class":122,"line":207},[120,417,157],{"class":126},[120,419,420],{"class":130}," compute_value",[120,422,423],{"class":134},"() ",[120,425,61],{"class":138},[120,427,428],{"class":134},";",[120,430,432],{"class":431},"s8-w5","  \u002F\u002F expensive\n",[120,434,435],{"class":122,"line":218},[120,436,437],{"class":126},"public:\n",[120,439,440,443,446,448,450,453],{"class":122,"line":236},[120,441,442],{"class":130},"  S",[120,444,445],{"class":134},"() : ",[120,447,365],{"class":130},[120,449,135],{"class":134},[120,451,452],{"class":188},"0",[120,454,455],{"class":134},") {}\n",[120,457,458],{"class":122,"line":245},[120,459,413],{"class":134},[120,461,463],{"class":122,"line":462},10,[120,464,465],{"class":431},"  \u002F\u002F ...  \n",[120,467,469,471,474,476,478],{"class":122,"line":468},11,[120,470,157],{"class":126},[120,472,473],{"class":130}," get_value",[120,475,423],{"class":134},[120,477,61],{"class":138},[120,479,401],{"class":134},[120,481,483,486,489,492],{"class":122,"line":482},12,[120,484,485],{"class":138},"    if",[120,487,488],{"class":134}," (",[120,490,491],{"class":138},"!",[120,493,494],{"class":134},"cachedValue) {\n",[120,496,498,501,504,507,509,512,515,517,519],{"class":122,"line":497},13,[120,499,500],{"class":138},"      const_cast\u003C",[120,502,503],{"class":134},"S ",[120,505,506],{"class":138},"*>",[120,508,135],{"class":134},[120,510,354],{"class":511},"sP7S_",[120,513,514],{"class":134},")->cachedValue ",[120,516,165],{"class":138},[120,518,420],{"class":130},[120,520,521],{"class":134},"();  \n",[120,523,525],{"class":122,"line":524},14,[120,526,527],{"class":134},"    }        \n",[120,529,531,534],{"class":122,"line":530},15,[120,532,533],{"class":138},"    return",[120,535,408],{"class":134},[120,537,539],{"class":122,"line":538},16,[120,540,541],{"class":134},"  }\n",[120,543,545],{"class":122,"line":544},17,[120,546,547],{"class":134},"};\n",[120,549,551],{"class":122,"line":550},18,[120,552,204],{"emptyLinePlaceholder":7},[120,554,556,558,560],{"class":122,"line":555},19,[120,557,127],{"class":126},[120,559,212],{"class":130},[120,561,215],{"class":134},[120,563,565,567],{"class":122,"line":564},20,[120,566,221],{"class":138},[120,568,569],{"class":134}," S s;\n",[120,571,573,576,579,582,585,588,590,592,595],{"class":122,"line":572},21,[120,574,575],{"class":397},"  std",[120,577,578],{"class":134},"::cout ",[120,580,581],{"class":138},"\u003C\u003C",[120,583,584],{"class":134}," s.",[120,586,587],{"class":130},"get_value",[120,589,423],{"class":134},[120,591,581],{"class":138},[120,593,594],{"class":397}," std",[120,596,597],{"class":134},"::endl;\n",[120,599,601],{"class":122,"line":600},22,[120,602,198],{"class":134},[93,604,251],{"id":605},"compliant-solution-1",[39,607,608,609,611,612,614,615,617,618,620,621,91],{},"This compliant solution uses the ",[55,610,57],{}," keyword when declaring ",[55,613,365],{}," , which allows ",[55,616,365],{}," to be mutated within a ",[55,619,61],{}," context without triggering ",[43,622,90],{"href":89},[107,624,625],{"quality":268},[111,626,628],{"className":113,"code":627,"language":115,"meta":116,"style":116},"#include \u003Ciostream>\n \nclass S {\n  mutable int cachedValue;\n  \n  int compute_value() const;  \u002F\u002F expensive\npublic:\n  S() : cachedValue(0) {}\n  \n  \u002F\u002F ...  \n  int get_value() const {\n    if (!cachedValue) {\n      cachedValue = compute_value();  \n    }        \n    return cachedValue;\n  }\n};\n\nvoid f() {\n  const S s;\n  std::cout \u003C\u003C s.get_value() \u003C\u003C std::endl;\n}\n",[55,629,630,636,641,649,658,662,676,680,694,698,702,714,724,735,739,745,749,753,757,765,771,791],{"__ignoreMap":116},[120,631,632,634],{"class":122,"line":123},[120,633,380],{"class":138},[120,635,384],{"class":383},[120,637,638],{"class":122,"line":154},[120,639,640],{"class":134}," \n",[120,642,643,645,647],{"class":122,"line":180},[120,644,394],{"class":126},[120,646,398],{"class":397},[120,648,401],{"class":134},[120,650,651,654,656],{"class":122,"line":195},[120,652,653],{"class":138},"  mutable",[120,655,141],{"class":126},[120,657,408],{"class":134},[120,659,660],{"class":122,"line":201},[120,661,413],{"class":134},[120,663,664,666,668,670,672,674],{"class":122,"line":207},[120,665,157],{"class":126},[120,667,420],{"class":130},[120,669,423],{"class":134},[120,671,61],{"class":138},[120,673,428],{"class":134},[120,675,432],{"class":431},[120,677,678],{"class":122,"line":218},[120,679,437],{"class":126},[120,681,682,684,686,688,690,692],{"class":122,"line":236},[120,683,442],{"class":130},[120,685,445],{"class":134},[120,687,365],{"class":130},[120,689,135],{"class":134},[120,691,452],{"class":188},[120,693,455],{"class":134},[120,695,696],{"class":122,"line":245},[120,697,413],{"class":134},[120,699,700],{"class":122,"line":462},[120,701,465],{"class":431},[120,703,704,706,708,710,712],{"class":122,"line":468},[120,705,157],{"class":126},[120,707,473],{"class":130},[120,709,423],{"class":134},[120,711,61],{"class":138},[120,713,401],{"class":134},[120,715,716,718,720,722],{"class":122,"line":482},[120,717,485],{"class":138},[120,719,488],{"class":134},[120,721,491],{"class":138},[120,723,494],{"class":134},[120,725,726,729,731,733],{"class":122,"line":497},[120,727,728],{"class":134},"      cachedValue ",[120,730,165],{"class":138},[120,732,420],{"class":130},[120,734,521],{"class":134},[120,736,737],{"class":122,"line":524},[120,738,527],{"class":134},[120,740,741,743],{"class":122,"line":530},[120,742,533],{"class":138},[120,744,408],{"class":134},[120,746,747],{"class":122,"line":538},[120,748,541],{"class":134},[120,750,751],{"class":122,"line":544},[120,752,547],{"class":134},[120,754,755],{"class":122,"line":550},[120,756,204],{"emptyLinePlaceholder":7},[120,758,759,761,763],{"class":122,"line":555},[120,760,127],{"class":126},[120,762,212],{"class":130},[120,764,215],{"class":134},[120,766,767,769],{"class":122,"line":564},[120,768,221],{"class":138},[120,770,569],{"class":134},[120,772,773,775,777,779,781,783,785,787,789],{"class":122,"line":572},[120,774,575],{"class":397},[120,776,578],{"class":134},[120,778,581],{"class":138},[120,780,584],{"class":134},[120,782,587],{"class":130},[120,784,423],{"class":134},[120,786,581],{"class":138},[120,788,594],{"class":397},[120,790,597],{"class":134},[120,792,793],{"class":122,"line":600},[120,794,198],{"class":134},[93,796,96],{"id":797},"noncompliant-code-example-2",[39,799,800,801,803,804,806,807,809,810,91],{},"In this noncompliant code example, the volatile value ",[55,802,358],{}," has the ",[55,805,82],{}," qualifier cast away, and an attempt is made to read the value within ",[55,808,257],{}," , resulting in ",[43,811,90],{"href":89},[107,813,814],{"quality":109},[111,815,817],{"className":113,"code":816,"language":115,"meta":116,"style":116},"#include \u003Ciostream>\n\nstruct S {\n  int i;\n  \n  S(int i) : i(i) {}\n};\n\nvoid g(S &s) {\n  std::cout \u003C\u003C s.i \u003C\u003C std::endl;\n}\n\nvoid f() {\n  volatile S s(12);\n  g(const_cast\u003CS &>(s));\n}\n",[55,818,819,825,829,838,845,849,868,872,876,893,910,914,918,926,944,961],{"__ignoreMap":116},[120,820,821,823],{"class":122,"line":123},[120,822,380],{"class":138},[120,824,384],{"class":383},[120,826,827],{"class":122,"line":154},[120,828,204],{"emptyLinePlaceholder":7},[120,830,831,834,836],{"class":122,"line":180},[120,832,833],{"class":126},"struct",[120,835,398],{"class":397},[120,837,401],{"class":134},[120,839,840,842],{"class":122,"line":195},[120,841,157],{"class":126},[120,843,844],{"class":134}," i;\n",[120,846,847],{"class":122,"line":201},[120,848,413],{"class":134},[120,850,851,853,855,857,860,863,865],{"class":122,"line":207},[120,852,442],{"class":130},[120,854,135],{"class":134},[120,856,171],{"class":126},[120,858,859],{"class":147}," i",[120,861,862],{"class":134},") : ",[120,864,288],{"class":130},[120,866,867],{"class":134},"(i) {}\n",[120,869,870],{"class":122,"line":218},[120,871,547],{"class":134},[120,873,874],{"class":122,"line":236},[120,875,204],{"emptyLinePlaceholder":7},[120,877,878,880,882,884,887,889,891],{"class":122,"line":245},[120,879,127],{"class":126},[120,881,131],{"class":130},[120,883,135],{"class":134},[120,885,886],{"class":397},"S",[120,888,144],{"class":138},[120,890,358],{"class":147},[120,892,151],{"class":134},[120,894,895,897,899,901,904,906,908],{"class":122,"line":462},[120,896,575],{"class":397},[120,898,578],{"class":134},[120,900,581],{"class":138},[120,902,903],{"class":134}," s.i ",[120,905,581],{"class":138},[120,907,594],{"class":397},[120,909,597],{"class":134},[120,911,912],{"class":122,"line":468},[120,913,198],{"class":134},[120,915,916],{"class":122,"line":482},[120,917,204],{"emptyLinePlaceholder":7},[120,919,920,922,924],{"class":122,"line":497},[120,921,127],{"class":126},[120,923,212],{"class":130},[120,925,215],{"class":134},[120,927,928,931,934,936,938,941],{"class":122,"line":524},[120,929,930],{"class":138},"  volatile",[120,932,933],{"class":134}," S ",[120,935,358],{"class":130},[120,937,135],{"class":134},[120,939,940],{"class":188},"12",[120,942,943],{"class":134},");\n",[120,945,946,948,950,953,955,958],{"class":122,"line":530},[120,947,239],{"class":130},[120,949,135],{"class":134},[120,951,952],{"class":138},"const_cast\u003C",[120,954,503],{"class":134},[120,956,957],{"class":138},"&>",[120,959,960],{"class":134},"(s));\n",[120,962,963],{"class":122,"line":538},[120,964,198],{"class":134},[93,966,251],{"id":967},"compliant-solution-2",[39,969,970,971,973,974,976,977,980,981],{},"This compliant solution assumes that the volatility of ",[55,972,358],{}," is required, so ",[55,975,257],{}," is modified to accept a ",[55,978,979],{},"  volatile S &. ","::code-block{quality=\"good\"}``` cpp\n#include ",[982,983],"iostream",{},[39,985,986],{},"struct S {\nint i;",[39,988,989],{},"S(int i) : i(i) {}\n};",[39,991,992],{},"void g(volatile S &s) {\nstd::cout \u003C\u003C s.i \u003C\u003C std::endl;\n}",[39,994,995],{},"void f() {\nvolatile S s(12);\ng(s);\n}",[111,997,1002],{"className":998,"code":1000,"language":1001},[999],"language-text","\n::\n\n## Exceptions\n\n**EXP55-CPP-EX1:** An exception to this rule is allowed when it is necessary to cast away `const` when invoking a legacy API that does not accept a `const` argument, provided the function does not attempt to modify the referenced variable. However, it is always preferable to modify the API to be `const` -correct when possible. For example, the following code casts away the `const` qualification of `INVFNAME` in the call to the `audit_log()` function.\n\n::code-block{quality=\"good\"}\n\n``` cpp\n\u002F\u002F Legacy function defined elsewhere - cannot be modified; does not attempt to\n\u002F\u002F modify the contents of the passed parameter.\nvoid audit_log(char *errstr);\n\nvoid f() {\n  const char INVFNAME[]  = \"Invalid file name.\";\n  audit_log(const_cast\u003Cchar *>(INVFNAME));\n}\n","text",[55,1003,1000],{"__ignoreMap":116},[39,1005,1006],{},"::",[93,1008,1010],{"id":1009},"risk-assessment","Risk Assessment",[39,1012,1013,1014,1018,1019,1023],{},"If the object is declared as being constant, it may reside in write-protected memory at runtime. Attempting to modify such an object may lead to ",[43,1015,1017],{"href":1016},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions#BB.Definitions-abnormaltermination","abnormal program termination"," or a ",[43,1020,1022],{"href":1021},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions#BB.Definitions-denial-of-service","denial-of-service attack"," . If an object is declared as being volatile, the compiler can make no assumptions regarding access of that object. Casting away the volatility of an object can result in reads or writes to the object being reordered or elided entirely, resulting in abnormal program execution.",[1025,1026,1027,1028,1027,1058],"table",{},"\n  ",[1029,1030,1031,1032,1027],"thead",{},"\n    ",[1033,1034,1035,1036,1035,1040,1035,1043,1035,1046,1035,1049,1035,1052,1035,1055,1031],"tr",{},"\n      ",[1037,1038,1039],"th",{},"Rule",[1037,1041,1042],{},"Severity",[1037,1044,1045],{},"Likelihood",[1037,1047,1048],{},"Detectable",[1037,1050,1051],{},"Repairable",[1037,1053,1054],{},"Priority",[1037,1056,1057],{},"Level",[1059,1060,1031,1061,1027],"tbody",{},[1033,1062,1035,1063,1035,1067,1035,1070,1035,1073,1035,1076,1035,1078,1035,1085,1031],{},[1064,1065,1066],"td",{},"EXP55-CPP",[1064,1068,1069],{},"Medium",[1064,1071,1072],{},"Probable",[1064,1074,1075],{},"No",[1064,1077,1075],{},[1064,1079,1081],{"style":1080},"color: #27ae60;",[1082,1083,1084],"b",{},"P4",[1064,1086,1087],{"style":1080},[1082,1088,1089],{},"L3",[1091,1092,1094],"h3",{"id":1093},"automated-detection","Automated Detection",[1025,1096,1099],{"className":1097},[1098],"wrapped",[1059,1100,1101,1125,1160,1187,1215,1238,1270,1296,1322,1344],{},[1033,1102,1105,1110,1115,1120],{"className":1103},[1104],"header",[1037,1106,1107],{},[39,1108,1109],{},"Tool",[1037,1111,1112],{},[39,1113,1114],{},"Version",[1037,1116,1117],{},[39,1118,1119],{},"Checker",[1037,1121,1122],{},[39,1123,1124],{},"Description",[1033,1126,1129,1135,1145,1157],{"className":1127},[1128],"odd",[1064,1130,1131],{},[43,1132,1134],{"href":1133},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fastree","Astrée",[1064,1136,1137],{},[1138,1139,1142],"div",{"className":1140},[1141],"content-wrapper",[39,1143,1144],{},"25.10",[1064,1146,1147],{},[1148,1149,1150,1151,1154,1155],"strong",{},"pointer-qualifier-cast-const",[1152,1153],"br",{},"\npointer-qualifier-cast-volatile",[1152,1156],{},[1064,1158,1159],{},"Partially checked",[1033,1161,1164,1170,1178,1183],{"className":1162},[1163],"even",[1064,1165,1166],{},[43,1167,1169],{"href":1168},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Faxivion-bauhaus-suite","Axivion Bauhaus Suite",[1064,1171,1172],{},[1138,1173,1175],{"className":1174},[1141],[39,1176,1177],{},"7.2.0",[1064,1179,1180],{},[1148,1181,1182],{},"CertC++-EXP55",[1064,1184,1185],{},[1152,1186],{},[1033,1188,1190,1196,1204,1211],{"className":1189},[1128],[1064,1191,1192],{},[43,1193,1195],{"href":1194},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fhelix-qac","Helix QAC",[1064,1197,1198],{},[1138,1199,1201],{"className":1200},[1141],[39,1202,1203],{},"2025.2",[1064,1205,1206],{},[39,1207,1208],{},[1148,1209,1210],{},"C++3066, C++4671",[1064,1212,1213],{},[1152,1214],{},[1033,1216,1218,1224,1229,1234],{"className":1217},[1163],[1064,1219,1220],{},[43,1221,1223],{"href":1222},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fklocwork","Klocwork",[1064,1225,1226],{},[1138,1227,1203],{"className":1228},[1141],[1064,1230,1231],{},[1148,1232,1233],{},"MISRA.CAST.CONST",[1064,1235,1236],{},[1152,1237],{},[1033,1239,1241,1247,1253,1265],{"className":1240},[1128],[1064,1242,1243],{},[43,1244,1246],{"href":1245},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fldra","LDRA tool suite",[1064,1248,1249],{},[1138,1250,1252],{"className":1251},[1141],"9.7.1",[1064,1254,1255],{},[39,1256,1257,1260,1261],{},[1148,1258,1259],{},"203 S, 242 S, 344 S"," ",[1148,1262,1263],{},[1152,1264],{},[1064,1266,1267],{},[39,1268,1269],{},"Fully implemented",[1033,1271,1273,1279,1286,1291],{"className":1272},[1163],[1064,1274,1275],{},[43,1276,1278],{"href":1277},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fparasoft","Parasoft C\u002FC++test",[1064,1280,1281],{},[1138,1282,1284],{"className":1283},[1141],[39,1285,1203],{},[1064,1287,1288],{},[1148,1289,1290],{},"CERT_CPP-EXP55-a",[1064,1292,1293],{},[39,1294,1295],{},"A cast shall not remove any 'const' or 'volatile' qualification from the type of a pointer or reference",[1033,1297,1299,1305,1313,1319],{"className":1298},[1128],[1064,1300,1301],{},[43,1302,1304],{"href":1303},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fpolyspace-bug-finder","Polyspace Bug Finder",[1064,1306,1307],{},[1138,1308,1310],{"className":1309},[1141],[39,1311,1312],{},"R2025b",[1064,1314,1315],{},[43,1316,1318],{"href":1317},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcexp55cpp.html","CERT C++: EXP55-CPP",[1064,1320,1321],{},"Checks for casts that remove cv-qualification of pointer (rule partially covered)",[1033,1323,1325,1331,1336,1342],{"className":1324},[1163],[1064,1326,1327],{},[43,1328,1330],{"href":1329},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Frulechecker","RuleChecker",[1064,1332,1333],{},[1138,1334,1144],{"className":1335},[1141],[1064,1337,1338],{},[1148,1339,1150,1340,1154],{},[1152,1341],{},[1064,1343,1159],{},[1033,1345,1347,1353,1359,1367],{"className":1346},[1128],[1064,1348,1349],{},[43,1350,1352],{"href":1351},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsonarqube-ccpp-plugin","SonarQube C\u002FC++ Plugin",[1064,1354,1355],{},[1138,1356,1358],{"className":1357},[1141],"4.10",[1064,1360,1361],{},[1148,1362,1363],{},[43,1364,1366],{"href":1365},"https:\u002F\u002Fwww.sonarsource.com\u002Fproducts\u002Fcodeanalyzers\u002Fsonarcfamilyforcpp\u002Frules-cpp.html#RSPEC-859","S859",[1064,1368,1369],{},[1152,1370],{},[1091,1372,1374],{"id":1373},"related-vulnerabilities","Related Vulnerabilities",[39,1376,1377,1378,1382,1383,91],{},"Search for ",[43,1379,1381],{"href":1380},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions#BB.Definitions-vuln","vulnerabilities"," resulting from the violation of this rule on the ",[43,1384,1388],{"href":1385,"rel":1386},"https:\u002F\u002Fwww.kb.cert.org\u002Fvulnotes\u002Fbymetric?searchview&query=FIELD+KEYWORDS+contains+EXP35-CPP",[1387],"nofollow","CERT website",[93,1390,1392],{"id":1391},"related-guidelines","Related Guidelines",[1025,1394,1396],{"className":1395},[1098],[1059,1397,1398],{},[1033,1399,1401,1406],{"className":1400},[1128],[1064,1402,1403],{},[43,1404,1405],{"href":17},"SEI CERT C Coding Standard",[1064,1407,1408],{},[39,1409,1410,1414,1416],{},[43,1411,1413],{"href":1412},"\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp32-c","EXP32-C. Do not access a volatile object through a nonvolatile reference",[1152,1415],{},[43,1417,1419],{"href":1418},"\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp40-c","EXP40-C. Do not modify constant objects",[93,1421,1423],{"id":1422},"bibliography","Bibliography",[1025,1425,1426,1434],{},[1029,1427,1428],{},[1033,1429,1430,1432],{},[1037,1431],{},[1037,1433],{},[1059,1435,1436,1452],{},[1033,1437,1438,1444],{},[1064,1439,1440,1441,1443],{},"[ ",[43,1442,46],{"href":45}," ]",[1064,1445,1446,1447,1451],{},"Subclause 7.1.6.1, \"The ",[1448,1449,1450],"em",{},"cv-qualifiers"," \"",[1033,1453,1454,1460],{},[1064,1455,1440,1456,1443],{},[43,1457,1459],{"href":1458},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography#AA.Bibliography-Sutter04","Sutter 2004",[1064,1461,1462,1463,1451],{},"Item 94, \"Avoid Casting Away ",[55,1464,61],{},[1466,1467],"hr",{},[39,1469,1470,1260,1477,1260,1483],{},[43,1471,1473],{"href":1472},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp54-cpp",[1474,1475],"img",{"src":1476},"\u002Fattachments\u002F88046682\u002F88480621.png",[43,1478,1480],{"href":1479},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002F",[1474,1481],{"src":1482},"\u002Fattachments\u002F88046682\u002F88475556.png",[43,1484,1486],{"href":1485},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp56-cpp",[1474,1487],{"src":1488},"\u002Fattachments\u002F88046682\u002F88475555.png",[1490,1491,1492],"style",{},"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 .sC2Qs, html code.shiki .sC2Qs{--shiki-default:#D73A49;--shiki-dark:#F97583;--shiki-sepia:#F92672}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 .s7F3e, html code.shiki .s7F3e{--shiki-default:#005CC5;--shiki-dark:#79B8FF;--shiki-sepia:#AE81FF}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 .sstjo, html code.shiki .sstjo{--shiki-default:#032F62;--shiki-dark:#9ECBFF;--shiki-sepia:#E6DB74}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 pre.shiki code .sP7S_, html code.shiki .sP7S_{--shiki-default:#005CC5;--shiki-dark:#79B8FF;--shiki-sepia:#FD971F}",{"title":116,"searchDepth":154,"depth":154,"links":1494},[1495,1496,1497,1498,1499,1500,1501,1505,1506],{"id":95,"depth":154,"text":96},{"id":250,"depth":154,"text":251},{"id":342,"depth":154,"text":96},{"id":605,"depth":154,"text":251},{"id":797,"depth":154,"text":96},{"id":967,"depth":154,"text":251},{"id":1009,"depth":154,"text":1010,"children":1502},[1503,1504],{"id":1093,"depth":180,"text":1094},{"id":1373,"depth":180,"text":1374},{"id":1391,"depth":154,"text":1392},{"id":1422,"depth":154,"text":1423},"The C++ Standard, [dcl.type.cv], paragraph 4 [ ISO\u002FIEC 14882-2014 ], states the following:","md",{"tags":1510},[1511,1512,1513,1514,1515,1516,1517,1518],"review","review-dms","rule","nptc-aliasing","review-ajb","nptc-wpa","nptc","exp","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp55-cpp",{"title":30,"description":1507},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F07.exp55-cpp","XOUZi0vSWfwFU3GdSUhzftYrES7haxp5lqy7Wma4EWc",[1524,1527],{"title":1525,"path":1472,"stem":1526,"children":-1},"EXP54-CPP. Do not access an object outside of its lifetime","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F06.exp54-cpp",{"title":1528,"path":1485,"stem":1529,"children":-1},"EXP56-CPP. Do not call a function with a mismatched language linkage","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F08.exp56-cpp",[1531],{"title":1532,"path":1533,"stem":1534,"children":1535},"SEI CERT C++ Coding Standard","\u002Fsei-cert-cpp-coding-standard","5.sei-cert-cpp-coding-standard\u002F1.index",[1536,1537,1604,1999,2209,2219],{"title":1532,"path":1533,"stem":1534},{"title":1538,"path":1539,"stem":1540,"children":1541},"Front Matter","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F1.index",[1542,1543],{"title":1538,"path":1539,"stem":1540},{"title":1544,"path":1545,"stem":1546,"children":1547},"Introduction","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F01.index",[1548,1549,1553,1557,1561,1565,1569,1573,1577,1581,1585,1589,1593,1597,1601],{"title":1544,"path":1545,"stem":1546},{"title":1550,"path":1551,"stem":1552},"Scope","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fscope","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F02.scope",{"title":1554,"path":1555,"stem":1556},"Audience","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Faudience","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F03.audience",{"title":1558,"path":1559,"stem":1560},"Usage","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fusage","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F04.usage",{"title":1562,"path":1563,"stem":1564},"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":1566,"path":1567,"stem":1568},"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":1570,"path":1571,"stem":1572},"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":1574,"path":1575,"stem":1576},"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":1578,"path":1579,"stem":1580},"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":1582,"path":1583,"stem":1584},"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":1586,"path":1587,"stem":1588},"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":1590,"path":1591,"stem":1592},"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":1594,"path":1595,"stem":1596},"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":1598,"path":1599,"stem":1600},"Acknowledgments","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Facknowledgments","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F14.acknowledgments",{"title":1094,"path":1602,"stem":1603},"\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":1605,"path":1606,"stem":1607,"children":1608},"Rules","\u002Fsei-cert-cpp-coding-standard\u002Frules","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F01.index",[1609,1610,1632,1666,1708,1758,1816,1869,1883,1893,1931,1957],{"title":1605,"path":1606,"stem":1607},{"title":1611,"path":1612,"stem":1613,"children":1614},"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",[1615,1616,1620,1624,1628],{"title":1611,"path":1612,"stem":1613},{"title":1617,"path":1618,"stem":1619},"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":1621,"path":1622,"stem":1623},"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":1625,"path":1626,"stem":1627},"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":1629,"path":1630,"stem":1631},"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":1633,"path":1634,"stem":1635,"children":1636},"Concurrency (CON)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F1.index",[1637,1638,1642,1646,1650,1654,1658,1662],{"title":1633,"path":1634,"stem":1635},{"title":1639,"path":1640,"stem":1641},"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":1643,"path":1644,"stem":1645},"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":1647,"path":1648,"stem":1649},"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":1651,"path":1652,"stem":1653},"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":1655,"path":1656,"stem":1657},"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":1659,"path":1660,"stem":1661},"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":1663,"path":1664,"stem":1665},"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":1667,"path":1668,"stem":1669,"children":1670},"Containers (CTR)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F01.index",[1671,1672,1676,1680,1684,1688,1692,1696,1700,1704],{"title":1667,"path":1668,"stem":1669},{"title":1673,"path":1674,"stem":1675},"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":1677,"path":1678,"stem":1679},"CTR51-CPP. Use valid references, pointers, and iterators to reference elements of a container","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr51-cpp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F03.ctr51-cpp",{"title":1681,"path":1682,"stem":1683},"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":1685,"path":1686,"stem":1687},"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":1689,"path":1690,"stem":1691},"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":1693,"path":1694,"stem":1695},"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":1697,"path":1698,"stem":1699},"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":1701,"path":1702,"stem":1703},"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":1705,"path":1706,"stem":1707},"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":1709,"path":1710,"stem":1711,"children":1712},"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",[1713,1714,1718,1722,1726,1730,1734,1738,1742,1746,1750,1754],{"title":1709,"path":1710,"stem":1711},{"title":1715,"path":1716,"stem":1717},"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":1719,"path":1720,"stem":1721},"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":1723,"path":1724,"stem":1725},"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":1727,"path":1728,"stem":1729},"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":1731,"path":1732,"stem":1733},"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":1735,"path":1736,"stem":1737},"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":1739,"path":1740,"stem":1741},"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":1743,"path":1744,"stem":1745},"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":1747,"path":1748,"stem":1749},"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":1751,"path":1752,"stem":1753},"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":1755,"path":1756,"stem":1757},"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":1759,"path":1760,"stem":1761,"children":1762},"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",[1763,1764,1768,1772,1776,1780,1784,1788,1792,1796,1800,1804,1808,1812],{"title":1759,"path":1760,"stem":1761},{"title":1765,"path":1766,"stem":1767},"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":1769,"path":1770,"stem":1771},"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":1773,"path":1774,"stem":1775},"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":1777,"path":1778,"stem":1779},"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":1781,"path":1782,"stem":1783},"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":1785,"path":1786,"stem":1787},"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":1789,"path":1790,"stem":1791},"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":1793,"path":1794,"stem":1795},"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":1797,"path":1798,"stem":1799},"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":1801,"path":1802,"stem":1803},"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":1805,"path":1806,"stem":1807},"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":1809,"path":1810,"stem":1811},"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":1813,"path":1814,"stem":1815},"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":1817,"path":1818,"stem":1819,"children":1820},"Expressions (EXP)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F01.index",[1821,1822,1826,1830,1834,1838,1839,1840,1841,1845,1849,1853,1857,1861,1865],{"title":1817,"path":1818,"stem":1819},{"title":1823,"path":1824,"stem":1825},"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":1827,"path":1828,"stem":1829},"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":1831,"path":1832,"stem":1833},"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":1835,"path":1836,"stem":1837},"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":1525,"path":1472,"stem":1526},{"title":30,"path":1519,"stem":1521},{"title":1528,"path":1485,"stem":1529},{"title":1842,"path":1843,"stem":1844},"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":1846,"path":1847,"stem":1848},"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":1850,"path":1851,"stem":1852},"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":1854,"path":1855,"stem":1856},"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":1858,"path":1859,"stem":1860},"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":1862,"path":1863,"stem":1864},"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":1866,"path":1867,"stem":1868},"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":1870,"path":1871,"stem":1872,"children":1873},"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",[1874,1875,1879],{"title":1870,"path":1871,"stem":1872},{"title":1876,"path":1877,"stem":1878},"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":1880,"path":1881,"stem":1882},"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":1884,"path":1885,"stem":1886,"children":1887},"Integers (INT)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fintegers-int","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F09.integers-int\u002F1.index",[1888,1889],{"title":1884,"path":1885,"stem":1886},{"title":1890,"path":1891,"stem":1892},"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":1894,"path":1895,"stem":1896,"children":1897},"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",[1898,1899,1903,1907,1911,1915,1919,1923,1927],{"title":1894,"path":1895,"stem":1896},{"title":1900,"path":1901,"stem":1902},"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":1904,"path":1905,"stem":1906},"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":1908,"path":1909,"stem":1910},"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":1912,"path":1913,"stem":1914},"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":1916,"path":1917,"stem":1918},"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":1920,"path":1921,"stem":1922},"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":1924,"path":1925,"stem":1926},"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":1928,"path":1929,"stem":1930},"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":1932,"path":1933,"stem":1934,"children":1935},"Miscellaneous (MSC)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F1.index",[1936,1937,1941,1945,1949,1953],{"title":1932,"path":1933,"stem":1934},{"title":1938,"path":1939,"stem":1940},"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":1942,"path":1943,"stem":1944},"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":1946,"path":1947,"stem":1948},"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":1950,"path":1951,"stem":1952},"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":1954,"path":1955,"stem":1956},"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":1958,"path":1959,"stem":1960,"children":1961},"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",[1962,1963,1967,1971,1975,1979,1983,1987,1991,1995],{"title":1958,"path":1959,"stem":1960},{"title":1964,"path":1965,"stem":1966},"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":1968,"path":1969,"stem":1970},"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":1972,"path":1973,"stem":1974},"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":1976,"path":1977,"stem":1978},"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":1980,"path":1981,"stem":1982},"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":1984,"path":1985,"stem":1986},"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":1988,"path":1989,"stem":1990},"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":1992,"path":1993,"stem":1994},"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":1996,"path":1997,"stem":1998},"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":2000,"path":2001,"stem":2002,"children":2003},"Back Matter","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F1.index",[2004,2005,2009,2013,2191,2205],{"title":2000,"path":2001,"stem":2002},{"title":2006,"path":2007,"stem":2008},"AA. Bibliography","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F2.aa-bibliography",{"title":2010,"path":2011,"stem":2012},"BB. Definitions","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F3.bb-definitions",{"title":2014,"path":2015,"stem":2016,"children":2017},"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",[2018,2019,2021,2025,2027,2031,2035,2039,2043,2047,2051,2055,2059,2063,2067,2071,2075,2079,2083,2087,2091,2095,2099,2101,2105,2107,2111,2114,2118,2121,2125,2127,2131,2135,2139,2143,2147,2151,2155,2157,2161,2165,2169,2173,2177,2179,2183,2187],{"title":2014,"path":2015,"stem":2016},{"title":1134,"path":1133,"stem":2020},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F02.astree",{"title":2022,"path":2023,"stem":2024},"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":1169,"path":1168,"stem":2026},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F04.axivion-bauhaus-suite",{"title":2028,"path":2029,"stem":2030},"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":2032,"path":2033,"stem":2034},"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":2036,"path":2037,"stem":2038},"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":2040,"path":2041,"stem":2042},"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":2044,"path":2045,"stem":2046},"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":2048,"path":2049,"stem":2050},"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":2052,"path":2053,"stem":2054},"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":2056,"path":2057,"stem":2058},"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":2060,"path":2061,"stem":2062},"CodeSonar","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fcodesonar","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F13.codesonar",{"title":2064,"path":2065,"stem":2066},"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":2068,"path":2069,"stem":2070},"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":2072,"path":2073,"stem":2074},"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":2076,"path":2077,"stem":2078},"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":2080,"path":2081,"stem":2082},"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":2084,"path":2085,"stem":2086},"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":2088,"path":2089,"stem":2090},"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":2092,"path":2093,"stem":2094},"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":2096,"path":2097,"stem":2098},"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":1195,"path":1194,"stem":2100},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F23.helix-qac",{"title":2102,"path":2103,"stem":2104},"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":1223,"path":1222,"stem":2106},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F25.klocwork",{"title":2108,"path":2109,"stem":2110},"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":2112,"path":1245,"stem":2113},"LDRA","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F27.ldra",{"title":2115,"path":2116,"stem":2117},"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":2119,"path":1277,"stem":2120},"Parasoft","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F29.parasoft",{"title":2122,"path":2123,"stem":2124},"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":1304,"path":1303,"stem":2126},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F31.polyspace-bug-finder",{"title":2128,"path":2129,"stem":2130},"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":2132,"path":2133,"stem":2134},"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":2136,"path":2137,"stem":2138},"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":2140,"path":2141,"stem":2142},"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":2144,"path":2145,"stem":2146},"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":2148,"path":2149,"stem":2150},"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":2152,"path":2153,"stem":2154},"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":1330,"path":1329,"stem":2156},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F39.rulechecker",{"title":2158,"path":2159,"stem":2160},"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":2162,"path":2163,"stem":2164},"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":2166,"path":2167,"stem":2168},"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":2170,"path":2171,"stem":2172},"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":2174,"path":2175,"stem":2176},"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":1352,"path":1351,"stem":2178},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F45.sonarqube-ccpp-plugin",{"title":2180,"path":2181,"stem":2182},"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":2184,"path":2185,"stem":2186},"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":2188,"path":2189,"stem":2190},"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":2192,"path":2193,"stem":2194,"children":2195},"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",[2196,2197,2201],{"title":2192,"path":2193,"stem":2194},{"title":2198,"path":2199,"stem":2200},"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":2202,"path":2203,"stem":2204},"MITRE CWE","\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":2206,"path":2207,"stem":2208},"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":2210,"path":2211,"stem":2212,"children":2213},"Admin","\u002Fsei-cert-cpp-coding-standard\u002Fadmin","5.sei-cert-cpp-coding-standard\u002F5.admin\u002F1.index",[2214,2215],{"title":2210,"path":2211,"stem":2212},{"title":2216,"path":2217,"stem":2218},"TODO List","\u002Fsei-cert-cpp-coding-standard\u002Fadmin\u002Ftodo-list","5.sei-cert-cpp-coding-standard\u002F5.admin\u002F2.todo-list",{"title":2220,"path":2221,"stem":2222},"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",1775657782001]