[{"data":1,"prerenderedAt":2132},["ShallowReactive",2],{"global-navigation":3,"page-\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc51-cpp":28,"surround-\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc51-cpp":1435,"sidebar-sei-cert-cpp-coding-standard":1443},[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":1416,"extension":1417,"meta":1418,"navigation":7,"path":1431,"seo":1432,"stem":1433,"__hash__":1434},"content\u002F5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F2.msc51-cpp.md","MSC51-CPP. Ensure your random number generator is properly seeded",{"type":32,"value":33,"toc":1406},"minimark",[34,38,51,54,63,66,74,79,89,238,241,408,411,419,557,561,577,688,690,868,872,938,942,1258,1262,1274,1282,1286,1337,1341,1377,1380,1402],[35,36,30],"h1",{"id":37},"msc51-cpp-ensure-your-random-number-generator-is-properly-seeded",[39,40,41,42,46,47,50],"p",{},"A pseudorandom number generator (PRNG) is a deterministic algorithm capable of generating sequences of numbers that approximate the properties of random numbers. Each sequence is completely determined by the initial state of the PRNG and the algorithm for changing the state. Most PRNGs make it possible to set the initial state, also called the ",[43,44,45],"em",{},"seed state"," . Setting the initial state is called ",[43,48,49],{},"seeding"," the PRNG.",[39,52,53],{},"Calling a PRNG in the same initial state, either without seeding it explicitly or by seeding it with a constant value, results in generating the same sequence of random numbers in different runs of the program. Consider a PRNG function that is seeded with some initial seed value and is consecutively called to produce a sequence of random numbers. If the PRNG is subsequently seeded with the same initial seed value, then it will generate the same sequence.",[39,55,56,57,62],{},"Consequently, after the first run of an improperly seeded PRNG, an attacker can predict the sequence of random numbers that will be generated in the future runs. Improperly seeding or failing to seed the PRNG can lead to ",[58,59,61],"a",{"href":60},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions#BB.Definitions-vulnerability","vulnerabilities"," , especially in security protocols.",[39,64,65],{},"The solution is to ensure that a PRNG is always properly seeded with an initial seed value that will not be predictable or controllable by an attacker. A properly seeded PRNG will generate a different sequence of random numbers each time it is run.",[39,67,68,69,73],{},"Not all random number generators can be seeded. True random number generators that rely on hardware to produce completely unpredictable results do not need to be and cannot be seeded. Some high-quality PRNGs, such as the ",[70,71,72],"code",{},"\u002Fdev\u002Frandom"," device on some UNIX systems, also cannot be seeded. This rule applies only to algorithmic PRNGs that can be seeded.",[75,76,78],"h2",{"id":77},"noncompliant-code-example","Noncompliant Code Example",[39,80,81,82,88],{},"This noncompliant code example generates a sequence of 10 pseudorandom numbers using the ",[58,83,87],{"href":84,"rel":85},"https:\u002F\u002Fen.wikipedia.org\u002Fwiki\u002FMersenne_twister",[86],"nofollow","Mersenne Twister"," engine. No matter how many times this code is executed, it always produces the same sequence because the default seed is used for the engine.",[90,91,93],"code-block",{"quality":92},"bad",[94,95,100],"pre",{"className":96,"code":97,"language":98,"meta":99,"style":99},"language-cpp shiki shiki-themes github-light github-dark monokai","#include \u003Crandom>\n#include \u003Ciostream>\n\nvoid f() {\n  std::mt19937 engine;\n  \n  for (int i = 0; i \u003C 10; ++i) {\n    std::cout \u003C\u003C engine() \u003C\u003C \", \";\n  }\n}\n","cpp","",[70,101,102,115,123,129,144,154,160,200,226,232],{"__ignoreMap":99},[103,104,107,111],"span",{"class":105,"line":106},"line",1,[103,108,110],{"class":109},"sC2Qs","#include",[103,112,114],{"class":113},"sstjo"," \u003Crandom>\n",[103,116,118,120],{"class":105,"line":117},2,[103,119,110],{"class":109},[103,121,122],{"class":113}," \u003Ciostream>\n",[103,124,126],{"class":105,"line":125},3,[103,127,128],{"emptyLinePlaceholder":7},"\n",[103,130,132,136,140],{"class":105,"line":131},4,[103,133,135],{"class":134},"sq6CD","void",[103,137,139],{"class":138},"srTi1"," f",[103,141,143],{"class":142},"sMOD_","() {\n",[103,145,147,151],{"class":105,"line":146},5,[103,148,150],{"class":149},"sz2Vg","  std",[103,152,153],{"class":142},"::mt19937 engine;\n",[103,155,157],{"class":105,"line":156},6,[103,158,159],{"class":142},"  \n",[103,161,163,166,169,172,175,178,182,185,188,191,194,197],{"class":105,"line":162},7,[103,164,165],{"class":109},"  for",[103,167,168],{"class":142}," (",[103,170,171],{"class":134},"int",[103,173,174],{"class":142}," i ",[103,176,177],{"class":109},"=",[103,179,181],{"class":180},"s7F3e"," 0",[103,183,184],{"class":142},"; i ",[103,186,187],{"class":109},"\u003C",[103,189,190],{"class":180}," 10",[103,192,193],{"class":142},"; ",[103,195,196],{"class":109},"++",[103,198,199],{"class":142},"i) {\n",[103,201,203,206,209,212,215,218,220,223],{"class":105,"line":202},8,[103,204,205],{"class":149},"    std",[103,207,208],{"class":142},"::cout ",[103,210,211],{"class":109},"\u003C\u003C",[103,213,214],{"class":138}," engine",[103,216,217],{"class":142},"() ",[103,219,211],{"class":109},[103,221,222],{"class":113}," \", \"",[103,224,225],{"class":142},";\n",[103,227,229],{"class":105,"line":228},9,[103,230,231],{"class":142},"  }\n",[103,233,235],{"class":105,"line":234},10,[103,236,237],{"class":142},"}\n",[39,239,240],{},"The output of this example follows.",[94,242,246],{"className":243,"code":244,"language":245,"meta":99,"style":99},"language-java shiki shiki-themes github-light github-dark monokai","1st run: 3499211612, 581869302, 3890346734, 3586334585, 545404204, 4161255391, 3922919429, 949333985, 2715962298, 1323567403, \n2nd run: 3499211612, 581869302, 3890346734, 3586334585, 545404204, 4161255391, 3922919429, 949333985, 2715962298, 1323567403, \n...\nnth run: 3499211612, 581869302, 3890346734, 3586334585, 545404204, 4161255391, 3922919429, 949333985, 2715962298, 1323567403, \n","java",[70,247,248,308,355,360],{"__ignoreMap":99},[103,249,250,253,256,259,262,265,267,270,272,275,277,280,282,285,287,290,292,295,297,300,302,305],{"class":105,"line":106},[103,251,252],{"class":142},"1st run",[103,254,255],{"class":109},":",[103,257,258],{"class":180}," 3499211612",[103,260,261],{"class":142},", ",[103,263,264],{"class":180},"581869302",[103,266,261],{"class":142},[103,268,269],{"class":180},"3890346734",[103,271,261],{"class":142},[103,273,274],{"class":180},"3586334585",[103,276,261],{"class":142},[103,278,279],{"class":180},"545404204",[103,281,261],{"class":142},[103,283,284],{"class":180},"4161255391",[103,286,261],{"class":142},[103,288,289],{"class":180},"3922919429",[103,291,261],{"class":142},[103,293,294],{"class":180},"949333985",[103,296,261],{"class":142},[103,298,299],{"class":180},"2715962298",[103,301,261],{"class":142},[103,303,304],{"class":180},"1323567403",[103,306,307],{"class":142},", \n",[103,309,310,313,315,317,319,321,323,325,327,329,331,333,335,337,339,341,343,345,347,349,351,353],{"class":105,"line":117},[103,311,312],{"class":142},"2nd run",[103,314,255],{"class":109},[103,316,258],{"class":180},[103,318,261],{"class":142},[103,320,264],{"class":180},[103,322,261],{"class":142},[103,324,269],{"class":180},[103,326,261],{"class":142},[103,328,274],{"class":180},[103,330,261],{"class":142},[103,332,279],{"class":180},[103,334,261],{"class":142},[103,336,284],{"class":180},[103,338,261],{"class":142},[103,340,289],{"class":180},[103,342,261],{"class":142},[103,344,294],{"class":180},[103,346,261],{"class":142},[103,348,299],{"class":180},[103,350,261],{"class":142},[103,352,304],{"class":180},[103,354,307],{"class":142},[103,356,357],{"class":105,"line":125},[103,358,359],{"class":142},"...\n",[103,361,362,365,367,369,371,373,375,377,379,381,383,385,387,389,391,393,395,397,399,401,403,405],{"class":105,"line":131},[103,363,364],{"class":142},"nth run",[103,366,255],{"class":109},[103,368,258],{"class":180},[103,370,261],{"class":142},[103,372,264],{"class":180},[103,374,261],{"class":142},[103,376,269],{"class":180},[103,378,261],{"class":142},[103,380,274],{"class":180},[103,382,261],{"class":142},[103,384,279],{"class":180},[103,386,261],{"class":142},[103,388,284],{"class":180},[103,390,261],{"class":142},[103,392,289],{"class":180},[103,394,261],{"class":142},[103,396,294],{"class":180},[103,398,261],{"class":142},[103,400,299],{"class":180},[103,402,261],{"class":142},[103,404,304],{"class":180},[103,406,407],{"class":142},",\n",[75,409,78],{"id":410},"noncompliant-code-example-1",[39,412,413,414,418],{},"This noncompliant code example improves the previous noncompliant code example by seeding the random number generation engine with the current time. However, this approach is still unsuitable when an attacker can control the time at which the seeding is executed. Predictable seed values can result in ",[58,415,417],{"href":416},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions#BB.Definitions-exploit","exploits"," when the subverted PRNG is used.",[90,420,421],{"quality":92},[94,422,424],{"className":96,"code":423,"language":98,"meta":99,"style":99},"#include \u003Cctime>\n#include \u003Crandom>\n#include \u003Ciostream>\n\nvoid f() {\n  std::time_t t;\n  std::mt19937 engine(std::time(&t));\n  \n  for (int i = 0; i \u003C 10; ++i) {\n    std::cout \u003C\u003C engine() \u003C\u003C \", \";\n  }\n}\n",[70,425,426,433,439,445,449,457,470,499,503,529,547,552],{"__ignoreMap":99},[103,427,428,430],{"class":105,"line":106},[103,429,110],{"class":109},[103,431,432],{"class":113}," \u003Cctime>\n",[103,434,435,437],{"class":105,"line":117},[103,436,110],{"class":109},[103,438,114],{"class":113},[103,440,441,443],{"class":105,"line":125},[103,442,110],{"class":109},[103,444,122],{"class":113},[103,446,447],{"class":105,"line":131},[103,448,128],{"emptyLinePlaceholder":7},[103,450,451,453,455],{"class":105,"line":146},[103,452,135],{"class":134},[103,454,139],{"class":138},[103,456,143],{"class":142},[103,458,459,461,464,467],{"class":105,"line":156},[103,460,150],{"class":149},[103,462,463],{"class":142},"::",[103,465,466],{"class":134},"time_t",[103,468,469],{"class":142}," t;\n",[103,471,472,474,477,480,483,486,488,491,493,496],{"class":105,"line":162},[103,473,150],{"class":149},[103,475,476],{"class":142},"::mt19937 ",[103,478,479],{"class":138},"engine",[103,481,482],{"class":142},"(",[103,484,485],{"class":149},"std",[103,487,463],{"class":142},[103,489,490],{"class":138},"time",[103,492,482],{"class":142},[103,494,495],{"class":109},"&",[103,497,498],{"class":142},"t));\n",[103,500,501],{"class":105,"line":202},[103,502,159],{"class":142},[103,504,505,507,509,511,513,515,517,519,521,523,525,527],{"class":105,"line":228},[103,506,165],{"class":109},[103,508,168],{"class":142},[103,510,171],{"class":134},[103,512,174],{"class":142},[103,514,177],{"class":109},[103,516,181],{"class":180},[103,518,184],{"class":142},[103,520,187],{"class":109},[103,522,190],{"class":180},[103,524,193],{"class":142},[103,526,196],{"class":109},[103,528,199],{"class":142},[103,530,531,533,535,537,539,541,543,545],{"class":105,"line":234},[103,532,205],{"class":149},[103,534,208],{"class":142},[103,536,211],{"class":109},[103,538,214],{"class":138},[103,540,217],{"class":142},[103,542,211],{"class":109},[103,544,222],{"class":113},[103,546,225],{"class":142},[103,548,550],{"class":105,"line":549},11,[103,551,231],{"class":142},[103,553,555],{"class":105,"line":554},12,[103,556,237],{"class":142},[75,558,560],{"id":559},"compliant-solution","Compliant Solution",[39,562,563,564,567,568,570,571,573,574,576],{},"This compliant solution uses ",[70,565,566],{},"std::random_device"," to generate a random value for seeding the Mersenne Twister engine object. The values generated by ",[70,569,566],{}," are nondeterministic random numbers when possible, relying on random number generation devices, such as ",[70,572,72],{}," . When such a device is not available, ",[70,575,566],{}," may employ a random number engine; however, the initial value generated should have sufficient randomness to serve as a seed value.",[90,578,580],{"quality":579},"good",[94,581,583],{"className":96,"code":582,"language":98,"meta":99,"style":99},"#include \u003Crandom>\n#include \u003Ciostream>\n\nvoid f() {\n  std::random_device dev;\n  std::mt19937 engine(dev());\n  \n  for (int i = 0; i \u003C 10; ++i) {\n    std::cout \u003C\u003C engine() \u003C\u003C \", \";\n  }\n} \n",[70,584,585,591,597,601,609,616,632,636,662,680,684],{"__ignoreMap":99},[103,586,587,589],{"class":105,"line":106},[103,588,110],{"class":109},[103,590,114],{"class":113},[103,592,593,595],{"class":105,"line":117},[103,594,110],{"class":109},[103,596,122],{"class":113},[103,598,599],{"class":105,"line":125},[103,600,128],{"emptyLinePlaceholder":7},[103,602,603,605,607],{"class":105,"line":131},[103,604,135],{"class":134},[103,606,139],{"class":138},[103,608,143],{"class":142},[103,610,611,613],{"class":105,"line":146},[103,612,150],{"class":149},[103,614,615],{"class":142},"::random_device dev;\n",[103,617,618,620,622,624,626,629],{"class":105,"line":156},[103,619,150],{"class":149},[103,621,476],{"class":142},[103,623,479],{"class":138},[103,625,482],{"class":142},[103,627,628],{"class":138},"dev",[103,630,631],{"class":142},"());\n",[103,633,634],{"class":105,"line":162},[103,635,159],{"class":142},[103,637,638,640,642,644,646,648,650,652,654,656,658,660],{"class":105,"line":202},[103,639,165],{"class":109},[103,641,168],{"class":142},[103,643,171],{"class":134},[103,645,174],{"class":142},[103,647,177],{"class":109},[103,649,181],{"class":180},[103,651,184],{"class":142},[103,653,187],{"class":109},[103,655,190],{"class":180},[103,657,193],{"class":142},[103,659,196],{"class":109},[103,661,199],{"class":142},[103,663,664,666,668,670,672,674,676,678],{"class":105,"line":228},[103,665,205],{"class":149},[103,667,208],{"class":142},[103,669,211],{"class":109},[103,671,214],{"class":138},[103,673,217],{"class":142},[103,675,211],{"class":109},[103,677,222],{"class":113},[103,679,225],{"class":142},[103,681,682],{"class":105,"line":234},[103,683,231],{"class":142},[103,685,686],{"class":105,"line":549},[103,687,237],{"class":142},[39,689,240],{},[94,691,693],{"className":243,"code":692,"language":245,"meta":99,"style":99},"1st run: 3921124303, 1253168518, 1183339582, 197772533, 83186419, 2599073270, 3238222340, 101548389, 296330365, 3335314032, \n2nd run: 2392369099, 2509898672, 2135685437, 3733236524, 883966369, 2529945396, 764222328, 138530885, 4209173263, 1693483251, \n3rd run: 914243768, 2191798381, 2961426773, 3791073717, 2222867426, 1092675429, 2202201605, 850375565, 3622398137, 422940882,\n...\n",[70,694,695,751,807,864],{"__ignoreMap":99},[103,696,697,699,701,704,706,709,711,714,716,719,721,724,726,729,731,734,736,739,741,744,746,749],{"class":105,"line":106},[103,698,252],{"class":142},[103,700,255],{"class":109},[103,702,703],{"class":180}," 3921124303",[103,705,261],{"class":142},[103,707,708],{"class":180},"1253168518",[103,710,261],{"class":142},[103,712,713],{"class":180},"1183339582",[103,715,261],{"class":142},[103,717,718],{"class":180},"197772533",[103,720,261],{"class":142},[103,722,723],{"class":180},"83186419",[103,725,261],{"class":142},[103,727,728],{"class":180},"2599073270",[103,730,261],{"class":142},[103,732,733],{"class":180},"3238222340",[103,735,261],{"class":142},[103,737,738],{"class":180},"101548389",[103,740,261],{"class":142},[103,742,743],{"class":180},"296330365",[103,745,261],{"class":142},[103,747,748],{"class":180},"3335314032",[103,750,307],{"class":142},[103,752,753,755,757,760,762,765,767,770,772,775,777,780,782,785,787,790,792,795,797,800,802,805],{"class":105,"line":117},[103,754,312],{"class":142},[103,756,255],{"class":109},[103,758,759],{"class":180}," 2392369099",[103,761,261],{"class":142},[103,763,764],{"class":180},"2509898672",[103,766,261],{"class":142},[103,768,769],{"class":180},"2135685437",[103,771,261],{"class":142},[103,773,774],{"class":180},"3733236524",[103,776,261],{"class":142},[103,778,779],{"class":180},"883966369",[103,781,261],{"class":142},[103,783,784],{"class":180},"2529945396",[103,786,261],{"class":142},[103,788,789],{"class":180},"764222328",[103,791,261],{"class":142},[103,793,794],{"class":180},"138530885",[103,796,261],{"class":142},[103,798,799],{"class":180},"4209173263",[103,801,261],{"class":142},[103,803,804],{"class":180},"1693483251",[103,806,307],{"class":142},[103,808,809,812,814,817,819,822,824,827,829,832,834,837,839,842,844,847,849,852,854,857,859,862],{"class":105,"line":125},[103,810,811],{"class":142},"3rd run",[103,813,255],{"class":109},[103,815,816],{"class":180}," 914243768",[103,818,261],{"class":142},[103,820,821],{"class":180},"2191798381",[103,823,261],{"class":142},[103,825,826],{"class":180},"2961426773",[103,828,261],{"class":142},[103,830,831],{"class":180},"3791073717",[103,833,261],{"class":142},[103,835,836],{"class":180},"2222867426",[103,838,261],{"class":142},[103,840,841],{"class":180},"1092675429",[103,843,261],{"class":142},[103,845,846],{"class":180},"2202201605",[103,848,261],{"class":142},[103,850,851],{"class":180},"850375565",[103,853,261],{"class":142},[103,855,856],{"class":180},"3622398137",[103,858,261],{"class":142},[103,860,861],{"class":180},"422940882",[103,863,407],{"class":142},[103,865,866],{"class":105,"line":131},[103,867,359],{"class":142},[75,869,871],{"id":870},"risk-assessment","Risk Assessment",[873,874,875,876,875,906],"table",{},"\n  ",[877,878,879,880,875],"thead",{},"\n    ",[881,882,883,884,883,888,883,891,883,894,883,897,883,900,883,903,879],"tr",{},"\n      ",[885,886,887],"th",{},"Rule",[885,889,890],{},"Severity",[885,892,893],{},"Likelihood",[885,895,896],{},"Detectable",[885,898,899],{},"Repairable",[885,901,902],{},"Priority",[885,904,905],{},"Level",[907,908,879,909,875],"tbody",{},[881,910,883,911,883,915,883,918,883,921,883,924,883,926,883,933,879],{},[912,913,914],"td",{},"MSC51-CPP",[912,916,917],{},"Medium",[912,919,920],{},"Likely",[912,922,923],{},"Yes",[912,925,923],{},[912,927,929],{"style":928},"color: #e74c3c;",[930,931,932],"b",{},"P18",[912,934,935],{"style":928},[930,936,937],{},"L1",[75,939,941],{"id":940},"automated-detection","Automated Detection",[873,943,946],{"className":944},[945],"wrapped",[907,947,948,972,1004,1031,1066,1092,1115,1156,1182,1211,1233],{},[881,949,952,957,962,967],{"className":950},[951],"header",[885,953,954],{},[39,955,956],{},"Tool",[885,958,959],{},[39,960,961],{},"Version",[885,963,964],{},[39,965,966],{},"Checker",[885,968,969],{},[39,970,971],{},"Description",[881,973,976,982,992,1001],{"className":974},[975],"odd",[912,977,978],{},[58,979,981],{"href":980},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fastree","Astrée",[912,983,984],{},[985,986,989],"div",{"className":987},[988],"content-wrapper",[39,990,991],{},"25.10",[912,993,994],{},[995,996,997,998],"strong",{},"default-construction",[999,1000],"br",{},[912,1002,1003],{},"Partially checked",[881,1005,1008,1014,1022,1027],{"className":1006},[1007],"even",[912,1009,1010],{},[58,1011,1013],{"href":1012},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Faxivion-bauhaus-suite","Axivion Bauhaus Suite",[912,1015,1016],{},[985,1017,1019],{"className":1018},[988],[39,1020,1021],{},"7.2.0",[912,1023,1024],{},[995,1025,1026],{},"CertC++-MSC51",[912,1028,1029],{},[999,1030],{},[881,1032,1034,1040,1046,1058],{"className":1033},[975],[912,1035,1036],{},[58,1037,1039],{"href":1038},"\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fcodesonar","CodeSonar",[912,1041,1042],{},[985,1043,1045],{"className":1044},[988],"9.1p0",[912,1047,1048],{},[39,1049,1050,1053,1055],{},[995,1051,1052],{},"HARDCODED.SEED",[999,1054],{},[995,1056,1057],{},"MISC.CRYPTO.TIMESEED",[912,1059,1060],{},[39,1061,1062,1063,1065],{},"Hardcoded Seed in PRNG",[999,1064],{},"\nPredictable Seed in PRNG",[881,1067,1069,1075,1083,1088],{"className":1068},[1007],[912,1070,1071],{},[58,1072,1074],{"href":1073},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fhelix-qac","Helix QAC",[912,1076,1077],{},[985,1078,1080],{"className":1079},[988],[39,1081,1082],{},"2025.2",[912,1084,1085],{},[995,1086,1087],{},"C++5041",[912,1089,1090],{},[999,1091],{},[881,1093,1095,1101,1106,1111],{"className":1094},[975],[912,1096,1097],{},[58,1098,1100],{"href":1099},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fklocwork","Klocwork",[912,1102,1103],{},[985,1104,1082],{"className":1105},[988],[912,1107,1108],{},[995,1109,1110],{},"AUTOSAR.STDLIB.RANDOM.NBR_GEN_DEFAULT_INIT",[912,1112,1113],{},[999,1114],{},[881,1116,1118,1124,1132,1138],{"className":1117},[1007],[912,1119,1120],{},[58,1121,1123],{"href":1122},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fpolyspace-bug-finder","Polyspace Bug Finder",[912,1125,1126],{},[985,1127,1129],{"className":1128},[988],[39,1130,1131],{},"R2025b",[912,1133,1134],{},[58,1135,1137],{"href":1136},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcmsc51cpp.html","CERT C++: MSC51-CPP",[912,1139,1140,1143,1153],{},[39,1141,1142],{},"Checks for:",[1144,1145,1146,1150],"ul",{},[1147,1148,1149],"li",{},"Deterministic random output from constant seed",[1147,1151,1152],{},"Predictable random output from predictable seed",[39,1154,1155],{},"Rule partially covered.",[881,1157,1159,1165,1172,1177],{"className":1158},[975],[912,1160,1161],{},[58,1162,1164],{"href":1163},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fparasoft","Parasoft C\u002FC++test",[912,1166,1167],{},[985,1168,1170],{"className":1169},[988],[39,1171,1082],{},[912,1173,1174],{},[995,1175,1176],{},"CERT_CPP-MSC51-a",[912,1178,1179],{},[39,1180,1181],{},"Properly seed pseudorandom number generators",[881,1183,1185,1191,1199,1207],{"className":1184},[1007],[912,1186,1187],{},[58,1188,1190],{"href":1189},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fpvs-studio","PVS-Studio",[912,1192,1193],{},[985,1194,1196],{"className":1195},[988],[39,1197,1198],{},"7.42",[912,1200,1201],{},[995,1202,1203],{},[58,1204,1206],{"href":1205},"https:\u002F\u002Fpvs-studio.com\u002Fen\u002Fdocs\u002Fwarnings\u002Fv1057\u002F","V1057",[912,1208,1209],{},[999,1210],{},[881,1212,1214,1220,1225,1231],{"className":1213},[975],[912,1215,1216],{},[58,1217,1219],{"href":1218},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Frulechecker","RuleChecker",[912,1221,1222],{},[985,1223,991],{"className":1224},[988],[912,1226,1227],{},[995,1228,997,1229],{},[999,1230],{},[912,1232,1003],{},[881,1234,1236,1242,1250,1255],{"className":1235},[1007],[912,1237,1238],{},[58,1239,1241],{"href":1240},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsecurity-reviewer-static-reviewer","Security Reviewer - Static Reviewer",[912,1243,1244],{},[985,1245,1247],{"className":1246},[988],[39,1248,1249],{},"6.02",[912,1251,1252],{},[995,1253,1254],{},"RTOS_08",[912,1256,1257],{},"Fully implemented",[75,1259,1261],{"id":1260},"related-vulnerabilities","Related Vulnerabilities",[39,1263,1264,1265,1267,1268,1273],{},"Using a predictable seed value, such as the current time, result in numerous ",[58,1266,61],{"href":60}," , such as the one described by ",[58,1269,1272],{"href":1270,"rel":1271},"http:\u002F\u002Fweb.nvd.nist.gov\u002Fview\u002Fvuln\u002Fdetail?vulnId=CVE-2008-1637",[86],"CVE-2008-1637"," .",[39,1275,1276,1277,1273],{},"Search for vulnerabilities resulting from the violation of this rule on the ",[58,1278,1281],{"href":1279,"rel":1280},"https:\u002F\u002Fwww.kb.cert.org\u002Fvulnotes\u002Fbymetric?searchview&query=FIELD+KEYWORDS+contains+MSC51-CPP",[86],"CERT website",[75,1283,1285],{"id":1284},"related-guidelines","Related Guidelines",[873,1287,1289],{"className":1288},[945],[907,1290,1291,1305],{},[881,1292,1294,1299],{"className":1293},[975],[912,1295,1296],{},[58,1297,1298],{"href":17},"SEI CERT C Coding Standard",[912,1300,1301],{},[58,1302,1304],{"href":1303},"\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc32-c","MSC32-C. Properly seed pseudorandom number generators",[881,1306,1308,1314],{"className":1307},[1007],[912,1309,1310],{},[58,1311,1313],{"href":1312},"http:\u002F\u002Fcwe.mitre.org\u002F","MITRE CWE",[912,1315,1316,1323,1330],{},[39,1317,1318,1322],{},[58,1319,1321],{"href":1320},"http:\u002F\u002Fcwe.mitre.org\u002Fdata\u002Fdefinitions\u002F327.html","CWE-327"," , Use of a Broken or Risky Cryptographic Algorithm",[39,1324,1325,1329],{},[58,1326,1328],{"href":1327},"http:\u002F\u002Fcwe.mitre.org\u002Fdata\u002Fdefinitions\u002F330.html","CWE-330"," , Use of Insufficiently Random Values",[39,1331,1332,1336],{},[58,1333,1335],{"href":1334},"http:\u002F\u002Fcwe.mitre.org\u002Fdata\u002Fdefinitions\u002F337.html","CWE-337"," , Predictable Seed in PRNG",[75,1338,1340],{"id":1339},"bibliography","Bibliography",[873,1342,1343,1351],{},[877,1344,1345],{},[881,1346,1347,1349],{},[885,1348],{},[885,1350],{},[907,1352,1353,1366],{},[881,1354,1355,1363],{},[912,1356,1357,1358,1362],{},"[ ",[58,1359,1361],{"href":1360},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography#AA.Bibliography-ISO-IEC9899-1999","ISO\u002FIEC 9899:2011"," ]",[912,1364,1365],{},"Subclause 7.22.2, \"Pseudo-random Sequence Generation Functions\"",[881,1367,1368,1374],{},[912,1369,1357,1370,1362],{},[58,1371,1373],{"href":1372},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography#AA.Bibliography-ISO\u002FIEC14882-2014","ISO\u002FIEC 14882-2014",[912,1375,1376],{},"Subclause 26.5, \"Random Number Generation\"",[1378,1379],"hr",{},[39,1381,1382,1389,1390,1389,1396],{},[58,1383,1385],{"href":1384},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Frand-for-generating-pseudorandom-numbers",[1386,1387],"img",{"src":1388},"\u002Fattachments\u002F88046682\u002F88480621.png"," ",[58,1391,1393],{"href":1392},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002F",[1386,1394],{"src":1395},"\u002Fattachments\u002F88046682\u002F88475556.png",[58,1397,1399],{"href":1398},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc52-cpp",[1386,1400],{"src":1401},"\u002Fattachments\u002F88046682\u002F88475555.png",[1403,1404,1405],"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 .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);}",{"title":99,"searchDepth":117,"depth":117,"links":1407},[1408,1409,1410,1411,1412,1413,1414,1415],{"id":77,"depth":117,"text":78},{"id":410,"depth":117,"text":78},{"id":559,"depth":117,"text":560},{"id":870,"depth":117,"text":871},{"id":940,"depth":117,"text":941},{"id":1260,"depth":117,"text":1261},{"id":1284,"depth":117,"text":1285},{"id":1339,"depth":117,"text":1340},"A pseudorandom number generator (PRNG) is a deterministic algorithm capable of generating sequences of numbers that approximate the properties of random numbers. Each sequence is completely determined by the initial state of the PRNG and the algorithm for changing the state. Most PRNGs make it possible to set the initial state, also called the seed state . Setting the initial state is called seeding the PRNG.","md",{"tags":1419},[1420,1421,1422,1423,1424,1425,1426,1427,1428,1429,1430],"review","cwe-337","review-dms","nptc-intent","cwe-327","rule","msc","cwe-330","review-ajb","no-autodetect","nptc","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc51-cpp",{"title":30,"description":1416},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F2.msc51-cpp","ki8jopfTIC2pLY0hOlvGytVqrygSckyWb4HJACItARQ",[1436,1440],{"title":1437,"path":1438,"stem":1439,"children":-1},"Miscellaneous (MSC)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F1.index",{"title":1441,"path":1398,"stem":1442,"children":-1},"MSC52-CPP. Value-returning functions must return a value from all exit paths","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F3.msc52-cpp",[1444],{"title":1445,"path":1446,"stem":1447,"children":1448},"SEI CERT C++ Coding Standard","\u002Fsei-cert-cpp-coding-standard","5.sei-cert-cpp-coding-standard\u002F1.index",[1449,1450,1517,1911,2118,2128],{"title":1445,"path":1446,"stem":1447},{"title":1451,"path":1452,"stem":1453,"children":1454},"Front Matter","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F1.index",[1455,1456],{"title":1451,"path":1452,"stem":1453},{"title":1457,"path":1458,"stem":1459,"children":1460},"Introduction","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F01.index",[1461,1462,1466,1470,1474,1478,1482,1486,1490,1494,1498,1502,1506,1510,1514],{"title":1457,"path":1458,"stem":1459},{"title":1463,"path":1464,"stem":1465},"Scope","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fscope","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F02.scope",{"title":1467,"path":1468,"stem":1469},"Audience","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Faudience","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F03.audience",{"title":1471,"path":1472,"stem":1473},"Usage","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fusage","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F04.usage",{"title":1475,"path":1476,"stem":1477},"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":1479,"path":1480,"stem":1481},"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":1483,"path":1484,"stem":1485},"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":1487,"path":1488,"stem":1489},"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":1491,"path":1492,"stem":1493},"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":1495,"path":1496,"stem":1497},"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":1499,"path":1500,"stem":1501},"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":1503,"path":1504,"stem":1505},"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":1507,"path":1508,"stem":1509},"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":1511,"path":1512,"stem":1513},"Acknowledgments","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Facknowledgments","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F14.acknowledgments",{"title":941,"path":1515,"stem":1516},"\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":1518,"path":1519,"stem":1520,"children":1521},"Rules","\u002Fsei-cert-cpp-coding-standard\u002Frules","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F01.index",[1522,1523,1545,1579,1621,1671,1729,1791,1805,1815,1853,1869],{"title":1518,"path":1519,"stem":1520},{"title":1524,"path":1525,"stem":1526,"children":1527},"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",[1528,1529,1533,1537,1541],{"title":1524,"path":1525,"stem":1526},{"title":1530,"path":1531,"stem":1532},"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":1534,"path":1535,"stem":1536},"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":1538,"path":1539,"stem":1540},"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":1542,"path":1543,"stem":1544},"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":1546,"path":1547,"stem":1548,"children":1549},"Concurrency (CON)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F1.index",[1550,1551,1555,1559,1563,1567,1571,1575],{"title":1546,"path":1547,"stem":1548},{"title":1552,"path":1553,"stem":1554},"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":1556,"path":1557,"stem":1558},"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":1560,"path":1561,"stem":1562},"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":1564,"path":1565,"stem":1566},"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":1568,"path":1569,"stem":1570},"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":1572,"path":1573,"stem":1574},"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":1576,"path":1577,"stem":1578},"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":1580,"path":1581,"stem":1582,"children":1583},"Containers (CTR)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F01.index",[1584,1585,1589,1593,1597,1601,1605,1609,1613,1617],{"title":1580,"path":1581,"stem":1582},{"title":1586,"path":1587,"stem":1588},"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":1590,"path":1591,"stem":1592},"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":1594,"path":1595,"stem":1596},"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":1598,"path":1599,"stem":1600},"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":1602,"path":1603,"stem":1604},"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":1606,"path":1607,"stem":1608},"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":1610,"path":1611,"stem":1612},"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":1614,"path":1615,"stem":1616},"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":1618,"path":1619,"stem":1620},"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":1622,"path":1623,"stem":1624,"children":1625},"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",[1626,1627,1631,1635,1639,1643,1647,1651,1655,1659,1663,1667],{"title":1622,"path":1623,"stem":1624},{"title":1628,"path":1629,"stem":1630},"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":1632,"path":1633,"stem":1634},"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":1636,"path":1637,"stem":1638},"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":1640,"path":1641,"stem":1642},"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":1644,"path":1645,"stem":1646},"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":1648,"path":1649,"stem":1650},"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":1652,"path":1653,"stem":1654},"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":1656,"path":1657,"stem":1658},"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":1660,"path":1661,"stem":1662},"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":1664,"path":1665,"stem":1666},"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":1668,"path":1669,"stem":1670},"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":1672,"path":1673,"stem":1674,"children":1675},"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",[1676,1677,1681,1685,1689,1693,1697,1701,1705,1709,1713,1717,1721,1725],{"title":1672,"path":1673,"stem":1674},{"title":1678,"path":1679,"stem":1680},"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":1682,"path":1683,"stem":1684},"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":1686,"path":1687,"stem":1688},"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":1690,"path":1691,"stem":1692},"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":1694,"path":1695,"stem":1696},"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":1698,"path":1699,"stem":1700},"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":1702,"path":1703,"stem":1704},"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":1706,"path":1707,"stem":1708},"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":1710,"path":1711,"stem":1712},"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":1714,"path":1715,"stem":1716},"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":1718,"path":1719,"stem":1720},"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":1722,"path":1723,"stem":1724},"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":1726,"path":1727,"stem":1728},"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":1730,"path":1731,"stem":1732,"children":1733},"Expressions (EXP)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F01.index",[1734,1735,1739,1743,1747,1751,1755,1759,1763,1767,1771,1775,1779,1783,1787],{"title":1730,"path":1731,"stem":1732},{"title":1736,"path":1737,"stem":1738},"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":1740,"path":1741,"stem":1742},"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":1744,"path":1745,"stem":1746},"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":1748,"path":1749,"stem":1750},"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":1752,"path":1753,"stem":1754},"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":1756,"path":1757,"stem":1758},"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":1760,"path":1761,"stem":1762},"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":1764,"path":1765,"stem":1766},"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":1768,"path":1769,"stem":1770},"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":1772,"path":1773,"stem":1774},"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":1776,"path":1777,"stem":1778},"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":1780,"path":1781,"stem":1782},"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":1784,"path":1785,"stem":1786},"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":1788,"path":1789,"stem":1790},"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":1792,"path":1793,"stem":1794,"children":1795},"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",[1796,1797,1801],{"title":1792,"path":1793,"stem":1794},{"title":1798,"path":1799,"stem":1800},"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":1802,"path":1803,"stem":1804},"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":1806,"path":1807,"stem":1808,"children":1809},"Integers (INT)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fintegers-int","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F09.integers-int\u002F1.index",[1810,1811],{"title":1806,"path":1807,"stem":1808},{"title":1812,"path":1813,"stem":1814},"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":1816,"path":1817,"stem":1818,"children":1819},"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",[1820,1821,1825,1829,1833,1837,1841,1845,1849],{"title":1816,"path":1817,"stem":1818},{"title":1822,"path":1823,"stem":1824},"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":1826,"path":1827,"stem":1828},"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":1830,"path":1831,"stem":1832},"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":1834,"path":1835,"stem":1836},"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":1838,"path":1839,"stem":1840},"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":1842,"path":1843,"stem":1844},"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":1846,"path":1847,"stem":1848},"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":1850,"path":1851,"stem":1852},"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":1437,"path":1438,"stem":1439,"children":1854},[1855,1856,1857,1858,1862,1866],{"title":1437,"path":1438,"stem":1439},{"title":30,"path":1431,"stem":1433},{"title":1441,"path":1398,"stem":1442},{"title":1859,"path":1860,"stem":1861},"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":1863,"path":1864,"stem":1865},"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":1867,"path":1384,"stem":1868},"rand() for generating pseudorandom numbers","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F6.rand-for-generating-pseudorandom-numbers",{"title":1870,"path":1871,"stem":1872,"children":1873},"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",[1874,1875,1879,1883,1887,1891,1895,1899,1903,1907],{"title":1870,"path":1871,"stem":1872},{"title":1876,"path":1877,"stem":1878},"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":1880,"path":1881,"stem":1882},"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":1884,"path":1885,"stem":1886},"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":1888,"path":1889,"stem":1890},"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":1892,"path":1893,"stem":1894},"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":1896,"path":1897,"stem":1898},"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":1900,"path":1901,"stem":1902},"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":1904,"path":1905,"stem":1906},"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":1908,"path":1909,"stem":1910},"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":1912,"path":1913,"stem":1914,"children":1915},"Back Matter","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F1.index",[1916,1917,1921,1925,2101,2114],{"title":1912,"path":1913,"stem":1914},{"title":1918,"path":1919,"stem":1920},"AA. Bibliography","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F2.aa-bibliography",{"title":1922,"path":1923,"stem":1924},"BB. Definitions","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F3.bb-definitions",{"title":1926,"path":1927,"stem":1928,"children":1929},"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",[1930,1931,1933,1937,1939,1943,1947,1951,1955,1959,1963,1967,1971,1974,1978,1982,1986,1990,1994,1998,2002,2006,2010,2012,2016,2018,2022,2026,2030,2033,2037,2039,2043,2047,2051,2053,2057,2061,2065,2067,2071,2073,2077,2081,2085,2089,2093,2097],{"title":1926,"path":1927,"stem":1928},{"title":981,"path":980,"stem":1932},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F02.astree",{"title":1934,"path":1935,"stem":1936},"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":1013,"path":1012,"stem":1938},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F04.axivion-bauhaus-suite",{"title":1940,"path":1941,"stem":1942},"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":1944,"path":1945,"stem":1946},"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":1948,"path":1949,"stem":1950},"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":1952,"path":1953,"stem":1954},"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":1956,"path":1957,"stem":1958},"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":1960,"path":1961,"stem":1962},"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":1964,"path":1965,"stem":1966},"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":1968,"path":1969,"stem":1970},"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":1039,"path":1972,"stem":1973},"\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":1975,"path":1976,"stem":1977},"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":1979,"path":1980,"stem":1981},"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":1983,"path":1984,"stem":1985},"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":1987,"path":1988,"stem":1989},"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":1991,"path":1992,"stem":1993},"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":1995,"path":1996,"stem":1997},"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":1999,"path":2000,"stem":2001},"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":2003,"path":2004,"stem":2005},"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":2007,"path":2008,"stem":2009},"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":1074,"path":1073,"stem":2011},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F23.helix-qac",{"title":2013,"path":2014,"stem":2015},"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":1100,"path":1099,"stem":2017},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F25.klocwork",{"title":2019,"path":2020,"stem":2021},"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":2023,"path":2024,"stem":2025},"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":2027,"path":2028,"stem":2029},"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":2031,"path":1163,"stem":2032},"Parasoft","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F29.parasoft",{"title":2034,"path":2035,"stem":2036},"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":1123,"path":1122,"stem":2038},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F31.polyspace-bug-finder",{"title":2040,"path":2041,"stem":2042},"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":2044,"path":2045,"stem":2046},"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":2048,"path":2049,"stem":2050},"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":1190,"path":1189,"stem":2052},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F35.pvs-studio",{"title":2054,"path":2055,"stem":2056},"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":2058,"path":2059,"stem":2060},"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":2062,"path":2063,"stem":2064},"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":1219,"path":1218,"stem":2066},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F39.rulechecker",{"title":2068,"path":2069,"stem":2070},"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":1241,"path":1240,"stem":2072},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F41.security-reviewer-static-reviewer",{"title":2074,"path":2075,"stem":2076},"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":2078,"path":2079,"stem":2080},"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":2082,"path":2083,"stem":2084},"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":2086,"path":2087,"stem":2088},"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":2090,"path":2091,"stem":2092},"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":2094,"path":2095,"stem":2096},"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":2098,"path":2099,"stem":2100},"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":2102,"path":2103,"stem":2104,"children":2105},"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",[2106,2107,2111],{"title":2102,"path":2103,"stem":2104},{"title":2108,"path":2109,"stem":2110},"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":1313,"path":2112,"stem":2113},"\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":2115,"path":2116,"stem":2117},"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":2119,"path":2120,"stem":2121,"children":2122},"Admin","\u002Fsei-cert-cpp-coding-standard\u002Fadmin","5.sei-cert-cpp-coding-standard\u002F5.admin\u002F1.index",[2123,2124],{"title":2119,"path":2120,"stem":2121},{"title":2125,"path":2126,"stem":2127},"TODO List","\u002Fsei-cert-cpp-coding-standard\u002Fadmin\u002Ftodo-list","5.sei-cert-cpp-coding-standard\u002F5.admin\u002F2.todo-list",{"title":2129,"path":2130,"stem":2131},"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",1775657783762]