[{"data":1,"prerenderedAt":1895},["ShallowReactive",2],{"global-navigation":3,"page-\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fpolyspace-bug-finder":28,"surround-\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fpolyspace-bug-finder":1340,"sidebar-sei-cert-cpp-coding-standard":1349},[4,8],{"title":5,"path":6,"_path":6,"fromAppConfig":7},"Home","\u002F",true,{"title":9,"path":10,"children":11,"_path":27,"fromAppConfig":7},"Coding Standards","\u002Fcoding-standards\u002F",[12,15,18,21,24],{"title":13,"path":14},"Android Coding Standard","\u002Fandroid-secure-coding-standard\u002F",{"title":16,"path":17},"C Coding Standard","\u002Fsei-cert-c-coding-standard\u002F",{"title":19,"path":20},"C++ Coding Standard","\u002Fsei-cert-cpp-coding-standard\u002F",{"title":22,"path":23},"Java Coding Standard","\u002Fsei-cert-oracle-coding-standard-for-java\u002F",{"title":25,"path":26},"Perl Coding Standard","\u002Fsei-cert-perl-coding-standard\u002F","\u002Fcoding-standards",{"id":29,"title":30,"body":31,"description":41,"extension":1332,"meta":1333,"navigation":7,"path":1336,"seo":1337,"stem":1338,"__hash__":1339},"content\u002F5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F31.polyspace-bug-finder.md","Polyspace Bug Finder",{"type":32,"value":33,"toc":1328},"minimark",[34,38,42,45,48,55],[35,36,30],"h1",{"id":37},"polyspace-bug-finder",[39,40,41],"p",{},"This page was automatically generated and should not be edited.",[39,43,44],{},"The information on this page was provided by outside contributors and has not been verified by SEI CERT.",[39,46,47],{},"The table below can be re-ordered, by clicking column headers.",[39,49,50,54],{},[51,52,53],"strong",{},"Tool Version:"," R2025b",[56,57,58,69],"table",{},[59,60,61],"thead",{},[62,63,64,67],"tr",{},[65,66],"th",{},[65,68],{},[70,71,72,81,98,113,128,143,158,173,188,203,218,233,248,263,278,293,308,323,338,353,368,383,398,413,428,443,458,473,488,503,518,533,548,563,578,593,608,623,638,653,668,683,698,713,728,743,758,773,788,803,818,833,848,863,878,893,908,923,938,953,968,983,998,1013,1028,1043,1058,1073,1088,1103,1118,1133,1148,1163,1178,1193,1208,1223,1238,1253,1268,1283,1298,1313],"tbody",{},[62,73,74,78],{},[75,76,77],"td",{},"Checker",[75,79,80],{},"Guideline",[62,82,83,92],{},[75,84,85],{},[86,87,91],"a",{"href":88,"rel":89},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertccon50cpp.html",[90],"nofollow","CERT C++: CON50-CPP",[75,93,94],{},[86,95,97],{"href":96},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon50-cpp","CON50-CPP. Do not destroy a mutex while it is locked",[62,99,100,107],{},[75,101,102],{},[86,103,106],{"href":104,"rel":105},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertccon51cpp.html",[90],"CERT C++: CON51-CPP",[75,108,109],{},[86,110,112],{"href":111},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon51-cpp","CON51-CPP. Ensure actively held locks are released on exceptional conditions",[62,114,115,122],{},[75,116,117],{},[86,118,121],{"href":119,"rel":120},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertccon52cpp.html",[90],"CERT C++: CON52-CPP",[75,123,124],{},[86,125,127],{"href":126},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon52-cpp","CON52-CPP. Prevent data races when accessing bit-fields from multiple threads",[62,129,130,137],{},[75,131,132],{},[86,133,136],{"href":134,"rel":135},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertccon53cpp.html",[90],"CERT C++: CON53-CPP",[75,138,139],{},[86,140,142],{"href":141},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon53-cpp","CON53-CPP. Avoid deadlock by locking in a predefined order",[62,144,145,152],{},[75,146,147],{},[86,148,151],{"href":149,"rel":150},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertccon54cpp.html",[90],"CERT C++: CON54-CPP",[75,153,154],{},[86,155,157],{"href":156},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon54-cpp","CON54-CPP. Wrap functions that can spuriously wake up in a loop",[62,159,160,167],{},[75,161,162],{},[86,163,166],{"href":164,"rel":165},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertccon55cpp.html",[90],"CERT C++: CON55-CPP",[75,168,169],{},[86,170,172],{"href":171},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon55-cpp","CON55-CPP. Preserve thread safety and liveness when using condition variables",[62,174,175,182],{},[75,176,177],{},[86,178,181],{"href":179,"rel":180},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertccon56cpp.html",[90],"CERT C++: CON56-CPP",[75,183,184],{},[86,185,187],{"href":186},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con\u002Fcon56-cpp","CON56-CPP. Do not speculatively lock a non-recursive mutex that is already owned by the calling thread",[62,189,190,197],{},[75,191,192],{},[86,193,196],{"href":194,"rel":195},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcctr50cpp.html",[90],"CERT C++: CTR50-CPP",[75,198,199],{},[86,200,202],{"href":201},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr50-cpp","CTR50-CPP. Guarantee that container indices and iterators are within the valid range",[62,204,205,212],{},[75,206,207],{},[86,208,211],{"href":209,"rel":210},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcctr51cpp.html",[90],"CERT C++: CTR51-CPP",[75,213,214],{},[86,215,217],{"href":216},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr51-cpp","CTR51-CPP. Use valid references, pointers, and iterators to reference elements of a container",[62,219,220,227],{},[75,221,222],{},[86,223,226],{"href":224,"rel":225},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcctr52cpp.html",[90],"CERT C++: CTR52-CPP",[75,228,229],{},[86,230,232],{"href":231},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr52-cpp","CTR52-CPP. Guarantee that library functions do not overflow",[62,234,235,242],{},[75,236,237],{},[86,238,241],{"href":239,"rel":240},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcctr53cpp.html",[90],"CERT C++: CTR53-CPP",[75,243,244],{},[86,245,247],{"href":246},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr53-cpp","CTR53-CPP. Use valid iterator ranges",[62,249,250,257],{},[75,251,252],{},[86,253,256],{"href":254,"rel":255},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcctr54cpp.html",[90],"CERT C++: CTR54-CPP",[75,258,259],{},[86,260,262],{"href":261},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr54-cpp","CTR54-CPP. Do not subtract iterators that do not refer to the same container",[62,264,265,272],{},[75,266,267],{},[86,268,271],{"href":269,"rel":270},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcctr55cpp.html",[90],"CERT C++: CTR55-CPP",[75,273,274],{},[86,275,277],{"href":276},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr55-cpp","CTR55-CPP. Do not use an additive operator on an iterator if the result would overflow",[62,279,280,287],{},[75,281,282],{},[86,283,286],{"href":284,"rel":285},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcctr56cpp.html",[90],"CERT C++: CTR56-CPP",[75,288,289],{},[86,290,292],{"href":291},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr56-cpp","CTR56-CPP. Do not use pointer arithmetic on polymorphic objects",[62,294,295,302],{},[75,296,297],{},[86,298,301],{"href":299,"rel":300},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcctr57cpp.html",[90],"CERT C++: CTR57-CPP",[75,303,304],{},[86,305,307],{"href":306},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr57-cpp","CTR57-CPP. Provide a valid ordering predicate",[62,309,310,317],{},[75,311,312],{},[86,313,316],{"href":314,"rel":315},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcctr58cpp.html",[90],"CERT C++: CTR58-CPP",[75,318,319],{},[86,320,322],{"href":321},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr\u002Fctr58-cpp","CTR58-CPP. Predicate function objects should not be mutable",[62,324,325,332],{},[75,326,327],{},[86,328,331],{"href":329,"rel":330},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcdcl50cpp.html",[90],"CERT C++: DCL50-CPP",[75,333,334],{},[86,335,337],{"href":336},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl50-cpp","DCL50-CPP. Do not define a C-style variadic function",[62,339,340,347],{},[75,341,342],{},[86,343,346],{"href":344,"rel":345},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcdcl51cpp.html",[90],"CERT C++: DCL51-CPP",[75,348,349],{},[86,350,352],{"href":351},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl51-cpp","DCL51-CPP. Do not declare or define a reserved identifier",[62,354,355,362],{},[75,356,357],{},[86,358,361],{"href":359,"rel":360},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcdcl52cpp.html",[90],"CERT C++: DCL52-CPP",[75,363,364],{},[86,365,367],{"href":366},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl52-cpp","DCL52-CPP. Never qualify a reference type with const or volatile",[62,369,370,377],{},[75,371,372],{},[86,373,376],{"href":374,"rel":375},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcdcl53cpp.html",[90],"CERT C++: DCL53-CPP",[75,378,379],{},[86,380,382],{"href":381},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl53-cpp","DCL53-CPP. Do not write syntactically ambiguous declarations",[62,384,385,392],{},[75,386,387],{},[86,388,391],{"href":389,"rel":390},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcdcl54cpp.html",[90],"CERT C++: DCL54-CPP",[75,393,394],{},[86,395,397],{"href":396},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl54-cpp","DCL54-CPP. Overload allocation and deallocation functions as a pair in the same scope",[62,399,400,407],{},[75,401,402],{},[86,403,406],{"href":404,"rel":405},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcdcl55cpp.html",[90],"CERT C++: DCL55-CPP",[75,408,409],{},[86,410,412],{"href":411},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl55-cpp","DCL55-CPP. Avoid information leakage when passing a class object across a trust boundary",[62,414,415,422],{},[75,416,417],{},[86,418,421],{"href":419,"rel":420},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcdcl56cpp.html",[90],"CERT C++: DCL56-CPP",[75,423,424],{},[86,425,427],{"href":426},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl56-cpp","DCL56-CPP. Avoid cycles during initialization of static objects",[62,429,430,437],{},[75,431,432],{},[86,433,436],{"href":434,"rel":435},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcdcl57cpp.html",[90],"CERT C++: DCL57-CPP",[75,438,439],{},[86,440,442],{"href":441},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl57-cpp","DCL57-CPP. Do not let exceptions escape from destructors or deallocation functions",[62,444,445,452],{},[75,446,447],{},[86,448,451],{"href":449,"rel":450},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcdcl58cpp.html",[90],"CERT C++: DCL58-CPP",[75,453,454],{},[86,455,457],{"href":456},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl58-cpp","DCL58-CPP. Do not modify the standard namespaces",[62,459,460,467],{},[75,461,462],{},[86,463,466],{"href":464,"rel":465},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcdcl59cpp.html",[90],"CERT C++: DCL59-CPP",[75,468,469],{},[86,470,472],{"href":471},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl59-cpp","DCL59-CPP. Do not define an unnamed namespace in a header file",[62,474,475,482],{},[75,476,477],{},[86,478,481],{"href":479,"rel":480},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcdcl60cpp.html",[90],"CERT C++: DCL60-CPP",[75,483,484],{},[86,485,487],{"href":486},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl\u002Fdcl60-cpp","DCL60-CPP. Obey the one-definition rule",[62,489,490,497],{},[75,491,492],{},[86,493,496],{"href":494,"rel":495},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcerr50cpp.html",[90],"CERT C++: ERR50-CPP",[75,498,499],{},[86,500,502],{"href":501},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr50-cpp","ERR50-CPP. Do not abruptly terminate the program",[62,504,505,512],{},[75,506,507],{},[86,508,511],{"href":509,"rel":510},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcerr51cpp.html",[90],"CERT C++: ERR51-CPP",[75,513,514],{},[86,515,517],{"href":516},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr51-cpp","ERR51-CPP. Handle all exceptions",[62,519,520,527],{},[75,521,522],{},[86,523,526],{"href":524,"rel":525},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcerr52cpp.html",[90],"CERT C++: ERR52-CPP",[75,528,529],{},[86,530,532],{"href":531},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr52-cpp","ERR52-CPP. Do not use setjmp() or longjmp()",[62,534,535,542],{},[75,536,537],{},[86,538,541],{"href":539,"rel":540},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcerr53cpp.html",[90],"CERT C++: ERR53-CPP",[75,543,544],{},[86,545,547],{"href":546},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr53-cpp","ERR53-CPP. Do not reference base classes or class data members in a constructor or destructor function-try-block handler",[62,549,550,557],{},[75,551,552],{},[86,553,556],{"href":554,"rel":555},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcerr54cpp.html",[90],"CERT C++: ERR54-CPP",[75,558,559],{},[86,560,562],{"href":561},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr54-cpp","ERR54-CPP. Catch handlers should order their parameter types from most derived to least derived",[62,564,565,572],{},[75,566,567],{},[86,568,571],{"href":569,"rel":570},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcerr55cpp.html",[90],"CERT C++: ERR55-CPP",[75,573,574],{},[86,575,577],{"href":576},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr55-cpp","ERR55-CPP. Honor exception specifications",[62,579,580,587],{},[75,581,582],{},[86,583,586],{"href":584,"rel":585},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcerr56cpp.html",[90],"CERT C++: ERR56-CPP",[75,588,589],{},[86,590,592],{"href":591},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr56-cpp","ERR56-CPP. Guarantee exception safety",[62,594,595,602],{},[75,596,597],{},[86,598,601],{"href":599,"rel":600},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcerr57cpp.html",[90],"CERT C++: ERR57-CPP",[75,603,604],{},[86,605,607],{"href":606},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr57-cpp","ERR57-CPP. Do not leak resources when handling exceptions",[62,609,610,617],{},[75,611,612],{},[86,613,616],{"href":614,"rel":615},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcerr58cpp.html",[90],"CERT C++: ERR58-CPP",[75,618,619],{},[86,620,622],{"href":621},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr58-cpp","ERR58-CPP. Handle all exceptions thrown before main() begins executing",[62,624,625,632],{},[75,626,627],{},[86,628,631],{"href":629,"rel":630},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcerr59cpp.html",[90],"CERT C++: ERR59-CPP",[75,633,634],{},[86,635,637],{"href":636},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr59-cpp","ERR59-CPP. Do not throw an exception across execution boundaries",[62,639,640,647],{},[75,641,642],{},[86,643,646],{"href":644,"rel":645},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcerr60cpp.html",[90],"CERT C++: ERR60-CPP",[75,648,649],{},[86,650,652],{"href":651},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr60-cpp","ERR60-CPP. Exception objects must be nothrow copy constructible",[62,654,655,662],{},[75,656,657],{},[86,658,661],{"href":659,"rel":660},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcerr61cpp.html",[90],"CERT C++: ERR61-CPP",[75,663,664],{},[86,665,667],{"href":666},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr61-cpp","ERR61-CPP. Catch exceptions by lvalue reference",[62,669,670,677],{},[75,671,672],{},[86,673,676],{"href":674,"rel":675},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcerr62cpp.html",[90],"CERT C++: ERR62-CPP",[75,678,679],{},[86,680,682],{"href":681},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err\u002Ferr62-cpp","ERR62-CPP. Detect errors when converting a string to a number",[62,684,685,692],{},[75,686,687],{},[86,688,691],{"href":689,"rel":690},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcexp50cpp.html",[90],"CERT C++: EXP50-CPP",[75,693,694],{},[86,695,697],{"href":696},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp50-cpp","EXP50-CPP. Do not depend on the order of evaluation for side effects",[62,699,700,707],{},[75,701,702],{},[86,703,706],{"href":704,"rel":705},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcexp51cpp.html",[90],"CERT C++: EXP51-CPP",[75,708,709],{},[86,710,712],{"href":711},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp51-cpp","EXP51-CPP. Do not delete an array through a pointer of the incorrect type",[62,714,715,722],{},[75,716,717],{},[86,718,721],{"href":719,"rel":720},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcexp52cpp.html",[90],"CERT C++: EXP52-CPP",[75,723,724],{},[86,725,727],{"href":726},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp52-cpp","EXP52-CPP. Do not rely on side effects in unevaluated operands",[62,729,730,737],{},[75,731,732],{},[86,733,736],{"href":734,"rel":735},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcexp53cpp.html",[90],"CERT C++: EXP53-CPP",[75,738,739],{},[86,740,742],{"href":741},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp53-cpp","EXP53-CPP. Do not read uninitialized memory",[62,744,745,752],{},[75,746,747],{},[86,748,751],{"href":749,"rel":750},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcexp54cpp.html",[90],"CERT C++: EXP54-CPP",[75,753,754],{},[86,755,757],{"href":756},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp54-cpp","EXP54-CPP. Do not access an object outside of its lifetime",[62,759,760,767],{},[75,761,762],{},[86,763,766],{"href":764,"rel":765},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcexp55cpp.html",[90],"CERT C++: EXP55-CPP",[75,768,769],{},[86,770,772],{"href":771},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp55-cpp","EXP55-CPP. Do not access a cv-qualified object through a cv-unqualified type",[62,774,775,782],{},[75,776,777],{},[86,778,781],{"href":779,"rel":780},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcexp56cpp.html",[90],"CERT C++: EXP56-CPP",[75,783,784],{},[86,785,787],{"href":786},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp56-cpp","EXP56-CPP. Do not call a function with a mismatched language linkage",[62,789,790,797],{},[75,791,792],{},[86,793,796],{"href":794,"rel":795},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcexp57cpp.html",[90],"CERT C++: EXP57-CPP",[75,798,799],{},[86,800,802],{"href":801},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp57-cpp","EXP57-CPP. Do not cast or delete pointers to incomplete classes",[62,804,805,812],{},[75,806,807],{},[86,808,811],{"href":809,"rel":810},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcexp58cpp.html",[90],"CERT C++: EXP58-CPP",[75,813,814],{},[86,815,817],{"href":816},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp58-cpp","EXP58-CPP. Pass an object of the correct type to va_start",[62,819,820,827],{},[75,821,822],{},[86,823,826],{"href":824,"rel":825},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcexp59cpp.html",[90],"CERT C++: EXP59-CPP",[75,828,829],{},[86,830,832],{"href":831},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp59-cpp","EXP59-CPP. Use offsetof() on valid types and members",[62,834,835,842],{},[75,836,837],{},[86,838,841],{"href":839,"rel":840},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcexp60cpp.html",[90],"CERT C++: EXP60-CPP",[75,843,844],{},[86,845,847],{"href":846},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp60-cpp","EXP60-CPP. Do not pass a nonstandard-layout type object across execution boundaries",[62,849,850,857],{},[75,851,852],{},[86,853,856],{"href":854,"rel":855},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcexp61cpp.html",[90],"CERT C++: EXP61-CPP",[75,858,859],{},[86,860,862],{"href":861},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp61-cpp","EXP61-CPP. A lambda object must not outlive any of its reference captured objects",[62,864,865,872],{},[75,866,867],{},[86,868,871],{"href":869,"rel":870},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcexp62cpp.html",[90],"CERT C++: EXP62-CPP",[75,873,874],{},[86,875,877],{"href":876},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp62-cpp","EXP62-CPP. Do not access the bits of an object representation that are not part of the object's value representation",[62,879,880,887],{},[75,881,882],{},[86,883,886],{"href":884,"rel":885},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcexp63cpp.html",[90],"CERT C++: EXP63-CPP",[75,888,889],{},[86,890,892],{"href":891},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp\u002Fexp63-cpp","EXP63-CPP. Do not rely on the value of a moved-from object",[62,894,895,902],{},[75,896,897],{},[86,898,901],{"href":899,"rel":900},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcfio50cpp.html",[90],"CERT C++: FIO50-CPP",[75,903,904],{},[86,905,907],{"href":906},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Finput-output-fio\u002Ffio50-cpp","FIO50-CPP. Do not alternately input and output from a file stream without an intervening positioning call",[62,909,910,917],{},[75,911,912],{},[86,913,916],{"href":914,"rel":915},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcfio51cpp.html",[90],"CERT C++: FIO51-CPP",[75,918,919],{},[86,920,922],{"href":921},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Finput-output-fio\u002Ffio51-cpp","FIO51-CPP. Close files when they are no longer needed",[62,924,925,932],{},[75,926,927],{},[86,928,931],{"href":929,"rel":930},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcint50cpp.html",[90],"CERT C++: INT50-CPP",[75,933,934],{},[86,935,937],{"href":936},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fintegers-int\u002Fint50-cpp","INT50-CPP. Do not cast to an out-of-range enumeration value",[62,939,940,947],{},[75,941,942],{},[86,943,946],{"href":944,"rel":945},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcmem50cpp.html",[90],"CERT C++: MEM50-CPP",[75,948,949],{},[86,950,952],{"href":951},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem50-cpp","MEM50-CPP. Do not access freed memory",[62,954,955,962],{},[75,956,957],{},[86,958,961],{"href":959,"rel":960},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcmem51cpp.html",[90],"CERT C++: MEM51-CPP",[75,963,964],{},[86,965,967],{"href":966},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem51-cpp","MEM51-CPP. Properly deallocate dynamically allocated resources",[62,969,970,977],{},[75,971,972],{},[86,973,976],{"href":974,"rel":975},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcmem52cpp.html",[90],"CERT C++: MEM52-CPP",[75,978,979],{},[86,980,982],{"href":981},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem52-cpp","MEM52-CPP. Detect and handle memory allocation errors",[62,984,985,992],{},[75,986,987],{},[86,988,991],{"href":989,"rel":990},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcmem53cpp.html",[90],"CERT C++: MEM53-CPP",[75,993,994],{},[86,995,997],{"href":996},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem53-cpp","MEM53-CPP. Explicitly construct and destruct objects when manually managing object lifetime",[62,999,1000,1007],{},[75,1001,1002],{},[86,1003,1006],{"href":1004,"rel":1005},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcmem54cpp.html",[90],"CERT C++: MEM54-CPP",[75,1008,1009],{},[86,1010,1012],{"href":1011},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem54-cpp","MEM54-CPP. Provide placement new with properly aligned pointers to sufficient storage capacity",[62,1014,1015,1022],{},[75,1016,1017],{},[86,1018,1021],{"href":1019,"rel":1020},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcmem55cpp.html",[90],"CERT C++: MEM55-CPP",[75,1023,1024],{},[86,1025,1027],{"href":1026},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem55-cpp","MEM55-CPP. Honor replacement dynamic storage management requirements",[62,1029,1030,1037],{},[75,1031,1032],{},[86,1033,1036],{"href":1034,"rel":1035},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcmem56cpp.html",[90],"CERT C++: MEM56-CPP",[75,1038,1039],{},[86,1040,1042],{"href":1041},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem56-cpp","MEM56-CPP. Do not store an already-owned pointer value in an unrelated smart pointer",[62,1044,1045,1052],{},[75,1046,1047],{},[86,1048,1051],{"href":1049,"rel":1050},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcmem57cpp.html",[90],"CERT C++: MEM57-CPP",[75,1053,1054],{},[86,1055,1057],{"href":1056},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem\u002Fmem57-cpp","MEM57-CPP. Avoid using default operator new for over-aligned types",[62,1059,1060,1067],{},[75,1061,1062],{},[86,1063,1066],{"href":1064,"rel":1065},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcmsc50cpp.html",[90],"CERT C++: MSC50-CPP",[75,1068,1069],{},[86,1070,1072],{"href":1071},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Frand-for-generating-pseudorandom-numbers","MSC50-CPP. Do not use std::rand() for generating pseudorandom numbers",[62,1074,1075,1082],{},[75,1076,1077],{},[86,1078,1081],{"href":1079,"rel":1080},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcmsc51cpp.html",[90],"CERT C++: MSC51-CPP",[75,1083,1084],{},[86,1085,1087],{"href":1086},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc51-cpp","MSC51-CPP. Ensure your random number generator is properly seeded",[62,1089,1090,1097],{},[75,1091,1092],{},[86,1093,1096],{"href":1094,"rel":1095},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcmsc52cpp.html",[90],"CERT C++: MSC52-CPP",[75,1098,1099],{},[86,1100,1102],{"href":1101},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc52-cpp","MSC52-CPP. Value-returning functions must return a value from all exit paths",[62,1104,1105,1112],{},[75,1106,1107],{},[86,1108,1111],{"href":1109,"rel":1110},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcmsc53cpp.html",[90],"CERT C++: MSC53-CPP",[75,1113,1114],{},[86,1115,1117],{"href":1116},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc53-cpp","MSC53-CPP. Do not return from a function declared [[noreturn]]",[62,1119,1120,1127],{},[75,1121,1122],{},[86,1123,1126],{"href":1124,"rel":1125},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcmsc54cpp.html",[90],"CERT C++: MSC54-CPP",[75,1128,1129],{},[86,1130,1132],{"href":1131},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc\u002Fmsc54-cpp","MSC54-CPP. A signal handler must be a plain old function",[62,1134,1135,1142],{},[75,1136,1137],{},[86,1138,1141],{"href":1139,"rel":1140},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcoop50cpp.html",[90],"CERT C++: OOP50-CPP",[75,1143,1144],{},[86,1145,1147],{"href":1146},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop50-cpp","OOP50-CPP. Do not invoke virtual functions from constructors or destructors",[62,1149,1150,1157],{},[75,1151,1152],{},[86,1153,1156],{"href":1154,"rel":1155},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcoop51cpp.html",[90],"CERT C++: OOP51-CPP",[75,1158,1159],{},[86,1160,1162],{"href":1161},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop51-cpp","OOP51-CPP. Do not slice derived objects",[62,1164,1165,1172],{},[75,1166,1167],{},[86,1168,1171],{"href":1169,"rel":1170},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcoop52cpp.html",[90],"CERT C++: OOP52-CPP",[75,1173,1174],{},[86,1175,1177],{"href":1176},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop52-cpp","OOP52-CPP. Do not delete a polymorphic object without a virtual destructor",[62,1179,1180,1187],{},[75,1181,1182],{},[86,1183,1186],{"href":1184,"rel":1185},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcoop53cpp.html",[90],"CERT C++: OOP53-CPP",[75,1188,1189],{},[86,1190,1192],{"href":1191},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop53-cpp","OOP53-CPP. Write constructor member initializers in the canonical order",[62,1194,1195,1202],{},[75,1196,1197],{},[86,1198,1201],{"href":1199,"rel":1200},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcoop54cpp.html",[90],"CERT C++: OOP54-CPP",[75,1203,1204],{},[86,1205,1207],{"href":1206},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop54-cpp","OOP54-CPP. Gracefully handle self-copy assignment",[62,1209,1210,1217],{},[75,1211,1212],{},[86,1213,1216],{"href":1214,"rel":1215},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcoop55cpp.html",[90],"CERT C++: OOP55-CPP",[75,1218,1219],{},[86,1220,1222],{"href":1221},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop55-cpp","OOP55-CPP. Do not use pointer-to-member operators to access nonexistent members",[62,1224,1225,1232],{},[75,1226,1227],{},[86,1228,1231],{"href":1229,"rel":1230},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcoop56cpp.html",[90],"CERT C++: OOP56-CPP",[75,1233,1234],{},[86,1235,1237],{"href":1236},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop56-cpp","OOP56-CPP. Honor replacement handler requirements",[62,1239,1240,1247],{},[75,1241,1242],{},[86,1243,1246],{"href":1244,"rel":1245},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcoop57cpp.html",[90],"CERT C++: OOP57-CPP",[75,1248,1249],{},[86,1250,1252],{"href":1251},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop57-cpp","OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions",[62,1254,1255,1262],{},[75,1256,1257],{},[86,1258,1261],{"href":1259,"rel":1260},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcoop58cpp.html",[90],"CERT C++: OOP58-CPP",[75,1263,1264],{},[86,1265,1267],{"href":1266},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop\u002Foop58-cpp","OOP58-CPP. Copy operations must not mutate the source object",[62,1269,1270,1277],{},[75,1271,1272],{},[86,1273,1276],{"href":1274,"rel":1275},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcstr50cpp.html",[90],"CERT C++: STR50-CPP",[75,1278,1279],{},[86,1280,1282],{"href":1281},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcharacters-and-strings-str\u002Fstr50-cpp","STR50-CPP. Guarantee that storage for strings has sufficient space for character data and the null terminator",[62,1284,1285,1292],{},[75,1286,1287],{},[86,1288,1291],{"href":1289,"rel":1290},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcstr51cpp.html",[90],"CERT C++: STR51-CPP",[75,1293,1294],{},[86,1295,1297],{"href":1296},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcharacters-and-strings-str\u002Fstring-from-a-null-pointer","STR51-CPP. Do not attempt to create a std::string from a null pointer",[62,1299,1300,1307],{},[75,1301,1302],{},[86,1303,1306],{"href":1304,"rel":1305},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcstr52cpp.html",[90],"CERT C++: STR52-CPP",[75,1308,1309],{},[86,1310,1312],{"href":1311},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcharacters-and-strings-str\u002Fstr52-cpp","STR52-CPP. Use valid references, pointers, and iterators to reference elements of a basic_string",[62,1314,1315,1322],{},[75,1316,1317],{},[86,1318,1321],{"href":1319,"rel":1320},"https:\u002F\u002Fwww.mathworks.com\u002Fhelp\u002Fbugfinder\u002Fref\u002Fcertcstr53cpp.html",[90],"CERT C++: STR53-CPP",[75,1323,1324],{},[86,1325,1327],{"href":1326},"\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcharacters-and-strings-str\u002Fstr53-cpp","STR53-CPP. Range check element access",{"title":1329,"searchDepth":1330,"depth":1330,"links":1331},"",2,[],"md",{"tags":1334},[1335],"analyzer","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fpolyspace-bug-finder",{"title":30,"description":41},"5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F31.polyspace-bug-finder","WJRh_6yCu6-KlWVG7ksKlGIAaEcm3JnUV01X4F3ySIs",[1341,1345],{"title":1342,"path":1343,"stem":1344,"children":-1},"Parasoft_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fparasoft_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F30.parasoft_v",{"title":1346,"path":1347,"stem":1348,"children":-1},"Polyspace Bug Finder_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fpolyspace-bug-finder_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F32.polyspace-bug-finder_v",[1350],{"title":1351,"path":1352,"stem":1353,"children":1354},"SEI CERT C++ Coding Standard","\u002Fsei-cert-cpp-coding-standard","5.sei-cert-cpp-coding-standard\u002F1.index",[1355,1356,1424,1664,1881,1891],{"title":1351,"path":1352,"stem":1353},{"title":1357,"path":1358,"stem":1359,"children":1360},"Front Matter","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F1.index",[1361,1362],{"title":1357,"path":1358,"stem":1359},{"title":1363,"path":1364,"stem":1365,"children":1366},"Introduction","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F01.index",[1367,1368,1372,1376,1380,1384,1388,1392,1396,1400,1404,1408,1412,1416,1420],{"title":1363,"path":1364,"stem":1365},{"title":1369,"path":1370,"stem":1371},"Scope","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fscope","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F02.scope",{"title":1373,"path":1374,"stem":1375},"Audience","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Faudience","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F03.audience",{"title":1377,"path":1378,"stem":1379},"Usage","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fusage","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F04.usage",{"title":1381,"path":1382,"stem":1383},"How this Coding Standard Is Organized","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fhow-this-coding-standard-is-organized","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F05.how-this-coding-standard-is-organized",{"title":1385,"path":1386,"stem":1387},"Relation to the CERT C Coding Standard","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Frelation-to-the-cert-c-coding-standard","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F06.relation-to-the-cert-c-coding-standard",{"title":1389,"path":1390,"stem":1391},"Rules Versus Recommendations","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Frules-versus-recommendations","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F07.rules-versus-recommendations",{"title":1393,"path":1394,"stem":1395},"Tool Selection and Validation","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Ftool-selection-and-validation","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F08.tool-selection-and-validation",{"title":1397,"path":1398,"stem":1399},"Conformance Testing","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fconformance-testing","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F09.conformance-testing",{"title":1401,"path":1402,"stem":1403},"Development Process","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fdevelopment-process","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F10.development-process",{"title":1405,"path":1406,"stem":1407},"System Qualities","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fsystem-qualities","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F11.system-qualities",{"title":1409,"path":1410,"stem":1411},"Automatically Generated Code","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fautomatically-generated-code","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F12.automatically-generated-code",{"title":1413,"path":1414,"stem":1415},"Government Regulations","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fgovernment-regulations","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F13.government-regulations",{"title":1417,"path":1418,"stem":1419},"Acknowledgments","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Facknowledgments","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F14.acknowledgments",{"title":1421,"path":1422,"stem":1423},"Automated Detection","\u002Fsei-cert-cpp-coding-standard\u002Ffront-matter\u002Fintroduction\u002Fautomated-detection","5.sei-cert-cpp-coding-standard\u002F2.front-matter\u002F2.introduction\u002F15.automated-detection",{"title":1425,"path":1426,"stem":1427,"children":1428},"Rules","\u002Fsei-cert-cpp-coding-standard\u002Frules","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F01.index",[1429,1430,1445,1465,1489,1517,1549,1583,1593,1601,1623,1640],{"title":1425,"path":1426,"stem":1427},{"title":1431,"path":1432,"stem":1433,"children":1434},"Characters and Strings (STR)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcharacters-and-strings-str","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F02.characters-and-strings-str\u002F1.index",[1435,1436,1438,1440,1442],{"title":1431,"path":1432,"stem":1433},{"title":1282,"path":1281,"stem":1437},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F02.characters-and-strings-str\u002F2.str50-cpp",{"title":1312,"path":1311,"stem":1439},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F02.characters-and-strings-str\u002F3.str52-cpp",{"title":1327,"path":1326,"stem":1441},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F02.characters-and-strings-str\u002F4.str53-cpp",{"title":1443,"path":1296,"stem":1444},"string from a null pointer","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F02.characters-and-strings-str\u002F5.string-from-a-null-pointer",{"title":1446,"path":1447,"stem":1448,"children":1449},"Concurrency (CON)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fconcurrency-con","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F1.index",[1450,1451,1453,1455,1457,1459,1461,1463],{"title":1446,"path":1447,"stem":1448},{"title":97,"path":96,"stem":1452},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F2.con50-cpp",{"title":112,"path":111,"stem":1454},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F3.con51-cpp",{"title":127,"path":126,"stem":1456},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F4.con52-cpp",{"title":142,"path":141,"stem":1458},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F5.con53-cpp",{"title":157,"path":156,"stem":1460},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F6.con54-cpp",{"title":172,"path":171,"stem":1462},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F7.con55-cpp",{"title":187,"path":186,"stem":1464},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F03.concurrency-con\u002F8.con56-cpp",{"title":1466,"path":1467,"stem":1468,"children":1469},"Containers (CTR)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fcontainers-ctr","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F01.index",[1470,1471,1473,1475,1477,1479,1481,1483,1485,1487],{"title":1466,"path":1467,"stem":1468},{"title":202,"path":201,"stem":1472},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F02.ctr50-cpp",{"title":217,"path":216,"stem":1474},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F03.ctr51-cpp",{"title":232,"path":231,"stem":1476},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F04.ctr52-cpp",{"title":247,"path":246,"stem":1478},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F05.ctr53-cpp",{"title":262,"path":261,"stem":1480},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F06.ctr54-cpp",{"title":277,"path":276,"stem":1482},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F07.ctr55-cpp",{"title":292,"path":291,"stem":1484},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F08.ctr56-cpp",{"title":307,"path":306,"stem":1486},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F09.ctr57-cpp",{"title":322,"path":321,"stem":1488},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F04.containers-ctr\u002F10.ctr58-cpp",{"title":1490,"path":1491,"stem":1492,"children":1493},"Declarations and Initialization (DCL)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fdeclarations-and-initialization-dcl","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F01.index",[1494,1495,1497,1499,1501,1503,1505,1507,1509,1511,1513,1515],{"title":1490,"path":1491,"stem":1492},{"title":337,"path":336,"stem":1496},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F02.dcl50-cpp",{"title":352,"path":351,"stem":1498},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F03.dcl51-cpp",{"title":367,"path":366,"stem":1500},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F04.dcl52-cpp",{"title":382,"path":381,"stem":1502},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F05.dcl53-cpp",{"title":397,"path":396,"stem":1504},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F06.dcl54-cpp",{"title":412,"path":411,"stem":1506},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F07.dcl55-cpp",{"title":427,"path":426,"stem":1508},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F08.dcl56-cpp",{"title":442,"path":441,"stem":1510},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F09.dcl57-cpp",{"title":457,"path":456,"stem":1512},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F10.dcl58-cpp",{"title":472,"path":471,"stem":1514},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F11.dcl59-cpp",{"title":487,"path":486,"stem":1516},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F05.declarations-and-initialization-dcl\u002F12.dcl60-cpp",{"title":1518,"path":1519,"stem":1520,"children":1521},"Exceptions and Error Handling (ERR)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexceptions-and-error-handling-err","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F01.index",[1522,1523,1525,1527,1529,1531,1533,1535,1537,1539,1541,1543,1545,1547],{"title":1518,"path":1519,"stem":1520},{"title":502,"path":501,"stem":1524},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F02.err50-cpp",{"title":517,"path":516,"stem":1526},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F03.err51-cpp",{"title":532,"path":531,"stem":1528},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F04.err52-cpp",{"title":547,"path":546,"stem":1530},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F05.err53-cpp",{"title":562,"path":561,"stem":1532},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F06.err54-cpp",{"title":577,"path":576,"stem":1534},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F07.err55-cpp",{"title":592,"path":591,"stem":1536},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F08.err56-cpp",{"title":607,"path":606,"stem":1538},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F09.err57-cpp",{"title":622,"path":621,"stem":1540},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F10.err58-cpp",{"title":637,"path":636,"stem":1542},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F11.err59-cpp",{"title":652,"path":651,"stem":1544},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F12.err60-cpp",{"title":667,"path":666,"stem":1546},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F13.err61-cpp",{"title":682,"path":681,"stem":1548},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F06.exceptions-and-error-handling-err\u002F14.err62-cpp",{"title":1550,"path":1551,"stem":1552,"children":1553},"Expressions (EXP)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fexpressions-exp","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F01.index",[1554,1555,1557,1559,1561,1563,1565,1567,1569,1571,1573,1575,1577,1579,1581],{"title":1550,"path":1551,"stem":1552},{"title":697,"path":696,"stem":1556},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F02.exp50-cpp",{"title":712,"path":711,"stem":1558},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F03.exp51-cpp",{"title":727,"path":726,"stem":1560},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F04.exp52-cpp",{"title":742,"path":741,"stem":1562},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F05.exp53-cpp",{"title":757,"path":756,"stem":1564},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F06.exp54-cpp",{"title":772,"path":771,"stem":1566},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F07.exp55-cpp",{"title":787,"path":786,"stem":1568},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F08.exp56-cpp",{"title":802,"path":801,"stem":1570},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F09.exp57-cpp",{"title":817,"path":816,"stem":1572},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F10.exp58-cpp",{"title":832,"path":831,"stem":1574},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F11.exp59-cpp",{"title":847,"path":846,"stem":1576},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F12.exp60-cpp",{"title":862,"path":861,"stem":1578},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F13.exp61-cpp",{"title":877,"path":876,"stem":1580},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F14.exp62-cpp",{"title":892,"path":891,"stem":1582},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F07.expressions-exp\u002F15.exp63-cpp",{"title":1584,"path":1585,"stem":1586,"children":1587},"Input Output (FIO)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Finput-output-fio","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F08.input-output-fio\u002F1.index",[1588,1589,1591],{"title":1584,"path":1585,"stem":1586},{"title":907,"path":906,"stem":1590},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F08.input-output-fio\u002F2.fio50-cpp",{"title":922,"path":921,"stem":1592},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F08.input-output-fio\u002F3.fio51-cpp",{"title":1594,"path":1595,"stem":1596,"children":1597},"Integers (INT)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fintegers-int","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F09.integers-int\u002F1.index",[1598,1599],{"title":1594,"path":1595,"stem":1596},{"title":937,"path":936,"stem":1600},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F09.integers-int\u002F2.int50-cpp",{"title":1602,"path":1603,"stem":1604,"children":1605},"Memory Management (MEM)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmemory-management-mem","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F1.index",[1606,1607,1609,1611,1613,1615,1617,1619,1621],{"title":1602,"path":1603,"stem":1604},{"title":952,"path":951,"stem":1608},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F2.mem50-cpp",{"title":967,"path":966,"stem":1610},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F3.mem51-cpp",{"title":982,"path":981,"stem":1612},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F4.mem52-cpp",{"title":997,"path":996,"stem":1614},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F5.mem53-cpp",{"title":1012,"path":1011,"stem":1616},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F6.mem54-cpp",{"title":1027,"path":1026,"stem":1618},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F7.mem55-cpp",{"title":1042,"path":1041,"stem":1620},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F8.mem56-cpp",{"title":1057,"path":1056,"stem":1622},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F10.memory-management-mem\u002F9.mem57-cpp",{"title":1624,"path":1625,"stem":1626,"children":1627},"Miscellaneous (MSC)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fmiscellaneous-msc","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F1.index",[1628,1629,1631,1633,1635,1637],{"title":1624,"path":1625,"stem":1626},{"title":1087,"path":1086,"stem":1630},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F2.msc51-cpp",{"title":1102,"path":1101,"stem":1632},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F3.msc52-cpp",{"title":1117,"path":1116,"stem":1634},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F4.msc53-cpp",{"title":1132,"path":1131,"stem":1636},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F5.msc54-cpp",{"title":1638,"path":1071,"stem":1639},"rand() for generating pseudorandom numbers","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F11.miscellaneous-msc\u002F6.rand-for-generating-pseudorandom-numbers",{"title":1641,"path":1642,"stem":1643,"children":1644},"Object Oriented Programming (OOP)","\u002Fsei-cert-cpp-coding-standard\u002Frules\u002Fobject-oriented-programming-oop","5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F01.index",[1645,1646,1648,1650,1652,1654,1656,1658,1660,1662],{"title":1641,"path":1642,"stem":1643},{"title":1147,"path":1146,"stem":1647},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F02.oop50-cpp",{"title":1162,"path":1161,"stem":1649},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F03.oop51-cpp",{"title":1177,"path":1176,"stem":1651},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F04.oop52-cpp",{"title":1192,"path":1191,"stem":1653},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F05.oop53-cpp",{"title":1207,"path":1206,"stem":1655},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F06.oop54-cpp",{"title":1222,"path":1221,"stem":1657},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F07.oop55-cpp",{"title":1237,"path":1236,"stem":1659},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F08.oop56-cpp",{"title":1252,"path":1251,"stem":1661},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F09.oop57-cpp",{"title":1267,"path":1266,"stem":1663},"5.sei-cert-cpp-coding-standard\u002F3.rules\u002F12.object-oriented-programming-oop\u002F10.oop58-cpp",{"title":1665,"path":1666,"stem":1667,"children":1668},"Back Matter","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F1.index",[1669,1670,1674,1678,1863,1877],{"title":1665,"path":1666,"stem":1667},{"title":1671,"path":1672,"stem":1673},"AA. Bibliography","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Faa-bibliography","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F2.aa-bibliography",{"title":1675,"path":1676,"stem":1677},"BB. Definitions","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fbb-definitions","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F3.bb-definitions",{"title":1679,"path":1680,"stem":1681,"children":1682},"CC. Analyzers","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F01.index",[1683,1684,1688,1692,1696,1700,1704,1708,1712,1716,1720,1724,1728,1732,1736,1740,1744,1748,1752,1756,1760,1764,1768,1772,1776,1780,1784,1788,1792,1796,1797,1798,1799,1803,1807,1811,1815,1819,1823,1827,1831,1835,1839,1843,1847,1851,1855,1859],{"title":1679,"path":1680,"stem":1681},{"title":1685,"path":1686,"stem":1687},"Astrée","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fastree","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F02.astree",{"title":1689,"path":1690,"stem":1691},"Astrée_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fastree_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F03.astree_v",{"title":1693,"path":1694,"stem":1695},"Axivion Bauhaus Suite","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Faxivion-bauhaus-suite","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F04.axivion-bauhaus-suite",{"title":1697,"path":1698,"stem":1699},"Axivion Bauhaus Suite_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Faxivion-bauhaus-suite_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F05.axivion-bauhaus-suite_v",{"title":1701,"path":1702,"stem":1703},"Clang","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fclang","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F06.clang",{"title":1705,"path":1706,"stem":1707},"Clang_38_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fclang_38_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F07.clang_38_v",{"title":1709,"path":1710,"stem":1711},"Clang_39_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fclang_39_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F08.clang_39_v",{"title":1713,"path":1714,"stem":1715},"Clang_40_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fclang_40_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F09.clang_40_v",{"title":1717,"path":1718,"stem":1719},"Clang_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fclang_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F10.clang_v",{"title":1721,"path":1722,"stem":1723},"Codee","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fcodee","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F11.codee",{"title":1725,"path":1726,"stem":1727},"Codee_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fcodee_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F12.codee_v",{"title":1729,"path":1730,"stem":1731},"CodeSonar","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fcodesonar","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F13.codesonar",{"title":1733,"path":1734,"stem":1735},"CodeSonar_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fcodesonar_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F14.codesonar_v",{"title":1737,"path":1738,"stem":1739},"Coverity","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fcoverity","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F15.coverity",{"title":1741,"path":1742,"stem":1743},"Coverity_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fcoverity_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F16.coverity_v",{"title":1745,"path":1746,"stem":1747},"ECLAIR","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Feclair","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F17.eclair",{"title":1749,"path":1750,"stem":1751},"ECLAIR_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Feclair_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F18.eclair_v",{"title":1753,"path":1754,"stem":1755},"EDG","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fedg","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F19.edg",{"title":1757,"path":1758,"stem":1759},"Edg_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fedg_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F20.edg_v",{"title":1761,"path":1762,"stem":1763},"GCC","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fgcc","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F21.gcc",{"title":1765,"path":1766,"stem":1767},"Gcc_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fgcc_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F22.gcc_v",{"title":1769,"path":1770,"stem":1771},"Helix QAC","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fhelix-qac","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F23.helix-qac",{"title":1773,"path":1774,"stem":1775},"Helix QAC_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fhelix-qac_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F24.helix-qac_v",{"title":1777,"path":1778,"stem":1779},"Klocwork","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fklocwork","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F25.klocwork",{"title":1781,"path":1782,"stem":1783},"Klocwork_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fklocwork_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F26.klocwork_v",{"title":1785,"path":1786,"stem":1787},"LDRA","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fldra","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F27.ldra",{"title":1789,"path":1790,"stem":1791},"Ldra_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fldra_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F28.ldra_v",{"title":1793,"path":1794,"stem":1795},"Parasoft","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fparasoft","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F29.parasoft",{"title":1342,"path":1343,"stem":1344},{"title":30,"path":1336,"stem":1338},{"title":1346,"path":1347,"stem":1348},{"title":1800,"path":1801,"stem":1802},"PRQA QA-C++","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fprqa-qa-cpp","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F33.prqa-qa-cpp",{"title":1804,"path":1805,"stem":1806},"PRQA QA-C++_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fprqa-qa-cpp_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F34.prqa-qa-cpp_v",{"title":1808,"path":1809,"stem":1810},"PVS-Studio","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fpvs-studio","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F35.pvs-studio",{"title":1812,"path":1813,"stem":1814},"PVS-Studio_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fpvs-studio_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F36.pvs-studio_v",{"title":1816,"path":1817,"stem":1818},"Rose","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Frose","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F37.rose",{"title":1820,"path":1821,"stem":1822},"Rose_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Frose_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F38.rose_v",{"title":1824,"path":1825,"stem":1826},"RuleChecker","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Frulechecker","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F39.rulechecker",{"title":1828,"path":1829,"stem":1830},"RuleChecker_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Frulechecker_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F40.rulechecker_v",{"title":1832,"path":1833,"stem":1834},"Security Reviewer - Static Reviewer","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsecurity-reviewer-static-reviewer","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F41.security-reviewer-static-reviewer",{"title":1836,"path":1837,"stem":1838},"Security Reviewer - Static Reviewer_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsecurity-reviewer-static-reviewer_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F42.security-reviewer-static-reviewer_v",{"title":1840,"path":1841,"stem":1842},"Semgrep","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsemgrep","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F43.semgrep",{"title":1844,"path":1845,"stem":1846},"Semgrep_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsemgrep_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F44.semgrep_v",{"title":1848,"path":1849,"stem":1850},"SonarQube C\u002FC++ Plugin","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsonarqube-ccpp-plugin","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F45.sonarqube-ccpp-plugin",{"title":1852,"path":1853,"stem":1854},"SonarQube C\u002FC++ Plugin_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsonarqube-ccpp-plugin_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F46.sonarqube-ccpp-plugin_v",{"title":1856,"path":1857,"stem":1858},"Splint","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsplint","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F47.splint",{"title":1860,"path":1861,"stem":1862},"Splint_V","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fcc-analyzers\u002Fsplint_v","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F4.cc-analyzers\u002F48.splint_v",{"title":1864,"path":1865,"stem":1866,"children":1867},"DD. Related Guidelines","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fdd-related-guidelines","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F5.dd-related-guidelines\u002F1.index",[1868,1869,1873],{"title":1864,"path":1865,"stem":1866},{"title":1870,"path":1871,"stem":1872},"2008","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fdd-related-guidelines\u002F2.2008","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F5.dd-related-guidelines\u002F2.2008",{"title":1874,"path":1875,"stem":1876},"MITRE CWE","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fdd-related-guidelines\u002Fmitre-cwe","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F5.dd-related-guidelines\u002F3.mitre-cwe",{"title":1878,"path":1879,"stem":1880},"EE. Risk Assessments","\u002Fsei-cert-cpp-coding-standard\u002Fback-matter\u002Fee-risk-assessments","5.sei-cert-cpp-coding-standard\u002F4.back-matter\u002F6.ee-risk-assessments",{"title":1882,"path":1883,"stem":1884,"children":1885},"Admin","\u002Fsei-cert-cpp-coding-standard\u002Fadmin","5.sei-cert-cpp-coding-standard\u002F5.admin\u002F1.index",[1886,1887],{"title":1882,"path":1883,"stem":1884},{"title":1888,"path":1889,"stem":1890},"TODO List","\u002Fsei-cert-cpp-coding-standard\u002Fadmin\u002Ftodo-list","5.sei-cert-cpp-coding-standard\u002F5.admin\u002F2.todo-list",{"title":1892,"path":1893,"stem":1894},"Errata for SEI CERT C++ Coding Standard (2016 Edition)","\u002Fsei-cert-cpp-coding-standard\u002Ferrata-for-sei-cert-cpp-coding-standard-2016-edition","5.sei-cert-cpp-coding-standard\u002F6.errata-for-sei-cert-cpp-coding-standard-2016-edition",1775657785859]