[{"data":1,"prerenderedAt":4281},["ShallowReactive",2],{"global-navigation":3,"page-\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fconcurrency-con\u002Fcon07-c":28,"surround-\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fconcurrency-con\u002Fcon07-c":2481,"sidebar-sei-cert-c-coding-standard":2488},[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":2469,"extension":2470,"meta":2471,"navigation":7,"path":2477,"seo":2478,"stem":2479,"__hash__":2480},"content\u002F4.sei-cert-c-coding-standard\u002F08.recommendations\u002F05.concurrency-con\u002F08.con07-c.md","CON07-C. Ensure that compound operations on shared variables are atomic",{"type":32,"value":33,"toc":2454},"minimark",[34,38,87,92,107,240,251,264,434,448,452,458,792,813,957,969,977,983,1177,1184,1188,1210,1321,1371,1374,1382,1562,1587,1593,1596,1789,1792,1795,1803,2124,2130,2134,2137,2197,2202,2333,2337,2397,2401,2426,2429,2450],[35,36,30],"h1",{"id":37},"con07-c-ensure-that-compound-operations-on-shared-variables-are-atomic",[39,40,41,42,46,47,50,51,54,55,54,58,54,61,54,64,54,67,54,70,54,73,76,77,80,81,86],"p",{},"Compound operations are operations that consist of more than one discrete operation. Expressions that include postfix or prefix increment ( ",[43,44,45],"code",{},"++"," ), postfix or prefix decrement ( ",[43,48,49],{},"--"," ), or compound assignment operators always result in compound operations. Compound assignment expressions use operators such as ",[43,52,53],{},"*="," , ",[43,56,57],{},"\u002F=",[43,59,60],{},"%=",[43,62,63],{},"+=",[43,65,66],{},"-=",[43,68,69],{},"\u003C\u003C=",[43,71,72],{},">>=",[43,74,75],{},"^="," , and ",[43,78,79],{},"|="," . Compound operations on shared variables must be performed atomically to prevent ",[82,83,85],"a",{"href":84},"\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fbb-definitions#BB.Definitions-datarace","data races"," .",[88,89,91],"h2",{"id":90},"noncompliant-code-example-logical-negation","Noncompliant Code Example (Logical Negation)",[39,93,94,95,98,99,102,103,106],{},"This noncompliant code example declares a shared ",[43,96,97],{},"_Bool``  flag"," variable and provides a ",[43,100,101],{},"  toggle_flag()"," method that negates the current value of ",[43,104,105],{},"  flag"," :",[108,109,111],"code-block",{"quality":110},"bad",[112,113,118],"pre",{"className":114,"code":115,"language":116,"meta":117,"style":117},"language-c shiki shiki-themes github-light github-dark monokai","#include \u003Cstdbool.h>\n \nstatic bool flag = false;\n \nvoid toggle_flag(void) {\n  flag = !flag;\n}\n \nbool get_flag(void) {\n  return flag;\n}\n","c","",[43,119,120,133,140,163,168,186,200,206,211,226,235],{"__ignoreMap":117},[121,122,125,129],"span",{"class":123,"line":124},"line",1,[121,126,128],{"class":127},"sC2Qs","#include",[121,130,132],{"class":131},"sstjo"," \u003Cstdbool.h>\n",[121,134,136],{"class":123,"line":135},2,[121,137,139],{"class":138},"sMOD_"," \n",[121,141,143,146,150,153,156,160],{"class":123,"line":142},3,[121,144,145],{"class":127},"static",[121,147,149],{"class":148},"sq6CD"," bool",[121,151,152],{"class":138}," flag ",[121,154,155],{"class":127},"=",[121,157,159],{"class":158},"s7F3e"," false",[121,161,162],{"class":138},";\n",[121,164,166],{"class":123,"line":165},4,[121,167,139],{"class":138},[121,169,171,174,178,181,183],{"class":123,"line":170},5,[121,172,173],{"class":148},"void",[121,175,177],{"class":176},"srTi1"," toggle_flag",[121,179,180],{"class":138},"(",[121,182,173],{"class":148},[121,184,185],{"class":138},") {\n",[121,187,189,192,194,197],{"class":123,"line":188},6,[121,190,191],{"class":138},"  flag ",[121,193,155],{"class":127},[121,195,196],{"class":127}," !",[121,198,199],{"class":138},"flag;\n",[121,201,203],{"class":123,"line":202},7,[121,204,205],{"class":138},"}\n",[121,207,209],{"class":123,"line":208},8,[121,210,139],{"class":138},[121,212,214,217,220,222,224],{"class":123,"line":213},9,[121,215,216],{"class":148},"bool",[121,218,219],{"class":176}," get_flag",[121,221,180],{"class":138},[121,223,173],{"class":148},[121,225,185],{"class":138},[121,227,229,232],{"class":123,"line":228},10,[121,230,231],{"class":127},"  return",[121,233,234],{"class":138}," flag;\n",[121,236,238],{"class":123,"line":237},11,[121,239,205],{"class":138},[39,241,242,243,246,247,250],{},"Execution of this code may result in a ",[82,244,245],{"href":84},"data race"," because the value of ",[43,248,249],{},"flag"," is read, negated, and written back.",[39,252,253,254,257,258,260,261,263],{},"Consider, for example, two threads that call ",[43,255,256],{},"toggle_flag()"," . The expected effect of toggling ",[43,259,249],{}," twice is that it is restored to its original value. However, the following scenario leaves ",[43,262,249],{}," in the incorrect state:",[265,266,267,282],"table",{},[268,269,270],"thead",{},[271,272,273,276,278,280],"tr",{},[274,275],"th",{},[274,277],{},[274,279],{},[274,281],{},[283,284,285,302,330,353,374,394,414],"tbody",{},[271,286,287,291,296,299],{},[288,289,290],"td",{},"Time",[288,292,293],{},[43,294,295],{},"flag=",[288,297,298],{},"Thread",[288,300,301],{},"Action",[271,303,304,307,312,322],{},[288,305,306],{},"1",[288,308,309],{},[43,310,311],{},"true",[288,313,314,318,319],{},[315,316,317],"em",{},"t"," ",[320,321,306],"sub",{},[288,323,324,325,54,327,329],{},"Reads the current value of ",[43,326,249],{},[43,328,311],{}," , into a cache",[271,331,332,335,339,345],{},[288,333,334],{},"2",[288,336,337],{},[43,338,311],{},[288,340,341,318,343],{},[315,342,317],{},[320,344,334],{},[288,346,324,347,349,350,352],{},[43,348,249],{}," , (still) ",[43,351,311],{}," , into a different cache",[271,354,355,358,362,368],{},[288,356,357],{},"3",[288,359,360],{},[43,361,311],{},[288,363,364,318,366],{},[315,365,317],{},[320,367,306],{},[288,369,370,371],{},"Toggles the temporary variable in the cache to ",[43,372,373],{},"false",[271,375,376,379,383,389],{},[288,377,378],{},"4",[288,380,381],{},[43,382,311],{},[288,384,385,318,387],{},[315,386,317],{},[320,388,334],{},[288,390,391,392],{},"Toggles the temporary variable in the different cache to ",[43,393,373],{},[271,395,396,399,403,409],{},[288,397,398],{},"5",[288,400,401],{},[43,402,373],{},[288,404,405,318,407],{},[315,406,317],{},[320,408,306],{},[288,410,411,412],{},"Writes the cache variable's value to ",[43,413,249],{},[271,415,416,419,423,429],{},[288,417,418],{},"6",[288,420,421],{},[43,422,373],{},[288,424,425,318,427],{},[315,426,317],{},[320,428,334],{},[288,430,431,432],{},"Writes the different cache variable's value to ",[43,433,249],{},[39,435,436,437,318,439,441,442,444,445,447],{},"As a result, the effect of the call by ",[315,438,317],{},[320,440,334],{}," is not reflected in ",[43,443,249],{}," ; the program behaves as if ",[43,446,256],{}," was called only once, not twice.",[88,449,451],{"id":450},"compliant-solution-mutex","Compliant Solution (Mutex)",[39,453,454,455,457],{},"This compliant solution restricts access to ",[43,456,249],{}," under a mutex lock:",[108,459,461],{"quality":460},"good",[112,462,464],{"className":114,"code":463,"language":116,"meta":117,"style":117},"#include \u003Cthreads.h>\n#include \u003Cstdbool.h>\n \nstatic bool flag = false;\nmtx_t flag_mutex;\n\n\u002F* Initialize flag_mutex *\u002F\nbool init_mutex(int type) {\n  \u002F* Check mutex type *\u002F\n  if (thrd_success != mtx_init(&flag_mutex, type)) {\n    return false;  \u002F* Report error *\u002F\n  }\n  return true;\n}\n \nvoid toggle_flag(void) {\n  if (thrd_success != mtx_lock(&flag_mutex)) {\n    \u002F* Handle error *\u002F\n  }\n  flag = !flag;\n  if (thrd_success != mtx_unlock(&flag_mutex)) {\n    \u002F* Handle error *\u002F\n  }\n}\n \nbool get_flag(void) {\n  bool temp_flag;\n  if (thrd_success != mtx_lock(&flag_mutex)) {\n    \u002F* Handle error *\u002F\n  }\n  temp_flag = flag;\n  if (thrd_success != mtx_unlock(&flag_mutex)) {\n    \u002F* Handle error *\u002F\n  }\n  return temp_flag;\n}\n",[43,465,466,473,479,484,498,507,512,518,536,541,563,576,582,592,597,602,615,634,640,645,656,674,679,684,689,694,707,716,733,738,743,753,770,775,780,787],{"__ignoreMap":117},[121,467,468,470],{"class":123,"line":124},[121,469,128],{"class":127},[121,471,472],{"class":131}," \u003Cthreads.h>\n",[121,474,475,477],{"class":123,"line":135},[121,476,128],{"class":127},[121,478,132],{"class":131},[121,480,481],{"class":123,"line":142},[121,482,483],{"class":138}," \n",[121,485,486,488,490,492,494,496],{"class":123,"line":165},[121,487,145],{"class":127},[121,489,149],{"class":148},[121,491,152],{"class":138},[121,493,155],{"class":127},[121,495,159],{"class":158},[121,497,162],{"class":138},[121,499,500,504],{"class":123,"line":170},[121,501,503],{"class":502},"s-m8C","mtx_t",[121,505,506],{"class":138}," flag_mutex;\n",[121,508,509],{"class":123,"line":188},[121,510,511],{"emptyLinePlaceholder":7},"\n",[121,513,514],{"class":123,"line":202},[121,515,517],{"class":516},"s8-w5","\u002F* Initialize flag_mutex *\u002F\n",[121,519,520,522,525,527,530,534],{"class":123,"line":208},[121,521,216],{"class":148},[121,523,524],{"class":176}," init_mutex",[121,526,180],{"class":138},[121,528,529],{"class":148},"int",[121,531,533],{"class":532},"sTHNf"," type",[121,535,185],{"class":138},[121,537,538],{"class":123,"line":213},[121,539,540],{"class":516},"  \u002F* Check mutex type *\u002F\n",[121,542,543,546,549,552,555,557,560],{"class":123,"line":228},[121,544,545],{"class":127},"  if",[121,547,548],{"class":138}," (thrd_success ",[121,550,551],{"class":127},"!=",[121,553,554],{"class":176}," mtx_init",[121,556,180],{"class":138},[121,558,559],{"class":127},"&",[121,561,562],{"class":138},"flag_mutex, type)) {\n",[121,564,565,568,570,573],{"class":123,"line":237},[121,566,567],{"class":127},"    return",[121,569,159],{"class":158},[121,571,572],{"class":138},";",[121,574,575],{"class":516},"  \u002F* Report error *\u002F\n",[121,577,579],{"class":123,"line":578},12,[121,580,581],{"class":138},"  }\n",[121,583,585,587,590],{"class":123,"line":584},13,[121,586,231],{"class":127},[121,588,589],{"class":158}," true",[121,591,162],{"class":138},[121,593,595],{"class":123,"line":594},14,[121,596,205],{"class":138},[121,598,600],{"class":123,"line":599},15,[121,601,139],{"class":138},[121,603,605,607,609,611,613],{"class":123,"line":604},16,[121,606,173],{"class":148},[121,608,177],{"class":176},[121,610,180],{"class":138},[121,612,173],{"class":148},[121,614,185],{"class":138},[121,616,618,620,622,624,627,629,631],{"class":123,"line":617},17,[121,619,545],{"class":127},[121,621,548],{"class":138},[121,623,551],{"class":127},[121,625,626],{"class":176}," mtx_lock",[121,628,180],{"class":138},[121,630,559],{"class":127},[121,632,633],{"class":138},"flag_mutex)) {\n",[121,635,637],{"class":123,"line":636},18,[121,638,639],{"class":516},"    \u002F* Handle error *\u002F\n",[121,641,643],{"class":123,"line":642},19,[121,644,581],{"class":138},[121,646,648,650,652,654],{"class":123,"line":647},20,[121,649,191],{"class":138},[121,651,155],{"class":127},[121,653,196],{"class":127},[121,655,199],{"class":138},[121,657,659,661,663,665,668,670,672],{"class":123,"line":658},21,[121,660,545],{"class":127},[121,662,548],{"class":138},[121,664,551],{"class":127},[121,666,667],{"class":176}," mtx_unlock",[121,669,180],{"class":138},[121,671,559],{"class":127},[121,673,633],{"class":138},[121,675,677],{"class":123,"line":676},22,[121,678,639],{"class":516},[121,680,682],{"class":123,"line":681},23,[121,683,581],{"class":138},[121,685,687],{"class":123,"line":686},24,[121,688,205],{"class":138},[121,690,692],{"class":123,"line":691},25,[121,693,139],{"class":138},[121,695,697,699,701,703,705],{"class":123,"line":696},26,[121,698,216],{"class":148},[121,700,219],{"class":176},[121,702,180],{"class":138},[121,704,173],{"class":148},[121,706,185],{"class":138},[121,708,710,713],{"class":123,"line":709},27,[121,711,712],{"class":148},"  bool",[121,714,715],{"class":138}," temp_flag;\n",[121,717,719,721,723,725,727,729,731],{"class":123,"line":718},28,[121,720,545],{"class":127},[121,722,548],{"class":138},[121,724,551],{"class":127},[121,726,626],{"class":176},[121,728,180],{"class":138},[121,730,559],{"class":127},[121,732,633],{"class":138},[121,734,736],{"class":123,"line":735},29,[121,737,639],{"class":516},[121,739,741],{"class":123,"line":740},30,[121,742,581],{"class":138},[121,744,746,749,751],{"class":123,"line":745},31,[121,747,748],{"class":138},"  temp_flag ",[121,750,155],{"class":127},[121,752,234],{"class":138},[121,754,756,758,760,762,764,766,768],{"class":123,"line":755},32,[121,757,545],{"class":127},[121,759,548],{"class":138},[121,761,551],{"class":127},[121,763,667],{"class":176},[121,765,180],{"class":138},[121,767,559],{"class":127},[121,769,633],{"class":138},[121,771,773],{"class":123,"line":772},33,[121,774,639],{"class":516},[121,776,778],{"class":123,"line":777},34,[121,779,581],{"class":138},[121,781,783,785],{"class":123,"line":782},35,[121,784,231],{"class":127},[121,786,715],{"class":138},[121,788,790],{"class":123,"line":789},36,[121,791,205],{"class":138},[39,793,794,795,797,798,801,802,804,805,807,808,318,810,812],{},"This solution guards reads and writes to the ",[43,796,249],{}," field with a lock on the ",[43,799,800],{},"flag_mutex"," . This lock ensures that changes to ",[43,803,249],{}," are visible to all threads. Now, only two execution orders are possible. In one execution order, t ",[320,806,306],{}," obtains the mutex and completes the operation before ",[315,809,317],{},[320,811,334],{}," can acquire the mutex, as shown here:",[265,814,815,827],{},[268,816,817],{},[271,818,819,821,823,825],{},[274,820],{},[274,822],{},[274,824],{},[274,826],{},[283,828,829,841,862,881,899,920,939],{},[271,830,831,833,837,839],{},[288,832,290],{},[288,834,835],{},[43,836,295],{},[288,838,298],{},[288,840,301],{},[271,842,843,845,849,855],{},[288,844,306],{},[288,846,847],{},[43,848,311],{},[288,850,851,318,853],{},[315,852,317],{},[320,854,306],{},[288,856,324,857,54,859,861],{},[43,858,249],{},[43,860,311],{}," , into a cache variable",[271,863,864,866,870,876],{},[288,865,334],{},[288,867,868],{},[43,869,311],{},[288,871,872,318,874],{},[315,873,317],{},[320,875,306],{},[288,877,878,879],{},"Toggles the cache variable to ",[43,880,373],{},[271,882,883,885,889,895],{},[288,884,357],{},[288,886,887],{},[43,888,373],{},[288,890,891,318,893],{},[315,892,317],{},[320,894,306],{},[288,896,411,897],{},[43,898,249],{},[271,900,901,903,907,913],{},[288,902,378],{},[288,904,905],{},[43,906,373],{},[288,908,909,318,911],{},[315,910,317],{},[320,912,334],{},[288,914,324,915,54,917,919],{},[43,916,249],{},[43,918,373],{}," , into a different cache variable",[271,921,922,924,928,934],{},[288,923,398],{},[288,925,926],{},[43,927,373],{},[288,929,930,318,932],{},[315,931,317],{},[320,933,334],{},[288,935,936,937],{},"Toggles the different cache variable to ",[43,938,311],{},[271,940,941,943,947,953],{},[288,942,418],{},[288,944,945],{},[43,946,311],{},[288,948,949,318,951],{},[315,950,317],{},[320,952,334],{},[288,954,431,955],{},[43,956,249],{},[39,958,959,960,318,962,964,965,318,967,86],{},"The other execution order is similar, except that ",[315,961,317],{},[320,963,334],{}," starts and finishes before ",[315,966,317],{},[320,968,306],{},[88,970,972,973,976],{"id":971},"compliant-solution-atomic_compare_exchange_weak","Compliant Solution ( ",[43,974,975],{},"atomic_compare_exchange_weak()"," )",[39,978,979,980,982],{},"This compliant solution uses atomic variables and a compare-and-exchange operation to guarantee that the correct value is stored in ",[43,981,249],{}," . All updates are visible to other threads.",[108,984,985],{"quality":460},[112,986,988],{"className":114,"code":987,"language":116,"meta":117,"style":117},"#include \u003Cstdatomic.h>\n#include \u003Cstdbool.h>\n \nstatic atomic_bool flag;\n\nvoid init_flag(void) {\n  atomic_init(&flag, false);\n}\nvoid toggle_flag(void) {\n  bool old_flag = atomic_load(&flag);\n  bool new_flag;\n  do {\n    new_flag = !old_flag;\n  } while (!atomic_compare_exchange_weak(&flag, &old_flag, new_flag));\n}\n  \nbool get_flag(void) {\n  return atomic_load(&flag);\n}\n",[43,989,990,997,1003,1007,1016,1020,1033,1050,1054,1066,1085,1092,1100,1112,1140,1144,1149,1161,1173],{"__ignoreMap":117},[121,991,992,994],{"class":123,"line":124},[121,993,128],{"class":127},[121,995,996],{"class":131}," \u003Cstdatomic.h>\n",[121,998,999,1001],{"class":123,"line":135},[121,1000,128],{"class":127},[121,1002,132],{"class":131},[121,1004,1005],{"class":123,"line":142},[121,1006,483],{"class":138},[121,1008,1009,1011,1014],{"class":123,"line":165},[121,1010,145],{"class":127},[121,1012,1013],{"class":148}," atomic_bool",[121,1015,234],{"class":138},[121,1017,1018],{"class":123,"line":170},[121,1019,511],{"emptyLinePlaceholder":7},[121,1021,1022,1024,1027,1029,1031],{"class":123,"line":188},[121,1023,173],{"class":148},[121,1025,1026],{"class":176}," init_flag",[121,1028,180],{"class":138},[121,1030,173],{"class":148},[121,1032,185],{"class":138},[121,1034,1035,1038,1040,1042,1045,1047],{"class":123,"line":202},[121,1036,1037],{"class":176},"  atomic_init",[121,1039,180],{"class":138},[121,1041,559],{"class":127},[121,1043,1044],{"class":138},"flag, ",[121,1046,373],{"class":158},[121,1048,1049],{"class":138},");\n",[121,1051,1052],{"class":123,"line":208},[121,1053,205],{"class":138},[121,1055,1056,1058,1060,1062,1064],{"class":123,"line":213},[121,1057,173],{"class":148},[121,1059,177],{"class":176},[121,1061,180],{"class":138},[121,1063,173],{"class":148},[121,1065,185],{"class":138},[121,1067,1068,1070,1073,1075,1078,1080,1082],{"class":123,"line":228},[121,1069,712],{"class":148},[121,1071,1072],{"class":138}," old_flag ",[121,1074,155],{"class":127},[121,1076,1077],{"class":176}," atomic_load",[121,1079,180],{"class":138},[121,1081,559],{"class":127},[121,1083,1084],{"class":138},"flag);\n",[121,1086,1087,1089],{"class":123,"line":237},[121,1088,712],{"class":148},[121,1090,1091],{"class":138}," new_flag;\n",[121,1093,1094,1097],{"class":123,"line":578},[121,1095,1096],{"class":127},"  do",[121,1098,1099],{"class":138}," {\n",[121,1101,1102,1105,1107,1109],{"class":123,"line":584},[121,1103,1104],{"class":138},"    new_flag ",[121,1106,155],{"class":127},[121,1108,196],{"class":127},[121,1110,1111],{"class":138},"old_flag;\n",[121,1113,1114,1117,1120,1123,1126,1129,1131,1133,1135,1137],{"class":123,"line":594},[121,1115,1116],{"class":138},"  } ",[121,1118,1119],{"class":127},"while",[121,1121,1122],{"class":138}," (",[121,1124,1125],{"class":127},"!",[121,1127,1128],{"class":176},"atomic_compare_exchange_weak",[121,1130,180],{"class":138},[121,1132,559],{"class":127},[121,1134,1044],{"class":138},[121,1136,559],{"class":127},[121,1138,1139],{"class":138},"old_flag, new_flag));\n",[121,1141,1142],{"class":123,"line":599},[121,1143,205],{"class":138},[121,1145,1146],{"class":123,"line":604},[121,1147,1148],{"class":138},"  \n",[121,1150,1151,1153,1155,1157,1159],{"class":123,"line":617},[121,1152,216],{"class":148},[121,1154,219],{"class":176},[121,1156,180],{"class":138},[121,1158,173],{"class":148},[121,1160,185],{"class":138},[121,1162,1163,1165,1167,1169,1171],{"class":123,"line":636},[121,1164,231],{"class":127},[121,1166,1077],{"class":176},[121,1168,180],{"class":138},[121,1170,559],{"class":127},[121,1172,1084],{"class":138},[121,1174,1175],{"class":123,"line":642},[121,1176,205],{"class":138},[39,1178,1179,1180,1183],{},"An alternative solution is to use the ",[43,1181,1182],{},"atomic_flag"," data type for managing Boolean values atomically.",[88,1185,1187],{"id":1186},"noncompliant-code-example-addition-of-primitives","Noncompliant Code Example (Addition of Primitives)",[39,1189,1190,1191,1194,1195,1197,1198,1201,1202,1204,1205,1209],{},"In this noncompliant code example, multiple threads can invoke the ",[43,1192,1193],{},"set_values()"," method to set the ",[43,1196,82],{}," and ",[43,1199,1200],{},"b"," fields. Because this code fails to test for integer overflow, users of this code must also ensure that the arguments to the ",[43,1203,1193],{}," method can be added without overflow (see ",[82,1206,1208],{"href":1207},"\u002Fsei-cert-c-coding-standard\u002Frules\u002Fintegers-int\u002Fint32-c","INT32-C. Ensure that operations on signed integers do not result in overflow"," for more information).",[108,1211,1212],{"quality":110},[112,1213,1215],{"className":114,"code":1214,"language":116,"meta":117,"style":117},"static int a;\nstatic int b;\n \nint get_sum(void) {\n  return a + b;\n}\n \nvoid set_values(int new_a, int new_b) {\n  a = new_a;\n  b = new_b;\n}\n",[43,1216,1217,1227,1236,1240,1253,1265,1269,1273,1297,1307,1317],{"__ignoreMap":117},[121,1218,1219,1221,1224],{"class":123,"line":124},[121,1220,145],{"class":127},[121,1222,1223],{"class":148}," int",[121,1225,1226],{"class":138}," a;\n",[121,1228,1229,1231,1233],{"class":123,"line":135},[121,1230,145],{"class":127},[121,1232,1223],{"class":148},[121,1234,1235],{"class":138}," b;\n",[121,1237,1238],{"class":123,"line":142},[121,1239,139],{"class":138},[121,1241,1242,1244,1247,1249,1251],{"class":123,"line":165},[121,1243,529],{"class":148},[121,1245,1246],{"class":176}," get_sum",[121,1248,180],{"class":138},[121,1250,173],{"class":148},[121,1252,185],{"class":138},[121,1254,1255,1257,1260,1263],{"class":123,"line":170},[121,1256,231],{"class":127},[121,1258,1259],{"class":138}," a ",[121,1261,1262],{"class":127},"+",[121,1264,1235],{"class":138},[121,1266,1267],{"class":123,"line":188},[121,1268,205],{"class":138},[121,1270,1271],{"class":123,"line":202},[121,1272,139],{"class":138},[121,1274,1275,1277,1280,1282,1284,1287,1290,1292,1295],{"class":123,"line":208},[121,1276,173],{"class":148},[121,1278,1279],{"class":176}," set_values",[121,1281,180],{"class":138},[121,1283,529],{"class":148},[121,1285,1286],{"class":532}," new_a",[121,1288,1289],{"class":138},", ",[121,1291,529],{"class":148},[121,1293,1294],{"class":532}," new_b",[121,1296,185],{"class":138},[121,1298,1299,1302,1304],{"class":123,"line":213},[121,1300,1301],{"class":138},"  a ",[121,1303,155],{"class":127},[121,1305,1306],{"class":138}," new_a;\n",[121,1308,1309,1312,1314],{"class":123,"line":228},[121,1310,1311],{"class":138},"  b ",[121,1313,155],{"class":127},[121,1315,1316],{"class":138}," new_b;\n",[121,1318,1319],{"class":123,"line":237},[121,1320,205],{"class":138},[39,1322,1323,1324,1327,1328,1197,1330,1332,1333,1197,1336,1339,1340,1342,1343,1346,1347,1349,1350,1352,1353,1355,1356,1197,1358,1360,1361,1363,1364,1366,1367,1363,1369,86],{},"The ",[43,1325,1326],{},"get_sum()"," method contains a race condition. For example, when ",[43,1329,82],{},[43,1331,1200],{}," currently have the values ",[43,1334,1335],{},"0",[43,1337,1338],{},"INT_MAX"," , respectively, and one thread calls ",[43,1341,1326],{}," while another calls ",[43,1344,1345],{},"  set_values(INT_MAX, 0) "," , the ",[43,1348,1326],{}," method might return either ",[43,1351,1335],{}," or ",[43,1354,1338],{}," , or it might overflow. Overflow will occur when the first thread reads ",[43,1357,82],{},[43,1359,1200],{}," after the second thread has set the value of ",[43,1362,82],{}," to ",[43,1365,1338],{}," but before it has set the value of ",[43,1368,1200],{},[43,1370,1335],{},[39,1372,1373],{},"Noncompliant Code Example (Addition of Atomic Integers)",[39,1375,1376,1377,1197,1379,1381],{},"In this noncompliant code example, ",[43,1378,82],{},[43,1380,1200],{}," are replaced with atomic integers.",[108,1383,1384],{"quality":110},[112,1385,1387],{"className":114,"code":1386,"language":116,"meta":117,"style":117},"#include \u003Cstdatomic.h>\n\nstatic atomic_int a;\nstatic atomic_int b;\n\nvoid init_ab(void) {\n  atomic_init(&a, 0);\n  atomic_init(&b, 0);\n}\n\nint get_sum(void) {\n  return atomic_load(&a) + atomic_load(&b);\n}\n \nvoid set_values(int new_a, int new_b) {\n  atomic_store(&a, new_a);\n  atomic_store(&b, new_b);\n}\n",[43,1388,1389,1395,1399,1408,1416,1420,1433,1448,1463,1467,1471,1483,1507,1511,1515,1535,1547,1558],{"__ignoreMap":117},[121,1390,1391,1393],{"class":123,"line":124},[121,1392,128],{"class":127},[121,1394,996],{"class":131},[121,1396,1397],{"class":123,"line":135},[121,1398,511],{"emptyLinePlaceholder":7},[121,1400,1401,1403,1406],{"class":123,"line":142},[121,1402,145],{"class":127},[121,1404,1405],{"class":148}," atomic_int",[121,1407,1226],{"class":138},[121,1409,1410,1412,1414],{"class":123,"line":165},[121,1411,145],{"class":127},[121,1413,1405],{"class":148},[121,1415,1235],{"class":138},[121,1417,1418],{"class":123,"line":170},[121,1419,511],{"emptyLinePlaceholder":7},[121,1421,1422,1424,1427,1429,1431],{"class":123,"line":188},[121,1423,173],{"class":148},[121,1425,1426],{"class":176}," init_ab",[121,1428,180],{"class":138},[121,1430,173],{"class":148},[121,1432,185],{"class":138},[121,1434,1435,1437,1439,1441,1444,1446],{"class":123,"line":202},[121,1436,1037],{"class":176},[121,1438,180],{"class":138},[121,1440,559],{"class":127},[121,1442,1443],{"class":138},"a, ",[121,1445,1335],{"class":158},[121,1447,1049],{"class":138},[121,1449,1450,1452,1454,1456,1459,1461],{"class":123,"line":208},[121,1451,1037],{"class":176},[121,1453,180],{"class":138},[121,1455,559],{"class":127},[121,1457,1458],{"class":138},"b, ",[121,1460,1335],{"class":158},[121,1462,1049],{"class":138},[121,1464,1465],{"class":123,"line":213},[121,1466,205],{"class":138},[121,1468,1469],{"class":123,"line":228},[121,1470,511],{"emptyLinePlaceholder":7},[121,1472,1473,1475,1477,1479,1481],{"class":123,"line":237},[121,1474,529],{"class":148},[121,1476,1246],{"class":176},[121,1478,180],{"class":138},[121,1480,173],{"class":148},[121,1482,185],{"class":138},[121,1484,1485,1487,1489,1491,1493,1496,1498,1500,1502,1504],{"class":123,"line":578},[121,1486,231],{"class":127},[121,1488,1077],{"class":176},[121,1490,180],{"class":138},[121,1492,559],{"class":127},[121,1494,1495],{"class":138},"a) ",[121,1497,1262],{"class":127},[121,1499,1077],{"class":176},[121,1501,180],{"class":138},[121,1503,559],{"class":127},[121,1505,1506],{"class":138},"b);\n",[121,1508,1509],{"class":123,"line":584},[121,1510,205],{"class":138},[121,1512,1513],{"class":123,"line":594},[121,1514,139],{"class":138},[121,1516,1517,1519,1521,1523,1525,1527,1529,1531,1533],{"class":123,"line":599},[121,1518,173],{"class":148},[121,1520,1279],{"class":176},[121,1522,180],{"class":138},[121,1524,529],{"class":148},[121,1526,1286],{"class":532},[121,1528,1289],{"class":138},[121,1530,529],{"class":148},[121,1532,1294],{"class":532},[121,1534,185],{"class":138},[121,1536,1537,1540,1542,1544],{"class":123,"line":604},[121,1538,1539],{"class":176},"  atomic_store",[121,1541,180],{"class":138},[121,1543,559],{"class":127},[121,1545,1546],{"class":138},"a, new_a);\n",[121,1548,1549,1551,1553,1555],{"class":123,"line":617},[121,1550,1539],{"class":176},[121,1552,180],{"class":138},[121,1554,559],{"class":127},[121,1556,1557],{"class":138},"b, new_b);\n",[121,1559,1560],{"class":123,"line":636},[121,1561,205],{"class":138},[39,1563,1564,1565,1568,1569,1572,1573,1576,1577,1580,1581,1583,1584,1586],{},"The simple replacement of the two ",[43,1566,1567],{},"  int"," fields with atomic integers fails to eliminate the race condition in the sum because the compound operation ",[43,1570,1571],{},"  a.get() + b.get()"," is still non-atomic. While a sum of some value of ",[43,1574,1575],{},"  a"," and some value of ",[43,1578,1579],{},"  b"," will be returned, there is no guarantee that this value represents the sum of the values of ",[43,1582,1575],{},"and",[43,1585,1579],{}," at any particular moment.",[88,1588,972,1590,976],{"id":1589},"compliant-solution-_atomic-struct",[43,1591,1592],{},"  _Atomic struct ",[39,1594,1595],{},"This compliant solution uses an atomic struct, which guarantees that both numbers are read and written together.",[108,1597,1598],{"quality":460},[112,1599,1601],{"className":114,"code":1600,"language":116,"meta":117,"style":117},"#include \u003Cstdatomic.h>\n  \nstatic _Atomic struct ab_s {\n  int a, b;\n} ab;\n \nvoid init_ab(void) {\n  struct ab_s new_ab = {0, 0};\n  atomic_init(&ab, new_ab);\n}\n \nint get_sum(void) {\n  struct ab_s new_ab = atomic_load(&ab);\n  return new_ab.a + new_ab.b;\n}\n \nvoid set_values(int new_a, int new_b) {\n  struct ab_s new_ab = {new_a, new_b};\n  atomic_store(&ab, new_ab);\n}\n",[43,1602,1603,1609,1613,1626,1633,1638,1642,1654,1676,1687,1691,1695,1707,1724,1736,1740,1744,1764,1775,1785],{"__ignoreMap":117},[121,1604,1605,1607],{"class":123,"line":124},[121,1606,128],{"class":127},[121,1608,996],{"class":131},[121,1610,1611],{"class":123,"line":135},[121,1612,1148],{"class":138},[121,1614,1615,1617,1620,1623],{"class":123,"line":142},[121,1616,145],{"class":127},[121,1618,1619],{"class":138}," _Atomic ",[121,1621,1622],{"class":148},"struct",[121,1624,1625],{"class":138}," ab_s {\n",[121,1627,1628,1630],{"class":123,"line":165},[121,1629,1567],{"class":148},[121,1631,1632],{"class":138}," a, b;\n",[121,1634,1635],{"class":123,"line":170},[121,1636,1637],{"class":138},"} ab;\n",[121,1639,1640],{"class":123,"line":188},[121,1641,139],{"class":138},[121,1643,1644,1646,1648,1650,1652],{"class":123,"line":202},[121,1645,173],{"class":148},[121,1647,1426],{"class":176},[121,1649,180],{"class":138},[121,1651,173],{"class":148},[121,1653,185],{"class":138},[121,1655,1656,1659,1662,1664,1667,1669,1671,1673],{"class":123,"line":208},[121,1657,1658],{"class":148},"  struct",[121,1660,1661],{"class":138}," ab_s new_ab ",[121,1663,155],{"class":127},[121,1665,1666],{"class":138}," {",[121,1668,1335],{"class":158},[121,1670,1289],{"class":138},[121,1672,1335],{"class":158},[121,1674,1675],{"class":138},"};\n",[121,1677,1678,1680,1682,1684],{"class":123,"line":213},[121,1679,1037],{"class":176},[121,1681,180],{"class":138},[121,1683,559],{"class":127},[121,1685,1686],{"class":138},"ab, new_ab);\n",[121,1688,1689],{"class":123,"line":228},[121,1690,205],{"class":138},[121,1692,1693],{"class":123,"line":237},[121,1694,139],{"class":138},[121,1696,1697,1699,1701,1703,1705],{"class":123,"line":578},[121,1698,529],{"class":148},[121,1700,1246],{"class":176},[121,1702,180],{"class":138},[121,1704,173],{"class":148},[121,1706,185],{"class":138},[121,1708,1709,1711,1713,1715,1717,1719,1721],{"class":123,"line":584},[121,1710,1658],{"class":148},[121,1712,1661],{"class":138},[121,1714,155],{"class":127},[121,1716,1077],{"class":176},[121,1718,180],{"class":138},[121,1720,559],{"class":127},[121,1722,1723],{"class":138},"ab);\n",[121,1725,1726,1728,1731,1733],{"class":123,"line":594},[121,1727,231],{"class":127},[121,1729,1730],{"class":138}," new_ab.a ",[121,1732,1262],{"class":127},[121,1734,1735],{"class":138}," new_ab.b;\n",[121,1737,1738],{"class":123,"line":599},[121,1739,205],{"class":138},[121,1741,1742],{"class":123,"line":604},[121,1743,139],{"class":138},[121,1745,1746,1748,1750,1752,1754,1756,1758,1760,1762],{"class":123,"line":617},[121,1747,173],{"class":148},[121,1749,1279],{"class":176},[121,1751,180],{"class":138},[121,1753,529],{"class":148},[121,1755,1286],{"class":532},[121,1757,1289],{"class":138},[121,1759,529],{"class":148},[121,1761,1294],{"class":532},[121,1763,185],{"class":138},[121,1765,1766,1768,1770,1772],{"class":123,"line":636},[121,1767,1658],{"class":148},[121,1769,1661],{"class":138},[121,1771,155],{"class":127},[121,1773,1774],{"class":138}," {new_a, new_b};\n",[121,1776,1777,1779,1781,1783],{"class":123,"line":642},[121,1778,1539],{"class":176},[121,1780,180],{"class":138},[121,1782,559],{"class":127},[121,1784,1686],{"class":138},[121,1786,1787],{"class":123,"line":647},[121,1788,205],{"class":138},[39,1790,1791],{},"On most modern platforms, this will compile to be lock-free.",[88,1793,451],{"id":1794},"compliant-solution-mutex-1",[39,1796,1797,1798,1197,1800,1802],{},"This compliant solution protects the ",[43,1799,1193],{},[43,1801,1326],{}," methods with a mutex to ensure atomicity:",[108,1804,1805],{"quality":460},[112,1806,1808],{"className":114,"code":1807,"language":116,"meta":117,"style":117},"#include \u003Cthreads.h>\n#include \u003Cstdbool.h>\n\nstatic int a;\nstatic int b;\nmtx_t flag_mutex;\n\n\u002F* Initialize everything *\u002F\nbool init_all(int type) {\n  \u002F* Check mutex type *\u002F\n  a = 0;\n  b = 0;\n  if (thrd_success != mtx_init(&flag_mutex, type)) {\n    return false;  \u002F* Report error *\u002F\n  }\n  return true;\n}\n \nint get_sum(void) {\n  if (thrd_success != mtx_lock(&flag_mutex)) {\n    \u002F* Handle error *\u002F\n  }\n  int sum = a + b;\n  if (thrd_success != mtx_unlock(&flag_mutex)) {\n    \u002F* Handle error *\u002F\n  }\n  return sum;\n}\n \nvoid set_values(int new_a, int new_b) {\n  if (thrd_success != mtx_lock(&flag_mutex)) {\n    \u002F* Handle error *\u002F\n  }\n  a = new_a;\n  b = new_b;\n  if (thrd_success != mtx_unlock(&flag_mutex)) {\n    \u002F* Handle error *\u002F\n  }\n}\n",[43,1809,1810,1816,1822,1826,1834,1842,1848,1852,1857,1872,1876,1887,1897,1913,1923,1927,1935,1939,1943,1955,1971,1975,1979,1994,2010,2014,2018,2025,2029,2033,2053,2069,2073,2077,2085,2093,2109,2114,2119],{"__ignoreMap":117},[121,1811,1812,1814],{"class":123,"line":124},[121,1813,128],{"class":127},[121,1815,472],{"class":131},[121,1817,1818,1820],{"class":123,"line":135},[121,1819,128],{"class":127},[121,1821,132],{"class":131},[121,1823,1824],{"class":123,"line":142},[121,1825,511],{"emptyLinePlaceholder":7},[121,1827,1828,1830,1832],{"class":123,"line":165},[121,1829,145],{"class":127},[121,1831,1223],{"class":148},[121,1833,1226],{"class":138},[121,1835,1836,1838,1840],{"class":123,"line":170},[121,1837,145],{"class":127},[121,1839,1223],{"class":148},[121,1841,1235],{"class":138},[121,1843,1844,1846],{"class":123,"line":188},[121,1845,503],{"class":502},[121,1847,506],{"class":138},[121,1849,1850],{"class":123,"line":202},[121,1851,511],{"emptyLinePlaceholder":7},[121,1853,1854],{"class":123,"line":208},[121,1855,1856],{"class":516},"\u002F* Initialize everything *\u002F\n",[121,1858,1859,1861,1864,1866,1868,1870],{"class":123,"line":213},[121,1860,216],{"class":148},[121,1862,1863],{"class":176}," init_all",[121,1865,180],{"class":138},[121,1867,529],{"class":148},[121,1869,533],{"class":532},[121,1871,185],{"class":138},[121,1873,1874],{"class":123,"line":228},[121,1875,540],{"class":516},[121,1877,1878,1880,1882,1885],{"class":123,"line":237},[121,1879,1301],{"class":138},[121,1881,155],{"class":127},[121,1883,1884],{"class":158}," 0",[121,1886,162],{"class":138},[121,1888,1889,1891,1893,1895],{"class":123,"line":578},[121,1890,1311],{"class":138},[121,1892,155],{"class":127},[121,1894,1884],{"class":158},[121,1896,162],{"class":138},[121,1898,1899,1901,1903,1905,1907,1909,1911],{"class":123,"line":584},[121,1900,545],{"class":127},[121,1902,548],{"class":138},[121,1904,551],{"class":127},[121,1906,554],{"class":176},[121,1908,180],{"class":138},[121,1910,559],{"class":127},[121,1912,562],{"class":138},[121,1914,1915,1917,1919,1921],{"class":123,"line":594},[121,1916,567],{"class":127},[121,1918,159],{"class":158},[121,1920,572],{"class":138},[121,1922,575],{"class":516},[121,1924,1925],{"class":123,"line":599},[121,1926,581],{"class":138},[121,1928,1929,1931,1933],{"class":123,"line":604},[121,1930,231],{"class":127},[121,1932,589],{"class":158},[121,1934,162],{"class":138},[121,1936,1937],{"class":123,"line":617},[121,1938,205],{"class":138},[121,1940,1941],{"class":123,"line":636},[121,1942,139],{"class":138},[121,1944,1945,1947,1949,1951,1953],{"class":123,"line":642},[121,1946,529],{"class":148},[121,1948,1246],{"class":176},[121,1950,180],{"class":138},[121,1952,173],{"class":148},[121,1954,185],{"class":138},[121,1956,1957,1959,1961,1963,1965,1967,1969],{"class":123,"line":647},[121,1958,545],{"class":127},[121,1960,548],{"class":138},[121,1962,551],{"class":127},[121,1964,626],{"class":176},[121,1966,180],{"class":138},[121,1968,559],{"class":127},[121,1970,633],{"class":138},[121,1972,1973],{"class":123,"line":658},[121,1974,639],{"class":516},[121,1976,1977],{"class":123,"line":676},[121,1978,581],{"class":138},[121,1980,1981,1983,1986,1988,1990,1992],{"class":123,"line":681},[121,1982,1567],{"class":148},[121,1984,1985],{"class":138}," sum ",[121,1987,155],{"class":127},[121,1989,1259],{"class":138},[121,1991,1262],{"class":127},[121,1993,1235],{"class":138},[121,1995,1996,1998,2000,2002,2004,2006,2008],{"class":123,"line":686},[121,1997,545],{"class":127},[121,1999,548],{"class":138},[121,2001,551],{"class":127},[121,2003,667],{"class":176},[121,2005,180],{"class":138},[121,2007,559],{"class":127},[121,2009,633],{"class":138},[121,2011,2012],{"class":123,"line":691},[121,2013,639],{"class":516},[121,2015,2016],{"class":123,"line":696},[121,2017,581],{"class":138},[121,2019,2020,2022],{"class":123,"line":709},[121,2021,231],{"class":127},[121,2023,2024],{"class":138}," sum;\n",[121,2026,2027],{"class":123,"line":718},[121,2028,205],{"class":138},[121,2030,2031],{"class":123,"line":735},[121,2032,139],{"class":138},[121,2034,2035,2037,2039,2041,2043,2045,2047,2049,2051],{"class":123,"line":740},[121,2036,173],{"class":148},[121,2038,1279],{"class":176},[121,2040,180],{"class":138},[121,2042,529],{"class":148},[121,2044,1286],{"class":532},[121,2046,1289],{"class":138},[121,2048,529],{"class":148},[121,2050,1294],{"class":532},[121,2052,185],{"class":138},[121,2054,2055,2057,2059,2061,2063,2065,2067],{"class":123,"line":745},[121,2056,545],{"class":127},[121,2058,548],{"class":138},[121,2060,551],{"class":127},[121,2062,626],{"class":176},[121,2064,180],{"class":138},[121,2066,559],{"class":127},[121,2068,633],{"class":138},[121,2070,2071],{"class":123,"line":755},[121,2072,639],{"class":516},[121,2074,2075],{"class":123,"line":772},[121,2076,581],{"class":138},[121,2078,2079,2081,2083],{"class":123,"line":777},[121,2080,1301],{"class":138},[121,2082,155],{"class":127},[121,2084,1306],{"class":138},[121,2086,2087,2089,2091],{"class":123,"line":782},[121,2088,1311],{"class":138},[121,2090,155],{"class":127},[121,2092,1316],{"class":138},[121,2094,2095,2097,2099,2101,2103,2105,2107],{"class":123,"line":789},[121,2096,545],{"class":127},[121,2098,548],{"class":138},[121,2100,551],{"class":127},[121,2102,667],{"class":176},[121,2104,180],{"class":138},[121,2106,559],{"class":127},[121,2108,633],{"class":138},[121,2110,2112],{"class":123,"line":2111},37,[121,2113,639],{"class":516},[121,2115,2117],{"class":123,"line":2116},38,[121,2118,581],{"class":138},[121,2120,2122],{"class":123,"line":2121},39,[121,2123,205],{"class":138},[39,2125,2126,2127,2129],{},"Thanks to the mutex, it is now possible to add overflow checking to the ",[43,2128,1326],{}," function without introducing the possibility of a race condition.",[88,2131,2133],{"id":2132},"risk-assessment","Risk Assessment",[39,2135,2136],{},"When operations on shared variables are not atomic, unexpected results can be produced. For example, information can be disclosed inadvertently because one user can receive information about other users.",[265,2138,2139,2140,2139,2167],{},"\n  ",[268,2141,2142,2143,2139],{},"\n    ",[271,2144,2145,2146,2145,2149,2145,2152,2145,2155,2145,2158,2145,2161,2145,2164,2142],{},"\n      ",[274,2147,2148],{},"Rule",[274,2150,2151],{},"Severity",[274,2153,2154],{},"Likelihood",[274,2156,2157],{},"Detectable",[274,2159,2160],{},"Repairable",[274,2162,2163],{},"Priority",[274,2165,2166],{},"Level",[283,2168,2142,2169,2139],{},[271,2170,2145,2171,2145,2174,2145,2177,2145,2180,2145,2183,2145,2186,2145,2192,2142],{},[288,2172,2173],{},"CON07-C",[288,2175,2176],{},"Medium",[288,2178,2179],{},"Probable",[288,2181,2182],{},"Yes",[288,2184,2185],{},"No",[288,2187,2189],{"style":2188},"color: #f1c40f;",[1200,2190,2191],{},"P8",[288,2193,2194],{"style":2188},[1200,2195,2196],{},"L2",[2198,2199,2201],"h3",{"id":2200},"automated-detection","Automated Detection",[265,2203,2206],{"className":2204},[2205],"wrapped",[283,2207,2208,2232,2263,2289],{},[271,2209,2212,2217,2222,2227],{"className":2210},[2211],"header",[274,2213,2214],{},[39,2215,2216],{},"Tool",[274,2218,2219],{},[39,2220,2221],{},"Version",[274,2223,2224],{},[39,2225,2226],{},"Checker",[274,2228,2229],{},[39,2230,2231],{},"Description",[271,2233,2236,2242,2252,2260],{"className":2234},[2235],"odd",[288,2237,2238],{},[82,2239,2241],{"href":2240},"\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fcodee","Codee",[288,2243,2244],{},[2245,2246,2249],"div",{"className":2247},[2248],"content-wrapper",[39,2250,2251],{},"2025.4.9",[288,2253,2254],{},[39,2255,2256],{},[2257,2258,2259],"strong",{},"PWD002",[288,2261,2262],{},"Unprotected multithreading reduction operation",[271,2264,2267,2273,2279,2286],{"className":2265},[2266],"even",[288,2268,2269],{},[82,2270,2272],{"href":2271},"\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fcodesonar","CodeSonar",[288,2274,2275],{},[2245,2276,2278],{"className":2277},[2248],"9.1p0",[288,2280,2281],{},[39,2282,2283],{},[2257,2284,2285],{},"CONCURRENCY.DATARACE",[288,2287,2288],{},"Data Race",[271,2290,2292,2298,2306,2329],{"className":2291},[2235],[288,2293,2294],{},[82,2295,2297],{"href":2296},"\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fhelix-qac","Helix QAC",[288,2299,2300],{},[2245,2301,2303],{"className":2302},[2248],[39,2304,2305],{},"2025.2",[288,2307,2308],{},[39,2309,2310,2313,2316,2319,2321,2324,2326],{},[2257,2311,2312],{},"C1765",[2314,2315],"br",{},[2257,2317,2318],{},"C1114",[2314,2320],{},[2257,2322,2323],{},"C1115",[2314,2325],{},[2257,2327,2328],{},"C1116",[288,2330,2331],{},[2314,2332],{},[2198,2334,2336],{"id":2335},"related-guidelines","Related Guidelines",[265,2338,2340],{"className":2339},[2205],[283,2341,2342,2356],{},[271,2343,2345,2350],{"className":2344},[2235],[288,2346,2347],{},[82,2348,2349],{"href":23},"CERT Oracle Secure Coding Standard for Java",[288,2351,2352],{},[82,2353,2355],{"href":2354},"\u002Fsei-cert-oracle-coding-standard-for-java\u002Frules\u002Fvisibility-and-atomicity-vna\u002Fvna02-j","VNA02-J. Ensure that compound operations on shared variables are atomic",[271,2357,2359,2367],{"className":2358},[2266],[288,2360,2361],{},[39,2362,2363],{},[82,2364,2366],{"href":2365},"http:\u002F\u002Fcwe.mitre.org\u002F","MITRE CWE",[288,2368,2369],{},[39,2370,2371,2375,2376,2378,2382,2383,2385,2389,2390,2392,2396],{},[82,2372,2374],{"href":2373},"http:\u002F\u002Fcwe.mitre.org\u002Fdata\u002Fdefinitions\u002F366.html","CWE-366"," , Race condition within a thread",[2314,2377],{},[82,2379,2381],{"href":2380},"http:\u002F\u002Fcwe.mitre.org\u002Fdata\u002Fdefinitions\u002F413.html","CWE-413,"," Improper resource locking",[2314,2384],{},[82,2386,2388],{"href":2387},"http:\u002F\u002Fcwe.mitre.org\u002Fdata\u002Fdefinitions\u002F567.html","CWE-567,"," Unsynchronized access to shared data in a multithreaded context",[2314,2391],{},[82,2393,2395],{"href":2394},"http:\u002F\u002Fcwe.mitre.org\u002Fdata\u002Fdefinitions\u002F667.html","CWE-667"," , Improper locking",[88,2398,2400],{"id":2399},"bibliography","Bibliography",[265,2402,2403,2411],{},[268,2404,2405],{},[271,2406,2407,2409],{},[274,2408],{},[274,2410],{},[283,2412,2413],{},[271,2414,2415,2423],{},[288,2416,2417,2418,2422],{},"[ ",[82,2419,2421],{"href":2420},"\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Faa-bibliography#AA.Bibliography-ISO-IEC14882-2011","ISO\u002FIEC 14882:2011"," ]",[288,2424,2425],{},"Subclause 7.17, \"Atomics\"",[2427,2428],"hr",{},[39,2430,2431,318,2438,318,2444],{},[82,2432,2434],{"href":2433},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fconcurrency-con\u002Fcon06-c",[2435,2436],"img",{"src":2437},"\u002Fattachments\u002F87152044\u002F88034188.png",[82,2439,2441],{"href":2440},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fconcurrency-con\u002F",[2435,2442],{"src":2443},"\u002Fattachments\u002F87152044\u002F88034190.png",[82,2445,2447],{"href":2446},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fconcurrency-con\u002Fcon08-c",[2435,2448],{"src":2449},"\u002Fattachments\u002F87152044\u002F88034189.png",[2451,2452,2453],"style",{},"html pre.shiki code .sC2Qs, html code.shiki .sC2Qs{--shiki-default:#D73A49;--shiki-dark:#F97583;--shiki-sepia:#F92672}html pre.shiki code .sstjo, html code.shiki .sstjo{--shiki-default:#032F62;--shiki-dark:#9ECBFF;--shiki-sepia:#E6DB74}html pre.shiki code .sMOD_, html code.shiki .sMOD_{--shiki-default:#24292E;--shiki-dark:#E1E4E8;--shiki-sepia:#F8F8F2}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 .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 .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 .s-m8C, html code.shiki .s-m8C{--shiki-default:#005CC5;--shiki-default-font-style:inherit;--shiki-dark:#79B8FF;--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 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":117,"searchDepth":135,"depth":135,"links":2455},[2456,2457,2458,2460,2461,2463,2464,2468],{"id":90,"depth":135,"text":91},{"id":450,"depth":135,"text":451},{"id":971,"depth":135,"text":2459},"Compliant Solution ( atomic_compare_exchange_weak() )",{"id":1186,"depth":135,"text":1187},{"id":1589,"depth":135,"text":2462},"Compliant Solution (   _Atomic struct  )",{"id":1794,"depth":135,"text":451},{"id":2132,"depth":135,"text":2133,"children":2465},[2466,2467],{"id":2200,"depth":142,"text":2201},{"id":2335,"depth":142,"text":2336},{"id":2399,"depth":135,"text":2400},"Compound operations are operations that consist of more than one discrete operation. Expressions that include postfix or prefix increment ( ++ ), postfix or prefix decrement ( -- ), or compound assignment operators always result in compound operations. Compound assignment expressions use operators such as *= , \u002F= , %= , += , -= , \u003C\u003C= , >>= , ^= , and |= . Compound operations on shared variables must be performed atomically to prevent data races .","md",{"tags":2472},[2473,2474,2475,2476],"review-dms","recommendation","android-unknown","con","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fconcurrency-con\u002Fcon07-c",{"title":30,"description":2469},"4.sei-cert-c-coding-standard\u002F08.recommendations\u002F05.concurrency-con\u002F08.con07-c","lIaIhCRnClO1cEws3CySxDWjMxkKk7M496JvTjomYOw",[2482,2485],{"title":2483,"path":2433,"stem":2484,"children":-1},"CON06-C. Ensure that every mutex outlives the data it protects","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F05.concurrency-con\u002F07.con06-c",{"title":2486,"path":2446,"stem":2487,"children":-1},"CON08-C. Do not assume that a group of calls to independently atomic methods is atomic","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F05.concurrency-con\u002F09.con08-c",[2489],{"title":2490,"path":2491,"stem":2492,"children":2493},"SEI CERT C Coding Standard","\u002Fsei-cert-c-coding-standard","4.sei-cert-c-coding-standard\u002F01.index",[2494,2495,2567,3155,3445,3459,3463,3467,3471,4277],{"title":2490,"path":2491,"stem":2492},{"title":2496,"path":2497,"stem":2498,"children":2499},"Front Matter","\u002Fsei-cert-c-coding-standard\u002Ffront-matter","4.sei-cert-c-coding-standard\u002F02.front-matter\u002F1.index",[2500,2501],{"title":2496,"path":2497,"stem":2498},{"title":2502,"path":2503,"stem":2504,"children":2505},"Introduction","\u002Fsei-cert-c-coding-standard\u002Ffront-matter\u002Fintroduction","4.sei-cert-c-coding-standard\u002F02.front-matter\u002F2.introduction\u002F01.index",[2506,2507,2511,2515,2519,2523,2527,2531,2535,2539,2543,2547,2551,2555,2559,2563],{"title":2502,"path":2503,"stem":2504},{"title":2508,"path":2509,"stem":2510},"Scope","\u002Fsei-cert-c-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fscope","4.sei-cert-c-coding-standard\u002F02.front-matter\u002F2.introduction\u002F01.scope",{"title":2512,"path":2513,"stem":2514},"Audience","\u002Fsei-cert-c-coding-standard\u002Ffront-matter\u002Fintroduction\u002Faudience","4.sei-cert-c-coding-standard\u002F02.front-matter\u002F2.introduction\u002F02.audience",{"title":2516,"path":2517,"stem":2518},"How this Coding Standard is Organized","\u002Fsei-cert-c-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fhow-this-coding-standard-is-organized","4.sei-cert-c-coding-standard\u002F02.front-matter\u002F2.introduction\u002F03.how-this-coding-standard-is-organized",{"title":2520,"path":2521,"stem":2522},"History","\u002Fsei-cert-c-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fhistory","4.sei-cert-c-coding-standard\u002F02.front-matter\u002F2.introduction\u002F04.history",{"title":2524,"path":2525,"stem":2526},"ISO\u002FIEC TS 17961 C Secure Coding Rules","\u002Fsei-cert-c-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fisoiec-ts-17961-c-secure-coding-rules","4.sei-cert-c-coding-standard\u002F02.front-matter\u002F2.introduction\u002F05.isoiec-ts-17961-c-secure-coding-rules",{"title":2528,"path":2529,"stem":2530},"Tool Selection and Validation","\u002Fsei-cert-c-coding-standard\u002Ffront-matter\u002Fintroduction\u002Ftool-selection-and-validation","4.sei-cert-c-coding-standard\u002F02.front-matter\u002F2.introduction\u002F06.tool-selection-and-validation",{"title":2532,"path":2533,"stem":2534},"Taint Analysis","\u002Fsei-cert-c-coding-standard\u002Ffront-matter\u002Fintroduction\u002Ftaint-analysis","4.sei-cert-c-coding-standard\u002F02.front-matter\u002F2.introduction\u002F07.taint-analysis",{"title":2536,"path":2537,"stem":2538},"Rules versus Recommendations","\u002Fsei-cert-c-coding-standard\u002Ffront-matter\u002Fintroduction\u002Frules-versus-recommendations","4.sei-cert-c-coding-standard\u002F02.front-matter\u002F2.introduction\u002F08.rules-versus-recommendations",{"title":2540,"path":2541,"stem":2542},"Conformance Testing","\u002Fsei-cert-c-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fconformance-testing","4.sei-cert-c-coding-standard\u002F02.front-matter\u002F2.introduction\u002F09.conformance-testing",{"title":2544,"path":2545,"stem":2546},"Development Process","\u002Fsei-cert-c-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fdevelopment-process","4.sei-cert-c-coding-standard\u002F02.front-matter\u002F2.introduction\u002F10.development-process",{"title":2548,"path":2549,"stem":2550},"Usage","\u002Fsei-cert-c-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fusage","4.sei-cert-c-coding-standard\u002F02.front-matter\u002F2.introduction\u002F11.usage",{"title":2552,"path":2553,"stem":2554},"System Qualities","\u002Fsei-cert-c-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fsystem-qualities","4.sei-cert-c-coding-standard\u002F02.front-matter\u002F2.introduction\u002F12.system-qualities",{"title":2556,"path":2557,"stem":2558},"Automatically Generated Code","\u002Fsei-cert-c-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fautomatically-generated-code","4.sei-cert-c-coding-standard\u002F02.front-matter\u002F2.introduction\u002F13.automatically-generated-code",{"title":2560,"path":2561,"stem":2562},"Government Regulations","\u002Fsei-cert-c-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fgovernment-regulations","4.sei-cert-c-coding-standard\u002F02.front-matter\u002F2.introduction\u002F14.government-regulations",{"title":2564,"path":2565,"stem":2566},"Acknowledgments","\u002Fsei-cert-c-coding-standard\u002Ffront-matter\u002Fintroduction\u002Facknowledgments","4.sei-cert-c-coding-standard\u002F02.front-matter\u002F2.introduction\u002F15.acknowledgments",{"title":2568,"path":2569,"stem":2570,"children":2571},"Rules","\u002Fsei-cert-c-coding-standard\u002Frules","4.sei-cert-c-coding-standard\u002F03.rules\u002F01.index",[2572,2573,2577,2607,2637,2699,2737,2763,2785,2851,2877,2935,2967,2997,3007,3045,3115,3133],{"title":2568,"path":2569,"stem":2570},{"title":2574,"path":2575,"stem":2576},"Application Programming Interfaces (API)","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fapplication-programming-interfaces-api","4.sei-cert-c-coding-standard\u002F03.rules\u002F02.application-programming-interfaces-api",{"title":2578,"path":2579,"stem":2580,"children":2581},"Arrays (ARR)","\u002Fsei-cert-c-coding-standard\u002Frules\u002Farrays-arr","4.sei-cert-c-coding-standard\u002F03.rules\u002F03.arrays-arr\u002F1.index",[2582,2583,2587,2591,2595,2599,2603],{"title":2578,"path":2579,"stem":2580},{"title":2584,"path":2585,"stem":2586},"ARR30-C. Do not form or use out-of-bounds pointers or array subscripts","\u002Fsei-cert-c-coding-standard\u002Frules\u002Farrays-arr\u002Farr30-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F03.arrays-arr\u002F2.arr30-c",{"title":2588,"path":2589,"stem":2590},"ARR32-C. Ensure size arguments for variable length arrays are in a valid range","\u002Fsei-cert-c-coding-standard\u002Frules\u002Farrays-arr\u002Farr32-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F03.arrays-arr\u002F3.arr32-c",{"title":2592,"path":2593,"stem":2594},"ARR36-C. Do not subtract or compare two pointers that do not refer to the same array","\u002Fsei-cert-c-coding-standard\u002Frules\u002Farrays-arr\u002Farr36-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F03.arrays-arr\u002F4.arr36-c",{"title":2596,"path":2597,"stem":2598},"ARR37-C. Do not add or subtract an integer to a pointer to a non-array object","\u002Fsei-cert-c-coding-standard\u002Frules\u002Farrays-arr\u002Farr37-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F03.arrays-arr\u002F5.arr37-c",{"title":2600,"path":2601,"stem":2602},"ARR38-C. Guarantee that library functions do not form invalid pointers","\u002Fsei-cert-c-coding-standard\u002Frules\u002Farrays-arr\u002Farr38-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F03.arrays-arr\u002F6.arr38-c",{"title":2604,"path":2605,"stem":2606},"ARR39-C. Do not add or subtract a scaled integer to a pointer","\u002Fsei-cert-c-coding-standard\u002Frules\u002Farrays-arr\u002Farr39-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F03.arrays-arr\u002F7.arr39-c",{"title":2608,"path":2609,"stem":2610,"children":2611},"Characters and Strings (STR)","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fcharacters-and-strings-str","4.sei-cert-c-coding-standard\u002F03.rules\u002F04.characters-and-strings-str\u002F1.index",[2612,2613,2617,2621,2625,2629,2633],{"title":2608,"path":2609,"stem":2610},{"title":2614,"path":2615,"stem":2616},"STR30-C. Do not attempt to modify string literals","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fcharacters-and-strings-str\u002Fstr30-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F04.characters-and-strings-str\u002F2.str30-c",{"title":2618,"path":2619,"stem":2620},"STR31-C. Guarantee that storage for strings has sufficient space for character data and the null terminator","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fcharacters-and-strings-str\u002Fstr31-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F04.characters-and-strings-str\u002F3.str31-c",{"title":2622,"path":2623,"stem":2624},"STR32-C. Do not pass a non-null-terminated character sequence to a library function that expects a string","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fcharacters-and-strings-str\u002Fstr32-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F04.characters-and-strings-str\u002F4.str32-c",{"title":2626,"path":2627,"stem":2628},"STR34-C. Cast characters to unsigned char before converting to larger integer sizes","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fcharacters-and-strings-str\u002Fstr34-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F04.characters-and-strings-str\u002F5.str34-c",{"title":2630,"path":2631,"stem":2632},"STR37-C. Arguments to character-handling functions must be representable as an unsigned char","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fcharacters-and-strings-str\u002Fstr37-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F04.characters-and-strings-str\u002F6.str37-c",{"title":2634,"path":2635,"stem":2636},"STR38-C. Do not confuse narrow and wide character strings and functions","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fcharacters-and-strings-str\u002Fstr38-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F04.characters-and-strings-str\u002F7.str38-c",{"title":2638,"path":2639,"stem":2640,"children":2641},"Concurrency (CON)","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fconcurrency-con","4.sei-cert-c-coding-standard\u002F03.rules\u002F05.concurrency-con\u002F01.index",[2642,2643,2647,2651,2655,2659,2663,2667,2671,2675,2679,2683,2687,2691,2695],{"title":2638,"path":2639,"stem":2640},{"title":2644,"path":2645,"stem":2646},"CON30-C. Clean up thread-specific storage","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon30-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F05.concurrency-con\u002F02.con30-c",{"title":2648,"path":2649,"stem":2650},"CON31-C. Do not destroy a mutex while it is locked","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon31-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F05.concurrency-con\u002F03.con31-c",{"title":2652,"path":2653,"stem":2654},"CON32-C. Prevent data races when accessing bit-fields from multiple threads","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon32-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F05.concurrency-con\u002F04.con32-c",{"title":2656,"path":2657,"stem":2658},"CON33-C. Avoid race conditions when using library functions","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon33-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F05.concurrency-con\u002F05.con33-c",{"title":2660,"path":2661,"stem":2662},"CON34-C. Declare objects shared between threads with appropriate storage durations","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon34-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F05.concurrency-con\u002F06.con34-c",{"title":2664,"path":2665,"stem":2666},"CON35-C. Avoid deadlock by locking in a predefined order","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon35-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F05.concurrency-con\u002F07.con35-c",{"title":2668,"path":2669,"stem":2670},"CON36-C. Wrap functions that can spuriously wake up in a loop","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon36-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F05.concurrency-con\u002F08.con36-c",{"title":2672,"path":2673,"stem":2674},"CON37-C. Do not call signal() in a multithreaded program","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon37-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F05.concurrency-con\u002F09.con37-c",{"title":2676,"path":2677,"stem":2678},"CON38-C. Preserve thread safety and liveness when using condition variables","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon38-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F05.concurrency-con\u002F10.con38-c",{"title":2680,"path":2681,"stem":2682},"CON39-C. Do not join or detach a thread that was previously joined or detached","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon39-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F05.concurrency-con\u002F11.con39-c",{"title":2684,"path":2685,"stem":2686},"CON40-C. Do not refer to an atomic variable twice in an expression","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon40-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F05.concurrency-con\u002F12.con40-c",{"title":2688,"path":2689,"stem":2690},"CON41-C. Wrap functions that can fail spuriously in a loop","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon41-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F05.concurrency-con\u002F13.con41-c",{"title":2692,"path":2693,"stem":2694},"CON42-C. Don't allow attackers to influence environment variables that control concurrency parameters","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon42-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F05.concurrency-con\u002F14.con42-c",{"title":2696,"path":2697,"stem":2698},"CON43-C. Do not allow data races in multithreaded code","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon43-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F05.concurrency-con\u002F15.con43-c",{"title":2700,"path":2701,"stem":2702,"children":2703},"Declarations and Initialization (DCL)","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl","4.sei-cert-c-coding-standard\u002F03.rules\u002F06.declarations-and-initialization-dcl\u002F1.index",[2704,2705,2709,2713,2717,2721,2725,2729,2733],{"title":2700,"path":2701,"stem":2702},{"title":2706,"path":2707,"stem":2708},"DCL30-C. Declare objects with appropriate storage durations","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl30-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F06.declarations-and-initialization-dcl\u002F2.dcl30-c",{"title":2710,"path":2711,"stem":2712},"DCL31-C. Declare identifiers before using them","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl31-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F06.declarations-and-initialization-dcl\u002F3.dcl31-c",{"title":2714,"path":2715,"stem":2716},"DCL36-C. Do not declare an identifier with conflicting linkage classifications","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl36-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F06.declarations-and-initialization-dcl\u002F4.dcl36-c",{"title":2718,"path":2719,"stem":2720},"DCL37-C. Do not declare or define a reserved identifier","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl37-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F06.declarations-and-initialization-dcl\u002F5.dcl37-c",{"title":2722,"path":2723,"stem":2724},"DCL38-C. Use the correct syntax when declaring a flexible array member","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl38-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F06.declarations-and-initialization-dcl\u002F6.dcl38-c",{"title":2726,"path":2727,"stem":2728},"DCL39-C. Avoid information leakage when passing a structure across a trust boundary","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl39-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F06.declarations-and-initialization-dcl\u002F7.dcl39-c",{"title":2730,"path":2731,"stem":2732},"DCL40-C. Do not create incompatible declarations of the same function or object","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl40-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F06.declarations-and-initialization-dcl\u002F8.dcl40-c",{"title":2734,"path":2735,"stem":2736},"DCL41-C. Do not declare variables inside a switch statement before the first case label","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl41-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F06.declarations-and-initialization-dcl\u002F9.dcl41-c",{"title":2738,"path":2739,"stem":2740,"children":2741},"Environment (ENV)","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fenvironment-env","4.sei-cert-c-coding-standard\u002F03.rules\u002F07.environment-env\u002F1.index",[2742,2743,2747,2751,2755,2759],{"title":2738,"path":2739,"stem":2740},{"title":2744,"path":2745,"stem":2746},"ENV30-C. Do not modify the object referenced by the return value of certain functions","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fenvironment-env\u002Fenv30-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F07.environment-env\u002F2.env30-c",{"title":2748,"path":2749,"stem":2750},"ENV31-C. Do not rely on an environment pointer following an operation that may invalidate it","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fenvironment-env\u002Fenv31-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F07.environment-env\u002F3.env31-c",{"title":2752,"path":2753,"stem":2754},"ENV32-C. All exit handlers must return normally","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fenvironment-env\u002Fenv32-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F07.environment-env\u002F4.env32-c",{"title":2756,"path":2757,"stem":2758},"ENV33-C. Do not call system()","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fenvironment-env\u002Fenv33-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F07.environment-env\u002F5.env33-c",{"title":2760,"path":2761,"stem":2762},"ENV34-C. Do not store pointers returned by certain functions","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fenvironment-env\u002Fenv34-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F07.environment-env\u002F6.env34-c",{"title":2764,"path":2765,"stem":2766,"children":2767},"Error Handling (ERR)","\u002Fsei-cert-c-coding-standard\u002Frules\u002Ferror-handling-err","4.sei-cert-c-coding-standard\u002F03.rules\u002F08.error-handling-err\u002F1.index",[2768,2769,2773,2777,2781],{"title":2764,"path":2765,"stem":2766},{"title":2770,"path":2771,"stem":2772},"ERR30-C. Take care when reading errno","\u002Fsei-cert-c-coding-standard\u002Frules\u002Ferror-handling-err\u002Ferr30-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F08.error-handling-err\u002F2.err30-c",{"title":2774,"path":2775,"stem":2776},"ERR32-C. Do not rely on indeterminate values of errno","\u002Fsei-cert-c-coding-standard\u002Frules\u002Ferror-handling-err\u002Ferr32-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F08.error-handling-err\u002F3.err32-c",{"title":2778,"path":2779,"stem":2780},"ERR33-C. Detect and handle standard library errors","\u002Fsei-cert-c-coding-standard\u002Frules\u002Ferror-handling-err\u002Ferr33-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F08.error-handling-err\u002F4.err33-c",{"title":2782,"path":2783,"stem":2784},"ERR34-C. Detect errors when converting a string to a number","\u002Fsei-cert-c-coding-standard\u002Frules\u002Ferror-handling-err\u002Ferr34-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F08.error-handling-err\u002F5.err34-c",{"title":2786,"path":2787,"stem":2788,"children":2789},"Expressions (EXP)","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp","4.sei-cert-c-coding-standard\u002F03.rules\u002F09.expressions-exp\u002F01.index",[2790,2791,2795,2799,2803,2807,2811,2815,2819,2823,2827,2831,2835,2839,2843,2847],{"title":2786,"path":2787,"stem":2788},{"title":2792,"path":2793,"stem":2794},"EXP30-C. Do not depend on the order of evaluation for side effects","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp30-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F09.expressions-exp\u002F02.exp30-c",{"title":2796,"path":2797,"stem":2798},"EXP32-C. Do not access a volatile object through a nonvolatile reference","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp32-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F09.expressions-exp\u002F03.exp32-c",{"title":2800,"path":2801,"stem":2802},"EXP33-C. Do not read uninitialized memory","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp33-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F09.expressions-exp\u002F04.exp33-c",{"title":2804,"path":2805,"stem":2806},"EXP34-C. Do not dereference null pointers","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp34-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F09.expressions-exp\u002F05.exp34-c",{"title":2808,"path":2809,"stem":2810},"EXP35-C. Do not modify objects with temporary lifetime","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp35-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F09.expressions-exp\u002F06.exp35-c",{"title":2812,"path":2813,"stem":2814},"EXP36-C. Do not cast pointers into more strictly aligned pointer types","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp36-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F09.expressions-exp\u002F07.exp36-c",{"title":2816,"path":2817,"stem":2818},"EXP37-C. Call functions with the correct number and type of arguments","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp37-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F09.expressions-exp\u002F08.exp37-c",{"title":2820,"path":2821,"stem":2822},"EXP39-C. Do not access a variable through a pointer of an incompatible type","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp39-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F09.expressions-exp\u002F09.exp39-c",{"title":2824,"path":2825,"stem":2826},"EXP40-C. Do not modify constant objects","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp40-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F09.expressions-exp\u002F10.exp40-c",{"title":2828,"path":2829,"stem":2830},"EXP42-C. Do not compare padding data","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp42-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F09.expressions-exp\u002F11.exp42-c",{"title":2832,"path":2833,"stem":2834},"EXP43-C. Avoid undefined behavior when using restrict-qualified pointers","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp43-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F09.expressions-exp\u002F12.exp43-c",{"title":2836,"path":2837,"stem":2838},"EXP44-C. Do not rely on side effects in operands to sizeof, _Alignof, or _Generic","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp44-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F09.expressions-exp\u002F13.exp44-c",{"title":2840,"path":2841,"stem":2842},"EXP45-C. Do not perform assignments in selection statements","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp45-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F09.expressions-exp\u002F14.exp45-c",{"title":2844,"path":2845,"stem":2846},"EXP46-C. Do not use a bitwise operator with a Boolean-like operand","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp46-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F09.expressions-exp\u002F15.exp46-c",{"title":2848,"path":2849,"stem":2850},"EXP47-C. Do not call va_arg with an argument of the incorrect type","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp47-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F09.expressions-exp\u002F16.exp47-c",{"title":2852,"path":2853,"stem":2854,"children":2855},"Floating Point (FLP)","\u002Fsei-cert-c-coding-standard\u002Frules\u002Ffloating-point-flp","4.sei-cert-c-coding-standard\u002F03.rules\u002F10.floating-point-flp\u002F1.index",[2856,2857,2861,2865,2869,2873],{"title":2852,"path":2853,"stem":2854},{"title":2858,"path":2859,"stem":2860},"FLP30-C. Do not use floating-point variables as loop counters","\u002Fsei-cert-c-coding-standard\u002Frules\u002Ffloating-point-flp\u002Fflp30-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F10.floating-point-flp\u002F2.flp30-c",{"title":2862,"path":2863,"stem":2864},"FLP32-C. Prevent or detect domain and range errors in math functions","\u002Fsei-cert-c-coding-standard\u002Frules\u002Ffloating-point-flp\u002Fflp32-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F10.floating-point-flp\u002F3.flp32-c",{"title":2866,"path":2867,"stem":2868},"FLP34-C. Ensure that floating-point conversions are within range of the new type","\u002Fsei-cert-c-coding-standard\u002Frules\u002Ffloating-point-flp\u002Fflp34-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F10.floating-point-flp\u002F4.flp34-c",{"title":2870,"path":2871,"stem":2872},"FLP36-C. Preserve precision when converting integral values to floating-point type","\u002Fsei-cert-c-coding-standard\u002Frules\u002Ffloating-point-flp\u002Fflp36-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F10.floating-point-flp\u002F5.flp36-c",{"title":2874,"path":2875,"stem":2876},"FLP37-C. Do not use object representations to compare floating-point values","\u002Fsei-cert-c-coding-standard\u002Frules\u002Ffloating-point-flp\u002Fflp37-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F10.floating-point-flp\u002F6.flp37-c",{"title":2878,"path":2879,"stem":2880,"children":2881},"Input Output (FIO)","\u002Fsei-cert-c-coding-standard\u002Frules\u002Finput-output-fio","4.sei-cert-c-coding-standard\u002F03.rules\u002F11.input-output-fio\u002F01.index",[2882,2883,2887,2891,2895,2899,2903,2907,2911,2915,2919,2923,2927,2931],{"title":2878,"path":2879,"stem":2880},{"title":2884,"path":2885,"stem":2886},"FIO30-C. Exclude user input from format strings","\u002Fsei-cert-c-coding-standard\u002Frules\u002Finput-output-fio\u002Ffio30-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F11.input-output-fio\u002F02.fio30-c",{"title":2888,"path":2889,"stem":2890},"FIO32-C. Do not perform operations on devices that are only appropriate for files","\u002Fsei-cert-c-coding-standard\u002Frules\u002Finput-output-fio\u002Ffio32-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F11.input-output-fio\u002F03.fio32-c",{"title":2892,"path":2893,"stem":2894},"FIO34-C. Distinguish between characters read from a file and EOF or WEOF","\u002Fsei-cert-c-coding-standard\u002Frules\u002Finput-output-fio\u002Ffio34-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F11.input-output-fio\u002F04.fio34-c",{"title":2896,"path":2897,"stem":2898},"FIO37-C. Do not assume that fgets() or fgetws() returns a nonempty string when successful","\u002Fsei-cert-c-coding-standard\u002Frules\u002Finput-output-fio\u002Ffio37-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F11.input-output-fio\u002F05.fio37-c",{"title":2900,"path":2901,"stem":2902},"FIO38-C. Do not copy a FILE object","\u002Fsei-cert-c-coding-standard\u002Frules\u002Finput-output-fio\u002Ffio38-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F11.input-output-fio\u002F06.fio38-c",{"title":2904,"path":2905,"stem":2906},"FIO39-C. Do not alternately input and output from a stream without an intervening flush or positioning call","\u002Fsei-cert-c-coding-standard\u002Frules\u002Finput-output-fio\u002Ffio39-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F11.input-output-fio\u002F07.fio39-c",{"title":2908,"path":2909,"stem":2910},"FIO40-C. Reset strings on fgets() or fgetws() failure","\u002Fsei-cert-c-coding-standard\u002Frules\u002Finput-output-fio\u002Ffio40-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F11.input-output-fio\u002F08.fio40-c",{"title":2912,"path":2913,"stem":2914},"FIO41-C. Do not call getc(), putc(), getwc(), or putwc() with a stream argument that has side effects","\u002Fsei-cert-c-coding-standard\u002Frules\u002Finput-output-fio\u002Ffio41-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F11.input-output-fio\u002F09.fio41-c",{"title":2916,"path":2917,"stem":2918},"FIO42-C. Close files when they are no longer needed","\u002Fsei-cert-c-coding-standard\u002Frules\u002Finput-output-fio\u002Ffio42-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F11.input-output-fio\u002F10.fio42-c",{"title":2920,"path":2921,"stem":2922},"FIO44-C. Only use values for fsetpos() that are returned from fgetpos()","\u002Fsei-cert-c-coding-standard\u002Frules\u002Finput-output-fio\u002Ffio44-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F11.input-output-fio\u002F11.fio44-c",{"title":2924,"path":2925,"stem":2926},"FIO45-C. Avoid TOCTOU race conditions while accessing files","\u002Fsei-cert-c-coding-standard\u002Frules\u002Finput-output-fio\u002Ffio45-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F11.input-output-fio\u002F12.fio45-c",{"title":2928,"path":2929,"stem":2930},"FIO46-C. Do not access a closed file","\u002Fsei-cert-c-coding-standard\u002Frules\u002Finput-output-fio\u002Ffio46-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F11.input-output-fio\u002F13.fio46-c",{"title":2932,"path":2933,"stem":2934},"FIO47-C. Use valid format strings","\u002Fsei-cert-c-coding-standard\u002Frules\u002Finput-output-fio\u002Ffio47-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F11.input-output-fio\u002F14.fio47-c",{"title":2936,"path":2937,"stem":2938,"children":2939},"Integers (INT)","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fintegers-int","4.sei-cert-c-coding-standard\u002F03.rules\u002F12.integers-int\u002F1.index",[2940,2941,2945,2949,2951,2955,2959,2963],{"title":2936,"path":2937,"stem":2938},{"title":2942,"path":2943,"stem":2944},"INT30-C. Ensure that unsigned integer operations do not wrap","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fintegers-int\u002Fint30-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F12.integers-int\u002F2.int30-c",{"title":2946,"path":2947,"stem":2948},"INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fintegers-int\u002Fint31-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F12.integers-int\u002F3.int31-c",{"title":1208,"path":1207,"stem":2950},"4.sei-cert-c-coding-standard\u002F03.rules\u002F12.integers-int\u002F4.int32-c",{"title":2952,"path":2953,"stem":2954},"INT33-C. Ensure that division and remainder operations do not result in divide-by-zero errors","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fintegers-int\u002Fint33-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F12.integers-int\u002F5.int33-c",{"title":2956,"path":2957,"stem":2958},"INT34-C. Do not shift an expression by a negative number of bits or by greater than or equal to the number of bits that exist in the operand","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fintegers-int\u002Fint34-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F12.integers-int\u002F6.int34-c",{"title":2960,"path":2961,"stem":2962},"INT35-C. Use correct integer precisions","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fintegers-int\u002Fint35-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F12.integers-int\u002F7.int35-c",{"title":2964,"path":2965,"stem":2966},"INT36-C. Converting a pointer to integer or integer to pointer","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fintegers-int\u002Fint36-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F12.integers-int\u002F8.int36-c",{"title":2968,"path":2969,"stem":2970,"children":2971},"Memory Management (MEM)","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmemory-management-mem","4.sei-cert-c-coding-standard\u002F03.rules\u002F13.memory-management-mem\u002F1.index",[2972,2973,2977,2981,2985,2989,2993],{"title":2968,"path":2969,"stem":2970},{"title":2974,"path":2975,"stem":2976},"MEM30-C. Do not access freed memory","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem30-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F13.memory-management-mem\u002F2.mem30-c",{"title":2978,"path":2979,"stem":2980},"MEM31-C. Free dynamically allocated memory when no longer needed","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem31-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F13.memory-management-mem\u002F3.mem31-c",{"title":2982,"path":2983,"stem":2984},"MEM33-C. Allocate and copy structures containing a flexible array member dynamically","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem33-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F13.memory-management-mem\u002F4.mem33-c",{"title":2986,"path":2987,"stem":2988},"MEM34-C. Only free memory allocated dynamically","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem34-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F13.memory-management-mem\u002F5.mem34-c",{"title":2990,"path":2991,"stem":2992},"MEM35-C. Allocate sufficient memory for an object","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem35-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F13.memory-management-mem\u002F6.mem35-c",{"title":2994,"path":2995,"stem":2996},"MEM36-C. Do not modify the alignment of objects by calling realloc()","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem36-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F13.memory-management-mem\u002F7.mem36-c",{"title":2998,"path":2999,"stem":3000,"children":3001},"Microsoft Windows (WIN)","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmicrosoft-windows-win","4.sei-cert-c-coding-standard\u002F03.rules\u002F14.microsoft-windows-win\u002F1.index",[3002,3003],{"title":2998,"path":2999,"stem":3000},{"title":3004,"path":3005,"stem":3006},"WIN30-C. Properly pair allocation and deallocation functions","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmicrosoft-windows-win\u002Fwin30-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F14.microsoft-windows-win\u002F2.win30-c",{"title":3008,"path":3009,"stem":3010,"children":3011},"Miscellaneous (MSC)","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmiscellaneous-msc","4.sei-cert-c-coding-standard\u002F03.rules\u002F15.miscellaneous-msc\u002F1.index",[3012,3013,3017,3021,3025,3029,3033,3037,3041],{"title":3008,"path":3009,"stem":3010},{"title":3014,"path":3015,"stem":3016},"MSC30-C. Do not use the rand() function for generating pseudorandom numbers","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc30-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F15.miscellaneous-msc\u002F2.msc30-c",{"title":3018,"path":3019,"stem":3020},"MSC32-C. Properly seed pseudorandom number generators","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc32-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F15.miscellaneous-msc\u002F3.msc32-c",{"title":3022,"path":3023,"stem":3024},"MSC33-C. Do not pass invalid data to the asctime() function","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc33-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F15.miscellaneous-msc\u002F4.msc33-c",{"title":3026,"path":3027,"stem":3028},"MSC37-C. Ensure that control never reaches the end of a non-void function","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc37-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F15.miscellaneous-msc\u002F5.msc37-c",{"title":3030,"path":3031,"stem":3032},"MSC38-C. Do not treat a predefined identifier as an object if it might only be implemented as a macro","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc38-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F15.miscellaneous-msc\u002F6.msc38-c",{"title":3034,"path":3035,"stem":3036},"MSC39-C. Do not call va_arg() on a va_list that has an indeterminate value","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc39-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F15.miscellaneous-msc\u002F7.msc39-c",{"title":3038,"path":3039,"stem":3040},"MSC40-C. Do not violate constraints","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc40-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F15.miscellaneous-msc\u002F8.msc40-c",{"title":3042,"path":3043,"stem":3044},"MSC41-C. Never hard code sensitive information","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc41-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F15.miscellaneous-msc\u002F9.msc41-c",{"title":3046,"path":3047,"stem":3048,"children":3049},"POSIX (POS)","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fposix-pos","4.sei-cert-c-coding-standard\u002F03.rules\u002F16.posix-pos\u002F01.index",[3050,3051,3055,3059,3063,3067,3071,3075,3079,3083,3087,3091,3095,3099,3103,3107,3111],{"title":3046,"path":3047,"stem":3048},{"title":3052,"path":3053,"stem":3054},"POS30-C. Use the readlink() function properly","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fposix-pos\u002Fpos30-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F16.posix-pos\u002F02.pos30-c",{"title":3056,"path":3057,"stem":3058},"POS34-C. Do not call putenv() with a pointer to an automatic variable as the argument","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fposix-pos\u002Fpos34-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F16.posix-pos\u002F03.pos34-c",{"title":3060,"path":3061,"stem":3062},"POS35-C. Avoid race conditions while checking for the existence of a symbolic link","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fposix-pos\u002Fpos35-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F16.posix-pos\u002F04.pos35-c",{"title":3064,"path":3065,"stem":3066},"POS36-C. Observe correct revocation order while relinquishing privileges","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fposix-pos\u002Fpos36-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F16.posix-pos\u002F05.pos36-c",{"title":3068,"path":3069,"stem":3070},"POS37-C. Ensure that privilege relinquishment is successful","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fposix-pos\u002Fpos37-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F16.posix-pos\u002F06.pos37-c",{"title":3072,"path":3073,"stem":3074},"POS38-C. Beware of race conditions when using fork and file descriptors","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fposix-pos\u002Fpos38-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F16.posix-pos\u002F07.pos38-c",{"title":3076,"path":3077,"stem":3078},"POS39-C. Use the correct byte ordering when transferring data between systems","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fposix-pos\u002Fpos39-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F16.posix-pos\u002F08.pos39-c",{"title":3080,"path":3081,"stem":3082},"POS44-C. Do not use signals to terminate threads","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fposix-pos\u002Fpos44-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F16.posix-pos\u002F09.pos44-c",{"title":3084,"path":3085,"stem":3086},"POS47-C. Do not use threads that can be canceled asynchronously","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fposix-pos\u002Fpos47-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F16.posix-pos\u002F10.pos47-c",{"title":3088,"path":3089,"stem":3090},"POS48-C. Do not unlock or destroy another POSIX thread's mutex","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fposix-pos\u002Fpos48-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F16.posix-pos\u002F11.pos48-c",{"title":3092,"path":3093,"stem":3094},"POS49-C. When data must be accessed by multiple threads, provide a mutex and guarantee no adjacent data is also accessed","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fposix-pos\u002Fpos49-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F16.posix-pos\u002F12.pos49-c",{"title":3096,"path":3097,"stem":3098},"POS50-C. Declare objects shared between POSIX threads with appropriate storage durations","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fposix-pos\u002Fpos50-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F16.posix-pos\u002F13.pos50-c",{"title":3100,"path":3101,"stem":3102},"POS51-C. Avoid deadlock with POSIX threads by locking in predefined order","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fposix-pos\u002Fpos51-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F16.posix-pos\u002F14.pos51-c",{"title":3104,"path":3105,"stem":3106},"POS52-C. Do not perform operations that can block while holding a POSIX lock","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fposix-pos\u002Fpos52-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F16.posix-pos\u002F15.pos52-c",{"title":3108,"path":3109,"stem":3110},"POS53-C. Do not use more than one mutex for concurrent waiting operations on a condition variable","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fposix-pos\u002Fpos53-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F16.posix-pos\u002F16.pos53-c",{"title":3112,"path":3113,"stem":3114},"POS54-C. Detect and handle POSIX library errors","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fposix-pos\u002Fpos54-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F16.posix-pos\u002F17.pos54-c",{"title":3116,"path":3117,"stem":3118,"children":3119},"Preprocessor (PRE)","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fpreprocessor-pre","4.sei-cert-c-coding-standard\u002F03.rules\u002F17.preprocessor-pre\u002F1.index",[3120,3121,3125,3129],{"title":3116,"path":3117,"stem":3118},{"title":3122,"path":3123,"stem":3124},"PRE30-C. Do not create a universal character name through concatenation","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fpreprocessor-pre\u002Fpre30-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F17.preprocessor-pre\u002F2.pre30-c",{"title":3126,"path":3127,"stem":3128},"PRE31-C. Avoid side effects in arguments to unsafe macros","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fpreprocessor-pre\u002Fpre31-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F17.preprocessor-pre\u002F3.pre31-c",{"title":3130,"path":3131,"stem":3132},"PRE32-C. Do not use preprocessor directives in invocations of function-like macros","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fpreprocessor-pre\u002Fpre32-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F17.preprocessor-pre\u002F4.pre32-c",{"title":3134,"path":3135,"stem":3136,"children":3137},"Signals (SIG)","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fsignals-sig","4.sei-cert-c-coding-standard\u002F03.rules\u002F18.signals-sig\u002F1.index",[3138,3139,3143,3147,3151],{"title":3134,"path":3135,"stem":3136},{"title":3140,"path":3141,"stem":3142},"SIG30-C. Call only asynchronous-safe functions within signal handlers","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fsignals-sig\u002Fsig30-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F18.signals-sig\u002F2.sig30-c",{"title":3144,"path":3145,"stem":3146},"SIG31-C. Do not access shared objects in signal handlers","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fsignals-sig\u002Fsig31-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F18.signals-sig\u002F3.sig31-c",{"title":3148,"path":3149,"stem":3150},"SIG34-C. Do not call signal() from within interruptible signal handlers","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fsignals-sig\u002Fsig34-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F18.signals-sig\u002F4.sig34-c",{"title":3152,"path":3153,"stem":3154},"SIG35-C. Do not return from a computational exception signal handler","\u002Fsei-cert-c-coding-standard\u002Frules\u002Fsignals-sig\u002Fsig35-c","4.sei-cert-c-coding-standard\u002F03.rules\u002F18.signals-sig\u002F5.sig35-c",{"title":3156,"path":3157,"stem":3158,"children":3159},"Back Matter","\u002Fsei-cert-c-coding-standard\u002Fback-matter","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F1.index",[3160,3161,3165,3169,3173,3177,3385,3441],{"title":3156,"path":3157,"stem":3158},{"title":3162,"path":3163,"stem":3164},"AA. Bibliography","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Faa-bibliography","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F2.aa-bibliography",{"title":3166,"path":3167,"stem":3168},"BB. Definitions","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fbb-definitions","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F3.bb-definitions",{"title":3170,"path":3171,"stem":3172},"CC. Undefined Behavior","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fcc-undefined-behavior","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F4.cc-undefined-behavior",{"title":3174,"path":3175,"stem":3176},"DD. Unspecified Behavior","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fdd-unspecified-behavior","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F5.dd-unspecified-behavior",{"title":3178,"path":3179,"stem":3180,"children":3181},"EE. Analyzers","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F01.index",[3182,3183,3187,3191,3195,3199,3203,3207,3211,3215,3219,3221,3225,3227,3231,3235,3239,3243,3247,3251,3255,3259,3263,3267,3271,3275,3279,3281,3285,3289,3293,3297,3301,3305,3309,3313,3317,3321,3325,3329,3333,3337,3341,3345,3349,3353,3357,3361,3365,3369,3373,3377,3381],{"title":3178,"path":3179,"stem":3180},{"title":3184,"path":3185,"stem":3186},"Astrée","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fastree","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F02.astree",{"title":3188,"path":3189,"stem":3190},"Astrée_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fastree_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F03.astree_v",{"title":3192,"path":3193,"stem":3194},"Axivion Bauhaus Suite","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Faxivion-bauhaus-suite","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F04.axivion-bauhaus-suite",{"title":3196,"path":3197,"stem":3198},"Axivion Bauhaus Suite_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Faxivion-bauhaus-suite_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F05.axivion-bauhaus-suite_v",{"title":3200,"path":3201,"stem":3202},"Clang","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fclang","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F06.clang",{"title":3204,"path":3205,"stem":3206},"Clang_38_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fclang_38_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F07.clang_38_v",{"title":3208,"path":3209,"stem":3210},"Clang_39_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fclang_39_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F08.clang_39_v",{"title":3212,"path":3213,"stem":3214},"Clang_40_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fclang_40_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F09.clang_40_v",{"title":3216,"path":3217,"stem":3218},"Clang_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fclang_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F10.clang_v",{"title":2241,"path":2240,"stem":3220},"4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F11.codee",{"title":3222,"path":3223,"stem":3224},"Codee_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fcodee_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F12.codee_v",{"title":2272,"path":2271,"stem":3226},"4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F13.codesonar",{"title":3228,"path":3229,"stem":3230},"CodeSonar_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fcodesonar_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F14.codesonar_v",{"title":3232,"path":3233,"stem":3234},"Coverity","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fcoverity","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F15.coverity",{"title":3236,"path":3237,"stem":3238},"Coverity_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fcoverity_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F16.coverity_v",{"title":3240,"path":3241,"stem":3242},"Cppcheck","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fcppcheck","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F17.cppcheck",{"title":3244,"path":3245,"stem":3246},"Cppcheck Premium","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fcppcheck-premium","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F18.cppcheck-premium",{"title":3248,"path":3249,"stem":3250},"Cppcheck Premium_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fcppcheck-premium_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F19.cppcheck-premium_v",{"title":3252,"path":3253,"stem":3254},"Cppcheck_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fcppcheck_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F20.cppcheck_v",{"title":3256,"path":3257,"stem":3258},"ECLAIR","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Feclair","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F21.eclair",{"title":3260,"path":3261,"stem":3262},"ECLAIR_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Feclair_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F22.eclair_v",{"title":3264,"path":3265,"stem":3266},"EDG","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fedg","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F23.edg",{"title":3268,"path":3269,"stem":3270},"EDG_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fedg_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F24.edg_v",{"title":3272,"path":3273,"stem":3274},"GCC","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fgcc","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F25.gcc",{"title":3276,"path":3277,"stem":3278},"GCC_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fgcc_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F26.gcc_v",{"title":2297,"path":2296,"stem":3280},"4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F27.helix-qac",{"title":3282,"path":3283,"stem":3284},"Helix QAC_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fhelix-qac_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F28.helix-qac_v",{"title":3286,"path":3287,"stem":3288},"Klocwork","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fklocwork","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F29.klocwork",{"title":3290,"path":3291,"stem":3292},"Klocwork_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fklocwork_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F30.klocwork_v",{"title":3294,"path":3295,"stem":3296},"LDRA","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fldra","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F31.ldra",{"title":3298,"path":3299,"stem":3300},"LDRA_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fldra_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F32.ldra_v",{"title":3302,"path":3303,"stem":3304},"Parasoft","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fparasoft","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F33.parasoft",{"title":3306,"path":3307,"stem":3308},"Parasoft_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fparasoft_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F34.parasoft_v",{"title":3310,"path":3311,"stem":3312},"PC-lint Plus","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fpc-lint-plus","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F35.pc-lint-plus",{"title":3314,"path":3315,"stem":3316},"PC-lint Plus_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fpc-lint-plus_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F36.pc-lint-plus_v",{"title":3318,"path":3319,"stem":3320},"Polyspace Bug Finder","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fpolyspace-bug-finder","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F37.polyspace-bug-finder",{"title":3322,"path":3323,"stem":3324},"Polyspace Bug Finder_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fpolyspace-bug-finder_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F38.polyspace-bug-finder_v",{"title":3326,"path":3327,"stem":3328},"PVS-Studio","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fpvs-studio","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F39.pvs-studio",{"title":3330,"path":3331,"stem":3332},"PVS-Studio_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fpvs-studio_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F40.pvs-studio_v",{"title":3334,"path":3335,"stem":3336},"Rose","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Frose","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F41.rose",{"title":3338,"path":3339,"stem":3340},"Rose_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Frose_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F42.rose_v",{"title":3342,"path":3343,"stem":3344},"Rosecheckers Code","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Frosecheckers-code","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F43.rosecheckers-code",{"title":3346,"path":3347,"stem":3348},"RuleChecker","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Frulechecker","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F44.rulechecker",{"title":3350,"path":3351,"stem":3352},"RuleChecker_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Frulechecker_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F45.rulechecker_v",{"title":3354,"path":3355,"stem":3356},"Security Reviewer - Static Reviewer","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fsecurity-reviewer-static-reviewer","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F46.security-reviewer-static-reviewer",{"title":3358,"path":3359,"stem":3360},"Security Reviewer - Static Reviewer_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fsecurity-reviewer-static-reviewer_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F47.security-reviewer-static-reviewer_v",{"title":3362,"path":3363,"stem":3364},"SonarQube C\u002FC++ Plugin","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fsonarqube-ccpp-plugin","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F48.sonarqube-ccpp-plugin",{"title":3366,"path":3367,"stem":3368},"SonarQube C\u002FC++ Plugin_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fsonarqube-ccpp-plugin_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F49.sonarqube-ccpp-plugin_v",{"title":3370,"path":3371,"stem":3372},"Splint","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fsplint","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F50.splint",{"title":3374,"path":3375,"stem":3376},"Splint_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Fsplint_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F51.splint_v",{"title":3378,"path":3379,"stem":3380},"TrustInSoft Analyzer","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Ftrustinsoft-analyzer","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F52.trustinsoft-analyzer",{"title":3382,"path":3383,"stem":3384},"TrustInSoft Analyzer_V","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fee-analyzers\u002Ftrustinsoft-analyzer_v","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F6.ee-analyzers\u002F53.trustinsoft-analyzer_v",{"title":3386,"path":3387,"stem":3388,"children":3389},"FF. Related Guidelines","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fff-related-guidelines","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F7.ff-related-guidelines\u002F01.index",[3390,3391,3395,3399,3403,3407,3411,3415,3419,3423,3426,3429,3433,3437],{"title":3386,"path":3387,"stem":3388},{"title":3392,"path":3393,"stem":3394},"2003","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fff-related-guidelines\u002F02.2003","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F7.ff-related-guidelines\u002F02.2003",{"title":3396,"path":3397,"stem":3398},"2006","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fff-related-guidelines\u002F03.2006","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F7.ff-related-guidelines\u002F03.2006",{"title":3400,"path":3401,"stem":3402},"2007","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fff-related-guidelines\u002F04.2007","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F7.ff-related-guidelines\u002F04.2007",{"title":3404,"path":3405,"stem":3406},"2008","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fff-related-guidelines\u002F05.2008","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F7.ff-related-guidelines\u002F05.2008",{"title":3408,"path":3409,"stem":3410},"2010","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fff-related-guidelines\u002F06.2010","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F7.ff-related-guidelines\u002F06.2010",{"title":3412,"path":3413,"stem":3414},"2011","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fff-related-guidelines\u002F07.2011","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F7.ff-related-guidelines\u002F07.2011",{"title":3416,"path":3417,"stem":3418},"2012","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fff-related-guidelines\u002F08.2012","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F7.ff-related-guidelines\u002F08.2012",{"title":3420,"path":3421,"stem":3422},"2013","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fff-related-guidelines\u002F09.2013","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F7.ff-related-guidelines\u002F09.2013",{"title":3420,"path":3424,"stem":3425},"\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fff-related-guidelines\u002F10.2013","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F7.ff-related-guidelines\u002F10.2013",{"title":2366,"path":3427,"stem":3428},"\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fff-related-guidelines\u002Fmitre-cwe","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F7.ff-related-guidelines\u002F11.mitre-cwe",{"title":3430,"path":3431,"stem":3432},"MITRE CWE 2.11","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fff-related-guidelines\u002Fmitre-cwe-211","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F7.ff-related-guidelines\u002F12.mitre-cwe-211",{"title":3434,"path":3435,"stem":3436},"MITRE CWE 3.1","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fff-related-guidelines\u002Fmitre-cwe-31","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F7.ff-related-guidelines\u002F13.mitre-cwe-31",{"title":3438,"path":3439,"stem":3440},"MITRE CWE 3.11","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fff-related-guidelines\u002Fmitre-cwe-311","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F7.ff-related-guidelines\u002F14.mitre-cwe-311",{"title":3442,"path":3443,"stem":3444},"GG. Risk Assessments","\u002Fsei-cert-c-coding-standard\u002Fback-matter\u002Fgg-risk-assessments","4.sei-cert-c-coding-standard\u002F04.back-matter\u002F8.gg-risk-assessments",{"title":3446,"path":3447,"stem":3448,"children":3449},"Admin","\u002Fsei-cert-c-coding-standard\u002Fadmin","4.sei-cert-c-coding-standard\u002F05.admin\u002F1.index",[3450,3451,3455],{"title":3446,"path":3447,"stem":3448},{"title":3452,"path":3453,"stem":3454},"TODO List","\u002Fsei-cert-c-coding-standard\u002Fadmin\u002Ftodo-list","4.sei-cert-c-coding-standard\u002F05.admin\u002F2.todo-list",{"title":3456,"path":3457,"stem":3458},"Undefined and implementation-defined behaviors not deemed ruleworthy","\u002Fsei-cert-c-coding-standard\u002Fadmin\u002Fundefined-and-implementation-defined-behaviors-not-deemed-ruleworthy","4.sei-cert-c-coding-standard\u002F05.admin\u002F3.undefined-and-implementation-defined-behaviors-not-deemed-ruleworthy",{"title":3460,"path":3461,"stem":3462},"Coding Style Guidelines","\u002Fsei-cert-c-coding-standard\u002Fcoding-style-guidelines","4.sei-cert-c-coding-standard\u002F05.coding-style-guidelines",{"title":3464,"path":3465,"stem":3466},"Errata for SEI CERT C Coding Standard (2016 Edition)","\u002Fsei-cert-c-coding-standard\u002Ferrata-for-sei-cert-c-coding-standard-2016-edition","4.sei-cert-c-coding-standard\u002F06.errata-for-sei-cert-c-coding-standard-2016-edition",{"title":3468,"path":3469,"stem":3470},"Wiki Contents","\u002Fsei-cert-c-coding-standard\u002Fwiki-contents","4.sei-cert-c-coding-standard\u002F06.wiki-contents",{"title":3472,"path":3473,"stem":3474,"children":3475},"Recommendations","\u002Fsei-cert-c-coding-standard\u002Frecommendations","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F01.index",[3476,3477,3518,3535,3580,3612,3709,3726,3759,3828,3865,3950,4015,4064,4089,4182,4203,4260],{"title":3472,"path":3473,"stem":3474},{"title":2574,"path":3478,"stem":3479,"children":3480},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fapplication-programming-interfaces-api","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F02.application-programming-interfaces-api\u002F01.index",[3481,3482,3486,3490,3494,3498,3502,3506,3510,3514],{"title":2574,"path":3478,"stem":3479},{"title":3483,"path":3484,"stem":3485},"API00-C. Functions should validate their parameters","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fapplication-programming-interfaces-api\u002Fapi00-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F02.application-programming-interfaces-api\u002F02.api00-c",{"title":3487,"path":3488,"stem":3489},"API01-C. Avoid laying out strings in memory directly before sensitive data","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fapplication-programming-interfaces-api\u002Fapi01-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F02.application-programming-interfaces-api\u002F03.api01-c",{"title":3491,"path":3492,"stem":3493},"API02-C. Functions that read or write to or from an array should take an argument to specify the source or target size","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fapplication-programming-interfaces-api\u002Fapi02-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F02.application-programming-interfaces-api\u002F04.api02-c",{"title":3495,"path":3496,"stem":3497},"API03-C. Create consistent interfaces and capabilities across related functions","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fapplication-programming-interfaces-api\u002Fapi03-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F02.application-programming-interfaces-api\u002F05.api03-c",{"title":3499,"path":3500,"stem":3501},"API04-C. Provide a consistent and usable error-checking mechanism","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fapplication-programming-interfaces-api\u002Fapi04-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F02.application-programming-interfaces-api\u002F06.api04-c",{"title":3503,"path":3504,"stem":3505},"API05-C. Use conformant array parameters","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fapplication-programming-interfaces-api\u002Fapi05-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F02.application-programming-interfaces-api\u002F07.api05-c",{"title":3507,"path":3508,"stem":3509},"API07-C. Enforce type safety","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fapplication-programming-interfaces-api\u002Fapi07-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F02.application-programming-interfaces-api\u002F08.api07-c",{"title":3511,"path":3512,"stem":3513},"API09-C. Compatible values should have the same type","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fapplication-programming-interfaces-api\u002Fapi09-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F02.application-programming-interfaces-api\u002F09.api09-c",{"title":3515,"path":3516,"stem":3517},"API10-C. APIs should have security options enabled by default","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fapplication-programming-interfaces-api\u002Fapi10-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F02.application-programming-interfaces-api\u002F10.api10-c",{"title":2578,"path":3519,"stem":3520,"children":3521},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Farrays-arr","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F03.arrays-arr\u002F1.index",[3522,3523,3527,3531],{"title":2578,"path":3519,"stem":3520},{"title":3524,"path":3525,"stem":3526},"ARR00-C. Understand how arrays work","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Farrays-arr\u002Farr00-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F03.arrays-arr\u002F2.arr00-c",{"title":3528,"path":3529,"stem":3530},"ARR01-C. Do not apply the sizeof operator to a pointer when taking the size of an array","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Farrays-arr\u002Farr01-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F03.arrays-arr\u002F3.arr01-c",{"title":3532,"path":3533,"stem":3534},"ARR02-C. Explicitly specify array bounds, even if implicitly defined by an initializer","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Farrays-arr\u002Farr02-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F03.arrays-arr\u002F4.arr02-c",{"title":2608,"path":3536,"stem":3537,"children":3538},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fcharacters-and-strings-str","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F04.characters-and-strings-str\u002F01.index",[3539,3540,3544,3548,3552,3556,3560,3564,3568,3572,3576],{"title":2608,"path":3536,"stem":3537},{"title":3541,"path":3542,"stem":3543},"STR00-C. Represent characters using an appropriate type","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fcharacters-and-strings-str\u002Fstr00-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F04.characters-and-strings-str\u002F02.str00-c",{"title":3545,"path":3546,"stem":3547},"STR01-C. Adopt and implement a consistent plan for managing strings","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fcharacters-and-strings-str\u002Fstr01-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F04.characters-and-strings-str\u002F03.str01-c",{"title":3549,"path":3550,"stem":3551},"STR02-C. Sanitize data passed to complex subsystems","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fcharacters-and-strings-str\u002Fstr02-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F04.characters-and-strings-str\u002F04.str02-c",{"title":3553,"path":3554,"stem":3555},"STR03-C. Do not inadvertently truncate a string","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fcharacters-and-strings-str\u002Fstr03-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F04.characters-and-strings-str\u002F05.str03-c",{"title":3557,"path":3558,"stem":3559},"STR04-C. Use plain char for characters in the basic character set","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fcharacters-and-strings-str\u002Fstr04-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F04.characters-and-strings-str\u002F06.str04-c",{"title":3561,"path":3562,"stem":3563},"STR05-C. Use pointers to const when referring to string literals","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fcharacters-and-strings-str\u002Fstr05-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F04.characters-and-strings-str\u002F07.str05-c",{"title":3565,"path":3566,"stem":3567},"STR06-C. Do not assume that strtok() leaves the parse string unchanged","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fcharacters-and-strings-str\u002Fstr06-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F04.characters-and-strings-str\u002F08.str06-c",{"title":3569,"path":3570,"stem":3571},"STR09-C. Don't assume numeric values for expressions with type plain character","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fcharacters-and-strings-str\u002Fstr09-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F04.characters-and-strings-str\u002F09.str09-c",{"title":3573,"path":3574,"stem":3575},"STR10-C. Do not concatenate different type of string literals","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fcharacters-and-strings-str\u002Fstr10-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F04.characters-and-strings-str\u002F10.str10-c",{"title":3577,"path":3578,"stem":3579},"STR11-C. Do not specify the bound of a character array initialized with a string literal","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fcharacters-and-strings-str\u002Fstr11-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F04.characters-and-strings-str\u002F11.str11-c",{"title":2638,"path":3581,"stem":3582,"children":3583},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fconcurrency-con","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F05.concurrency-con\u002F01.index",[3584,3585,3589,3593,3597,3601,3605,3606,3607,3608],{"title":2638,"path":3581,"stem":3582},{"title":3586,"path":3587,"stem":3588},"CON01-C. Acquire and release synchronization primitives in the same module, at the same level of abstraction","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fconcurrency-con\u002Fcon01-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F05.concurrency-con\u002F02.con01-c",{"title":3590,"path":3591,"stem":3592},"CON02-C. Do not use volatile as a synchronization primitive","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fconcurrency-con\u002Fcon02-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F05.concurrency-con\u002F03.con02-c",{"title":3594,"path":3595,"stem":3596},"CON03-C. Ensure visibility when accessing shared variables","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fconcurrency-con\u002Fcon03-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F05.concurrency-con\u002F04.con03-c",{"title":3598,"path":3599,"stem":3600},"CON04-C. Join or detach threads even if their exit status is unimportant","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fconcurrency-con\u002Fcon04-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F05.concurrency-con\u002F05.con04-c",{"title":3602,"path":3603,"stem":3604},"CON05-C. Do not perform operations that can block while holding a lock","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fconcurrency-con\u002Fcon05-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F05.concurrency-con\u002F06.con05-c",{"title":2483,"path":2433,"stem":2484},{"title":30,"path":2477,"stem":2479},{"title":2486,"path":2446,"stem":2487},{"title":3609,"path":3610,"stem":3611},"CON09-C. Avoid the ABA problem when using lock-free algorithms","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fconcurrency-con\u002Fcon09-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F05.concurrency-con\u002F10.con09-c",{"title":2700,"path":3613,"stem":3614,"children":3615},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F01.index",[3616,3617,3621,3625,3629,3633,3637,3641,3645,3649,3653,3657,3661,3665,3669,3673,3677,3681,3685,3689,3693,3697,3701,3705],{"title":2700,"path":3613,"stem":3614},{"title":3618,"path":3619,"stem":3620},"DCL00-C. Const-qualify immutable objects","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl00-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F02.dcl00-c",{"title":3622,"path":3623,"stem":3624},"DCL01-C. Do not reuse variable names in subscopes","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl01-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F03.dcl01-c",{"title":3626,"path":3627,"stem":3628},"DCL02-C. Use visually distinct identifiers","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl02-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F04.dcl02-c",{"title":3630,"path":3631,"stem":3632},"DCL03-C. Use a static assertion to test the value of a constant expression","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl03-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F05.dcl03-c",{"title":3634,"path":3635,"stem":3636},"DCL04-C. Do not declare more than one variable per declaration","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl04-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F06.dcl04-c",{"title":3638,"path":3639,"stem":3640},"DCL05-C. Use typedefs of non-pointer types only","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl05-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F07.dcl05-c",{"title":3642,"path":3643,"stem":3644},"DCL06-C. Use meaningful symbolic constants to represent literal values","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl06-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F08.dcl06-c",{"title":3646,"path":3647,"stem":3648},"DCL07-C. Include the appropriate type information in function declarators","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl07-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F09.dcl07-c",{"title":3650,"path":3651,"stem":3652},"DCL08-C. Properly encode relationships in constant definitions","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl08-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F10.dcl08-c",{"title":3654,"path":3655,"stem":3656},"DCL09-C. Declare functions that return errno with a return type of errno_t","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl09-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F11.dcl09-c",{"title":3658,"path":3659,"stem":3660},"DCL10-C. Maintain the contract between the writer and caller of variadic functions","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl10-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F12.dcl10-c",{"title":3662,"path":3663,"stem":3664},"DCL11-C. Understand the type issues associated with variadic functions","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl11-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F13.dcl11-c",{"title":3666,"path":3667,"stem":3668},"DCL12-C. Implement abstract data types using opaque types","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl12-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F14.dcl12-c",{"title":3670,"path":3671,"stem":3672},"DCL13-C. Declare function parameters that are pointers to values not changed by the function as const","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl13-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F15.dcl13-c",{"title":3674,"path":3675,"stem":3676},"DCL15-C. Declare file-scope objects or functions that do not need external linkage as static","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl15-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F16.dcl15-c",{"title":3678,"path":3679,"stem":3680},"DCL16-C. Use \"L,\" not \"l,\" to indicate a long value","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl16-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F17.dcl16-c",{"title":3682,"path":3683,"stem":3684},"DCL17-C. Beware of miscompiled volatile-qualified variables","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl17-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F18.dcl17-c",{"title":3686,"path":3687,"stem":3688},"DCL18-C. Do not begin integer constants with 0 when specifying a decimal value","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl18-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F19.dcl18-c",{"title":3690,"path":3691,"stem":3692},"DCL19-C. Minimize the scope of variables and functions","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl19-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F20.dcl19-c",{"title":3694,"path":3695,"stem":3696},"DCL20-C. Explicitly specify void when a function accepts no arguments","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl20-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F21.dcl20-c",{"title":3698,"path":3699,"stem":3700},"DCL21-C. Understand the storage of compound literals","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl21-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F22.dcl21-c",{"title":3702,"path":3703,"stem":3704},"DCL22-C. Use volatile for data that cannot be cached","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl22-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F23.dcl22-c",{"title":3706,"path":3707,"stem":3708},"DCL23-C. Guarantee that mutually visible identifiers are unique","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fdeclarations-and-initialization-dcl\u002Fdcl23-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F06.declarations-and-initialization-dcl\u002F24.dcl23-c",{"title":2738,"path":3710,"stem":3711,"children":3712},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fenvironment-env","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F07.environment-env\u002F1.index",[3713,3714,3718,3722],{"title":2738,"path":3710,"stem":3711},{"title":3715,"path":3716,"stem":3717},"ENV01-C. Do not make assumptions about the size of an environment variable","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fenvironment-env\u002Fenv01-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F07.environment-env\u002F2.env01-c",{"title":3719,"path":3720,"stem":3721},"ENV02-C. Beware of multiple environment variables with the same effective name","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fenvironment-env\u002Fenv02-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F07.environment-env\u002F3.env02-c",{"title":3723,"path":3724,"stem":3725},"ENV03-C. Sanitize the environment when invoking external programs","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fenvironment-env\u002Fenv03-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F07.environment-env\u002F4.env03-c",{"title":2764,"path":3727,"stem":3728,"children":3729},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Ferror-handling-err","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F08.error-handling-err\u002F1.index",[3730,3731,3735,3739,3743,3747,3751,3755],{"title":2764,"path":3727,"stem":3728},{"title":3732,"path":3733,"stem":3734},"ERR00-C. Adopt and implement a consistent and comprehensive error-handling policy","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Ferror-handling-err\u002Ferr00-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F08.error-handling-err\u002F2.err00-c",{"title":3736,"path":3737,"stem":3738},"ERR01-C. Use ferror() rather than errno to check for FILE stream errors","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Ferror-handling-err\u002Ferr01-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F08.error-handling-err\u002F3.err01-c",{"title":3740,"path":3741,"stem":3742},"ERR02-C. Avoid in-band error indicators","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Ferror-handling-err\u002Ferr02-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F08.error-handling-err\u002F4.err02-c",{"title":3744,"path":3745,"stem":3746},"ERR04-C. Choose an appropriate termination strategy","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Ferror-handling-err\u002Ferr04-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F08.error-handling-err\u002F5.err04-c",{"title":3748,"path":3749,"stem":3750},"ERR05-C. Application-independent code should provide error detection without dictating error handling","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Ferror-handling-err\u002Ferr05-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F08.error-handling-err\u002F6.err05-c",{"title":3752,"path":3753,"stem":3754},"ERR06-C. Understand the termination behavior of assert() and abort()","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Ferror-handling-err\u002Ferr06-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F08.error-handling-err\u002F7.err06-c",{"title":3756,"path":3757,"stem":3758},"ERR07-C. Prefer functions that support error checking over equivalent functions that don't","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Ferror-handling-err\u002Ferr07-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F08.error-handling-err\u002F8.err07-c",{"title":2786,"path":3760,"stem":3761,"children":3762},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fexpressions-exp","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F09.expressions-exp\u002F01.index",[3763,3764,3768,3772,3776,3780,3784,3788,3792,3796,3800,3804,3808,3812,3816,3820,3824],{"title":2786,"path":3760,"stem":3761},{"title":3765,"path":3766,"stem":3767},"EXP00-C. Use parentheses for precedence of operation","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fexpressions-exp\u002Fexp00-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F09.expressions-exp\u002F02.exp00-c",{"title":3769,"path":3770,"stem":3771},"EXP02-C. Be aware of the short-circuit behavior of the logical AND and OR operators","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fexpressions-exp\u002Fexp02-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F09.expressions-exp\u002F03.exp02-c",{"title":3773,"path":3774,"stem":3775},"EXP03-C. Do not assume the size of a structure is the sum of the sizes of its members","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fexpressions-exp\u002Fexp03-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F09.expressions-exp\u002F04.exp03-c",{"title":3777,"path":3778,"stem":3779},"EXP05-C. Do not cast away a const qualification","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fexpressions-exp\u002Fexp05-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F09.expressions-exp\u002F05.exp05-c",{"title":3781,"path":3782,"stem":3783},"EXP07-C. Do not diminish the benefits of constants by assuming their values in expressions","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fexpressions-exp\u002Fexp07-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F09.expressions-exp\u002F06.exp07-c",{"title":3785,"path":3786,"stem":3787},"EXP08-C. Ensure pointer arithmetic is used correctly","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fexpressions-exp\u002Fexp08-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F09.expressions-exp\u002F07.exp08-c",{"title":3789,"path":3790,"stem":3791},"EXP09-C. Use sizeof to determine the size of a type or variable","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fexpressions-exp\u002Fexp09-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F09.expressions-exp\u002F08.exp09-c",{"title":3793,"path":3794,"stem":3795},"EXP10-C. Do not depend on the order of evaluation of subexpressions or the order in which side effects take place","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fexpressions-exp\u002Fexp10-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F09.expressions-exp\u002F09.exp10-c",{"title":3797,"path":3798,"stem":3799},"EXP11-C. Do not make assumptions regarding the layout of structures with bit-fields","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fexpressions-exp\u002Fexp11-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F09.expressions-exp\u002F10.exp11-c",{"title":3801,"path":3802,"stem":3803},"EXP12-C. Do not ignore values returned by functions","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fexpressions-exp\u002Fexp12-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F09.expressions-exp\u002F11.exp12-c",{"title":3805,"path":3806,"stem":3807},"EXP13-C. Treat relational and equality operators as if they were nonassociative","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fexpressions-exp\u002Fexp13-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F09.expressions-exp\u002F12.exp13-c",{"title":3809,"path":3810,"stem":3811},"EXP14-C. Beware of integer promotion when performing bitwise operations on integer types smaller than int","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fexpressions-exp\u002Fexp14-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F09.expressions-exp\u002F13.exp14-c",{"title":3813,"path":3814,"stem":3815},"EXP15-C. Do not place a semicolon on the same line as an if, for, or while statement","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fexpressions-exp\u002Fexp15-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F09.expressions-exp\u002F14.exp15-c",{"title":3817,"path":3818,"stem":3819},"EXP16-C. Do not compare function pointers to constant values","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fexpressions-exp\u002Fexp16-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F09.expressions-exp\u002F15.exp16-c",{"title":3821,"path":3822,"stem":3823},"EXP19-C. Use braces for the body of an if, for, or while statement","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fexpressions-exp\u002Fexp19-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F09.expressions-exp\u002F16.exp19-c",{"title":3825,"path":3826,"stem":3827},"EXP20-C. Perform explicit tests to determine success, true and false, and equality","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fexpressions-exp\u002Fexp20-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F09.expressions-exp\u002F17.exp20-c",{"title":2852,"path":3829,"stem":3830,"children":3831},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Ffloating-point-flp","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F10.floating-point-flp\u002F1.index",[3832,3833,3837,3841,3845,3849,3853,3857,3861],{"title":2852,"path":3829,"stem":3830},{"title":3834,"path":3835,"stem":3836},"FLP00-C. Understand the limitations of floating-point numbers","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Ffloating-point-flp\u002Fflp00-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F10.floating-point-flp\u002F2.flp00-c",{"title":3838,"path":3839,"stem":3840},"FLP01-C. Take care in rearranging floating-point expressions","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Ffloating-point-flp\u002Fflp01-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F10.floating-point-flp\u002F3.flp01-c",{"title":3842,"path":3843,"stem":3844},"FLP02-C. Avoid using floating-point numbers when precise computation is needed","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Ffloating-point-flp\u002Fflp02-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F10.floating-point-flp\u002F4.flp02-c",{"title":3846,"path":3847,"stem":3848},"FLP03-C. Detect and handle floating-point errors","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Ffloating-point-flp\u002Fflp03-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F10.floating-point-flp\u002F5.flp03-c",{"title":3850,"path":3851,"stem":3852},"FLP04-C. Check floating-point inputs for exceptional values","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Ffloating-point-flp\u002Fflp04-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F10.floating-point-flp\u002F6.flp04-c",{"title":3854,"path":3855,"stem":3856},"FLP05-C. Do not use denormalized numbers","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Ffloating-point-flp\u002Fflp05-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F10.floating-point-flp\u002F7.flp05-c",{"title":3858,"path":3859,"stem":3860},"FLP06-C. Convert integers to floating point for floating-point operations","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Ffloating-point-flp\u002Fflp06-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F10.floating-point-flp\u002F8.flp06-c",{"title":3862,"path":3863,"stem":3864},"FLP07-C. Cast the return value of a function that returns a floating-point type","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Ffloating-point-flp\u002Fflp07-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F10.floating-point-flp\u002F9.flp07-c",{"title":2878,"path":3866,"stem":3867,"children":3868},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F01.index",[3869,3870,3874,3878,3882,3886,3890,3894,3898,3902,3906,3910,3914,3918,3922,3926,3930,3934,3938,3942,3946],{"title":2878,"path":3866,"stem":3867},{"title":3871,"path":3872,"stem":3873},"FIO01-C. Be careful using functions that use file names for identification","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio01-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F02.fio01-c",{"title":3875,"path":3876,"stem":3877},"FIO02-C. Canonicalize path names originating from tainted sources","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio02-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F03.fio02-c",{"title":3879,"path":3880,"stem":3881},"FIO03-C. Do not make assumptions about fopen() and file creation","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio03-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F04.fio03-c",{"title":3883,"path":3884,"stem":3885},"FIO05-C. Identify files using multiple file attributes","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio05-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F05.fio05-c",{"title":3887,"path":3888,"stem":3889},"FIO06-C. Create files with appropriate access permissions","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio06-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F06.fio06-c",{"title":3891,"path":3892,"stem":3893},"FIO08-C. Take care when calling remove() on an open file","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio08-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F07.fio08-c",{"title":3895,"path":3896,"stem":3897},"FIO09-C. Be careful with binary data when transferring data across systems","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio09-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F08.fio09-c",{"title":3899,"path":3900,"stem":3901},"FIO10-C. Take care when using the rename() function","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio10-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F09.fio10-c",{"title":3903,"path":3904,"stem":3905},"FIO11-C. Take care when specifying the mode parameter of fopen()","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio11-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F10.fio11-c",{"title":3907,"path":3908,"stem":3909},"FIO13-C. Never push back anything other than one read character","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio13-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F11.fio13-c",{"title":3911,"path":3912,"stem":3913},"FIO14-C. Understand the difference between text mode and binary mode with file streams","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio14-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F12.fio14-c",{"title":3915,"path":3916,"stem":3917},"FIO15-C. Ensure that file operations are performed in a secure directory","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio15-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F13.fio15-c",{"title":3919,"path":3920,"stem":3921},"FIO17-C. Do not rely on an ending null character when using fread()","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio17-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F14.fio17-c",{"title":3923,"path":3924,"stem":3925},"FIO18-C. Never expect fwrite() to terminate the writing process at a null character","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio18-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F15.fio18-c",{"title":3927,"path":3928,"stem":3929},"FIO19-C. Do not use fseek() and ftell() to compute the size of a regular file","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio19-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F16.fio19-c",{"title":3931,"path":3932,"stem":3933},"FIO20-C. Avoid unintentional truncation when using fgets() or fgetws()","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio20-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F17.fio20-c",{"title":3935,"path":3936,"stem":3937},"FIO21-C. Do not create temporary files in shared directories","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio21-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F18.fio21-c",{"title":3939,"path":3940,"stem":3941},"FIO22-C. Close files before spawning processes","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio22-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F19.fio22-c",{"title":3943,"path":3944,"stem":3945},"FIO23-C. Do not exit with unflushed data in stdout or stderr","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio23-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F20.fio23-c",{"title":3947,"path":3948,"stem":3949},"FIO24-C. Do not open a file that is already open","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Finput-output-fio\u002Ffio24-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F11.input-output-fio\u002F21.fio24-c",{"title":2936,"path":3951,"stem":3952,"children":3953},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fintegers-int","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F12.integers-int\u002F01.index",[3954,3955,3959,3963,3967,3971,3975,3979,3983,3987,3991,3995,3999,4003,4007,4011],{"title":2936,"path":3951,"stem":3952},{"title":3956,"path":3957,"stem":3958},"INT00-C. Understand the data model used by your implementation(s)","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fintegers-int\u002Fint00-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F12.integers-int\u002F02.int00-c",{"title":3960,"path":3961,"stem":3962},"INT01-C. Use size_t or rsize_t for all integer values representing the size of an object","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fintegers-int\u002Fint01-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F12.integers-int\u002F03.int01-c",{"title":3964,"path":3965,"stem":3966},"INT04-C. Enforce limits on integer values originating from tainted sources","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fintegers-int\u002Fint04-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F12.integers-int\u002F05.int04-c",{"title":3968,"path":3969,"stem":3970},"INT05-C. Do not use input functions to convert character data if they cannot handle all possible inputs","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fintegers-int\u002Fint05-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F12.integers-int\u002F06.int05-c",{"title":3972,"path":3973,"stem":3974},"INT07-C. Use only explicitly signed or unsigned char type for numeric values","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fintegers-int\u002Fint07-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F12.integers-int\u002F07.int07-c",{"title":3976,"path":3977,"stem":3978},"INT08-C. Verify that all integer values are in range","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fintegers-int\u002Fint08-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F12.integers-int\u002F08.int08-c",{"title":3980,"path":3981,"stem":3982},"INT09-C. Ensure enumeration constants map to unique values","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fintegers-int\u002Fint09-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F12.integers-int\u002F09.int09-c",{"title":3984,"path":3985,"stem":3986},"INT10-C. Do not assume a positive remainder when using the % operator","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fintegers-int\u002Fint10-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F12.integers-int\u002F10.int10-c",{"title":3988,"path":3989,"stem":3990},"INT12-C. Do not make assumptions about the type of a plain int bit-field when used in an expression","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fintegers-int\u002Fint12-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F12.integers-int\u002F11.int12-c",{"title":3992,"path":3993,"stem":3994},"INT13-C. Use bitwise operators only on unsigned operands","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fintegers-int\u002Fint13-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F12.integers-int\u002F12.int13-c",{"title":3996,"path":3997,"stem":3998},"INT14-C. Avoid performing bitwise and arithmetic operations on the same data","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fintegers-int\u002Fint14-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F12.integers-int\u002F13.int14-c",{"title":4000,"path":4001,"stem":4002},"INT15-C. Use intmax_t or uintmax_t for formatted IO on programmer-defined integer types","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fintegers-int\u002Fint15-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F12.integers-int\u002F14.int15-c",{"title":4004,"path":4005,"stem":4006},"INT16-C. Do not make assumptions about representation of signed integers","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fintegers-int\u002Fint16-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F12.integers-int\u002F15.int16-c",{"title":4008,"path":4009,"stem":4010},"INT17-C. Define integer constants in an implementation-independent manner","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fintegers-int\u002Fint17-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F12.integers-int\u002F16.int17-c",{"title":4012,"path":4013,"stem":4014},"INT18-C. Evaluate integer expressions in a larger size before comparing or assigning to that size","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fintegers-int\u002Fint18-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F12.integers-int\u002F17.int18-c",{"title":2968,"path":4016,"stem":4017,"children":4018},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmemory-management-mem","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F13.memory-management-mem\u002F01.index",[4019,4020,4024,4028,4032,4036,4040,4044,4048,4052,4056,4060],{"title":2968,"path":4016,"stem":4017},{"title":4021,"path":4022,"stem":4023},"MEM00-C. Allocate and free memory in the same module, at the same level of abstraction","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmemory-management-mem\u002Fmem00-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F13.memory-management-mem\u002F02.mem00-c",{"title":4025,"path":4026,"stem":4027},"MEM01-C. Store a new value in pointers immediately after free()","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmemory-management-mem\u002Fmem01-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F13.memory-management-mem\u002F03.mem01-c",{"title":4029,"path":4030,"stem":4031},"MEM02-C. Immediately cast the result of a memory allocation function call into a pointer to the allocated type","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmemory-management-mem\u002Fmem02-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F13.memory-management-mem\u002F04.mem02-c",{"title":4033,"path":4034,"stem":4035},"MEM03-C. Clear sensitive information stored in reusable resources","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmemory-management-mem\u002Fmem03-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F13.memory-management-mem\u002F05.mem03-c",{"title":4037,"path":4038,"stem":4039},"MEM04-C. Beware of zero-length allocations","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmemory-management-mem\u002Fmem04-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F13.memory-management-mem\u002F06.mem04-c",{"title":4041,"path":4042,"stem":4043},"MEM05-C. Avoid large stack allocations","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmemory-management-mem\u002Fmem05-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F13.memory-management-mem\u002F07.mem05-c",{"title":4045,"path":4046,"stem":4047},"MEM06-C. Ensure that sensitive data is not written out to disk","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmemory-management-mem\u002Fmem06-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F13.memory-management-mem\u002F08.mem06-c",{"title":4049,"path":4050,"stem":4051},"MEM07-C. Ensure that the arguments to calloc(), when multiplied, do not wrap","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmemory-management-mem\u002Fmem07-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F13.memory-management-mem\u002F09.mem07-c",{"title":4053,"path":4054,"stem":4055},"MEM10-C. Define and use a pointer validation function","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmemory-management-mem\u002Fmem10-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F13.memory-management-mem\u002F10.mem10-c",{"title":4057,"path":4058,"stem":4059},"MEM11-C. Do not assume infinite heap space","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmemory-management-mem\u002Fmem11-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F13.memory-management-mem\u002F11.mem11-c",{"title":4061,"path":4062,"stem":4063},"MEM12-C. Consider using a goto chain when leaving a function on error when using and releasing resources","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmemory-management-mem\u002Fmem12-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F13.memory-management-mem\u002F12.mem12-c",{"title":2998,"path":4065,"stem":4066,"children":4067},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmicrosoft-windows-win","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F14.microsoft-windows-win\u002F1.index",[4068,4069,4073,4077,4081,4085],{"title":2998,"path":4065,"stem":4066},{"title":4070,"path":4071,"stem":4072},"WIN00-C. Be specific when dynamically loading libraries","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmicrosoft-windows-win\u002Fwin00-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F14.microsoft-windows-win\u002F2.win00-c",{"title":4074,"path":4075,"stem":4076},"WIN01-C. Do not forcibly terminate execution","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmicrosoft-windows-win\u002Fwin01-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F14.microsoft-windows-win\u002F3.win01-c",{"title":4078,"path":4079,"stem":4080},"WIN02-C. Restrict privileges when spawning child processes","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmicrosoft-windows-win\u002Fwin02-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F14.microsoft-windows-win\u002F4.win02-c",{"title":4082,"path":4083,"stem":4084},"WIN03-C. Understand HANDLE inheritance","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmicrosoft-windows-win\u002Fwin03-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F14.microsoft-windows-win\u002F5.win03-c",{"title":4086,"path":4087,"stem":4088},"WIN04-C. Consider encrypting function pointers","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmicrosoft-windows-win\u002Fwin04-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F14.microsoft-windows-win\u002F6.win04-c",{"title":3008,"path":4090,"stem":4091,"children":4092},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F01.index",[4093,4094,4098,4102,4106,4110,4114,4118,4122,4126,4130,4134,4138,4142,4146,4150,4154,4158,4162,4166,4170,4174,4178],{"title":3008,"path":4090,"stem":4091},{"title":4095,"path":4096,"stem":4097},"MSC00-C. Compile cleanly at high warning levels","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc00-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F02.msc00-c",{"title":4099,"path":4100,"stem":4101},"MSC01-C. Strive for logical completeness","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc01-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F03.msc01-c",{"title":4103,"path":4104,"stem":4105},"MSC04-C. Use comments consistently and in a readable fashion","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc04-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F04.msc04-c",{"title":4107,"path":4108,"stem":4109},"MSC05-C. Do not manipulate time_t typed values directly","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc05-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F05.msc05-c",{"title":4111,"path":4112,"stem":4113},"MSC06-C. Beware of compiler optimizations","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc06-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F06.msc06-c",{"title":4115,"path":4116,"stem":4117},"MSC07-C. Detect and remove dead code","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc07-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F07.msc07-c",{"title":4119,"path":4120,"stem":4121},"UTF8-related issues","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Futf8-related-issues","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F08.utf8-related-issues",{"title":4123,"path":4124,"stem":4125},"MSC11-C. Incorporate diagnostic tests using assertions","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc11-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F09.msc11-c",{"title":4127,"path":4128,"stem":4129},"MSC12-C. Detect and remove code that has no effect or is never executed","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc12-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F10.msc12-c",{"title":4131,"path":4132,"stem":4133},"MSC13-C. Detect and remove unused values","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc13-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F11.msc13-c",{"title":4135,"path":4136,"stem":4137},"MSC14-C. Do not introduce unnecessary platform dependencies","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc14-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F12.msc14-c",{"title":4139,"path":4140,"stem":4141},"MSC15-C. Do not depend on undefined behavior","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc15-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F13.msc15-c",{"title":4143,"path":4144,"stem":4145},"MSC17-C. Finish every set of statements associated with a case label with a break statement","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc17-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F14.msc17-c",{"title":4147,"path":4148,"stem":4149},"MSC18-C. Be careful while handling sensitive data, such as passwords, in program code","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc18-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F15.msc18-c",{"title":4151,"path":4152,"stem":4153},"MSC19-C. For functions that return an array, prefer returning an empty array over a null value","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc19-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F16.msc19-c",{"title":4155,"path":4156,"stem":4157},"MSC20-C. Do not use a switch statement to transfer control into a complex block","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc20-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F17.msc20-c",{"title":4159,"path":4160,"stem":4161},"MSC21-C. Use robust loop termination conditions","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc21-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F18.msc21-c",{"title":4163,"path":4164,"stem":4165},"MSC22-C. Use the setjmp(), longjmp() facility securely","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc22-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F19.msc22-c",{"title":4167,"path":4168,"stem":4169},"MSC23-C. Beware of vendor-specific library and language differences","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc23-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F20.msc23-c",{"title":4171,"path":4172,"stem":4173},"MSC24-C. Do not use deprecated or obsolescent functions","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc24-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F21.msc24-c",{"title":4175,"path":4176,"stem":4177},"MSC25-C. Do not use insecure or weak cryptographic algorithms","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fmsc25-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F22.msc25-c",{"title":4179,"path":4180,"stem":4181},"Use subset of ASCII for safety","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fmiscellaneous-msc\u002Fuse-subset-of-ascii-for-safety","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F15.miscellaneous-msc\u002F23.use-subset-of-ascii-for-safety",{"title":3046,"path":4183,"stem":4184,"children":4185},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fposix-pos","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F16.posix-pos\u002F1.index",[4186,4187,4191,4195,4199],{"title":3046,"path":4183,"stem":4184},{"title":4188,"path":4189,"stem":4190},"POS01-C. Check for the existence of links when dealing with files","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fposix-pos\u002Fpos01-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F16.posix-pos\u002F2.pos01-c",{"title":4192,"path":4193,"stem":4194},"POS02-C. Follow the principle of least privilege","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fposix-pos\u002Fpos02-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F16.posix-pos\u002F3.pos02-c",{"title":4196,"path":4197,"stem":4198},"POS04-C. Avoid using PTHREAD_MUTEX_NORMAL type mutex locks","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fposix-pos\u002Fpos04-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F16.posix-pos\u002F4.pos04-c",{"title":4200,"path":4201,"stem":4202},"POS05-C. Limit access to files by creating a jail","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fposix-pos\u002Fpos05-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F16.posix-pos\u002F5.pos05-c",{"title":3116,"path":4204,"stem":4205,"children":4206},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fpreprocessor-pre","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F17.preprocessor-pre\u002F01.index",[4207,4208,4212,4216,4220,4224,4228,4232,4236,4240,4244,4248,4252,4256],{"title":3116,"path":4204,"stem":4205},{"title":4209,"path":4210,"stem":4211},"PRE00-C. Prefer inline or static functions to function-like macros","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fpreprocessor-pre\u002Fpre00-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F17.preprocessor-pre\u002F02.pre00-c",{"title":4213,"path":4214,"stem":4215},"PRE01-C. Use parentheses within macros around parameter names","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fpreprocessor-pre\u002Fpre01-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F17.preprocessor-pre\u002F03.pre01-c",{"title":4217,"path":4218,"stem":4219},"PRE02-C. Macro replacement lists should be parenthesized","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fpreprocessor-pre\u002Fpre02-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F17.preprocessor-pre\u002F04.pre02-c",{"title":4221,"path":4222,"stem":4223},"PRE04-C. Do not reuse a standard header file name","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fpreprocessor-pre\u002Fpre04-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F17.preprocessor-pre\u002F05.pre04-c",{"title":4225,"path":4226,"stem":4227},"PRE05-C. Understand macro replacement when concatenating tokens or performing stringification","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fpreprocessor-pre\u002Fpre05-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F17.preprocessor-pre\u002F06.pre05-c",{"title":4229,"path":4230,"stem":4231},"PRE06-C. Enclose header files in an include guard","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fpreprocessor-pre\u002Fpre06-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F17.preprocessor-pre\u002F07.pre06-c",{"title":4233,"path":4234,"stem":4235},"PRE07-C. Avoid using repeated question marks","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fpreprocessor-pre\u002Fpre07-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F17.preprocessor-pre\u002F08.pre07-c",{"title":4237,"path":4238,"stem":4239},"PRE08-C. Guarantee that header file names are unique","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fpreprocessor-pre\u002Fpre08-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F17.preprocessor-pre\u002F09.pre08-c",{"title":4241,"path":4242,"stem":4243},"PRE09-C. Do not replace secure functions with deprecated or obsolescent functions","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fpreprocessor-pre\u002Fpre09-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F17.preprocessor-pre\u002F10.pre09-c",{"title":4245,"path":4246,"stem":4247},"PRE10-C. Wrap multistatement macros in a do-while loop","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fpreprocessor-pre\u002Fpre10-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F17.preprocessor-pre\u002F11.pre10-c",{"title":4249,"path":4250,"stem":4251},"PRE11-C. Do not conclude macro definitions with a semicolon","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fpreprocessor-pre\u002Fpre11-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F17.preprocessor-pre\u002F12.pre11-c",{"title":4253,"path":4254,"stem":4255},"PRE12-C. Do not define unsafe macros","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fpreprocessor-pre\u002Fpre12-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F17.preprocessor-pre\u002F13.pre12-c",{"title":4257,"path":4258,"stem":4259},"PRE13-C. Use the Standard predefined macros to test for versions and features.","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fpreprocessor-pre\u002Fpre13-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F17.preprocessor-pre\u002F14.pre13-c",{"title":3134,"path":4261,"stem":4262,"children":4263},"\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fsignals-sig","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F18.signals-sig\u002F1.index",[4264,4265,4269,4273],{"title":3134,"path":4261,"stem":4262},{"title":4266,"path":4267,"stem":4268},"SIG00-C. Mask signals handled by noninterruptible signal handlers","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fsignals-sig\u002Fsig00-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F18.signals-sig\u002F2.sig00-c",{"title":4270,"path":4271,"stem":4272},"SIG01-C. Understand implementation-specific details regarding signal handler persistence","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fsignals-sig\u002Fsig01-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F18.signals-sig\u002F3.sig01-c",{"title":4274,"path":4275,"stem":4276},"SIG02-C. Avoid using signals to implement normal functionality","\u002Fsei-cert-c-coding-standard\u002Frecommendations\u002Fsignals-sig\u002Fsig02-c","4.sei-cert-c-coding-standard\u002F08.recommendations\u002F18.signals-sig\u002F4.sig02-c",{"title":4278,"path":4279,"stem":4280},"CERT manifest files","\u002Fsei-cert-c-coding-standard\u002Fcert-manifest-files","4.sei-cert-c-coding-standard\u002F09.cert-manifest-files",1775657841354]