[{"data":1,"prerenderedAt":1990},["ShallowReactive",2],{"global-navigation":3,"page-\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon54-cpp":28,"surround-\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon54-cpp":1285,"sidebar-sei-cert-cpp-coding-standard":1291},[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":1270,"extension":1271,"meta":1272,"navigation":7,"path":1281,"seo":1282,"stem":1283,"__hash__":1284},"content\u002F5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F6.con54-cpp.md","CON54-CPP. Wrap functions that can spuriously wake up in a loop",{"type":32,"value":33,"toc":1260},"minimark",[34,38,67,85,281,287,292,295,315,330,340,523,527,538,677,681,697,831,841,860,927,931,1104,1108,1122,1126,1177,1181,1232,1235,1256],[35,36,30],"h1",{"id":37},"con54-cpp-wrap-functions-that-can-spuriously-wake-up-in-a-loop",[39,40,41,42,46,47,50,51,54,55,58,59,62,63,66],"p",{},"The ",[43,44,45],"code",{},"wait()"," , ",[43,48,49],{},"wait_for()"," , and ",[43,52,53],{},"wait_until()"," member functions of the ",[43,56,57],{},"std::condition_variable"," class temporarily cede possession of a mutex so that other threads that may be requesting the mutex can proceed. These functions must always be called from code that is protected by locking a mutex. The waiting thread resumes execution only after it has been notified, generally as the result of the invocation of the ",[43,60,61],{},"notify_one()"," or ",[43,64,65],{},"notify_all()"," member functions invoked by another thread.",[39,68,41,69,71,72,77,78,46,80,46,82,84],{},[43,70,45],{}," function must be invoked from a loop that checks whether a ",[73,74,76],"a",{"href":75},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions#BB.Definitions-conditionpredicate","condition predicate"," holds. A condition predicate is an expression constructed from the variables of a function that must be true for a thread to be allowed to continue execution. The thread pauses execution via ",[43,79,45],{},[43,81,49],{},[43,83,53],{}," , or some other mechanism, and is resumed later, presumably when the condition predicate is true and the thread is notified.",[86,87,92],"pre",{"className":88,"code":89,"language":90,"meta":91,"style":91},"language-java shiki shiki-themes github-light github-dark monokai","#include \u003Ccondition_variable>\n#include \u003Cmutex>\n \nextern bool until_finish(void);\nextern std::mutex m;\nextern std::condition_variable condition;\n \nvoid func(void) {\n  std::unique_lock\u003Cstd::mutex> lk(m);\n\n  while (until_finish()) {  \u002F\u002F Predicate does not hold.\n    condition.wait(lk);\n  }\n \n  \u002F\u002F Resume when condition holds.\n}\n","java","",[43,93,94,113,125,131,151,163,173,178,193,222,228,246,258,264,269,275],{"__ignoreMap":91},[95,96,99,103,107,110],"span",{"class":97,"line":98},"line",1,[95,100,102],{"class":101},"sMOD_","#include ",[95,104,106],{"class":105},"sC2Qs","\u003C",[95,108,109],{"class":101},"condition_variable",[95,111,112],{"class":105},">\n",[95,114,116,118,120,123],{"class":97,"line":115},2,[95,117,102],{"class":101},[95,119,106],{"class":105},[95,121,122],{"class":101},"mutex",[95,124,112],{"class":105},[95,126,128],{"class":97,"line":127},3,[95,129,130],{"class":101}," \n",[95,132,134,137,141,144,148],{"class":97,"line":133},4,[95,135,136],{"class":101},"extern bool ",[95,138,140],{"class":139},"srTi1","until_finish",[95,142,143],{"class":101},"(",[95,145,147],{"class":146},"sq6CD","void",[95,149,150],{"class":101},");\n",[95,152,154,157,160],{"class":97,"line":153},5,[95,155,156],{"class":101},"extern std",[95,158,159],{"class":105},"::",[95,161,162],{"class":101},"mutex m;\n",[95,164,166,168,170],{"class":97,"line":165},6,[95,167,156],{"class":101},[95,169,159],{"class":105},[95,171,172],{"class":101},"condition_variable condition;\n",[95,174,176],{"class":97,"line":175},7,[95,177,130],{"class":101},[95,179,181,183,186,188,190],{"class":97,"line":180},8,[95,182,147],{"class":146},[95,184,185],{"class":139}," func",[95,187,143],{"class":101},[95,189,147],{"class":146},[95,191,192],{"class":101},") {\n",[95,194,196,199,201,204,206,209,211,213,216,219],{"class":97,"line":195},9,[95,197,198],{"class":101},"  std",[95,200,159],{"class":105},[95,202,203],{"class":101},"unique_lock",[95,205,106],{"class":105},[95,207,208],{"class":101},"std",[95,210,159],{"class":105},[95,212,122],{"class":101},[95,214,215],{"class":105},">",[95,217,218],{"class":139}," lk",[95,220,221],{"class":101},"(m);\n",[95,223,225],{"class":97,"line":224},10,[95,226,227],{"emptyLinePlaceholder":7},"\n",[95,229,231,234,237,239,242],{"class":97,"line":230},11,[95,232,233],{"class":105},"  while",[95,235,236],{"class":101}," (",[95,238,140],{"class":139},[95,240,241],{"class":101},"()) {  ",[95,243,245],{"class":244},"s8-w5","\u002F\u002F Predicate does not hold.\n",[95,247,249,252,255],{"class":97,"line":248},12,[95,250,251],{"class":101},"    condition.",[95,253,254],{"class":139},"wait",[95,256,257],{"class":101},"(lk);\n",[95,259,261],{"class":97,"line":260},13,[95,262,263],{"class":101},"  }\n",[95,265,267],{"class":97,"line":266},14,[95,268,130],{"class":101},[95,270,272],{"class":97,"line":271},15,[95,273,274],{"class":244},"  \u002F\u002F Resume when condition holds.\n",[95,276,278],{"class":97,"line":277},16,[95,279,280],{"class":101},"}\n",[39,282,283,284,286],{},"The notification mechanism notifies the waiting thread and allows it to check its condition predicate. The invocation of ",[43,285,65],{}," in another thread cannot precisely determine which waiting thread will be resumed. Condition predicate statements allow notified threads to determine whether they should resume upon receiving the notification.",[288,289,291],"h2",{"id":290},"noncompliant-code-example","Noncompliant Code Example",[39,293,294],{},"This noncompliant code example monitors a linked list and assigns one thread to consume list elements when the list is nonempty.",[39,296,297,298,300,301,303,304,306,307,309,310,314],{},"This thread pauses execution using ",[43,299,45],{}," and resumes when notified, presumably when the list has elements to be consumed. It is possible for the thread to be notified even if the list is still empty, perhaps because the notifying thread used ",[43,302,65],{}," , which notifies all threads. Notification using ",[43,305,65],{}," is frequently preferred over using ",[43,308,61],{}," . (See ",[73,311,313],{"href":312},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon55-cpp","CON55-CPP. Preserve thread safety and liveness when using condition variables"," for more information.)",[39,316,317,318,321,322,325,326,329],{},"A condition predicate is typically the negation of the condition expression in the loop. In this noncompliant code example, the condition predicate for removing an element from a linked list is ",[43,319,320],{},"  (list->next != nullptr) "," , whereas the condition expression for the ",[43,323,324],{},"while"," loop condition is ",[43,327,328],{},"  (list->next == nullptr) "," .",[39,331,332,333,335,336,339],{},"This noncompliant code example nests the call to ",[43,334,45],{}," inside an ",[43,337,338],{},"if"," block and consequently fails to check the condition predicate after the notification is received. If the notification was spurious or malicious, the thread would wake up prematurely.",[341,342,344],"code-block",{"quality":343},"bad",[86,345,349],{"className":346,"code":347,"language":348,"meta":91,"style":91},"language-c shiki shiki-themes github-light github-dark monokai","#include \u003Ccondition_variable>\n#include \u003Cmutex>\n \nstruct Node {\n  void *node;\n  struct Node *next;\n};\n  \nstatic Node list;\nstatic std::mutex m;\nstatic std::condition_variable condition;\n  \nvoid consume_list_element(std::condition_variable &condition) {\n  std::unique_lock\u003Cstd::mutex> lk(m);\n  \n  if (list.next == nullptr) {\n    condition.wait(lk);\n  }\n \n  \u002F\u002F Proceed when condition holds.\n}\n","c",[43,350,351,360,367,371,379,390,404,409,414,422,429,436,440,459,475,479,493,502,507,512,518],{"__ignoreMap":91},[95,352,353,356],{"class":97,"line":98},[95,354,355],{"class":105},"#include",[95,357,359],{"class":358},"sstjo"," \u003Ccondition_variable>\n",[95,361,362,364],{"class":97,"line":115},[95,363,355],{"class":105},[95,365,366],{"class":358}," \u003Cmutex>\n",[95,368,369],{"class":97,"line":127},[95,370,130],{"class":101},[95,372,373,376],{"class":97,"line":133},[95,374,375],{"class":146},"struct",[95,377,378],{"class":101}," Node {\n",[95,380,381,384,387],{"class":97,"line":153},[95,382,383],{"class":146},"  void",[95,385,386],{"class":105}," *",[95,388,389],{"class":101},"node;\n",[95,391,392,395,398,401],{"class":97,"line":165},[95,393,394],{"class":146},"  struct",[95,396,397],{"class":101}," Node ",[95,399,400],{"class":105},"*",[95,402,403],{"class":101},"next;\n",[95,405,406],{"class":97,"line":175},[95,407,408],{"class":101},"};\n",[95,410,411],{"class":97,"line":180},[95,412,413],{"class":101},"  \n",[95,415,416,419],{"class":97,"line":195},[95,417,418],{"class":105},"static",[95,420,421],{"class":101}," Node list;\n",[95,423,424,426],{"class":97,"line":224},[95,425,418],{"class":105},[95,427,428],{"class":101}," std::mutex m;\n",[95,430,431,433],{"class":97,"line":230},[95,432,418],{"class":105},[95,434,435],{"class":101}," std::condition_variable condition;\n",[95,437,438],{"class":97,"line":248},[95,439,413],{"class":101},[95,441,442,444,447,450,453,457],{"class":97,"line":260},[95,443,147],{"class":146},[95,445,446],{"class":139}," consume_list_element",[95,448,449],{"class":101},"(std::condition_variable ",[95,451,452],{"class":105},"&",[95,454,456],{"class":455},"sTHNf","condition",[95,458,192],{"class":101},[95,460,461,464,466,469,471,473],{"class":97,"line":266},[95,462,463],{"class":101},"  std::unique_lock",[95,465,106],{"class":105},[95,467,468],{"class":101},"std::mutex",[95,470,215],{"class":105},[95,472,218],{"class":139},[95,474,221],{"class":101},[95,476,477],{"class":97,"line":271},[95,478,413],{"class":101},[95,480,481,484,487,490],{"class":97,"line":277},[95,482,483],{"class":105},"  if",[95,485,486],{"class":101}," (list.next ",[95,488,489],{"class":105},"==",[95,491,492],{"class":101}," nullptr) {\n",[95,494,496,498,500],{"class":97,"line":495},17,[95,497,251],{"class":101},[95,499,254],{"class":139},[95,501,257],{"class":101},[95,503,505],{"class":97,"line":504},18,[95,506,263],{"class":101},[95,508,510],{"class":97,"line":509},19,[95,511,130],{"class":101},[95,513,515],{"class":97,"line":514},20,[95,516,517],{"class":244},"  \u002F\u002F Proceed when condition holds.\n",[95,519,521],{"class":97,"line":520},21,[95,522,280],{"class":101},[288,524,526],{"id":525},"compliant-solution-explicit-loop-with-predicate","Compliant Solution (Explicit loop with predicate)",[39,528,529,530,532,533,535,536,329],{},"This compliant solution calls the ",[43,531,45],{}," member function from within a ",[43,534,324],{}," loop to check the condition both before and after the call to ",[43,537,45],{},[341,539,541],{"quality":540},"good",[86,542,544],{"className":346,"code":543,"language":348,"meta":91,"style":91},"#include \u003Ccondition_variable>\n#include \u003Cmutex>\n \nstruct Node {\n  void *node;\n  struct Node *next;\n};\n  \nstatic Node list;\nstatic std::mutex m;\nstatic std::condition_variable condition;\n  \nvoid consume_list_element() {\n  std::unique_lock\u003Cstd::mutex> lk(m);\n  \n  while (list.next == nullptr) {\n    condition.wait(lk);\n  }\n \n  \u002F\u002F Proceed when condition holds.\n}\n",[43,545,546,552,558,562,568,576,586,590,594,600,606,612,616,625,639,643,653,661,665,669,673],{"__ignoreMap":91},[95,547,548,550],{"class":97,"line":98},[95,549,355],{"class":105},[95,551,359],{"class":358},[95,553,554,556],{"class":97,"line":115},[95,555,355],{"class":105},[95,557,366],{"class":358},[95,559,560],{"class":97,"line":127},[95,561,130],{"class":101},[95,563,564,566],{"class":97,"line":133},[95,565,375],{"class":146},[95,567,378],{"class":101},[95,569,570,572,574],{"class":97,"line":153},[95,571,383],{"class":146},[95,573,386],{"class":105},[95,575,389],{"class":101},[95,577,578,580,582,584],{"class":97,"line":165},[95,579,394],{"class":146},[95,581,397],{"class":101},[95,583,400],{"class":105},[95,585,403],{"class":101},[95,587,588],{"class":97,"line":175},[95,589,408],{"class":101},[95,591,592],{"class":97,"line":180},[95,593,413],{"class":101},[95,595,596,598],{"class":97,"line":195},[95,597,418],{"class":105},[95,599,421],{"class":101},[95,601,602,604],{"class":97,"line":224},[95,603,418],{"class":105},[95,605,428],{"class":101},[95,607,608,610],{"class":97,"line":230},[95,609,418],{"class":105},[95,611,435],{"class":101},[95,613,614],{"class":97,"line":248},[95,615,413],{"class":101},[95,617,618,620,622],{"class":97,"line":260},[95,619,147],{"class":146},[95,621,446],{"class":139},[95,623,624],{"class":101},"() {\n",[95,626,627,629,631,633,635,637],{"class":97,"line":266},[95,628,463],{"class":101},[95,630,106],{"class":105},[95,632,468],{"class":101},[95,634,215],{"class":105},[95,636,218],{"class":139},[95,638,221],{"class":101},[95,640,641],{"class":97,"line":271},[95,642,413],{"class":101},[95,644,645,647,649,651],{"class":97,"line":277},[95,646,233],{"class":105},[95,648,486],{"class":101},[95,650,489],{"class":105},[95,652,492],{"class":101},[95,654,655,657,659],{"class":97,"line":495},[95,656,251],{"class":101},[95,658,254],{"class":139},[95,660,257],{"class":101},[95,662,663],{"class":97,"line":504},[95,664,263],{"class":101},[95,666,667],{"class":97,"line":509},[95,668,130],{"class":101},[95,670,671],{"class":97,"line":514},[95,672,517],{"class":244},[95,674,675],{"class":97,"line":520},[95,676,280],{"class":101},[288,678,680],{"id":679},"compliant-solution-implicit-loop-with-lambda-predicate","Compliant Solution (Implicit loop with lambda predicate)",[39,682,41,683,686,687,689,690,693,694,696],{},[43,684,685],{},"std::condition_variable::wait()"," function has an overloaded form that accepts a function object representing the predicate. This form of ",[43,688,45],{}," behaves as if it were implemented as ",[43,691,692],{},"  while (!pred()) wait(lock); "," . This compliant solution uses a lambda as a predicate and passes it to the ",[43,695,45],{}," function. The predicate is expected to return true when it is safe to proceed, which reverses the predicate logic from the compliant solution using an explicit loop predicate.",[341,698,699],{"quality":540},[86,700,702],{"className":346,"code":701,"language":348,"meta":91,"style":91},"#include \u003Ccondition_variable>\n#include \u003Cmutex>\n \nstruct Node {\n  void *node;\n  struct Node *next;\n};\n  \nstatic Node list;\nstatic std::mutex m;\nstatic std::condition_variable condition;\n  \nvoid consume_list_element() {\n  std::unique_lock\u003Cstd::mutex> lk(m);\n \n  condition.wait(lk, []{ return list.next; });\n  \u002F\u002F Proceed when condition holds.\n}\n",[43,703,704,710,716,720,726,734,744,748,752,758,764,770,774,782,796,801,823,827],{"__ignoreMap":91},[95,705,706,708],{"class":97,"line":98},[95,707,355],{"class":105},[95,709,359],{"class":358},[95,711,712,714],{"class":97,"line":115},[95,713,355],{"class":105},[95,715,366],{"class":358},[95,717,718],{"class":97,"line":127},[95,719,130],{"class":101},[95,721,722,724],{"class":97,"line":133},[95,723,375],{"class":146},[95,725,378],{"class":101},[95,727,728,730,732],{"class":97,"line":153},[95,729,383],{"class":146},[95,731,386],{"class":105},[95,733,389],{"class":101},[95,735,736,738,740,742],{"class":97,"line":165},[95,737,394],{"class":146},[95,739,397],{"class":101},[95,741,400],{"class":105},[95,743,403],{"class":101},[95,745,746],{"class":97,"line":175},[95,747,408],{"class":101},[95,749,750],{"class":97,"line":180},[95,751,413],{"class":101},[95,753,754,756],{"class":97,"line":195},[95,755,418],{"class":105},[95,757,421],{"class":101},[95,759,760,762],{"class":97,"line":224},[95,761,418],{"class":105},[95,763,428],{"class":101},[95,765,766,768],{"class":97,"line":230},[95,767,418],{"class":105},[95,769,435],{"class":101},[95,771,772],{"class":97,"line":248},[95,773,413],{"class":101},[95,775,776,778,780],{"class":97,"line":260},[95,777,147],{"class":146},[95,779,446],{"class":139},[95,781,624],{"class":101},[95,783,784,786,788,790,792,794],{"class":97,"line":266},[95,785,463],{"class":101},[95,787,106],{"class":105},[95,789,468],{"class":101},[95,791,215],{"class":105},[95,793,218],{"class":139},[95,795,221],{"class":101},[95,797,798],{"class":97,"line":271},[95,799,800],{"class":101}," \n",[95,802,803,806,808,811,814,817,820],{"class":97,"line":277},[95,804,805],{"class":101},"  condition.",[95,807,254],{"class":139},[95,809,810],{"class":101},"(lk, ",[95,812,813],{"class":105},"[]",[95,815,816],{"class":101},"{ ",[95,818,819],{"class":105},"return",[95,821,822],{"class":101}," list.next; });\n",[95,824,825],{"class":97,"line":495},[95,826,517],{"class":244},[95,828,829],{"class":97,"line":504},[95,830,280],{"class":101},[832,833,837],"div",{"className":834},[835,836,90],"syntaxhighlighter","nogutter",[288,838,840],{"id":839},"risk-assessment","Risk Assessment",[39,842,843,844,46,846,848,849,851,852,854,855,859],{},"Failure to enclose calls to the ",[43,845,45],{},[43,847,49],{}," , or ",[43,850,53],{}," member functions inside a ",[43,853,324],{}," loop can lead to indefinite blocking and ",[73,856,858],{"href":857},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions#BB.Definitions-denial-of-service","denial of service"," (DoS).",[861,862,863,864,863,894],"table",{},"\n  ",[865,866,867,868,863],"thead",{},"\n    ",[869,870,871,872,871,876,871,879,871,882,871,885,871,888,871,891,867],"tr",{},"\n      ",[873,874,875],"th",{},"Rule",[873,877,878],{},"Severity",[873,880,881],{},"Likelihood",[873,883,884],{},"Detectable",[873,886,887],{},"Repairable",[873,889,890],{},"Priority",[873,892,893],{},"Level",[895,896,867,897,863],"tbody",{},[869,898,871,899,871,903,871,906,871,909,871,912,871,915,871,922,867],{},[900,901,902],"td",{},"CON54-CPP",[900,904,905],{},"Low",[900,907,908],{},"Unlikely",[900,910,911],{},"Yes",[900,913,914],{},"No",[900,916,918],{"style":917},"color: #27ae60;",[919,920,921],"b",{},"P2",[900,923,924],{"style":917},[919,925,926],{},"L3",[288,928,930],{"id":929},"automated-detection","Automated Detection",[861,932,935],{"className":933},[934],"wrapped",[895,936,937,961,1000,1027,1050,1078],{},[869,938,941,946,951,956],{"className":939},[940],"header",[873,942,943],{},[39,944,945],{},"Tool",[873,947,948],{},[39,949,950],{},"Version",[873,952,953],{},[39,954,955],{},"Checker",[873,957,958],{},[39,959,960],{},"Description",[869,962,965,971,978,992],{"className":963},[964],"odd",[900,966,967],{},[73,968,970],{"href":969},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fcodesonar","CodeSonar",[900,972,973],{},[832,974,977],{"className":975},[976],"content-wrapper","9.1p0",[900,979,980],{},[39,981,982,986,989],{},[983,984,985],"strong",{},"LANG.STRUCT.ICOL",[987,988],"br",{},[983,990,991],{},"CONCURRENCY.BADFUNC.CNDWAIT",[900,993,994],{},[39,995,996,997,999],{},"Inappropriate Call Outside Loop",[987,998],{},"\nUse of Condition Variable Wait",[869,1001,1004,1010,1018,1023],{"className":1002},[1003],"even",[900,1005,1006],{},[73,1007,1009],{"href":1008},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fhelix-qac","Helix QAC",[900,1011,1012],{},[832,1013,1015],{"className":1014},[976],[39,1016,1017],{},"2025.2",[900,1019,1020],{},[983,1021,1022],{},"C++5019",[900,1024,1025],{},[987,1026],{},[869,1028,1030,1036,1041,1046],{"className":1029},[964],[900,1031,1032],{},[73,1033,1035],{"href":1034},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fklocwork","Klocwork",[900,1037,1038],{},[832,1039,1017],{"className":1040},[976],[900,1042,1043],{},[983,1044,1045],{},"CERT.CONC.WAKE_IN_LOOP",[900,1047,1048],{},[987,1049],{},[869,1051,1053,1059,1066,1073],{"className":1052},[1003],[900,1054,1055],{},[73,1056,1058],{"href":1057},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fparasoft","Parasoft C\u002FC++test",[900,1060,1061],{},[832,1062,1064],{"className":1063},[976],[39,1065,1017],{},[900,1067,1068],{},[39,1069,1070],{},[983,1071,1072],{},"CERT_CPP-CON54-a",[900,1074,1075],{},[39,1076,1077],{},"Wrap functions that can spuriously wake up in a loop",[869,1079,1081,1087,1095,1101],{"className":1080},[964],[900,1082,1083],{},[73,1084,1086],{"href":1085},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fpolyspace-bug-finder","Polyspace Bug Finder",[900,1088,1089],{},[832,1090,1092],{"className":1091},[976],[39,1093,1094],{},"R2025b",[900,1096,1097],{},[73,1098,1100],{"href":1099},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertccon54cpp.html","CERT C++: CON54-CPP",[900,1102,1103],{},"Checks for situations where functions that can spuriously wake up are not wrapped in loop",[288,1105,1107],{"id":1106},"related-vulnerabilities","Related Vulnerabilities",[39,1109,1110,1111,1115,1116,329],{},"Search for ",[73,1112,1114],{"href":1113},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions#BB.Definitions-vulnerability","vulnerabilities"," resulting from the violation of this rule on the ",[73,1117,1121],{"href":1118,"rel":1119},"https:\u002F\u002Fwww.kb.cert.org\u002Fvulnotes\u002Fbymetric?searchview&query=FIELD+KEYWORDS+contains+CON54-CPP",[1120],"nofollow","CERT website",[288,1123,1125],{"id":1124},"related-guidelines","Related Guidelines",[861,1127,1128,1136],{},[865,1129,1130],{},[869,1131,1132,1134],{},[873,1133],{},[873,1135],{},[895,1137,1138,1151,1164],{},[869,1139,1140,1145],{},[900,1141,1142],{},[73,1143,1144],{"href":23},"CERT Oracle Secure Coding Standard for Java",[900,1146,1147],{},[73,1148,1150],{"href":1149},"\u002Fsei-cert-oracle-coding-standard-for-java\u002Frules\u002Fthread-apis-thi\u002Fthi03-j","THI03-J. Always invoke wait() and await() methods inside a loop",[869,1152,1153,1158],{},[900,1154,1155],{},[73,1156,1157],{"href":17},"SEI CERT C Coding Standard",[900,1159,1160],{},[73,1161,1163],{"href":1162},"\u002Fsei-cert-c-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon36-c","CON36-C. Wrap functions that can spuriously wake up in a loop",[869,1165,1166,1173],{},[900,1167,1168],{},[73,1169,1172],{"href":1170,"rel":1171},"https:\u002F\u002Fwiki.sei.cmu.edu\u002Fconfluence\u002Fspaces\u002Fcplusplus\u002Foverview",[1120],"SEI CERT C++ Coding Standard",[900,1174,1175],{},[73,1176,313],{"href":312},[288,1178,1180],{"id":1179},"bibliography","Bibliography",[861,1182,1184,1193],{"className":1183},[934],[1185,1186,1187,1191],"colgroup",{},[1188,1189],"col",{"style":1190},"width: 50%",[1188,1192],{"style":1190},[895,1194,1195,1213],{},[869,1196,1198,1206],{"className":1197},[964],[900,1199,1200,1201,1205],{},"[ ",[73,1202,1204],{"href":1203},"\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Faa-bibliography#AA.Bibliography-ISO-IEC9899-2011","ISO\u002FIEC 9899:2011"," ]",[900,1207,1208,1209,1212],{},"7.17.7.4, \"The ",[43,1210,1211],{},"      atomic_compare_exchange     "," Generic Functions\"",[869,1214,1216,1224],{"className":1215},[1003],[900,1217,1218],{},[39,1219,1200,1220,1205],{},[73,1221,1223],{"href":1222},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography#AA.Bibliography-Lea2000","Lea 2000",[900,1225,1226],{},[39,1227,1228,1229,1231],{},"1.3.2, \"Liveness\"",[987,1230],{},"\n3.2.2, \"Monitor Mechanics\"",[1233,1234],"hr",{},[39,1236,1237,1244,1245,1244,1251],{},[73,1238,1240],{"href":1239},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon53-cpp",[1241,1242],"img",{"src":1243},"\u002Fattachments\u002F87152044\u002F88034188.png"," ",[73,1246,1248],{"href":1247},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002F",[1241,1249],{"src":1250},"\u002Fattachments\u002F87152044\u002F88034190.png",[73,1252,1253],{"href":312},[1241,1254],{"src":1255},"\u002Fattachments\u002F87152044\u002F88034189.png",[1257,1258,1259],"style",{},"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 .srTi1, html code.shiki .srTi1{--shiki-default:#6F42C1;--shiki-dark:#B392F0;--shiki-sepia:#A6E22E}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 .s8-w5, html code.shiki .s8-w5{--shiki-default:#6A737D;--shiki-dark:#6A737D;--shiki-sepia:#88846F}html .default .shiki span {color: var(--shiki-default);background: var(--shiki-default-bg);font-style: var(--shiki-default-font-style);font-weight: var(--shiki-default-font-weight);text-decoration: var(--shiki-default-text-decoration);}html .shiki span {color: var(--shiki-default);background: var(--shiki-default-bg);font-style: var(--shiki-default-font-style);font-weight: var(--shiki-default-font-weight);text-decoration: var(--shiki-default-text-decoration);}html .dark .shiki span {color: var(--shiki-dark);background: var(--shiki-dark-bg);font-style: var(--shiki-dark-font-style);font-weight: var(--shiki-dark-font-weight);text-decoration: var(--shiki-dark-text-decoration);}html.dark .shiki span {color: var(--shiki-dark);background: var(--shiki-dark-bg);font-style: var(--shiki-dark-font-style);font-weight: var(--shiki-dark-font-weight);text-decoration: var(--shiki-dark-text-decoration);}html .sepia .shiki span {color: var(--shiki-sepia);background: var(--shiki-sepia-bg);font-style: var(--shiki-sepia-font-style);font-weight: var(--shiki-sepia-font-weight);text-decoration: var(--shiki-sepia-text-decoration);}html.sepia .shiki span {color: var(--shiki-sepia);background: var(--shiki-sepia-bg);font-style: var(--shiki-sepia-font-style);font-weight: var(--shiki-sepia-font-weight);text-decoration: var(--shiki-sepia-text-decoration);}html pre.shiki code .sstjo, html code.shiki .sstjo{--shiki-default:#032F62;--shiki-dark:#9ECBFF;--shiki-sepia:#E6DB74}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}",{"title":91,"searchDepth":115,"depth":115,"links":1261},[1262,1263,1264,1265,1266,1267,1268,1269],{"id":290,"depth":115,"text":291},{"id":525,"depth":115,"text":526},{"id":679,"depth":115,"text":680},{"id":839,"depth":115,"text":840},{"id":929,"depth":115,"text":930},{"id":1106,"depth":115,"text":1107},{"id":1124,"depth":115,"text":1125},{"id":1179,"depth":115,"text":1180},"The wait() , wait_for() , and wait_until() member functions of the std::condition_variable class temporarily cede possession of a mutex so that other threads that may be requesting the mutex can proceed. These functions must always be called from code that is protected by locking a mutex. The waiting thread resumes execution only after it has been notified, generally as the result of the invocation of the notify_one() or notify_all() member functions invoked by another thread.","md",{"tags":1273},[1274,1275,1276,1277,1278,1279,1280],"review","ptc","review-dms","rule","review-ajb","android-unknown","con","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon54-cpp",{"title":30,"description":1270},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F6.con54-cpp","_pi5oNH2WZZ2IGGfaTZlWjYZExuIwhyhwfAHSMk3Img",[1286,1289],{"title":1287,"path":1239,"stem":1288,"children":-1},"CON53-CPP. Avoid deadlock by locking in a predefined order","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F5.con53-cpp",{"title":313,"path":312,"stem":1290,"children":-1},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F7.con55-cpp",[1292],{"title":1172,"path":1293,"stem":1294,"children":1295},"\u002Fsei-cert-cpp-coding-standard","5.sei-cert-cpp-coding-standard\u002F1.index",[1296,1297,1364,1759,1976,1986],{"title":1172,"path":1293,"stem":1294},{"title":1298,"path":1299,"stem":1300,"children":1301},"Front Matter","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F1.index",[1302,1303],{"title":1298,"path":1299,"stem":1300},{"title":1304,"path":1305,"stem":1306,"children":1307},"Introduction","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F01.index",[1308,1309,1313,1317,1321,1325,1329,1333,1337,1341,1345,1349,1353,1357,1361],{"title":1304,"path":1305,"stem":1306},{"title":1310,"path":1311,"stem":1312},"Scope","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fscope","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F02.scope",{"title":1314,"path":1315,"stem":1316},"Audience","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Faudience","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F03.audience",{"title":1318,"path":1319,"stem":1320},"Usage","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fusage","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F04.usage",{"title":1322,"path":1323,"stem":1324},"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":1326,"path":1327,"stem":1328},"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":1330,"path":1331,"stem":1332},"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":1334,"path":1335,"stem":1336},"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":1338,"path":1339,"stem":1340},"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":1342,"path":1343,"stem":1344},"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":1346,"path":1347,"stem":1348},"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":1350,"path":1351,"stem":1352},"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":1354,"path":1355,"stem":1356},"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":1358,"path":1359,"stem":1360},"Acknowledgments","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Facknowledgments","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F14.acknowledgments",{"title":930,"path":1362,"stem":1363},"\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":1365,"path":1366,"stem":1367,"children":1368},"Rules","\u002Fsei-cert-cpp-coding-standard\u002Frules","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F01.index",[1369,1370,1392,1417,1459,1509,1567,1629,1643,1653,1691,1717],{"title":1365,"path":1366,"stem":1367},{"title":1371,"path":1372,"stem":1373,"children":1374},"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",[1375,1376,1380,1384,1388],{"title":1371,"path":1372,"stem":1373},{"title":1377,"path":1378,"stem":1379},"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":1381,"path":1382,"stem":1383},"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":1385,"path":1386,"stem":1387},"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":1389,"path":1390,"stem":1391},"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":1393,"path":1394,"stem":1395,"children":1396},"Concurrency (CON)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F1.index",[1397,1398,1402,1406,1410,1411,1412,1413],{"title":1393,"path":1394,"stem":1395},{"title":1399,"path":1400,"stem":1401},"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":1403,"path":1404,"stem":1405},"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":1407,"path":1408,"stem":1409},"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":1287,"path":1239,"stem":1288},{"title":30,"path":1281,"stem":1283},{"title":313,"path":312,"stem":1290},{"title":1414,"path":1415,"stem":1416},"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":1418,"path":1419,"stem":1420,"children":1421},"Containers (CTR)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F01.index",[1422,1423,1427,1431,1435,1439,1443,1447,1451,1455],{"title":1418,"path":1419,"stem":1420},{"title":1424,"path":1425,"stem":1426},"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":1428,"path":1429,"stem":1430},"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":1432,"path":1433,"stem":1434},"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":1436,"path":1437,"stem":1438},"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":1440,"path":1441,"stem":1442},"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":1444,"path":1445,"stem":1446},"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":1448,"path":1449,"stem":1450},"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":1452,"path":1453,"stem":1454},"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":1456,"path":1457,"stem":1458},"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":1460,"path":1461,"stem":1462,"children":1463},"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",[1464,1465,1469,1473,1477,1481,1485,1489,1493,1497,1501,1505],{"title":1460,"path":1461,"stem":1462},{"title":1466,"path":1467,"stem":1468},"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":1470,"path":1471,"stem":1472},"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":1474,"path":1475,"stem":1476},"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":1478,"path":1479,"stem":1480},"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":1482,"path":1483,"stem":1484},"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":1486,"path":1487,"stem":1488},"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":1490,"path":1491,"stem":1492},"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":1494,"path":1495,"stem":1496},"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":1498,"path":1499,"stem":1500},"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":1502,"path":1503,"stem":1504},"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":1506,"path":1507,"stem":1508},"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":1510,"path":1511,"stem":1512,"children":1513},"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",[1514,1515,1519,1523,1527,1531,1535,1539,1543,1547,1551,1555,1559,1563],{"title":1510,"path":1511,"stem":1512},{"title":1516,"path":1517,"stem":1518},"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":1520,"path":1521,"stem":1522},"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":1524,"path":1525,"stem":1526},"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":1528,"path":1529,"stem":1530},"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":1532,"path":1533,"stem":1534},"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":1536,"path":1537,"stem":1538},"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":1540,"path":1541,"stem":1542},"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":1544,"path":1545,"stem":1546},"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":1548,"path":1549,"stem":1550},"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":1552,"path":1553,"stem":1554},"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":1556,"path":1557,"stem":1558},"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":1560,"path":1561,"stem":1562},"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":1564,"path":1565,"stem":1566},"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":1568,"path":1569,"stem":1570,"children":1571},"Expressions (EXP)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F01.index",[1572,1573,1577,1581,1585,1589,1593,1597,1601,1605,1609,1613,1617,1621,1625],{"title":1568,"path":1569,"stem":1570},{"title":1574,"path":1575,"stem":1576},"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":1578,"path":1579,"stem":1580},"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":1582,"path":1583,"stem":1584},"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":1586,"path":1587,"stem":1588},"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":1590,"path":1591,"stem":1592},"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":1594,"path":1595,"stem":1596},"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":1598,"path":1599,"stem":1600},"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":1602,"path":1603,"stem":1604},"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":1606,"path":1607,"stem":1608},"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":1610,"path":1611,"stem":1612},"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":1614,"path":1615,"stem":1616},"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":1618,"path":1619,"stem":1620},"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":1622,"path":1623,"stem":1624},"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":1626,"path":1627,"stem":1628},"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":1630,"path":1631,"stem":1632,"children":1633},"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",[1634,1635,1639],{"title":1630,"path":1631,"stem":1632},{"title":1636,"path":1637,"stem":1638},"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":1640,"path":1641,"stem":1642},"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":1644,"path":1645,"stem":1646,"children":1647},"Integers (INT)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fintegers-int","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F09.integers-int\u002F1.index",[1648,1649],{"title":1644,"path":1645,"stem":1646},{"title":1650,"path":1651,"stem":1652},"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":1654,"path":1655,"stem":1656,"children":1657},"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",[1658,1659,1663,1667,1671,1675,1679,1683,1687],{"title":1654,"path":1655,"stem":1656},{"title":1660,"path":1661,"stem":1662},"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":1664,"path":1665,"stem":1666},"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":1668,"path":1669,"stem":1670},"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":1672,"path":1673,"stem":1674},"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":1676,"path":1677,"stem":1678},"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":1680,"path":1681,"stem":1682},"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":1684,"path":1685,"stem":1686},"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":1688,"path":1689,"stem":1690},"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":1692,"path":1693,"stem":1694,"children":1695},"Miscellaneous (MSC)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F1.index",[1696,1697,1701,1705,1709,1713],{"title":1692,"path":1693,"stem":1694},{"title":1698,"path":1699,"stem":1700},"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":1702,"path":1703,"stem":1704},"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":1706,"path":1707,"stem":1708},"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":1710,"path":1711,"stem":1712},"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":1714,"path":1715,"stem":1716},"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":1718,"path":1719,"stem":1720,"children":1721},"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",[1722,1723,1727,1731,1735,1739,1743,1747,1751,1755],{"title":1718,"path":1719,"stem":1720},{"title":1724,"path":1725,"stem":1726},"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":1728,"path":1729,"stem":1730},"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":1732,"path":1733,"stem":1734},"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":1736,"path":1737,"stem":1738},"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":1740,"path":1741,"stem":1742},"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":1744,"path":1745,"stem":1746},"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":1748,"path":1749,"stem":1750},"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":1752,"path":1753,"stem":1754},"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":1756,"path":1757,"stem":1758},"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":1760,"path":1761,"stem":1762,"children":1763},"Back Matter","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F1.index",[1764,1765,1769,1773,1958,1972],{"title":1760,"path":1761,"stem":1762},{"title":1766,"path":1767,"stem":1768},"AA. Bibliography","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F2.aa-bibliography",{"title":1770,"path":1771,"stem":1772},"BB. Definitions","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F3.bb-definitions",{"title":1774,"path":1775,"stem":1776,"children":1777},"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",[1778,1779,1783,1787,1791,1795,1799,1803,1807,1811,1815,1819,1823,1825,1829,1833,1837,1841,1845,1849,1853,1857,1861,1863,1867,1869,1873,1877,1881,1884,1888,1890,1894,1898,1902,1906,1910,1914,1918,1922,1926,1930,1934,1938,1942,1946,1950,1954],{"title":1774,"path":1775,"stem":1776},{"title":1780,"path":1781,"stem":1782},"Astrée","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fastree","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F02.astree",{"title":1784,"path":1785,"stem":1786},"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":1788,"path":1789,"stem":1790},"Axivion Bauhaus Suite","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Faxivion-bauhaus-suite","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F04.axivion-bauhaus-suite",{"title":1792,"path":1793,"stem":1794},"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":1796,"path":1797,"stem":1798},"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":1800,"path":1801,"stem":1802},"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":1804,"path":1805,"stem":1806},"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":1808,"path":1809,"stem":1810},"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":1812,"path":1813,"stem":1814},"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":1816,"path":1817,"stem":1818},"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":1820,"path":1821,"stem":1822},"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":970,"path":969,"stem":1824},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F13.codesonar",{"title":1826,"path":1827,"stem":1828},"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":1830,"path":1831,"stem":1832},"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":1834,"path":1835,"stem":1836},"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":1838,"path":1839,"stem":1840},"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":1842,"path":1843,"stem":1844},"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":1846,"path":1847,"stem":1848},"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":1850,"path":1851,"stem":1852},"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":1854,"path":1855,"stem":1856},"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":1858,"path":1859,"stem":1860},"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":1009,"path":1008,"stem":1862},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F23.helix-qac",{"title":1864,"path":1865,"stem":1866},"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":1035,"path":1034,"stem":1868},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F25.klocwork",{"title":1870,"path":1871,"stem":1872},"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":1874,"path":1875,"stem":1876},"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":1878,"path":1879,"stem":1880},"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":1882,"path":1057,"stem":1883},"Parasoft","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F29.parasoft",{"title":1885,"path":1886,"stem":1887},"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":1086,"path":1085,"stem":1889},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F31.polyspace-bug-finder",{"title":1891,"path":1892,"stem":1893},"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":1895,"path":1896,"stem":1897},"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":1899,"path":1900,"stem":1901},"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":1903,"path":1904,"stem":1905},"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":1907,"path":1908,"stem":1909},"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":1911,"path":1912,"stem":1913},"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":1915,"path":1916,"stem":1917},"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":1919,"path":1920,"stem":1921},"RuleChecker","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Frulechecker","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F39.rulechecker",{"title":1923,"path":1924,"stem":1925},"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":1927,"path":1928,"stem":1929},"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":1931,"path":1932,"stem":1933},"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":1935,"path":1936,"stem":1937},"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":1939,"path":1940,"stem":1941},"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":1943,"path":1944,"stem":1945},"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":1947,"path":1948,"stem":1949},"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":1951,"path":1952,"stem":1953},"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":1955,"path":1956,"stem":1957},"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":1959,"path":1960,"stem":1961,"children":1962},"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",[1963,1964,1968],{"title":1959,"path":1960,"stem":1961},{"title":1965,"path":1966,"stem":1967},"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":1969,"path":1970,"stem":1971},"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":1973,"path":1974,"stem":1975},"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":1977,"path":1978,"stem":1979,"children":1980},"Admin","\u002Fsei-cert-cpp-coding-standard\u002Fadmin","5.sei-cert-cpp-coding-standard\u002F5.admin\u002F1.index",[1981,1982],{"title":1977,"path":1978,"stem":1979},{"title":1983,"path":1984,"stem":1985},"TODO List","\u002Fsei-cert-cpp-coding-standard\u002Fadmin\u002Ftodo-list","5.sei-cert-cpp-coding-standard\u002F5.admin\u002F2.todo-list",{"title":1987,"path":1988,"stem":1989},"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",1775657778734]