[{"data":1,"prerenderedAt":1834},["ShallowReactive",2],{"global-navigation":3,"page-\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon52-cpp":28,"surround-\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon52-cpp":1131,"sidebar-sei-cert-cpp-coding-standard":1138},[4,8],{"title":5,"path":6,"_path":6,"fromAppConfig":7},"Home","\u002F",true,{"title":9,"path":10,"children":11,"_path":27,"fromAppConfig":7},"Coding Standards","\u002Fcoding-standards\u002F",[12,15,18,21,24],{"title":13,"path":14},"Android Coding Standard","\u002Fandroid-secure-coding-standard\u002F",{"title":16,"path":17},"C Coding Standard","\u002Fsei-cert-c-coding-standard\u002F",{"title":19,"path":20},"C++ Coding Standard","\u002Fsei-cert-cpp-coding-standard\u002F",{"title":22,"path":23},"Java Coding Standard","\u002Fsei-cert-oracle-coding-standard-for-java\u002F",{"title":25,"path":26},"Perl Coding Standard","\u002Fsei-cert-perl-coding-standard\u002F","\u002Fcoding-standards",{"id":29,"title":30,"body":31,"description":41,"extension":1117,"meta":1118,"navigation":7,"path":1127,"seo":1128,"stem":1129,"__hash__":1130},"content\u002F5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F4.con52-cpp.md","CON52-CPP. Prevent data races when accessing bit-fields from multiple threads",{"type":32,"value":33,"toc":1107},"minimark",[34,38,42,45,48,53,62,212,215,387,391,394,582,586,589,685,693,708,719,723,726,792,796,1005,1009,1024,1028,1053,1057,1078,1081,1103],[35,36,30],"h1",{"id":37},"con52-cpp-prevent-data-races-when-accessing-bit-fields-from-multiple-threads",[39,40,41],"p",{},"When accessing a bit-field, a thread may inadvertently access a separate bit-field in adjacent memory. This is because compilers are required to store multiple adjacent bit-fields in one storage unit whenever they fit. Consequently, data races may exist not just on a bit-field accessed by multiple threads but also on other bit-fields sharing the same byte or word. The problem is difficult to diagnose because it may not be obvious that the same memory location is being modified by multiple threads.",[39,43,44],{},"One approach for preventing data races in concurrent programming is to use a mutex. When properly observed by all threads, a mutex can provide safe and secure access to a shared object. However, mutexes provide no guarantees with regard to other objects that might be accessed when the mutex is not controlled by the accessing thread. Unfortunately, there is no portable way to determine which adjacent bit-fields may be stored along with the desired bit-field.",[39,46,47],{},"Another approach is to insert a non-bit-field member between any two bit-fields to ensure that each bit-field is the only one accessed within its storage unit. This technique effectively guarantees that no two bit-fields are accessed simultaneously.",[49,50,52],"h2",{"id":51},"noncompliant-code-example-bit-field","Noncompliant Code Example (bit-field)",[39,54,55,56,61],{},"Adjacent bit-fields may be stored in a single memory location. Consequently, modifying adjacent bit-fields in different threads is ",[57,58,60],"a",{"href":59},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions#BB.Definitions-undefinedbehavior","undefined behavior"," , as shown in this noncompliant code example.",[63,64,66],"code-block",{"quality":65},"bad",[67,68,73],"pre",{"className":69,"code":70,"language":71,"meta":72,"style":72},"language-c shiki shiki-themes github-light github-dark monokai","struct MultiThreadedFlags {\n  unsigned int flag1 : 2;\n  unsigned int flag2 : 2;\n};\n\nMultiThreadedFlags flags;\n\nvoid thread1() {\n  flags.flag1 = 1;\n}\n\nvoid thread2() {\n  flags.flag2 = 2;\n}\n","c","",[74,75,76,89,108,122,128,134,140,145,158,173,179,184,194,207],"code",{"__ignoreMap":72},[77,78,81,85],"span",{"class":79,"line":80},"line",1,[77,82,84],{"class":83},"sq6CD","struct",[77,86,88],{"class":87},"sMOD_"," MultiThreadedFlags {\n",[77,90,92,95,98,101,105],{"class":79,"line":91},2,[77,93,94],{"class":83},"  unsigned",[77,96,97],{"class":83}," int",[77,99,100],{"class":87}," flag1 : ",[77,102,104],{"class":103},"s7F3e","2",[77,106,107],{"class":87},";\n",[77,109,111,113,115,118,120],{"class":79,"line":110},3,[77,112,94],{"class":83},[77,114,97],{"class":83},[77,116,117],{"class":87}," flag2 : ",[77,119,104],{"class":103},[77,121,107],{"class":87},[77,123,125],{"class":79,"line":124},4,[77,126,127],{"class":87},"};\n",[77,129,131],{"class":79,"line":130},5,[77,132,133],{"emptyLinePlaceholder":7},"\n",[77,135,137],{"class":79,"line":136},6,[77,138,139],{"class":87},"MultiThreadedFlags flags;\n",[77,141,143],{"class":79,"line":142},7,[77,144,133],{"emptyLinePlaceholder":7},[77,146,148,151,155],{"class":79,"line":147},8,[77,149,150],{"class":83},"void",[77,152,154],{"class":153},"srTi1"," thread1",[77,156,157],{"class":87},"() {\n",[77,159,161,164,168,171],{"class":79,"line":160},9,[77,162,163],{"class":87},"  flags.flag1 ",[77,165,167],{"class":166},"sC2Qs","=",[77,169,170],{"class":103}," 1",[77,172,107],{"class":87},[77,174,176],{"class":79,"line":175},10,[77,177,178],{"class":87},"}\n",[77,180,182],{"class":79,"line":181},11,[77,183,133],{"emptyLinePlaceholder":7},[77,185,187,189,192],{"class":79,"line":186},12,[77,188,150],{"class":83},[77,190,191],{"class":153}," thread2",[77,193,157],{"class":87},[77,195,197,200,202,205],{"class":79,"line":196},13,[77,198,199],{"class":87},"  flags.flag2 ",[77,201,167],{"class":166},[77,203,204],{"class":103}," 2",[77,206,107],{"class":87},[77,208,210],{"class":79,"line":209},14,[77,211,178],{"class":87},[39,213,214],{},"For example, the following instruction sequence is possible.",[67,216,220],{"className":217,"code":218,"language":219,"meta":72,"style":72},"language-java shiki shiki-themes github-light github-dark monokai","Thread 1: register 0 = flags\nThread 1: register 0 &= ~mask(flag1)\nThread 2: register 0 = flags\nThread 2: register 0 &= ~mask(flag2)\nThread 1: register 0 |= 1 \u003C\u003C shift(flag1)\nThread 1: flags = register 0\nThread 2: register 0 |= 2 \u003C\u003C shift(flag2)\nThread 2: flags = register 0\n","java",[74,221,222,245,269,285,306,331,349,371],{"__ignoreMap":72},[77,223,224,227,230,233,236,239,242],{"class":79,"line":80},[77,225,226],{"class":87},"Thread ",[77,228,229],{"class":103},"1",[77,231,232],{"class":166},":",[77,234,235],{"class":87}," register ",[77,237,238],{"class":103},"0",[77,240,241],{"class":166}," =",[77,243,244],{"class":87}," flags\n",[77,246,247,249,251,253,255,257,260,263,266],{"class":79,"line":91},[77,248,226],{"class":87},[77,250,229],{"class":103},[77,252,232],{"class":166},[77,254,235],{"class":87},[77,256,238],{"class":103},[77,258,259],{"class":166}," &=",[77,261,262],{"class":166}," ~",[77,264,265],{"class":153},"mask",[77,267,268],{"class":87},"(flag1)\n",[77,270,271,273,275,277,279,281,283],{"class":79,"line":110},[77,272,226],{"class":87},[77,274,104],{"class":103},[77,276,232],{"class":166},[77,278,235],{"class":87},[77,280,238],{"class":103},[77,282,241],{"class":166},[77,284,244],{"class":87},[77,286,287,289,291,293,295,297,299,301,303],{"class":79,"line":124},[77,288,226],{"class":87},[77,290,104],{"class":103},[77,292,232],{"class":166},[77,294,235],{"class":87},[77,296,238],{"class":103},[77,298,259],{"class":166},[77,300,262],{"class":166},[77,302,265],{"class":153},[77,304,305],{"class":87},"(flag2)\n",[77,307,308,310,312,314,316,318,321,323,326,329],{"class":79,"line":130},[77,309,226],{"class":87},[77,311,229],{"class":103},[77,313,232],{"class":166},[77,315,235],{"class":87},[77,317,238],{"class":103},[77,319,320],{"class":166}," |=",[77,322,170],{"class":103},[77,324,325],{"class":166}," \u003C\u003C",[77,327,328],{"class":153}," shift",[77,330,268],{"class":87},[77,332,333,335,337,339,342,344,346],{"class":79,"line":136},[77,334,226],{"class":87},[77,336,229],{"class":103},[77,338,232],{"class":166},[77,340,341],{"class":87}," flags ",[77,343,167],{"class":166},[77,345,235],{"class":87},[77,347,348],{"class":103},"0\n",[77,350,351,353,355,357,359,361,363,365,367,369],{"class":79,"line":142},[77,352,226],{"class":87},[77,354,104],{"class":103},[77,356,232],{"class":166},[77,358,235],{"class":87},[77,360,238],{"class":103},[77,362,320],{"class":166},[77,364,204],{"class":103},[77,366,325],{"class":166},[77,368,328],{"class":153},[77,370,305],{"class":87},[77,372,373,375,377,379,381,383,385],{"class":79,"line":147},[77,374,226],{"class":87},[77,376,104],{"class":103},[77,378,232],{"class":166},[77,380,341],{"class":87},[77,382,167],{"class":166},[77,384,235],{"class":87},[77,386,348],{"class":103},[49,388,390],{"id":389},"compliant-solution-bit-field-c11-and-later-mutex","Compliant Solution (bit-field, C++11 and later, mutex)",[39,392,393],{},"This compliant solution protects all accesses of the flags with a mutex, thereby preventing any data races.",[63,395,397],{"quality":396},"good",[67,398,400],{"className":69,"code":399,"language":71,"meta":72,"style":72},"#include \u003Cmutex>\n \nstruct MultiThreadedFlags {\n  unsigned int flag1 : 2;\n  unsigned int flag2 : 2;\n};\n\nstruct MtfMutex {\n  MultiThreadedFlags s;\n  std::mutex mutex;\n};\n\nMtfMutex flags;\n\nvoid thread1() {\n  std::lock_guard\u003Cstd::mutex> lk(flags.mutex);\n  flags.s.flag1 = 1;\n}\n \nvoid thread2() {\n  std::lock_guard\u003Cstd::mutex> lk(flags.mutex);\n  flags.s.flag2 = 2;\n}\n",[74,401,402,411,416,422,434,446,450,454,461,466,471,475,479,484,488,497,518,530,535,541,550,565,577],{"__ignoreMap":72},[77,403,404,407],{"class":79,"line":80},[77,405,406],{"class":166},"#include",[77,408,410],{"class":409},"sstjo"," \u003Cmutex>\n",[77,412,413],{"class":79,"line":91},[77,414,415],{"class":87}," \n",[77,417,418,420],{"class":79,"line":110},[77,419,84],{"class":83},[77,421,88],{"class":87},[77,423,424,426,428,430,432],{"class":79,"line":124},[77,425,94],{"class":83},[77,427,97],{"class":83},[77,429,100],{"class":87},[77,431,104],{"class":103},[77,433,107],{"class":87},[77,435,436,438,440,442,444],{"class":79,"line":130},[77,437,94],{"class":83},[77,439,97],{"class":83},[77,441,117],{"class":87},[77,443,104],{"class":103},[77,445,107],{"class":87},[77,447,448],{"class":79,"line":136},[77,449,127],{"class":87},[77,451,452],{"class":79,"line":142},[77,453,133],{"emptyLinePlaceholder":7},[77,455,456,458],{"class":79,"line":147},[77,457,84],{"class":83},[77,459,460],{"class":87}," MtfMutex {\n",[77,462,463],{"class":79,"line":160},[77,464,465],{"class":87},"  MultiThreadedFlags s;\n",[77,467,468],{"class":79,"line":175},[77,469,470],{"class":87},"  std::mutex mutex;\n",[77,472,473],{"class":79,"line":181},[77,474,127],{"class":87},[77,476,477],{"class":79,"line":186},[77,478,133],{"emptyLinePlaceholder":7},[77,480,481],{"class":79,"line":196},[77,482,483],{"class":87},"MtfMutex flags;\n",[77,485,486],{"class":79,"line":209},[77,487,133],{"emptyLinePlaceholder":7},[77,489,491,493,495],{"class":79,"line":490},15,[77,492,150],{"class":83},[77,494,154],{"class":153},[77,496,157],{"class":87},[77,498,500,503,506,509,512,515],{"class":79,"line":499},16,[77,501,502],{"class":87},"  std::lock_guard",[77,504,505],{"class":166},"\u003C",[77,507,508],{"class":87},"std::mutex",[77,510,511],{"class":166},">",[77,513,514],{"class":153}," lk",[77,516,517],{"class":87},"(flags.mutex);\n",[77,519,521,524,526,528],{"class":79,"line":520},17,[77,522,523],{"class":87},"  flags.s.flag1 ",[77,525,167],{"class":166},[77,527,170],{"class":103},[77,529,107],{"class":87},[77,531,533],{"class":79,"line":532},18,[77,534,178],{"class":87},[77,536,538],{"class":79,"line":537},19,[77,539,540],{"class":87}," \n",[77,542,544,546,548],{"class":79,"line":543},20,[77,545,150],{"class":83},[77,547,191],{"class":153},[77,549,157],{"class":87},[77,551,553,555,557,559,561,563],{"class":79,"line":552},21,[77,554,502],{"class":87},[77,556,505],{"class":166},[77,558,508],{"class":87},[77,560,511],{"class":166},[77,562,514],{"class":153},[77,564,517],{"class":87},[77,566,568,571,573,575],{"class":79,"line":567},22,[77,569,570],{"class":87},"  flags.s.flag2 ",[77,572,167],{"class":166},[77,574,204],{"class":103},[77,576,107],{"class":87},[77,578,580],{"class":79,"line":579},23,[77,581,178],{"class":87},[49,583,585],{"id":584},"compliant-solution-c11","Compliant Solution (C++11)",[39,587,588],{},"In this compliant solution, two threads simultaneously modify two distinct non-bit-field members of a structure. Because the members occupy different bytes in memory, no concurrency protection is required.",[63,590,591],{"quality":396},[67,592,594],{"className":69,"code":593,"language":71,"meta":72,"style":72},"struct MultiThreadedFlags {\n  unsigned char flag1;\n  unsigned char flag2;\n};\n \nMultiThreadedFlags flags;\n \nvoid thread1() {\n  flags.flag1 = 1;\n}\n\nvoid thread2() {\n  flags.flag2 = 2;\n}\n",[74,595,596,602,612,621,625,629,633,637,645,655,659,663,671,681],{"__ignoreMap":72},[77,597,598,600],{"class":79,"line":80},[77,599,84],{"class":83},[77,601,88],{"class":87},[77,603,604,606,609],{"class":79,"line":91},[77,605,94],{"class":83},[77,607,608],{"class":83}," char",[77,610,611],{"class":87}," flag1;\n",[77,613,614,616,618],{"class":79,"line":110},[77,615,94],{"class":83},[77,617,608],{"class":83},[77,619,620],{"class":87}," flag2;\n",[77,622,623],{"class":79,"line":124},[77,624,127],{"class":87},[77,626,627],{"class":79,"line":130},[77,628,540],{"class":87},[77,630,631],{"class":79,"line":136},[77,632,139],{"class":87},[77,634,635],{"class":79,"line":142},[77,636,540],{"class":87},[77,638,639,641,643],{"class":79,"line":147},[77,640,150],{"class":83},[77,642,154],{"class":153},[77,644,157],{"class":87},[77,646,647,649,651,653],{"class":79,"line":160},[77,648,163],{"class":87},[77,650,167],{"class":166},[77,652,170],{"class":103},[77,654,107],{"class":87},[77,656,657],{"class":79,"line":175},[77,658,178],{"class":87},[77,660,661],{"class":79,"line":181},[77,662,133],{"emptyLinePlaceholder":7},[77,664,665,667,669],{"class":79,"line":186},[77,666,150],{"class":83},[77,668,191],{"class":153},[77,670,157],{"class":87},[77,672,673,675,677,679],{"class":79,"line":196},[77,674,199],{"class":87},[77,676,167],{"class":166},[77,678,204],{"class":103},[77,680,107],{"class":87},[77,682,683],{"class":79,"line":209},[77,684,178],{"class":87},[39,686,687,688,692],{},"Unlike earlier versions of the standard, C++11 and later explicitly define a memory location and provide the following note in [intro.memory] paragraph 4 [ ",[57,689,691],{"href":690},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography#AA.Bibliography-ISO\u002FIEC14882-2014","ISO\u002FIEC 14882-2014"," ]:",[694,695,696],"blockquote",{},[39,697,698,699,703,704,707],{},"[ ",[700,701,702],"em",{},"Note:"," Thus a bit-field and an adjacent non-bit-field are in separate memory locations, and therefore can be concurrently updated by two threads of execution without interference.  The same applies to two bit-fields, if one is declared inside a nested struct declaration and the other is not, or if the two are separated by a zero-length bit-field declaration, or if they are separated by a non-bit-field declaration.  It is not safe to concurrently update two bit-fields in the same struct if all fields between them are also bit-fields of non-zero width.  – ",[700,705,706],{},"end note"," ]",[39,709,710,711,714,715,718],{},"It is almost certain that ",[74,712,713],{},"flag1"," and ",[74,716,717],{},"flag2"," are stored in the same word. Using a compiler that conforms to earlier versions of the standard, if both assignments occur on a thread-scheduling interleaving that ends with both stores occurring after one another, it is possible that only one of the flags will be set as intended, and the other flag will contain its previous value because both members are represented by the same word, which is the smallest unit the processor can work on. Before the changes made to the C++ Standard for C++11, there were no guarantees that these flags could be modified concurrently.",[49,720,722],{"id":721},"risk-assessment","Risk Assessment",[39,724,725],{},"Although the race window is narrow, an assignment or an expression can evaluate improperly because of misinterpreted data resulting in a corrupted running state or unintended information disclosure.",[727,728,729,730,729,760],"table",{},"\n  ",[731,732,733,734,729],"thead",{},"\n    ",[735,736,737,738,737,742,737,745,737,748,737,751,737,754,737,757,733],"tr",{},"\n      ",[739,740,741],"th",{},"Rule",[739,743,744],{},"Severity",[739,746,747],{},"Likelihood",[739,749,750],{},"Detectable",[739,752,753],{},"Repairable",[739,755,756],{},"Priority",[739,758,759],{},"Level",[761,762,733,763,729],"tbody",{},[735,764,737,765,737,769,737,772,737,775,737,778,737,780,737,787,733],{},[766,767,768],"td",{},"CON52-CPP",[766,770,771],{},"Medium",[766,773,774],{},"Probable",[766,776,777],{},"No",[766,779,777],{},[766,781,783],{"style":782},"color: #27ae60;",[784,785,786],"b",{},"P4",[766,788,789],{"style":782},[784,790,791],{},"L3",[49,793,795],{"id":794},"automated-detection","Automated Detection",[727,797,800],{"className":798},[799],"wrapped",[761,801,802,818,853,880,909,929,955,979],{},[735,803,806,809,812,815],{"className":804},[805],"header",[739,807,808],{},"Tool",[739,810,811],{},"Version",[739,813,814],{},"Checker",[739,816,817],{},"Description",[735,819,822,828,838,850],{"className":820},[821],"odd",[766,823,824],{},[57,825,827],{"href":826},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fastree","Astrée",[766,829,830],{},[831,832,835],"div",{"className":833},[834],"content-wrapper",[39,836,837],{},"25.10",[766,839,840],{},[841,842,843,844,847,848],"strong",{},"read_write_data_race",[845,846],"br",{},"\nwrite_write_data_race",[845,849],{},[766,851,852],{},"Supported",[735,854,857,863,871,876],{"className":855},[856],"even",[766,858,859],{},[57,860,862],{"href":861},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Faxivion-bauhaus-suite","Axivion Bauhaus Suite",[766,864,865],{},[831,866,868],{"className":867},[834],[39,869,870],{},"7.2.0",[766,872,873],{},[841,874,875],{},"CertC++-CON52",[766,877,878],{},[845,879],{},[735,881,883,889,897,904],{"className":882},[821],[766,884,885],{},[57,886,888],{"href":887},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fcodesonar","CodeSonar",[766,890,891],{},[831,892,894],{"className":893},[834],[39,895,896],{},"9.1p0",[766,898,899],{},[39,900,901],{},[841,902,903],{},"CONCURRENCY.DATARACE",[766,905,906],{},[39,907,908],{},"Data Race",[735,910,912,918,921,926],{"className":911},[856],[766,913,914],{},[57,915,917],{"href":916},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fcoverity","Coverity",[766,919,920],{},"6.5",[766,922,923],{},[841,924,925],{},"RACE_CONDITION",[766,927,928],{},"Fully implemented",[735,930,932,938,946,951],{"className":931},[821],[766,933,934],{},[57,935,937],{"href":936},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fhelix-qac","Helix QAC",[766,939,940],{},[831,941,943],{"className":942},[834],[39,944,945],{},"2025.2",[766,947,948],{},[841,949,950],{},"C++1774, C++1775",[766,952,953],{},[845,954],{},[735,956,958,964,971,976],{"className":957},[856],[766,959,960],{},[57,961,963],{"href":962},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fparasoft","Parasoft C\u002FC++test",[766,965,966],{},[831,967,969],{"className":968},[834],[39,970,945],{},[766,972,973],{},[841,974,975],{},"CERT_CPP-CON52-a",[766,977,978],{},"Use locks to prevent race conditions when modifying bit fields",[735,980,982,988,996,1002],{"className":981},[821],[766,983,984],{},[57,985,987],{"href":986},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fpolyspace-bug-finder","Polyspace Bug Finder",[766,989,990],{},[831,991,993],{"className":992},[834],[39,994,995],{},"R2025b",[766,997,998],{},[57,999,1001],{"href":1000},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertccon52cpp.html","CERT C++: CON52-CPP",[766,1003,1004],{},"Checks for data races (rule partially covered)",[49,1006,1008],{"id":1007},"related-vulnerabilities","Related Vulnerabilities",[39,1010,1011,1012,1016,1017,1023],{},"Search for ",[57,1013,1015],{"href":1014},"\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions#BB.Definitions-vulnerability","vulnerabilities"," resulting from the violation of this rule on the ",[57,1018,1022],{"href":1019,"rel":1020},"https:\u002F\u002Fwww.kb.cert.org\u002Fvulnotes\u002Fbymetric?searchview&query=FIELD+KEYWORDS+contains+CON52-CPP",[1021],"nofollow","CERT website"," .",[49,1025,1027],{"id":1026},"related-guidelines","Related Guidelines",[727,1029,1030,1038],{},[731,1031,1032],{},[735,1033,1034,1036],{},[739,1035],{},[739,1037],{},[761,1039,1040],{},[735,1041,1042,1047],{},[766,1043,1044],{},[57,1045,1046],{"href":17},"SEI CERT C Coding Standard",[766,1048,1049],{},[57,1050,1052],{"href":1051},"\u002Fsei-cert-c-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon32-c","CON32-C. Prevent data races when accessing bit-fields from multiple threads",[49,1054,1056],{"id":1055},"bibliography","Bibliography",[727,1058,1059,1067],{},[731,1060,1061],{},[735,1062,1063,1065],{},[739,1064],{},[739,1066],{},[761,1068,1069],{},[735,1070,1071,1075],{},[766,1072,698,1073,707],{},[57,1074,691],{"href":690},[766,1076,1077],{},"Subclause 1.7, \"The C++ memory model\"",[1079,1080],"hr",{},[39,1082,1083,1090,1091,1090,1097],{},[57,1084,1086],{"href":1085},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon51-cpp",[1087,1088],"img",{"src":1089},"\u002Fattachments\u002F87152044\u002F88034188.png"," ",[57,1092,1094],{"href":1093},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002F",[1087,1095],{"src":1096},"\u002Fattachments\u002F87152044\u002F88034190.png",[57,1098,1100],{"href":1099},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon53-cpp",[1087,1101],{"src":1102},"\u002Fattachments\u002F87152044\u002F88034189.png",[1104,1105,1106],"style",{},"html pre.shiki code .sq6CD, html code.shiki .sq6CD{--shiki-default:#D73A49;--shiki-default-font-style:inherit;--shiki-dark:#F97583;--shiki-dark-font-style:inherit;--shiki-sepia:#66D9EF;--shiki-sepia-font-style:italic}html pre.shiki code .sMOD_, html code.shiki .sMOD_{--shiki-default:#24292E;--shiki-dark:#E1E4E8;--shiki-sepia:#F8F8F2}html pre.shiki code .s7F3e, html code.shiki .s7F3e{--shiki-default:#005CC5;--shiki-dark:#79B8FF;--shiki-sepia:#AE81FF}html pre.shiki code .srTi1, html code.shiki .srTi1{--shiki-default:#6F42C1;--shiki-dark:#B392F0;--shiki-sepia:#A6E22E}html pre.shiki code .sC2Qs, html code.shiki .sC2Qs{--shiki-default:#D73A49;--shiki-dark:#F97583;--shiki-sepia:#F92672}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}",{"title":72,"searchDepth":91,"depth":91,"links":1108},[1109,1110,1111,1112,1113,1114,1115,1116],{"id":51,"depth":91,"text":52},{"id":389,"depth":91,"text":390},{"id":584,"depth":91,"text":585},{"id":721,"depth":91,"text":722},{"id":794,"depth":91,"text":795},{"id":1007,"depth":91,"text":1008},{"id":1026,"depth":91,"text":1027},{"id":1055,"depth":91,"text":1056},"md",{"tags":1119},[1120,1121,1122,1123,1124,1125,1126],"nptc-thread","review-dms","rule","review-ajb","android-unknown","nptc","con","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon52-cpp",{"title":30,"description":41},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F4.con52-cpp","Qz6idQ3PuVdDRwK0yx63do5O42yBAct4I3Trhic9LjM",[1132,1135],{"title":1133,"path":1085,"stem":1134,"children":-1},"CON51-CPP. Ensure actively held locks are released on exceptional conditions","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F3.con51-cpp",{"title":1136,"path":1099,"stem":1137,"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",[1139],{"title":1140,"path":1141,"stem":1142,"children":1143},"SEI CERT C++ Coding Standard","\u002Fsei-cert-cpp-coding-standard","5.sei-cert-cpp-coding-standard\u002F1.index",[1144,1145,1212,1607,1820,1830],{"title":1140,"path":1141,"stem":1142},{"title":1146,"path":1147,"stem":1148,"children":1149},"Front Matter","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F1.index",[1150,1151],{"title":1146,"path":1147,"stem":1148},{"title":1152,"path":1153,"stem":1154,"children":1155},"Introduction","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F01.index",[1156,1157,1161,1165,1169,1173,1177,1181,1185,1189,1193,1197,1201,1205,1209],{"title":1152,"path":1153,"stem":1154},{"title":1158,"path":1159,"stem":1160},"Scope","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fscope","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F02.scope",{"title":1162,"path":1163,"stem":1164},"Audience","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Faudience","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F03.audience",{"title":1166,"path":1167,"stem":1168},"Usage","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fusage","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F04.usage",{"title":1170,"path":1171,"stem":1172},"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":1174,"path":1175,"stem":1176},"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":1178,"path":1179,"stem":1180},"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":1182,"path":1183,"stem":1184},"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":1186,"path":1187,"stem":1188},"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":1190,"path":1191,"stem":1192},"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":1194,"path":1195,"stem":1196},"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":1198,"path":1199,"stem":1200},"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":1202,"path":1203,"stem":1204},"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":1206,"path":1207,"stem":1208},"Acknowledgments","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Facknowledgments","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F14.acknowledgments",{"title":795,"path":1210,"stem":1211},"\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":1213,"path":1214,"stem":1215,"children":1216},"Rules","\u002Fsei-cert-cpp-coding-standard\u002Frules","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F01.index",[1217,1218,1240,1265,1307,1357,1415,1477,1491,1501,1539,1565],{"title":1213,"path":1214,"stem":1215},{"title":1219,"path":1220,"stem":1221,"children":1222},"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",[1223,1224,1228,1232,1236],{"title":1219,"path":1220,"stem":1221},{"title":1225,"path":1226,"stem":1227},"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":1229,"path":1230,"stem":1231},"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":1233,"path":1234,"stem":1235},"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":1237,"path":1238,"stem":1239},"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":1241,"path":1242,"stem":1243,"children":1244},"Concurrency (CON)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F1.index",[1245,1246,1250,1251,1252,1253,1257,1261],{"title":1241,"path":1242,"stem":1243},{"title":1247,"path":1248,"stem":1249},"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":1133,"path":1085,"stem":1134},{"title":30,"path":1127,"stem":1129},{"title":1136,"path":1099,"stem":1137},{"title":1254,"path":1255,"stem":1256},"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":1258,"path":1259,"stem":1260},"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":1262,"path":1263,"stem":1264},"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":1266,"path":1267,"stem":1268,"children":1269},"Containers (CTR)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F01.index",[1270,1271,1275,1279,1283,1287,1291,1295,1299,1303],{"title":1266,"path":1267,"stem":1268},{"title":1272,"path":1273,"stem":1274},"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":1276,"path":1277,"stem":1278},"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":1280,"path":1281,"stem":1282},"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":1284,"path":1285,"stem":1286},"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":1288,"path":1289,"stem":1290},"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":1292,"path":1293,"stem":1294},"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":1296,"path":1297,"stem":1298},"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":1300,"path":1301,"stem":1302},"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":1304,"path":1305,"stem":1306},"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":1308,"path":1309,"stem":1310,"children":1311},"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",[1312,1313,1317,1321,1325,1329,1333,1337,1341,1345,1349,1353],{"title":1308,"path":1309,"stem":1310},{"title":1314,"path":1315,"stem":1316},"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":1318,"path":1319,"stem":1320},"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":1322,"path":1323,"stem":1324},"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":1326,"path":1327,"stem":1328},"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":1330,"path":1331,"stem":1332},"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":1334,"path":1335,"stem":1336},"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":1338,"path":1339,"stem":1340},"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":1342,"path":1343,"stem":1344},"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":1346,"path":1347,"stem":1348},"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":1350,"path":1351,"stem":1352},"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":1354,"path":1355,"stem":1356},"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":1358,"path":1359,"stem":1360,"children":1361},"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",[1362,1363,1367,1371,1375,1379,1383,1387,1391,1395,1399,1403,1407,1411],{"title":1358,"path":1359,"stem":1360},{"title":1364,"path":1365,"stem":1366},"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":1368,"path":1369,"stem":1370},"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":1372,"path":1373,"stem":1374},"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":1376,"path":1377,"stem":1378},"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":1380,"path":1381,"stem":1382},"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":1384,"path":1385,"stem":1386},"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":1388,"path":1389,"stem":1390},"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":1392,"path":1393,"stem":1394},"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":1396,"path":1397,"stem":1398},"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":1400,"path":1401,"stem":1402},"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":1404,"path":1405,"stem":1406},"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":1408,"path":1409,"stem":1410},"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":1412,"path":1413,"stem":1414},"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":1416,"path":1417,"stem":1418,"children":1419},"Expressions (EXP)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F01.index",[1420,1421,1425,1429,1433,1437,1441,1445,1449,1453,1457,1461,1465,1469,1473],{"title":1416,"path":1417,"stem":1418},{"title":1422,"path":1423,"stem":1424},"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":1426,"path":1427,"stem":1428},"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":1430,"path":1431,"stem":1432},"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":1434,"path":1435,"stem":1436},"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":1438,"path":1439,"stem":1440},"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":1442,"path":1443,"stem":1444},"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":1446,"path":1447,"stem":1448},"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":1450,"path":1451,"stem":1452},"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":1454,"path":1455,"stem":1456},"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":1458,"path":1459,"stem":1460},"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":1462,"path":1463,"stem":1464},"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":1466,"path":1467,"stem":1468},"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":1470,"path":1471,"stem":1472},"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":1474,"path":1475,"stem":1476},"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":1478,"path":1479,"stem":1480,"children":1481},"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",[1482,1483,1487],{"title":1478,"path":1479,"stem":1480},{"title":1484,"path":1485,"stem":1486},"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":1488,"path":1489,"stem":1490},"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":1492,"path":1493,"stem":1494,"children":1495},"Integers (INT)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fintegers-int","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F09.integers-int\u002F1.index",[1496,1497],{"title":1492,"path":1493,"stem":1494},{"title":1498,"path":1499,"stem":1500},"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":1502,"path":1503,"stem":1504,"children":1505},"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",[1506,1507,1511,1515,1519,1523,1527,1531,1535],{"title":1502,"path":1503,"stem":1504},{"title":1508,"path":1509,"stem":1510},"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":1512,"path":1513,"stem":1514},"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":1516,"path":1517,"stem":1518},"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":1520,"path":1521,"stem":1522},"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":1524,"path":1525,"stem":1526},"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":1528,"path":1529,"stem":1530},"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":1532,"path":1533,"stem":1534},"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":1536,"path":1537,"stem":1538},"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":1540,"path":1541,"stem":1542,"children":1543},"Miscellaneous (MSC)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F1.index",[1544,1545,1549,1553,1557,1561],{"title":1540,"path":1541,"stem":1542},{"title":1546,"path":1547,"stem":1548},"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":1550,"path":1551,"stem":1552},"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":1554,"path":1555,"stem":1556},"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":1558,"path":1559,"stem":1560},"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":1562,"path":1563,"stem":1564},"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":1566,"path":1567,"stem":1568,"children":1569},"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",[1570,1571,1575,1579,1583,1587,1591,1595,1599,1603],{"title":1566,"path":1567,"stem":1568},{"title":1572,"path":1573,"stem":1574},"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":1576,"path":1577,"stem":1578},"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":1580,"path":1581,"stem":1582},"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":1584,"path":1585,"stem":1586},"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":1588,"path":1589,"stem":1590},"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":1592,"path":1593,"stem":1594},"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":1596,"path":1597,"stem":1598},"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":1600,"path":1601,"stem":1602},"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":1604,"path":1605,"stem":1606},"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":1608,"path":1609,"stem":1610,"children":1611},"Back Matter","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F1.index",[1612,1613,1617,1621,1802,1816],{"title":1608,"path":1609,"stem":1610},{"title":1614,"path":1615,"stem":1616},"AA. Bibliography","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F2.aa-bibliography",{"title":1618,"path":1619,"stem":1620},"BB. Definitions","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F3.bb-definitions",{"title":1622,"path":1623,"stem":1624,"children":1625},"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",[1626,1627,1629,1633,1635,1639,1643,1647,1651,1655,1659,1663,1667,1669,1673,1675,1679,1683,1687,1691,1695,1699,1703,1705,1709,1713,1717,1721,1725,1728,1732,1734,1738,1742,1746,1750,1754,1758,1762,1766,1770,1774,1778,1782,1786,1790,1794,1798],{"title":1622,"path":1623,"stem":1624},{"title":827,"path":826,"stem":1628},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F02.astree",{"title":1630,"path":1631,"stem":1632},"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":862,"path":861,"stem":1634},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F04.axivion-bauhaus-suite",{"title":1636,"path":1637,"stem":1638},"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":1640,"path":1641,"stem":1642},"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":1644,"path":1645,"stem":1646},"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":1648,"path":1649,"stem":1650},"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":1652,"path":1653,"stem":1654},"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":1656,"path":1657,"stem":1658},"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":1660,"path":1661,"stem":1662},"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":1664,"path":1665,"stem":1666},"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":888,"path":887,"stem":1668},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F13.codesonar",{"title":1670,"path":1671,"stem":1672},"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":917,"path":916,"stem":1674},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F15.coverity",{"title":1676,"path":1677,"stem":1678},"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":1680,"path":1681,"stem":1682},"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":1684,"path":1685,"stem":1686},"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":1688,"path":1689,"stem":1690},"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":1692,"path":1693,"stem":1694},"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":1696,"path":1697,"stem":1698},"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":1700,"path":1701,"stem":1702},"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":937,"path":936,"stem":1704},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F23.helix-qac",{"title":1706,"path":1707,"stem":1708},"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":1710,"path":1711,"stem":1712},"Klocwork","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fklocwork","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F25.klocwork",{"title":1714,"path":1715,"stem":1716},"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":1718,"path":1719,"stem":1720},"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":1722,"path":1723,"stem":1724},"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":1726,"path":962,"stem":1727},"Parasoft","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F29.parasoft",{"title":1729,"path":1730,"stem":1731},"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":987,"path":986,"stem":1733},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F31.polyspace-bug-finder",{"title":1735,"path":1736,"stem":1737},"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":1739,"path":1740,"stem":1741},"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":1743,"path":1744,"stem":1745},"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":1747,"path":1748,"stem":1749},"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":1751,"path":1752,"stem":1753},"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":1755,"path":1756,"stem":1757},"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":1759,"path":1760,"stem":1761},"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":1763,"path":1764,"stem":1765},"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":1767,"path":1768,"stem":1769},"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":1771,"path":1772,"stem":1773},"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":1775,"path":1776,"stem":1777},"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":1779,"path":1780,"stem":1781},"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":1783,"path":1784,"stem":1785},"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":1787,"path":1788,"stem":1789},"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":1791,"path":1792,"stem":1793},"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":1795,"path":1796,"stem":1797},"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":1799,"path":1800,"stem":1801},"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":1803,"path":1804,"stem":1805,"children":1806},"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",[1807,1808,1812],{"title":1803,"path":1804,"stem":1805},{"title":1809,"path":1810,"stem":1811},"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":1813,"path":1814,"stem":1815},"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":1817,"path":1818,"stem":1819},"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":1821,"path":1822,"stem":1823,"children":1824},"Admin","\u002Fsei-cert-cpp-coding-standard\u002Fadmin","5.sei-cert-cpp-coding-standard\u002F5.admin\u002F1.index",[1825,1826],{"title":1821,"path":1822,"stem":1823},{"title":1827,"path":1828,"stem":1829},"TODO List","\u002Fsei-cert-cpp-coding-standard\u002Fadmin\u002Ftodo-list","5.sei-cert-cpp-coding-standard\u002F5.admin\u002F2.todo-list",{"title":1831,"path":1832,"stem":1833},"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",1775657778732]