feat(core): Update RFAL library to version 4.0.2
What changed, and why it matters
This commit updates the third-party STMicroelectronics RFAL NFC library inside Trezor firmware from version 3.0.1 to 4.0.2. The vendor's release notes for version 4.0.2 explicitly mention fixing a 'vulnerability during EMD handling on fast systems' that was introduced in version 4.0.0. EMD (Electro-Magnetic Disturbance) handling is part of the NFC radio stack, so the flaw is likely a low-level radio/communication issue rather than something that directly exposes cryptocurrency private keys. Because the commit is a large library drop (almost 8,000 lines changed across 55 files) and the actual code diff is not shown, we cannot independently verify the exact nature or severity of the vulnerability from this commit alone.
Treat this as a routine but security-relevant dependency update. Review the RFAL v4.0.2 upstream release notes and, if available, the upstream commit or diff for the EMD-handling fix. Run NFC regression and fuzz/EMD tests before shipping firmware that includes this update. Consider adding a changelog entry because the upstream release explicitly calls the fix a vulnerability.
Security signals we found
Vendor release notes label v4.0.2 change as 'Fixed vulnerability during EMD handling on fast systems'
Large third-party library version bump (3.0.1 -> 4.0.2) with many source files changed
No independent diff of the vulnerability fix is supplied in the commit excerpt
No CVE, advisory, or changelog entry in the commit message
Evidence from the diff
The change is a wholesale import of RFAL v4.0.2 into core/embed/io/nfc/rfal, replacing v3.0.1. The only directly readable security signal in the supplied material is the Release_Notes.html entry for v4.0.2: ‘Fixed vulnerability during EMD handling on fast systems, introduced at v4.0.0 targeted for high latency systems.’ EMD handling refers to suppression/recovery of NFC frames corrupted by electromagnetic interference. A vulnerability there could plausibly lead to denial of service, frame desynchronization, or in a worst-case scenario memory corruption if malformed interrupt/state handling is triggered, but the diff provided does not include the relevant source changes. The rest of the visible diff is documentation and static-analysis report metadata (version numbers, tool versions, rule prefixes). No CVE, no Trezor security advisory, and no researcher attribution are present in the supplied materials.
Changed components
core/embed/io/nfc/rfal (STMicroelectronics RFAL NFC library)ST25R3916 NFC controller driver integrationTrezor firmware NFC / CE (card emulation) and reader/writer operationsInspect captured patch +7995 / −6873
diff --git a/core/embed/io/nfc/rfal/doc/Release_Notes.html b/core/embed/io/nfc/rfal/doc/Release_Notes.html
index 607e5271..e24b9cda 100644
--- a/core/embed/io/nfc/rfal/doc/Release_Notes.html
+++ b/core/embed/io/nfc/rfal/doc/Release_Notes.html
@@ -89,7 +89,7 @@ div.Section1
<h1 style="margin-bottom: 18pt; text-align: center;" align="center"><span style="font-size: 20pt; font-family: Verdana; color:#3CB4E6;">Release
Notes for RFAL software Library</span><span style="font-size: 20pt; font-family: Verdana;"><o:p></o:p></span></h1>
<p class="MsoNormal" style="text-align: center;" align="center"><span style="font-size: 10pt; font-family: Arial; color: black;">Copyright
-2019 STMicroelectronics</span><span style="color: black;"><u1:p></u1:p><o:p></o:p></span></p>
+2017-2025 STMicroelectronics</span><span style="color: black;"><u1:p></u1:p><o:p></o:p></span></p>
<p class="MsoNormal" style="text-align: center;" align="center"><span style="font-size: 10pt; font-family: Arial; color: black;"><img style="border: 0px solid ; width: 104px; height: 77px;" alt="" id="_x0000_i1025" src="_htmresc/st_logo.png"></span><span style="font-size: 10pt;"><o:p></o:p></span></p>
</td>
</tr>
@@ -102,7 +102,7 @@ Notes for RFAL software Library</span><span style="font-size: 20pt; font-family:
<td class="MsoNormal" style="padding: 0cm;" valign="top"><br>
<div style="margin-left: 40px;"><span style="font-size: 10pt; font-family: Verdana;">The <span style="font-weight: bold; font-style: italic;">RFAL Library</span>
(RF Abstraction Layer) provides several functionalities required to perform RF/NFC communications.</span><span style="font-size: 10pt; font-family: Verdana;">
-The RFAL encapsulates the different RF ICs (ST25R3911, ST25R3916, ST25R200, ST25R95 and future ST25R devices) into a common and easy to use interface.</span><br>
+The RFAL encapsulates the different RF ICs (ST25R3911, ST25R3916, ST25R200, ST25R500, ST25R95 and future ST25R devices) into a common and easy to use interface.</span><br>
<span style="font-size: 10pt; font-family: Verdana;"> </span><br>
<span style="font-size: 10pt; font-family: Verdana;"> </span><span style="font-size: 10pt; font-family: Verdana;">The technologies currently supported by RFAL are:
<ul>
@@ -129,12 +129,41 @@ The RFAL encapsulates the different RF ICs (ST25R3911, ST25R3916, ST25R200, ST25
<span style="font-family: "Times New Roman";"> </span>
<h2 style="background:#3CB4E6 none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;"><a name="History"></a><span style="font-size: 12pt; color: white;">Update History</span></h2>
<br>
-
- <h3 style="background:#3CB4E6 none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial; margin-right: 500pt; width: 186px;"><span style="font-size: 10pt; font-family: Arial; color: white;">V3.0.1 / 12-Sep-2024</span></h3>
+
+ <h3 style="background:#3CB4E6 none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial; margin-right: 500pt; width: 186px;"><span style="font-size: 10pt; font-family: Arial; color: white;">V4.0.2 / 02-Apr-2025</span></h3>
+ <p class="MsoNormal" style="margin: 4.5pt 0cm 4.5pt 18pt;"><b style=""><u><span style="font-size: 10pt; font-family: Verdana; color: black;"></span></u></b></p>
+ <p class="MsoNormal" style="margin: 4.5pt 0cm 4.5pt 18pt;"><b style=""><u><span style="font-size: 10pt; font-family: Verdana; color: black;">Main Changes<o:p></o:p></span></u></b></p>
+ <ul style="margin-top: 0cm;" type="square">
+ <li class="MsoNormal"><span style="font-size: 10pt; font-family: Verdana;"> Fixed vulnerability during EMD handling on fast systems, introduced at v4.0.0 targeted for high latency systems <span style="font-weight: bold; font-style: italic;"></span></span></li>
+ </ul>
+ <br>
+
+ <h3 style="background:#3CB4E6 none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial; margin-right: 500pt; width: 186px;"><span style="font-size: 10pt; font-family: Arial; color: white;">V4.0.0 / 17-Mar-2025</span></h3>
+ <p class="MsoNormal" style="margin: 4.5pt 0cm 4.5pt 18pt;"><b style=""><u><span style="font-size: 10pt; font-family: Verdana; color: black;"></span></u></b></p>
+ <p class="MsoNormal" style="margin: 4.5pt 0cm 4.5pt 18pt;"><b style=""><u><span style="font-size: 10pt; font-family: Verdana; color: black;">Main Changes<o:p></o:p></span></u></b></p>
+ <ul style="margin-top: 0cm;" type="square">
+ <li class="MsoNormal"><span style="font-size: 10pt; font-family: Verdana;"> ST25R500/ST25R300 support added <span style="font-weight: bold; font-style: italic;"></span></span></li>
+ <li class="MsoNormal"><span style="font-size: 10pt; font-family: Verdana;"> ISO-DEP improved. Fixed SFGI usage in Listen mode, ISO-DEP FSD check in Reader mode <span style="font-weight: bold; font-style: italic;"></span></span></li>
+ <li class="MsoNormal"><span style="font-size: 10pt; font-family: Verdana;"> Improved robustness for EMD handling on high latency systems <span style="font-weight: bold; font-style: italic;"></span></span></li>
+ <li class="MsoNormal"><span style="font-size: 10pt; font-family: Verdana;"> Improve portability using uintptr_t (C99) <span style="font-weight: bold; font-style: italic;"></span></span></li>
+ <li class="MsoNormal"><span style="font-size: 10pt; font-family: Verdana;"> Added support for Direct Command chaining <span style="font-weight: bold; font-style: italic;"></span></span></li>
+ <li class="MsoNormal"><span style="font-size: 10pt; font-family: Verdana;"> Several improvements on Card Detection and Heartbeat <span style="font-weight: bold; font-style: italic;"></span></span></li>
+ <li class="MsoNormal"><span style="font-size: 10pt; font-family: Verdana;"> DPO module extended. Configurable measurement and adjust methods, interfaces and new adjustment flag added. <span style="font-weight: bold; font-style: italic;"></span></span></li>
+ <li class="MsoNormal"><span style="font-size: 10pt; font-family: Verdana;"> DPO CR (Current Regulation) added (ST25R500 only) <span style="font-weight: bold; font-style: italic;"></span></span></li>
+ <li class="MsoNormal"><span style="font-size: 10pt; font-family: Verdana;"> Added Dynamic LMA module. Optional LMA adjustments can be used in Listen/CE mode <span style="font-weight: bold; font-style: italic;"></span></span></li>
+ <li class="MsoNormal"><span style="font-size: 10pt; font-family: Verdana;"> Several new APIs added in rfalChip section for more measurments and adjustments <span style="font-weight: bold; font-style: italic;"></span></span></li>
+ <li class="MsoNormal"><span style="font-size: 10pt; font-family: Verdana;"> New RFAL_CMATH switch added to enable the usage of C mathematical operations - previously RFAL_ACCURATE_RSSI <span style="font-weight: bold; font-style: italic;"></span></span></li>
+ <li class="MsoNormal"><span style="font-size: 10pt; font-family: Verdana;"> Removed obsolete compile switches <span style="font-weight: bold; font-style: italic;"></span></span></li>
+ <li class="MsoNormal"><span style="font-size: 10pt; font-family: Verdana;"> New timer API to retrieve remaining time <span style="font-weight: bold; font-style: italic;"></span></span></li>
+ <li class="MsoNormal"><span style="font-size: 10pt; font-family: Verdana;"> Several driver improvements and fixes <span style="font-weight: bold; font-style: italic;"></span></span></li>
+ </ul>
+ <br>
+
+ <h3 style="background:#3CB4E6 none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial; margin-right: 500pt; width: 186px;"><span style="font-size: 10pt; font-family: Arial; color: white;">V3.0.1 / 12-Sep-2024</span></h3>
<p class="MsoNormal" style="margin: 4.5pt 0cm 4.5pt 18pt;"><b style=""><u><span style="font-size: 10pt; font-family: Verdana; color: black;"></span></u></b></p>
<p class="MsoNormal" style="margin: 4.5pt 0cm 4.5pt 18pt;"><b style=""><u><span style="font-size: 10pt; font-family: Verdana; color: black;">Main Changes<o:p></o:p></span></u></b></p>
<ul style="margin-top: 0cm;" type="square">
- <li class="MsoNormal"><span style="font-size: 10pt; font-family: Verdana;"> Hotfix to address condition that prevents usage of WU default parameters on ST25R3916 (not ST25R3916B) if AAT enabled <span style="font-weight: bold; font-style: italic;"></span></span></li>
+ <li class="MsoNormal"><span style="font-size: 10pt; font-family: Verdana;"> Fixed condition that prevents usage of WU default parameters on ST25R3916 (not ST25R3916B) if AAT enabled <span style="font-weight: bold; font-style: italic;"></span></span></li>
</ul>
<br>
diff --git a/core/embed/io/nfc/rfal/doc/ST25R3916_CERTComplianceReport.html b/core/embed/io/nfc/rfal/doc/ST25R3916_CERTComplianceReport.html
index 0f9e1260..a6dd5d01 100644
--- a/core/embed/io/nfc/rfal/doc/ST25R3916_CERTComplianceReport.html
+++ b/core/embed/io/nfc/rfal/doc/ST25R3916_CERTComplianceReport.html
@@ -158,8 +158,8 @@ background: DeepSkyBlue;
<body>
<div id="head">
<div class="ptitle"><h2>Helix QAC GEP/GCS/GRP Report for CERTCCM</h2></div>
- <div class="stitle"><h4><i>Note: This report is generated using Helix QAC version: 2020.2, property of Programming Research Limited, a Perforce company.</i></h4></div>
- <div class="stitle">Project : nucleo/Firmware/nucleo/PRQA/RFAL-ST25R3916<br/>Status at: 31 May, 2024 at 12:53:16<br/><i>Report script last update: July 6, 2021</i></div>
+ <div class="stitle"><h4><i>Note: This report is generated using Helix QAC version: 2024.1, property of Programming Research Limited, a Perforce company.</i></h4></div>
+ <div class="stitle">Project : nucleo/Firmware/nucleo/PRQA/RFAL-ST25R3916<br/>Status at: 04 Apr, 2025 at 14:40:42<br/><i>Report script last update: August 2, 2024</i></div>
<div class="headcontent">
<div class="toc">
<ol>
@@ -201,23 +201,30 @@ The project has been designed to comply with the standard ISO/IEC 9899:1999 ([C9
<center><table class="docTable" width=98%>
<colgroup span="10" class="columns"></colgroup>
<tr><th>Component</th><th>Version</th><th>Target</th><th>Options</th></tr>
- <td>certccm</td>
- <td>1.5.0</td>
+ <td>qac</td>
+ <td>11.5.0</td>
<td>C</td>
- <td></td>
+ <td><ul>-d : __schedule_barrier=_ignore_semi</ul>
+<ul>-namelength : 63</ul>
+<ul>-prodoption : df::function_timeout=20000</ul>
+<ul>-remark : No Preset Selected</ul>
+</td>
+ </tr>
+ <td>dataflow</td>
+ <td>1.5.0</td>
+ <td>C_CPP</td>
+ <td><ul>-remark : No Preset Selected</ul>
+</td>
</tr>
<td>rcma</td>
- <td>2.3.0</td>
+ <td>4.5.0</td>
<td>C_CPP</td>
<td></td>
</tr>
- <td>qac</td>
- <td>9.9.0</td>
+ <td>certccm</td>
+ <td>3.5.0</td>
<td>C</td>
- <td><ul>-d : __schedule_barrier=_ignore_semi</ul>
-<ul>-namelength : 63</ul>
-<ul>-prodoption : df::function_timeout=20000</ul>
-</td>
+ <td></td>
</tr>
</table></center>
<h3><a name="Configuration">2. Configuration</a></h3>
@@ -232,11 +239,11 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<ul>RFAL-ST25R3916</ul><br>
<li>RFAL informations:</li>
<ul>Path: rfal</ul>
- <ul>Version: v3.0.0</ul>
+ <ul>Version: v4.0.2</ul>
<br> <li>Project repositories SHA1:</li>
- <ul><b>common</b>: bd63699</ul>
- <ul><b>nucleo</b>: afd8cc1</ul>
- <ul><b>rfal</b>: 5b33cb9</ul>
+ <ul><b>common</b>: 9658154</ul>
+ <ul><b>nucleo</b>: d85b3e3</ul>
+ <ul><b>rfal</b>: 645759e</ul>
<br>
</ul>
<h3><a name="Assistance">3. Assistance/Enforcement</a></h3>
@@ -250,20 +257,20 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0678</td>
- <td width=92%>[u] Array element is array of unknown size. Arrays cannot be constructed from incomplete types.</td>
+ <td width=12%>qac-0678</td>
+ <td width=88%>[u] Array element is array of unknown size. Arrays cannot be constructed from incomplete types.</td>
</tr>
<tr>
- <td width=8%>qac-0688</td>
- <td width=92%>Array size determined by number of initializers which include concatenated string literals.</td>
+ <td width=12%>qac-0688</td>
+ <td width=88%>Array size determined by number of initializers which include concatenated string literals.</td>
</tr>
<tr>
- <td width=8%>qac-3674</td>
- <td width=92%>Array size defined implicitly by the number of initializers.</td>
+ <td width=12%>qac-3674</td>
+ <td width=88%>Array size defined implicitly by the number of initializers.</td>
</tr>
<tr>
- <td width=8%>qac-3684</td>
- <td width=92%>Array declared with unknown size.</td>
+ <td width=12%>qac-3684</td>
+ <td width=88%>Array declared with unknown size.</td>
</tr>
</table></center>
</td>
@@ -275,84 +282,84 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2820</td>
- <td width=92%>Constant: Arithmetic operation on NULL pointer.</td>
+ <td width=12%>dataflow-2820</td>
+ <td width=88%>Constant: Arithmetic operation on NULL pointer.</td>
</tr>
<tr>
- <td width=8%>qac-2821</td>
- <td width=92%>Definite: Arithmetic operation on NULL pointer.</td>
+ <td width=12%>dataflow-2821</td>
+ <td width=88%>Definite: Arithmetic operation on NULL pointer.</td>
</tr>
<tr>
- <td width=8%>qac-2822</td>
- <td width=92%>Apparent: Arithmetic operation on NULL pointer.</td>
+ <td width=12%>dataflow-2822</td>
+ <td width=88%>Apparent: Arithmetic operation on NULL pointer.</td>
</tr>
<tr>
- <td width=8%>qac-2823</td>
- <td width=92%>Suspicious: Arithmetic operation on NULL pointer.</td>
+ <td width=12%>dataflow-2823</td>
+ <td width=88%>Suspicious: Arithmetic operation on NULL pointer.</td>
</tr>
<tr>
- <td width=8%>qac-2840</td>
- <td width=92%>Constant: Dereference of an invalid pointer value.</td>
+ <td width=12%>qac-2840</td>
+ <td width=88%>Constant: Dereference of an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2841</td>
- <td width=92%>Definite: Dereference of an invalid pointer value.</td>
+ <td width=12%>dataflow-2841</td>
+ <td width=88%>Definite: Dereference of an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2842</td>
- <td width=92%>Apparent: Dereference of an invalid pointer value.</td>
+ <td width=12%>dataflow-2842</td>
+ <td width=88%>Apparent: Dereference of an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2843</td>
- <td width=92%>Suspicious: Dereference of an invalid pointer value.</td>
+ <td width=12%>dataflow-2843</td>
+ <td width=88%>Suspicious: Dereference of an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2930</td>
- <td width=92%>Constant: Computing an invalid pointer value.</td>
+ <td width=12%>dataflow-2930</td>
+ <td width=88%>Constant: Computing an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2931</td>
- <td width=92%>Definite: Computing an invalid pointer value.</td>
+ <td width=12%>dataflow-2931</td>
+ <td width=88%>Definite: Computing an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2932</td>
- <td width=92%>Apparent: Computing an invalid pointer value.</td>
+ <td width=12%>dataflow-2932</td>
+ <td width=88%>Apparent: Computing an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2933</td>
- <td width=92%>Suspicious: Computing an invalid pointer value.</td>
+ <td width=12%>dataflow-2933</td>
+ <td width=88%>Suspicious: Computing an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2935</td>
- <td width=92%>Constant: Dereference of an invalid char pointer value.</td>
+ <td width=12%>dataflow-2935</td>
+ <td width=88%>Constant: Dereference of an invalid char pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2936</td>
- <td width=92%>Definite: Dereference of an invalid char pointer value.</td>
+ <td width=12%>dataflow-2936</td>
+ <td width=88%>Definite: Dereference of an invalid char pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2937</td>
- <td width=92%>Apparent: Dereference of an invalid char pointer value.</td>
+ <td width=12%>dataflow-2937</td>
+ <td width=88%>Apparent: Dereference of an invalid char pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2938</td>
- <td width=92%>Suspicious: Dereference of an invalid char pointer value.</td>
+ <td width=12%>dataflow-2938</td>
+ <td width=88%>Suspicious: Dereference of an invalid char pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2950</td>
- <td width=92%>Constant: Negative value used in array subscript or pointer arithmetic operation.</td>
+ <td width=12%>dataflow-2950</td>
+ <td width=88%>Constant: Negative value used in array subscript or pointer arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2951</td>
- <td width=92%>Definite: Negative value used in array subscript or pointer arithmetic operation.</td>
+ <td width=12%>dataflow-2951</td>
+ <td width=88%>Definite: Negative value used in array subscript or pointer arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2952</td>
- <td width=92%>Apparent: Negative value used in array subscript or pointer arithmetic operation.</td>
+ <td width=12%>dataflow-2952</td>
+ <td width=88%>Apparent: Negative value used in array subscript or pointer arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2953</td>
- <td width=92%>Suspicious: Negative value used in array subscript or pointer arithmetic operation.</td>
+ <td width=12%>dataflow-2953</td>
+ <td width=88%>Suspicious: Negative value used in array subscript or pointer arithmetic operation.</td>
</tr>
</table></center>
</td>
@@ -364,8 +371,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-1051</td>
- <td width=92%>[C99] A variable length array has been declared.</td>
+ <td width=12%>qac-1051</td>
+ <td width=88%>[C99] A variable length array has been declared.</td>
</tr>
</table></center>
</td>
@@ -377,56 +384,56 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0487</td>
- <td width=92%>[C] If two pointers are subtracted, they must be pointers that address compatible types.</td>
+ <td width=12%>qac-0487</td>
+ <td width=88%>[C] If two pointers are subtracted, they must be pointers that address compatible types.</td>
</tr>
<tr>
- <td width=8%>qac-0513</td>
- <td width=92%>[C] Relational operator used to compare pointers to incompatible types.</td>
+ <td width=12%>qac-0513</td>
+ <td width=88%>[C] Relational operator used to compare pointers to incompatible types.</td>
</tr>
<tr>
- <td width=8%>qac-2668</td>
- <td width=92%>Subtraction of a pointer to an array and a pointer to a non-array.</td>
+ <td width=12%>dataflow-2668</td>
+ <td width=88%>Subtraction of a pointer to an array and a pointer to a non-array.</td>
</tr>
<tr>
- <td width=8%>qac-2669</td>
- <td width=92%>Comparison of a pointer to an array and a pointer to a non-array.</td>
+ <td width=12%>dataflow-2669</td>
+ <td width=88%>Comparison of a pointer to an array and a pointer to a non-array.</td>
</tr>
<tr>
- <td width=8%>qac-2761</td>
- <td width=92%>Definite: Subtracting pointers that address different objects.</td>
+ <td width=12%>dataflow-2761</td>
+ <td width=88%>Definite: Subtracting pointers that address different objects.</td>
</tr>
<tr>
- <td width=8%>qac-2762</td>
- <td width=92%>Apparent: Subtracting pointers that address different objects.</td>
+ <td width=12%>dataflow-2762</td>
+ <td width=88%>Apparent: Subtracting pointers that address different objects.</td>
</tr>
<tr>
- <td width=8%>qac-2763</td>
- <td width=92%>Suspicious: Subtracting pointers that address different objects.</td>
+ <td width=12%>dataflow-2763</td>
+ <td width=88%>Suspicious: Subtracting pointers that address different objects.</td>
</tr>
<tr>
- <td width=8%>qac-2766</td>
- <td width=92%>Definite: Subtracting pointers that address different members of the same object.</td>
+ <td width=12%>dataflow-2766</td>
+ <td width=88%>Definite: Subtracting pointers that address different members of the same object.</td>
</tr>
<tr>
- <td width=8%>qac-2767</td>
- <td width=92%>Apparent: Subtracting pointers that address different members of the same object.</td>
+ <td width=12%>dataflow-2767</td>
+ <td width=88%>Apparent: Subtracting pointers that address different members of the same object.</td>
</tr>
<tr>
- <td width=8%>qac-2768</td>
- <td width=92%>Suspicious: Subtracting pointers that address different members of the same object.</td>
+ <td width=12%>dataflow-2768</td>
+ <td width=88%>Suspicious: Subtracting pointers that address different members of the same object.</td>
</tr>
<tr>
- <td width=8%>qac-2771</td>
- <td width=92%>Definite: Comparing pointers that address different objects.</td>
+ <td width=12%>dataflow-2771</td>
+ <td width=88%>Definite: Comparing pointers that address different objects.</td>
</tr>
<tr>
- <td width=8%>qac-2772</td>
- <td width=92%>Apparent: Comparing pointers that address different objects.</td>
+ <td width=12%>dataflow-2772</td>
+ <td width=88%>Apparent: Comparing pointers that address different objects.</td>
</tr>
<tr>
- <td width=8%>qac-2773</td>
- <td width=92%>Suspicious: Comparing pointers that address different objects.</td>
+ <td width=12%>dataflow-2773</td>
+ <td width=88%>Suspicious: Comparing pointers that address different objects.</td>
</tr>
</table></center>
</td>
@@ -438,20 +445,20 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2930</td>
- <td width=92%>Constant: Computing an invalid pointer value.</td>
+ <td width=12%>dataflow-2930</td>
+ <td width=88%>Constant: Computing an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2931</td>
- <td width=92%>Definite: Computing an invalid pointer value.</td>
+ <td width=12%>dataflow-2931</td>
+ <td width=88%>Definite: Computing an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2932</td>
- <td width=92%>Apparent: Computing an invalid pointer value.</td>
+ <td width=12%>dataflow-2932</td>
+ <td width=88%>Apparent: Computing an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2933</td>
- <td width=92%>Suspicious: Computing an invalid pointer value.</td>
+ <td width=12%>dataflow-2933</td>
+ <td width=88%>Suspicious: Computing an invalid pointer value.</td>
</tr>
</table></center>
</td>
@@ -463,68 +470,68 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2840</td>
- <td width=92%>Constant: Dereference of an invalid pointer value.</td>
+ <td width=12%>qac-2840</td>
+ <td width=88%>Constant: Dereference of an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2841</td>
- <td width=92%>Definite: Dereference of an invalid pointer value.</td>
+ <td width=12%>dataflow-2841</td>
+ <td width=88%>Definite: Dereference of an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2842</td>
- <td width=92%>Apparent: Dereference of an invalid pointer value.</td>
+ <td width=12%>dataflow-2842</td>
+ <td width=88%>Apparent: Dereference of an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2843</td>
- <td width=92%>Suspicious: Dereference of an invalid pointer value.</td>
+ <td width=12%>dataflow-2843</td>
+ <td width=88%>Suspicious: Dereference of an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2845</td>
- <td width=92%>Constant: Maximum number of characters to be read/written is larger than the target buffer size.</td>
+ <td width=12%>dataflow-2845</td>
+ <td width=88%>Constant: Maximum number of characters to be read/written is larger than the target buffer size.</td>
</tr>
<tr>
- <td width=8%>qac-2846</td>
- <td width=92%>Definite: Maximum number of characters to be read/written is larger than the target buffer size.</td>
+ <td width=12%>dataflow-2846</td>
+ <td width=88%>Definite: Maximum number of characters to be read/written is larger than the target buffer size.</td>
</tr>
<tr>
- <td width=8%>qac-2847</td>
- <td width=92%>Apparent: Maximum number of characters to be read/written is larger than the target buffer size.</td>
+ <td width=12%>dataflow-2847</td>
+ <td width=88%>Apparent: Maximum number of characters to be read/written is larger than the target buffer size.</td>
</tr>
<tr>
- <td width=8%>qac-2848</td>
- <td width=92%>Suspicious: Maximum number of characters to be read/written is larger than the target buffer size.</td>
+ <td width=12%>dataflow-2848</td>
+ <td width=88%>Suspicious: Maximum number of characters to be read/written is larger than the target buffer size.</td>
</tr>
<tr>
- <td width=8%>qac-2935</td>
- <td width=92%>Constant: Dereference of an invalid char pointer value.</td>
+ <td width=12%>dataflow-2935</td>
+ <td width=88%>Constant: Dereference of an invalid char pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2936</td>
- <td width=92%>Definite: Dereference of an invalid char pointer value.</td>
+ <td width=12%>dataflow-2936</td>
+ <td width=88%>Definite: Dereference of an invalid char pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2937</td>
- <td width=92%>Apparent: Dereference of an invalid char pointer value.</td>
+ <td width=12%>dataflow-2937</td>
+ <td width=88%>Apparent: Dereference of an invalid char pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2938</td>
- <td width=92%>Suspicious: Dereference of an invalid char pointer value.</td>
+ <td width=12%>dataflow-2938</td>
+ <td width=88%>Suspicious: Dereference of an invalid char pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-4880</td>
- <td width=92%>Constant: Pointed to object has smaller size than the size_t argument.</td>
+ <td width=12%>dataflow-4880</td>
+ <td width=88%>Constant: Pointed to object has smaller size than the size_t argument.</td>
</tr>
<tr>
- <td width=8%>qac-4881</td>
- <td width=92%>Definite: Pointed to object has smaller size than the size_t argument.</td>
+ <td width=12%>dataflow-4881</td>
+ <td width=88%>Definite: Pointed to object has smaller size than the size_t argument.</td>
</tr>
<tr>
- <td width=8%>qac-4882</td>
- <td width=92%>Apparent: Pointed to object has smaller size than the size_t argument.</td>
+ <td width=12%>dataflow-4882</td>
+ <td width=88%>Apparent: Pointed to object has smaller size than the size_t argument.</td>
</tr>
<tr>
- <td width=8%>qac-4883</td>
- <td width=92%>Suspicious: Pointed to object has smaller size than the size_t argument.</td>
+ <td width=12%>dataflow-4883</td>
+ <td width=88%>Suspicious: Pointed to object has smaller size than the size_t argument.</td>
</tr>
</table></center>
</td>
@@ -536,16 +543,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4955</td>
- <td width=92%>Constant: Adding/subtracting a scaled integer to a pointer.</td>
+ <td width=12%>dataflow-4955</td>
+ <td width=88%>Constant: Adding/subtracting a scaled integer to a pointer.</td>
</tr>
<tr>
- <td width=8%>qac-4956</td>
- <td width=92%>Definite: Adding/subtracting a scaled integer to a pointer.</td>
+ <td width=12%>dataflow-4956</td>
+ <td width=88%>Definite: Adding/subtracting a scaled integer to a pointer.</td>
</tr>
<tr>
- <td width=8%>qac-4957</td>
- <td width=92%>Apparent: Adding/subtracting a scaled integer to a pointer.</td>
+ <td width=12%>dataflow-4957</td>
+ <td width=88%>Apparent: Adding/subtracting a scaled integer to a pointer.</td>
</tr>
</table></center>
</td>
@@ -557,24 +564,24 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>mta-1780</td>
- <td width=92%>Memory associated with the TLS key '%1s' is deallocated more than once.</td>
+ <td width=12%>mta-1780</td>
+ <td width=88%>Memory associated with the TLS key '%1s' is deallocated more than once.</td>
</tr>
<tr>
- <td width=8%>mta-1781</td>
- <td width=92%>Memory associated with the TLS key '%1s' may be deallocated more than once.</td>
+ <td width=12%>mta-1781</td>
+ <td width=88%>Memory associated with the TLS key '%1s' may be deallocated more than once.</td>
</tr>
<tr>
- <td width=8%>mta-1782</td>
- <td width=92%>Memory associated with the TLS key '%1s' is deallocated in a way that does not match its allocation.</td>
+ <td width=12%>mta-1782</td>
+ <td width=88%>Memory associated with the TLS key '%1s' is deallocated in a way that does not match its allocation.</td>
</tr>
<tr>
- <td width=8%>mta-1783</td>
- <td width=92%>Memory associated with the TLS key '%1s' is not deallocated.</td>
+ <td width=12%>mta-1783</td>
+ <td width=88%>Memory associated with the TLS key '%1s' is not deallocated.</td>
</tr>
<tr>
- <td width=8%>mta-1784</td>
- <td width=92%>The origin of the TLS key '%1s' cannot be identified. Perhaps it should have been passed as a thread parameter?</td>
+ <td width=12%>mta-1784</td>
+ <td width=88%>The origin of the TLS key '%1s' cannot be identified. Perhaps it should have been passed as a thread parameter?</td>
</tr>
</table></center>
</td>
@@ -586,12 +593,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4961</td>
- <td width=92%>Definite: Attempt to destroy a mutex which is still locked</td>
+ <td width=12%>dataflow-4961</td>
+ <td width=88%>Definite: Attempt to destroy a mutex which is still locked</td>
</tr>
<tr>
- <td width=8%>qac-4962</td>
- <td width=92%>Apparent: Attempt to destroy a mutex which is still locked</td>
+ <td width=12%>dataflow-4962</td>
+ <td width=88%>Apparent: Attempt to destroy a mutex which is still locked</td>
</tr>
</table></center>
</td>
@@ -603,12 +610,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>mta-1774</td>
- <td width=92%>Definite: data race for an object '%1s' which shares its physical storage location with one or more others.</td>
+ <td width=12%>mta-1774</td>
+ <td width=88%>Definite: data race for an object '%1s' which shares its physical storage location with one or more others.</td>
</tr>
<tr>
- <td width=8%>mta-1775</td>
- <td width=92%>Apparent: data race for an object '%1s' which shares its physical storage location with one or more others.</td>
+ <td width=12%>mta-1775</td>
+ <td width=88%>Apparent: data race for an object '%1s' which shares its physical storage location with one or more others.</td>
</tr>
</table></center>
</td>
@@ -620,16 +627,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4976</td>
- <td width=92%>Definite: Call to a non-reentrant function outside of a critical section.</td>
+ <td width=12%>dataflow-4976</td>
+ <td width=88%>Definite: Call to a non-reentrant function outside of a critical section.</td>
</tr>
<tr>
- <td width=8%>qac-4977</td>
- <td width=92%>Apparent: Call to a non-reentrant function outside of a critical section.</td>
+ <td width=12%>dataflow-4977</td>
+ <td width=88%>Apparent: Call to a non-reentrant function outside of a critical section.</td>
</tr>
<tr>
- <td width=8%>certccm-5037</td>
- <td width=92%>Use of '%1s'.</td>
+ <td width=12%>certccm-5037</td>
+ <td width=88%>Use of '%1s'.</td>
</tr>
</table></center>
</td>
@@ -641,16 +648,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4926</td>
- <td width=92%>Definite: The lifetime of the variable passed to the thread creation function is shorter than the lifetime of the thread.</td>
+ <td width=12%>dataflow-4926</td>
+ <td width=88%>Definite: The lifetime of the variable passed to the thread creation function is shorter than the lifetime of the thread.</td>
</tr>
<tr>
- <td width=8%>qac-4927</td>
- <td width=92%>Apparent: The lifetime of the variable passed to the thread creation function is shorter than the lifetime of the thread.</td>
+ <td width=12%>dataflow-4927</td>
+ <td width=88%>Apparent: The lifetime of the variable passed to the thread creation function is shorter than the lifetime of the thread.</td>
</tr>
<tr>
- <td width=8%>qac-4928</td>
- <td width=92%>Suspicious: The lifetime of the variable passed to the thread creation function is shorter than the lifetime of the thread.</td>
+ <td width=12%>dataflow-4928</td>
+ <td width=88%>Suspicious: The lifetime of the variable passed to the thread creation function is shorter than the lifetime of the thread.</td>
</tr>
</table></center>
</td>
@@ -662,12 +669,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>mta-1772</td>
- <td width=92%>Mutex '%1s' violates the lock hierarchy, as it is acquired before '%2s' elsewhere %3s% of the time.</td>
+ <td width=12%>mta-1772</td>
+ <td width=88%>Mutex '%1s' violates the lock hierarchy, as it is acquired before '%2s' elsewhere %3s% of the time.</td>
</tr>
<tr>
- <td width=8%>mta-1773</td>
- <td width=92%>Mutexes '%1s' and '%2s' are not ordered in the lock hierarchy.</td>
+ <td width=12%>mta-1773</td>
+ <td width=88%>Mutexes '%1s' and '%2s' are not ordered in the lock hierarchy.</td>
</tr>
</table></center>
</td>
@@ -679,8 +686,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2027</td>
- <td width=92%>This function can wake spuriously, but does not appear to be wrapped in a loop.</td>
+ <td width=12%>qac-2027</td>
+ <td width=88%>This function can wake spuriously, but does not appear to be wrapped in a loop.</td>
</tr>
</table></center>
</td>
@@ -692,8 +699,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>certccm-5021</td>
- <td width=92%>'%s' is being used.</td>
+ <td width=12%>certccm-5021</td>
+ <td width=88%>'%s' is being used.</td>
</tr>
</table></center>
</td>
@@ -705,12 +712,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>mta-1778</td>
- <td width=92%>Condition variable '%1s' is signaled and used with multiple wait operations.</td>
+ <td width=12%>mta-1778</td>
+ <td width=88%>Condition variable '%1s' is signaled and used with multiple wait operations.</td>
</tr>
<tr>
- <td width=8%>mta-1779</td>
- <td width=92%>Condition variable '%1s' is signaled and used with a re-entered wait operation.</td>
+ <td width=12%>mta-1779</td>
+ <td width=88%>Condition variable '%1s' is signaled and used with a re-entered wait operation.</td>
</tr>
</table></center>
</td>
@@ -722,8 +729,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>mta-1776</td>
- <td width=92%>Thread '%1s' is made unjoinable multiple times.</td>
+ <td width=12%>mta-1776</td>
+ <td width=88%>Thread '%1s' is made unjoinable multiple times.</td>
</tr>
</table></center>
</td>
@@ -735,16 +742,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-1114</td>
- <td width=92%>This atomic variable is referenced directly twice in the same expression.</td>
+ <td width=12%>qac-1114</td>
+ <td width=88%>This atomic variable is referenced directly twice in the same expression.</td>
</tr>
<tr>
- <td width=8%>qac-1115</td>
- <td width=92%>This atomic lvalue appears to be referenced twice in the same expression.</td>
+ <td width=12%>qac-1115</td>
+ <td width=88%>This atomic lvalue appears to be referenced twice in the same expression.</td>
</tr>
<tr>
- <td width=8%>qac-1116</td>
- <td width=92%>This atomic variable appears to be updated non-atomically.</td>
+ <td width=12%>qac-1116</td>
+ <td width=88%>This atomic variable appears to be updated non-atomically.</td>
</tr>
</table></center>
</td>
@@ -756,8 +763,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2026</td>
- <td width=92%>This function can fail spuriously, but does not appear to be wrapped in a loop.</td>
+ <td width=12%>qac-2026</td>
+ <td width=88%>This function can fail spuriously, but does not appear to be wrapped in a loop.</td>
</tr>
</table></center>
</td>
@@ -769,20 +776,20 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>mta-1765</td>
- <td width=92%>Definite: data race for object '%1s'.</td>
+ <td width=12%>mta-1765</td>
+ <td width=88%>Definite: data race for object '%1s'.</td>
</tr>
<tr>
- <td width=8%>mta-1766</td>
- <td width=92%>Apparent: data race for object '%1s'.</td>
+ <td width=12%>mta-1766</td>
+ <td width=88%>Apparent: data race for object '%1s'.</td>
</tr>
<tr>
- <td width=8%>mta-1770</td>
- <td width=92%>Definite: data race for a volatile object '%1s'.</td>
+ <td width=12%>mta-1770</td>
+ <td width=88%>Definite: data race for a volatile object '%1s'.</td>
</tr>
<tr>
- <td width=8%>mta-1771</td>
- <td width=92%>Definite: data race for a mutable object '%1s'.</td>
+ <td width=12%>mta-1771</td>
+ <td width=88%>Definite: data race for a mutable object '%1s'.</td>
</tr>
</table></center>
</td>
@@ -794,24 +801,28 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3204</td>
- <td width=92%>The variable '%s' is only set once and so it could be declared with the 'const' qualifier.</td>
+ <td width=12%>qac-3204</td>
+ <td width=88%>The variable '%1s' is only set once and so it could be declared with the 'const' qualifier.</td>
+ </tr>
+ <tr>
+ <td width=12%>qac-3227</td>
+ <td width=88%>The parameter '%1s' is never modified and so it could be declared with the 'const' qualifier.</td>
</tr>
<tr>
- <td width=8%>qac-3227</td>
- <td width=92%>The parameter '%s' is never modified and so it could be declared with the 'const' qualifier.</td>
+ <td width=12%>qac-3232</td>
+ <td width=88%>File scope static, '%1s', is never modified. It could be declared const.</td>
</tr>
<tr>
- <td width=8%>qac-3232</td>
- <td width=92%>File scope static, '%s', is never modified. It could be declared const.</td>
+ <td width=12%>qac-3673</td>
+ <td width=88%>The object addressed by the pointer parameter '%1s' is not modified and so the pointer could be of type 'pointer to const'.</td>
</tr>
<tr>
- <td width=8%>qac-3673</td>
- <td width=92%>The object addressed by the pointer parameter '%1s' is not modified and so the pointer could be of type 'pointer to const'.</td>
+ <td width=12%>qac-3677</td>
+ <td width=88%>The elements of the array parameter '%1s' are not modified and so they could be qualified as 'const'.</td>
</tr>
<tr>
- <td width=8%>qac-3677</td>
- <td width=92%>The elements of the array parameter '%1s' are not modified and so they could be qualified as 'const'.</td>
+ <td width=12%>qac-3694</td>
+ <td width=88%>The elements of the multidimensional array parameter '%1s' are not modified and so they could be qualified as 'const'.</td>
</tr>
</table></center>
</td>
@@ -823,20 +834,20 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0795</td>
- <td width=92%>Identifier matches other identifier(s) (e.g. '%1s') in an outer scope within the specified number of significant characters.</td>
+ <td width=12%>qac-0795</td>
+ <td width=88%>Identifier matches other identifier(s) (e.g. '%1s') in an outer scope within the specified number of significant characters.</td>
</tr>
<tr>
- <td width=8%>qac-0796</td>
- <td width=92%>Identifier matches other identifier(s) (e.g. '%1s') in an outer scope within the ISO:C99 limit of 63 significant characters</td>
+ <td width=12%>qac-0796</td>
+ <td width=88%>Identifier matches other identifier(s) (e.g. '%1s') in an outer scope within the ISO:C99 limit of 63 significant characters</td>
</tr>
<tr>
- <td width=8%>qac-2547</td>
- <td width=92%>This declaration of tag '%s' hides a more global declaration.</td>
+ <td width=12%>qac-2547</td>
+ <td width=88%>This declaration of tag '%s' hides a more global declaration.</td>
</tr>
<tr>
- <td width=8%>qac-3334</td>
- <td width=92%>This declaration of '%1s' hides a more global declaration.</td>
+ <td width=12%>qac-3334</td>
+ <td width=88%>This declaration of '%1s' hides a more global declaration.</td>
</tr>
</table></center>
</td>
@@ -848,8 +859,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>certccm-5004</td>
- <td width=92%>This typedef is applied to a pointer type.</td>
+ <td width=12%>certccm-5004</td>
+ <td width=88%>This typedef is applied to a pointer type.</td>
</tr>
</table></center>
</td>
@@ -861,28 +872,28 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3120</td>
- <td width=92%>Hard-coded 'magic' integer constant, '%1s'.</td>
+ <td width=12%>qac-3120</td>
+ <td width=88%>Hard-coded 'magic' integer constant, '%1s'.</td>
</tr>
<tr>
- <td width=8%>qac-3121</td>
- <td width=92%>Hard-coded 'magic' floating constant, '%1s'.</td>
+ <td width=12%>qac-3121</td>
+ <td width=88%>Hard-coded 'magic' floating constant, '%1s'.</td>
</tr>
<tr>
- <td width=8%>qac-3122</td>
- <td width=92%>Hard-coded 'magic' string literal, %1s.</td>
+ <td width=12%>qac-3122</td>
+ <td width=88%>Hard-coded 'magic' string literal, %1s.</td>
</tr>
<tr>
- <td width=8%>qac-3123</td>
- <td width=92%>Hard coded 'magic' character constant, %1s.</td>
+ <td width=12%>qac-3123</td>
+ <td width=88%>Hard coded 'magic' character constant, %1s.</td>
</tr>
<tr>
- <td width=8%>qac-3131</td>
- <td width=92%>Hard coded 'magic' number, '%1s', used to define the size of a bit-field.</td>
+ <td width=12%>qac-3131</td>
+ <td width=88%>Hard coded 'magic' number, '%1s', used to define the size of a bit-field.</td>
</tr>
<tr>
- <td width=8%>qac-3132</td>
- <td width=92%>Hard coded 'magic' number, '%1s', used to define the size of an array.</td>
+ <td width=12%>qac-3132</td>
+ <td width=88%>Hard coded 'magic' number, '%1s', used to define the size of an array.</td>
</tr>
</table></center>
</td>
@@ -894,28 +905,28 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-1304</td>
- <td width=92%>Old style definition of function '%1s()' is not portable to C++.</td>
+ <td width=12%>qac-1304</td>
+ <td width=88%>Old style definition of function '%1s()' is not portable to C++.</td>
</tr>
<tr>
- <td width=8%>qac-2050</td>
- <td width=92%>The 'int' type specifier has been omitted from a function declaration.</td>
+ <td width=12%>qac-2050</td>
+ <td width=88%>The 'int' type specifier has been omitted from a function declaration.</td>
</tr>
<tr>
- <td width=8%>qac-3331</td>
- <td width=92%>The definition for identifier '%s' with external linkage conflicts with a previous declaration in the same scope.</td>
+ <td width=12%>qac-3331</td>
+ <td width=88%>The definition for identifier '%s' with external linkage conflicts with a previous declaration in the same scope.</td>
</tr>
<tr>
- <td width=8%>qac-3335</td>
- <td width=92%>No function declaration. Implicit declaration inserted: 'extern int %s();'.</td>
+ <td width=12%>qac-3335</td>
+ <td width=88%>No function declaration. Implicit declaration inserted: 'extern int %1s();'.</td>
</tr>
<tr>
- <td width=8%>qac-3408</td>
- <td width=92%>'%1s' has external linkage and is being defined without any previous declaration.</td>
+ <td width=12%>qac-3408</td>
+ <td width=88%>'%1s' has external linkage and is being defined without any previous declaration.</td>
</tr>
<tr>
- <td width=8%>qac-3450</td>
- <td width=92%>Function '%s', with internal linkage, is being defined without a previous declaration.</td>
+ <td width=12%>qac-3450</td>
+ <td width=88%>Function '%s', with internal linkage, is being defined without a previous declaration.</td>
</tr>
</table></center>
</td>
@@ -927,12 +938,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0184</td>
- <td width=92%>[U] Insufficient arguments to satisfy conversion specifier, number %1s.</td>
+ <td width=12%>qac-0184</td>
+ <td width=88%>[U] Insufficient arguments to satisfy conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0185</td>
- <td width=92%>[U] Call contains more arguments than conversion specifiers.</td>
+ <td width=12%>qac-0185</td>
+ <td width=88%>[U] Call contains more arguments than conversion specifiers.</td>
</tr>
</table></center>
</td>
@@ -944,80 +955,80 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0179</td>
- <td width=92%>[U] Argument type does not match conversion specifier number %1s.</td>
+ <td width=12%>qac-0179</td>
+ <td width=88%>[U] Argument type does not match conversion specifier number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0184</td>
- <td width=92%>[U] Insufficient arguments to satisfy conversion specifier, number %1s.</td>
+ <td width=12%>qac-0184</td>
+ <td width=88%>[U] Insufficient arguments to satisfy conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0185</td>
- <td width=92%>[U] Call contains more arguments than conversion specifiers.</td>
+ <td width=12%>qac-0185</td>
+ <td width=88%>[U] Call contains more arguments than conversion specifiers.</td>
</tr>
<tr>
- <td width=8%>qac-0186</td>
- <td width=92%>[U] A call to this function must include at least one argument.</td>
+ <td width=12%>qac-0186</td>
+ <td width=88%>[U] A call to this function must include at least one argument.</td>
</tr>
<tr>
- <td width=8%>qac-0190</td>
- <td width=92%>[U] Using unsupported conversion specifier number %1s.</td>
+ <td width=12%>qac-0190</td>
+ <td width=88%>[U] Using unsupported conversion specifier number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0191</td>
- <td width=92%>[U] Unknown length modifier used with 'd/i/n' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0191</td>
+ <td width=88%>[U] Unknown length modifier used with 'd/i/n' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0192</td>
- <td width=92%>[U] Unknown length modifier used with 'o' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0192</td>
+ <td width=88%>[U] Unknown length modifier used with 'o' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0193</td>
- <td width=92%>[U] Unknown length modifier used with 'u' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0193</td>
+ <td width=88%>[U] Unknown length modifier used with 'u' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0194</td>
- <td width=92%>[U] Unknown length modifier used with 'x/X' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0194</td>
+ <td width=88%>[U] Unknown length modifier used with 'x/X' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0195</td>
- <td width=92%>[U] Unknown length modifier used with 'e/E/f/F/g/G' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0195</td>
+ <td width=88%>[U] Unknown length modifier used with 'e/E/f/F/g/G' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0196</td>
- <td width=92%>[U] Unknown length modifier used with 's' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0196</td>
+ <td width=88%>[U] Unknown length modifier used with 's' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0197</td>
- <td width=92%>[U] Unknown length modifier used with 'p' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0197</td>
+ <td width=88%>[U] Unknown length modifier used with 'p' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0198</td>
- <td width=92%>[U] Unknown length modifier used with '%%' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0198</td>
+ <td width=88%>[U] Unknown length modifier used with '%%' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0199</td>
- <td width=92%>[U] Unknown length modifier used with '[' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0199</td>
+ <td width=88%>[U] Unknown length modifier used with '[' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0200</td>
- <td width=92%>[U] Unknown length modifier used with 'c' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0200</td>
+ <td width=88%>[U] Unknown length modifier used with 'c' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0201</td>
- <td width=92%>[U] Incomplete conversion specifier, number %1s.</td>
+ <td width=12%>qac-0201</td>
+ <td width=88%>[U] Incomplete conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0206</td>
- <td width=92%>[U] Argument type does not match conversion specifier number %1s.</td>
+ <td width=12%>qac-0206</td>
+ <td width=88%>[U] Argument type does not match conversion specifier number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0207</td>
- <td width=92%>[U] 'scanf' expects address of objects being stored into.</td>
+ <td width=12%>qac-0207</td>
+ <td width=88%>[U] 'scanf' expects address of objects being stored into.</td>
</tr>
<tr>
- <td width=8%>qac-0208</td>
- <td width=92%>[U] Same character occurs in scanset more than once.</td>
+ <td width=12%>qac-0208</td>
+ <td width=88%>[U] Same character occurs in scanset more than once.</td>
</tr>
</table></center>
</td>
@@ -1029,16 +1040,20 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0431</td>
- <td width=92%>[C] Function argument points to a more heavily qualified type.</td>
+ <td width=12%>qac-0431</td>
+ <td width=88%>[C] Function argument points to a more heavily qualified type.</td>
+ </tr>
+ <tr>
+ <td width=12%>qac-3673</td>
+ <td width=88%>The object addressed by the pointer parameter '%1s' is not modified and so the pointer could be of type 'pointer to const'.</td>
</tr>
<tr>
- <td width=8%>qac-3673</td>
- <td width=92%>The object addressed by the pointer parameter '%1s' is not modified and so the pointer could be of type 'pointer to const'.</td>
+ <td width=12%>qac-3677</td>
+ <td width=88%>The elements of the array parameter '%1s' are not modified and so they could be qualified as 'const'.</td>
</tr>
<tr>
- <td width=8%>qac-3677</td>
- <td width=92%>The elements of the array parameter '%1s' are not modified and so they could be qualified as 'const'.</td>
+ <td width=12%>qac-3694</td>
+ <td width=88%>The elements of the multidimensional array parameter '%1s' are not modified and so they could be qualified as 'const'.</td>
</tr>
</table></center>
</td>
@@ -1050,12 +1065,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>rcma-1504</td>
- <td width=92%>The object '%1s' is only referenced in the translation unit where it is defined.</td>
+ <td width=12%>rcma-1504</td>
+ <td width=88%>The object '%1s' is only referenced in the translation unit where it is defined.</td>
</tr>
<tr>
- <td width=8%>rcma-1531</td>
- <td width=92%>The object '%1s' is referenced in only one translation unit - but not the one in which it is defined.</td>
+ <td width=12%>rcma-1531</td>
+ <td width=88%>The object '%1s' is referenced in only one translation unit - but not the one in which it is defined.</td>
</tr>
</table></center>
</td>
@@ -1067,8 +1082,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-1280</td>
- <td width=92%>A lowercase letter L (l) has been used in an integer or floating suffix.</td>
+ <td width=12%>qac-1280</td>
+ <td width=88%>A lowercase letter L (l) has been used in an integer or floating suffix.</td>
</tr>
</table></center>
</td>
@@ -1080,12 +1095,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0339</td>
- <td width=92%>Octal constant used.</td>
+ <td width=12%>qac-0339</td>
+ <td width=88%>Octal constant used.</td>
</tr>
<tr>
- <td width=8%>qac-1272</td>
- <td width=92%>Redundant leading zeroes on a numeric constant.</td>
+ <td width=12%>qac-1272</td>
+ <td width=88%>Redundant leading zeroes on a numeric constant.</td>
</tr>
</table></center>
</td>
@@ -1097,28 +1112,28 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>rcma-1504</td>
- <td width=92%>The object '%1s' is only referenced in the translation unit where it is defined.</td>
+ <td width=12%>rcma-1504</td>
+ <td width=88%>The object '%1s' is only referenced in the translation unit where it is defined.</td>
</tr>
<tr>
- <td width=8%>rcma-1505</td>
- <td width=92%>The function '%1s' is only referenced in the translation unit where it is defined.</td>
+ <td width=12%>rcma-1505</td>
+ <td width=88%>The function '%1s' is only referenced in the translation unit where it is defined.</td>
</tr>
<tr>
- <td width=8%>rcma-1531</td>
- <td width=92%>The object '%1s' is referenced in only one translation unit - but not the one in which it is defined.</td>
+ <td width=12%>rcma-1531</td>
+ <td width=88%>The object '%1s' is referenced in only one translation unit - but not the one in which it is defined.</td>
</tr>
<tr>
- <td width=8%>rcma-1532</td>
- <td width=92%>The function '%1s' is only referenced in one translation unit - but not the one in which it is defined.</td>
+ <td width=12%>rcma-1532</td>
+ <td width=88%>The function '%1s' is only referenced in one translation unit - but not the one in which it is defined.</td>
</tr>
<tr>
- <td width=8%>qac-3210</td>
- <td width=92%>The global identifier '%1s' is declared here but is not used in this translation unit.</td>
+ <td width=12%>qac-3210</td>
+ <td width=88%>The global identifier '%1s' is declared here but is not used in this translation unit.</td>
</tr>
<tr>
- <td width=8%>qac-3218</td>
- <td width=92%>File scope static, '%1s', is only accessed in one function.</td>
+ <td width=12%>qac-3218</td>
+ <td width=88%>File scope static, '%1s', is only accessed in one function.</td>
</tr>
</table></center>
</td>
@@ -1130,12 +1145,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3001</td>
- <td width=92%>Function has been declared with an empty parameter list.</td>
+ <td width=12%>qac-3001</td>
+ <td width=88%>Function has been declared with an empty parameter list.</td>
</tr>
<tr>
- <td width=8%>qac-3007</td>
- <td width=92%>"void" has been omitted when defining a function with no parameters.</td>
+ <td width=12%>qac-3007</td>
+ <td width=88%>"void" has been omitted when defining a function with no parameters.</td>
</tr>
</table></center>
</td>
@@ -1147,12 +1162,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-1054</td>
- <td width=92%>[C99] A compound literal has been used.</td>
+ <td width=12%>qac-1054</td>
+ <td width=88%>[C99] A compound literal has been used.</td>
</tr>
<tr>
- <td width=8%>qac-3217</td>
- <td width=92%>Address of automatic object exported to a pointer with linkage or wider scope.</td>
+ <td width=12%>qac-3217</td>
+ <td width=88%>Address of automatic object exported to a pointer with linkage or wider scope.</td>
</tr>
</table></center>
</td>
@@ -1164,36 +1179,36 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0627</td>
- <td width=92%>[C] '%s' has different type to previous declaration in the same scope.</td>
+ <td width=12%>qac-0627</td>
+ <td width=88%>[C] '%s' has different type to previous declaration in the same scope.</td>
</tr>
<tr>
- <td width=8%>qac-0776</td>
- <td width=92%>[L] External identifier matches other external identifier(s) (e.g. '%1s') in first 6 characters - program does not conform strictly to ISO:C90.</td>
+ <td width=12%>qac-0776</td>
+ <td width=88%>[L] External identifier matches other external identifier(s) (e.g. '%1s') in first 6 characters - program does not conform strictly to ISO:C90.</td>
</tr>
<tr>
- <td width=8%>qac-0777</td>
- <td width=92%>[U] External identifier does not differ from other identifier(s) (e.g. '%1s') within the specified number of significant characters.</td>
+ <td width=12%>qac-0777</td>
+ <td width=88%>[U] External identifier does not differ from other identifier(s) (e.g. '%1s') within the specified number of significant characters.</td>
</tr>
<tr>
- <td width=8%>qac-0778</td>
- <td width=92%>[L] Identifier matches other identifier(s) (e.g. '%1s') in first 31 characters - program does not conform strictly to ISO:C90.</td>
+ <td width=12%>qac-0778</td>
+ <td width=88%>[L] Identifier matches other identifier(s) (e.g. '%1s') in first 31 characters - program does not conform strictly to ISO:C90.</td>
</tr>
<tr>
- <td width=8%>qac-0779</td>
- <td width=92%>[U] Identifier does not differ from other identifier(s) (e.g. '%1s') within the specified number of significant characters.</td>
+ <td width=12%>qac-0779</td>
+ <td width=88%>[U] Identifier does not differ from other identifier(s) (e.g. '%1s') within the specified number of significant characters.</td>
</tr>
<tr>
- <td width=8%>qac-0789</td>
- <td width=92%>[L] Identifier matches other identifier(s) (e.g. '%1s') in first 63 characters - program does not conform strictly to ISO:C99.</td>
+ <td width=12%>qac-0789</td>
+ <td width=88%>[L] Identifier matches other identifier(s) (e.g. '%1s') in first 63 characters - program does not conform strictly to ISO:C99.</td>
</tr>
<tr>
- <td width=8%>qac-0791</td>
- <td width=92%>[U] Macro identifier does not differ from other macro identifier(s) (e.g. '%1s') within the specified number of significant characters.</td>
+ <td width=12%>qac-0791</td>
+ <td width=88%>[U] Macro identifier does not differ from other macro identifier(s) (e.g. '%1s') within the specified number of significant characters.</td>
</tr>
<tr>
- <td width=8%>qac-0793</td>
- <td width=92%>[L] Macro identifier matches other macro identifier(s) (e.g. '%1s') in first 63 characters - program does not conform strictly to ISO:C99.</td>
+ <td width=12%>qac-0793</td>
+ <td width=88%>[L] Macro identifier matches other macro identifier(s) (e.g. '%1s') in first 63 characters - program does not conform strictly to ISO:C99.</td>
</tr>
</table></center>
</td>
@@ -1205,20 +1220,20 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3217</td>
- <td width=92%>Address of automatic object exported to a pointer with linkage or wider scope.</td>
+ <td width=12%>qac-3217</td>
+ <td width=88%>Address of automatic object exported to a pointer with linkage or wider scope.</td>
</tr>
<tr>
- <td width=8%>qac-3225</td>
- <td width=92%>Address of automatic object exported using a function parameter.</td>
+ <td width=12%>qac-3225</td>
+ <td width=88%>Address of automatic object exported using a function parameter.</td>
</tr>
<tr>
- <td width=8%>qac-3230</td>
- <td width=92%>Address of automatic object assigned to local pointer with static storage duration.</td>
+ <td width=12%>qac-3230</td>
+ <td width=88%>Address of automatic object assigned to local pointer with static storage duration.</td>
</tr>
<tr>
- <td width=8%>qac-4140</td>
- <td width=92%>Address of automatic object exported in function return value.</td>
+ <td width=12%>qac-4140</td>
+ <td width=88%>Address of automatic object exported in function return value.</td>
</tr>
</table></center>
</td>
@@ -1230,20 +1245,20 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0434</td>
- <td width=92%>[S] The identifier '%s' has not been declared.</td>
+ <td width=12%>qac-0434</td>
+ <td width=88%>[S] The identifier '%s' has not been declared.</td>
</tr>
<tr>
- <td width=8%>qac-2050</td>
- <td width=92%>The 'int' type specifier has been omitted from a function declaration.</td>
+ <td width=12%>qac-2050</td>
+ <td width=88%>The 'int' type specifier has been omitted from a function declaration.</td>
</tr>
<tr>
- <td width=8%>qac-2051</td>
- <td width=92%>The 'int' type specifier has been omitted from an object declaration.</td>
+ <td width=12%>qac-2051</td>
+ <td width=88%>The 'int' type specifier has been omitted from an object declaration.</td>
</tr>
<tr>
- <td width=8%>qac-3335</td>
- <td width=92%>No function declaration. Implicit declaration inserted: 'extern int %s();'.</td>
+ <td width=12%>qac-3335</td>
+ <td width=88%>No function declaration. Implicit declaration inserted: 'extern int %1s();'.</td>
</tr>
</table></center>
</td>
@@ -1255,8 +1270,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0625</td>
- <td width=92%>[U] '%s' has been declared with both internal and external linkage - the behaviour is undefined.</td>
+ <td width=12%>qac-0625</td>
+ <td width=88%>[U] '%s' has been declared with both internal and external linkage - the behaviour is undefined.</td>
</tr>
</table></center>
</td>
@@ -1268,92 +1283,92 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0602</td>
- <td width=92%>[U] The identifier '%s' is reserved for use by the library.</td>
+ <td width=12%>qac-0602</td>
+ <td width=88%>[U] The identifier '%1s' is reserved for use by the library.</td>
</tr>
<tr>
- <td width=8%>qac-0603</td>
- <td width=92%>[U] The macro identifier '%s' is reserved.</td>
+ <td width=12%>qac-0603</td>
+ <td width=88%>[U] The macro identifier '%1s' is reserved.</td>
</tr>
<tr>
- <td width=8%>qac-4600</td>
- <td width=92%>The macro '%1s' is also defined in '<%2s>'.</td>
+ <td width=12%>qac-4600</td>
+ <td width=88%>The macro '%1s' is also defined in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4601</td>
- <td width=92%>The macro '%1s' is the name of an identifier in '<%2s>'.</td>
+ <td width=12%>qac-4601</td>
+ <td width=88%>The macro '%1s' is the name of an identifier in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4602</td>
- <td width=92%>The identifier '%1s' is declared as a macro in '<%2s>'.</td>
+ <td width=12%>qac-4602</td>
+ <td width=88%>The identifier '%1s' is declared as a macro in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4603</td>
- <td width=92%>The object/function '%1s'is being defined with the same name as an ordinary identifier defined in '<%2s>'.</td>
+ <td width=12%>qac-4603</td>
+ <td width=88%>The object/function '%1s'is being defined with the same name as an ordinary identifier defined in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4604</td>
- <td width=92%>The object/function '%1s' is being declared with the same name as an ordinary identifier defined in '<%2s>'.</td>
+ <td width=12%>qac-4604</td>
+ <td width=88%>The object/function '%1s' is being declared with the same name as an ordinary identifier defined in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4605</td>
- <td width=92%>The typedef '%1s' is also defined in '<%2s>'.</td>
+ <td width=12%>qac-4605</td>
+ <td width=88%>The typedef '%1s' is also defined in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4606</td>
- <td width=92%>The typedef '%1s' has the same name as another ordinary identifier in '<%2s>'.</td>
+ <td width=12%>qac-4606</td>
+ <td width=88%>The typedef '%1s' has the same name as another ordinary identifier in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4607</td>
- <td width=92%>The enum constant '%1s' has the same name as another ordinary identifier in '<%2s>'.</td>
+ <td width=12%>qac-4607</td>
+ <td width=88%>The enum constant '%1s' has the same name as another ordinary identifier in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4608</td>
- <td width=92%>The tag '%1s' is also defined in '<%2s>'.</td>
+ <td width=12%>qac-4608</td>
+ <td width=88%>The tag '%1s' is also defined in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4620</td>
- <td width=92%>The macro '%1s' may also be defined as a macro in '<%2s>'.</td>
+ <td width=12%>qac-4620</td>
+ <td width=88%>The macro '%1s' may also be defined as a macro in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4621</td>
- <td width=92%>The macro '%1s' may also be defined as a typedef in '<%2s>'.</td>
+ <td width=12%>qac-4621</td>
+ <td width=88%>The macro '%1s' may also be defined as a typedef in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4622</td>
- <td width=92%>The identifier '%1s' may be defined as a macro in '<%2s>'.</td>
+ <td width=12%>qac-4622</td>
+ <td width=88%>The identifier '%1s' may be defined as a macro in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4623</td>
- <td width=92%>The typedef '%1s' may also be defined in '<%2s>'.</td>
+ <td width=12%>qac-4623</td>
+ <td width=88%>The typedef '%1s' may also be defined in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4624</td>
- <td width=92%>The ordinary identifier '%1s' may be defined as a typedef in '<%2s>'.</td>
+ <td width=12%>qac-4624</td>
+ <td width=88%>The ordinary identifier '%1s' may be defined as a typedef in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4640</td>
- <td width=92%>The macro '%1s' could conflict in the future with the name of a macro in '<%2s>'.</td>
+ <td width=12%>qac-4640</td>
+ <td width=88%>The macro '%1s' could conflict in the future with the name of a macro in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4641</td>
- <td width=92%>The identifier '%1s' could conflict in the future with the name of a macro in '<%2s>'.</td>
+ <td width=12%>qac-4641</td>
+ <td width=88%>The identifier '%1s' could conflict in the future with the name of a macro in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4642</td>
- <td width=92%>The macro '%1s' could conflict in the future with the name of a function in '<%2s>'.</td>
+ <td width=12%>qac-4642</td>
+ <td width=88%>The macro '%1s' could conflict in the future with the name of a function in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4643</td>
- <td width=92%>The identifier '%1s' could conflict in the future with the name of a function in '<%2s>'.</td>
+ <td width=12%>qac-4643</td>
+ <td width=88%>The identifier '%1s' could conflict in the future with the name of a function in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4644</td>
- <td width=92%>The macro '%1s' could conflict in the future with the name of a typedef in '<%2s>'.</td>
+ <td width=12%>qac-4644</td>
+ <td width=88%>The macro '%1s' could conflict in the future with the name of a typedef in '<%2s>'.</td>
</tr>
<tr>
- <td width=8%>qac-4645</td>
- <td width=92%>The identifier '%1s' could conflict in the future with the name of a typedef in '<%2s>'.</td>
+ <td width=12%>qac-4645</td>
+ <td width=88%>The identifier '%1s' could conflict in the future with the name of a typedef in '<%2s>'.</td>
</tr>
</table></center>
</td>
@@ -1365,12 +1380,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-1037</td>
- <td width=92%>[E] Arrays of length zero are a language extension.</td>
+ <td width=12%>qac-1037</td>
+ <td width=88%>[E] Arrays of length zero are a language extension.</td>
</tr>
<tr>
- <td width=8%>qac-1039</td>
- <td width=92%>[E] Treating array of length one as potentially flexible member.</td>
+ <td width=12%>qac-1039</td>
+ <td width=88%>[E] Treating array of length one as potentially flexible member.</td>
</tr>
</table></center>
</td>
@@ -1382,16 +1397,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4941</td>
- <td width=92%>Definite: Passing a padded structure from a trusted boundary to another domain.</td>
+ <td width=12%>dataflow-4941</td>
+ <td width=88%>Definite: Passing a padded structure from a trusted boundary to another domain.</td>
</tr>
<tr>
- <td width=8%>qac-4942</td>
- <td width=92%>Apparent: Passing a padded structure from a trusted boundary to another domain.</td>
+ <td width=12%>dataflow-4942</td>
+ <td width=88%>Apparent: Passing a padded structure from a trusted boundary to another domain.</td>
</tr>
<tr>
- <td width=8%>qac-4943</td>
- <td width=92%>Suspicious: Passing a padded structure from a trusted boundary to another domain.</td>
+ <td width=12%>dataflow-4943</td>
+ <td width=88%>Suspicious: Passing a padded structure from a trusted boundary to another domain.</td>
</tr>
</table></center>
</td>
@@ -1403,24 +1418,24 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0776</td>
- <td width=92%>[L] External identifier matches other external identifier(s) (e.g. '%1s') in first 6 characters - program does not conform strictly to ISO:C90.</td>
+ <td width=12%>qac-0776</td>
+ <td width=88%>[L] External identifier matches other external identifier(s) (e.g. '%1s') in first 6 characters - program does not conform strictly to ISO:C90.</td>
</tr>
<tr>
- <td width=8%>qac-0778</td>
- <td width=92%>[L] Identifier matches other identifier(s) (e.g. '%1s') in first 31 characters - program does not conform strictly to ISO:C90.</td>
+ <td width=12%>qac-0778</td>
+ <td width=88%>[L] Identifier matches other identifier(s) (e.g. '%1s') in first 31 characters - program does not conform strictly to ISO:C90.</td>
</tr>
<tr>
- <td width=8%>qac-0779</td>
- <td width=92%>[U] Identifier does not differ from other identifier(s) (e.g. '%1s') within the specified number of significant characters.</td>
+ <td width=12%>qac-0779</td>
+ <td width=88%>[U] Identifier does not differ from other identifier(s) (e.g. '%1s') within the specified number of significant characters.</td>
</tr>
<tr>
- <td width=8%>qac-0789</td>
- <td width=92%>[L] Identifier matches other identifier(s) (e.g. '%1s') in first 63 characters - program does not conform strictly to ISO:C99.</td>
+ <td width=12%>qac-0789</td>
+ <td width=88%>[L] Identifier matches other identifier(s) (e.g. '%1s') in first 63 characters - program does not conform strictly to ISO:C99.</td>
</tr>
<tr>
- <td width=8%>rcma-1510</td>
- <td width=92%>'%1s' has external linkage and has incompatible declarations.</td>
+ <td width=12%>rcma-1510</td>
+ <td width=88%>'%1s' has external linkage and has incompatible declarations.</td>
</tr>
</table></center>
</td>
@@ -1432,16 +1447,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2008</td>
- <td width=92%>Code statements precede the first label in this 'switch' construct.</td>
+ <td width=12%>qac-2008</td>
+ <td width=88%>Code statements precede the first label in this 'switch' construct.</td>
</tr>
<tr>
- <td width=8%>qac-2882</td>
- <td width=92%>This 'switch' statement will bypass the initialization of local variables.</td>
+ <td width=12%>qac-2882</td>
+ <td width=88%>This 'switch' statement will bypass the initialization of local variables.</td>
</tr>
<tr>
- <td width=8%>qac-3234</td>
- <td width=92%>Declarations precede the first label in this 'switch' construct.</td>
+ <td width=12%>qac-3234</td>
+ <td width=88%>Declarations precede the first label in this 'switch' construct.</td>
</tr>
</table></center>
</td>
@@ -1453,8 +1468,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>certccm-5017</td>
- <td width=92%>'%s' is being used.</td>
+ <td width=12%>certccm-5017</td>
+ <td width=88%>'%s' is being used.</td>
</tr>
</table></center>
</td>
@@ -1466,28 +1481,28 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-1492</td>
- <td width=92%>The result of library function '%1s' is used to modify the referenced object.</td>
+ <td width=12%>qac-1492</td>
+ <td width=88%>The result of library function '%1s' is used to modify the referenced object.</td>
</tr>
<tr>
- <td width=8%>qac-1493</td>
- <td width=92%>The result of library function '%1s' is used as a pointer to a modifiable object.</td>
+ <td width=12%>qac-1493</td>
+ <td width=88%>The result of library function '%1s' is used as a pointer to a modifiable object.</td>
</tr>
<tr>
- <td width=8%>qac-1494</td>
- <td width=92%>The result of library function '%1s' might be modified.</td>
+ <td width=12%>qac-1494</td>
+ <td width=88%>The result of library function '%1s' might be modified.</td>
</tr>
<tr>
- <td width=8%>qac-4751</td>
- <td width=92%>Definite: Modifying an object that is referenced by the return value of a library function.</td>
+ <td width=12%>dataflow-4751</td>
+ <td width=88%>Definite: Modifying an object that is referenced by the return value of a library function.</td>
</tr>
<tr>
- <td width=8%>qac-4752</td>
- <td width=92%>Apparent: Modifying an object that is referenced by the return value of a library function.</td>
+ <td width=12%>dataflow-4752</td>
+ <td width=88%>Apparent: Modifying an object that is referenced by the return value of a library function.</td>
</tr>
<tr>
- <td width=8%>qac-4753</td>
- <td width=92%>Suspicious: Modifying an object that is referenced by the return value of a library function.</td>
+ <td width=12%>dataflow-4753</td>
+ <td width=88%>Suspicious: Modifying an object that is referenced by the return value of a library function.</td>
</tr>
</table></center>
</td>
@@ -1499,16 +1514,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4991</td>
- <td width=92%>Definite: Using an invalidated value '%s' of the environment pointer passed as the third argument to main.</td>
+ <td width=12%>dataflow-4991</td>
+ <td width=88%>Definite: Using an invalidated value '%s' of the environment pointer passed as the third argument to main.</td>
</tr>
<tr>
- <td width=8%>qac-4992</td>
- <td width=92%>Apparent: Using an invalidated value '%s' of the environment pointer passed as the third argument to main.</td>
+ <td width=12%>dataflow-4992</td>
+ <td width=88%>Apparent: Using an invalidated value '%s' of the environment pointer passed as the third argument to main.</td>
</tr>
<tr>
- <td width=8%>qac-4993</td>
- <td width=92%>Suspicious: Using an invalidated value '%s' of the environment pointer passed as the third argument to main.</td>
+ <td width=12%>dataflow-4993</td>
+ <td width=88%>Suspicious: Using an invalidated value '%s' of the environment pointer passed as the third argument to main.</td>
</tr>
</table></center>
</td>
@@ -1520,16 +1535,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4856</td>
- <td width=92%>Definite: Atexit handler does not return normally.</td>
+ <td width=12%>dataflow-4856</td>
+ <td width=88%>Definite: Atexit handler does not return normally.</td>
</tr>
<tr>
- <td width=8%>qac-4857</td>
- <td width=92%>Apparent: Atexit handler does not return normally.</td>
+ <td width=12%>dataflow-4857</td>
+ <td width=88%>Apparent: Atexit handler does not return normally.</td>
</tr>
<tr>
- <td width=8%>qac-4858</td>
- <td width=92%>Suspicious: Atexit handler does not return normally.</td>
+ <td width=12%>dataflow-4858</td>
+ <td width=88%>Suspicious: Atexit handler does not return normally.</td>
</tr>
</table></center>
</td>
@@ -1541,8 +1556,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>certccm-5018</td>
- <td width=92%>'%s' is being used.</td>
+ <td width=12%>certccm-5018</td>
+ <td width=88%>'%s' is being used.</td>
</tr>
</table></center>
</td>
@@ -1554,16 +1569,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2681</td>
- <td width=92%>Definite: Using an invalidated value '%s' returned from a Standard Library function.</td>
+ <td width=12%>dataflow-2681</td>
+ <td width=88%>Definite: Using an invalidated value '%s' returned from a Standard Library function.</td>
</tr>
<tr>
- <td width=8%>qac-2682</td>
- <td width=92%>Apparent: Using an invalidated value '%s' returned from a Standard Library function.</td>
+ <td width=12%>dataflow-2682</td>
+ <td width=88%>Apparent: Using an invalidated value '%s' returned from a Standard Library function.</td>
</tr>
<tr>
- <td width=8%>qac-2683</td>
- <td width=92%>Suspicious: Using an invalidated value '%s' returned from a Standard Library function.</td>
+ <td width=12%>dataflow-2683</td>
+ <td width=88%>Suspicious: Using an invalidated value '%s' returned from a Standard Library function.</td>
</tr>
</table></center>
</td>
@@ -1575,20 +1590,20 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2500</td>
- <td width=92%>Call to '%s' is not immediately preceded by the zero-ing of 'errno'.</td>
+ <td width=12%>qac-2500</td>
+ <td width=88%>Call to '%1s' is not immediately preceded by the zero-ing of 'errno'.</td>
</tr>
<tr>
- <td width=8%>qac-2501</td>
- <td width=92%>Call to '%s' is not immediately followed by the testing of 'errno'.</td>
+ <td width=12%>qac-2501</td>
+ <td width=88%>Call to '%1s' is not immediately followed by the testing of 'errno'.</td>
</tr>
<tr>
- <td width=8%>qac-2502</td>
- <td width=92%>Zero-ing of 'errno' is not immediately followed by a call to an 'errno' setting function.</td>
+ <td width=12%>qac-2502</td>
+ <td width=88%>Zero-ing of 'errno' is not immediately followed by a call to an 'errno' setting function.</td>
</tr>
<tr>
- <td width=8%>qac-2503</td>
- <td width=92%>Testing of 'errno' is not immediately preceded by a call to an 'errno' setting function.</td>
+ <td width=12%>qac-2503</td>
+ <td width=88%>Testing of 'errno' is not immediately preceded by a call to an 'errno' setting function.</td>
</tr>
</table></center>
</td>
@@ -1600,20 +1615,20 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2031</td>
- <td width=92%>Signal handler '%1s' accesses errno.</td>
+ <td width=12%>qac-2031</td>
+ <td width=88%>Signal handler '%1s' accesses errno.</td>
</tr>
<tr>
- <td width=8%>qac-4781</td>
- <td width=92%>Definite: Signal handler causes the value of errno to be indeterminate.</td>
+ <td width=12%>dataflow-4781</td>
+ <td width=88%>Definite: Signal handler causes the value of errno to be indeterminate.</td>
</tr>
<tr>
- <td width=8%>qac-4782</td>
- <td width=92%>Apparent: Signal handler causes the value of errno to be indeterminate.</td>
+ <td width=12%>dataflow-4782</td>
+ <td width=88%>Apparent: Signal handler causes the value of errno to be indeterminate.</td>
</tr>
<tr>
- <td width=8%>qac-4783</td>
- <td width=92%>Suspicious: Signal handler causes the value of errno to be indeterminate.</td>
+ <td width=12%>dataflow-4783</td>
+ <td width=88%>Suspicious: Signal handler causes the value of errno to be indeterminate.</td>
</tr>
</table></center>
</td>
@@ -1625,8 +1640,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3200</td>
- <td width=92%>'%s' returns a value which is not being used.</td>
+ <td width=12%>qac-3200</td>
+ <td width=88%>'%1s' returns a value which is not being used.</td>
</tr>
</table></center>
</td>
@@ -1638,8 +1653,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>certccm-5030</td>
- <td width=92%>'%s' is being used.</td>
+ <td width=12%>certccm-5030</td>
+ <td width=88%>'%s' is being used.</td>
</tr>
</table></center>
</td>
@@ -1651,52 +1666,52 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3389</td>
- <td width=92%>Extra parentheses recommended to clarify the ordering of a % operator and another arithmetic operator (* / % + -).</td>
+ <td width=12%>qac-3389</td>
+ <td width=88%>Extra parentheses recommended to clarify the ordering of a % operator and another arithmetic operator (* / % + -).</td>
</tr>
<tr>
- <td width=8%>qac-3390</td>
- <td width=92%>Expression is equivalent to: "%s"</td>
+ <td width=12%>qac-3390</td>
+ <td width=88%>Expression is equivalent to: "%1s"</td>
</tr>
<tr>
- <td width=8%>qac-3391</td>
- <td width=92%>Extra parentheses recommended. A conditional operation is the operand of another conditional operator.</td>
+ <td width=12%>qac-3391</td>
+ <td width=88%>Extra parentheses recommended. A conditional operation is the operand of another conditional operator.</td>
</tr>
<tr>
- <td width=8%>qac-3392</td>
- <td width=92%>Extra parentheses recommended. A shift, relational or equality operation is the operand of a second identical operator.</td>
+ <td width=12%>qac-3392</td>
+ <td width=88%>Extra parentheses recommended. A shift, relational or equality operation is the operand of a second identical operator.</td>
</tr>
<tr>
- <td width=8%>qac-3393</td>
- <td width=92%>Extra parentheses recommended. An arithmetic operation (* / + -) is the operand of a different operator with the same precedence.</td>
+ <td width=12%>qac-3393</td>
+ <td width=88%>Extra parentheses recommended. An arithmetic operation (* / + -) is the operand of a different operator with the same precedence.</td>
</tr>
<tr>
- <td width=8%>qac-3394</td>
- <td width=92%>Extra parentheses recommended. A shift, relational or equality operation is the operand of a different operator with the same precedence.</td>
+ <td width=12%>qac-3394</td>
+ <td width=88%>Extra parentheses recommended. A shift, relational or equality operation is the operand of a different operator with the same precedence.</td>
</tr>
<tr>
- <td width=8%>qac-3395</td>
- <td width=92%>Extra parentheses recommended. A * or / operation is the operand of a + or - operator.</td>
+ <td width=12%>qac-3395</td>
+ <td width=88%>Extra parentheses recommended. A * or / operation is the operand of a + or - operator.</td>
</tr>
<tr>
- <td width=8%>qac-3396</td>
- <td width=92%>Extra parentheses recommended. A binary operation is the operand of a conditional operator.</td>
+ <td width=12%>qac-3396</td>
+ <td width=88%>Extra parentheses recommended. A binary operation is the operand of a conditional operator.</td>
</tr>
<tr>
- <td width=8%>qac-3397</td>
- <td width=92%>Extra parentheses recommended. A binary operation is the operand of a binary operator with different precedence.</td>
+ <td width=12%>qac-3397</td>
+ <td width=88%>Extra parentheses recommended. A binary operation is the operand of a binary operator with different precedence.</td>
</tr>
<tr>
- <td width=8%>qac-3398</td>
- <td width=92%>Extra parentheses recommended. A function call, array subscript, or member operation is the operand of a logical && or ||.</td>
+ <td width=12%>qac-3398</td>
+ <td width=88%>Extra parentheses recommended. A function call, array subscript, or member operation is the operand of a logical && or ||.</td>
</tr>
<tr>
- <td width=8%>qac-3399</td>
- <td width=92%>Extra parentheses recommended. A unary operation is the operand of a logical && or ||.</td>
+ <td width=12%>qac-3399</td>
+ <td width=88%>Extra parentheses recommended. A unary operation is the operand of a logical && or ||.</td>
</tr>
<tr>
- <td width=8%>qac-3400</td>
- <td width=92%>Extra parentheses recommended. A binary operation is the operand of a logical && or ||.</td>
+ <td width=12%>qac-3400</td>
+ <td width=88%>Extra parentheses recommended. A binary operation is the operand of a logical && or ||.</td>
</tr>
</table></center>
</td>
@@ -1708,8 +1723,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3415</td>
- <td width=92%>Right hand operand of '&&' or '||' is an expression with persistent side effects.</td>
+ <td width=12%>qac-3415</td>
+ <td width=88%>Right hand operand of '&&' or '||' is an expression with persistent side effects.</td>
</tr>
</table></center>
</td>
@@ -1721,8 +1736,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0697</td>
- <td width=92%>The size of the allocated memory block is not an integral multiple of the size of the object type addressed by the pointer cast.</td>
+ <td width=12%>qac-0697</td>
+ <td width=88%>The size of the allocated memory block is not an integral multiple of the size of the object type addressed by the pointer cast.</td>
</tr>
</table></center>
</td>
@@ -1734,12 +1749,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0311</td>
- <td width=92%>Dangerous pointer cast results in loss of const qualification.</td>
+ <td width=12%>qac-0311</td>
+ <td width=88%>Dangerous pointer cast results in loss of const qualification.</td>
</tr>
<tr>
- <td width=8%>qac-0431</td>
- <td width=92%>[C] Function argument points to a more heavily qualified type.</td>
+ <td width=12%>qac-0431</td>
+ <td width=88%>[C] Function argument points to a more heavily qualified type.</td>
</tr>
</table></center>
</td>
@@ -1751,28 +1766,28 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3120</td>
- <td width=92%>Hard-coded 'magic' integer constant, '%1s'.</td>
+ <td width=12%>qac-3120</td>
+ <td width=88%>Hard-coded 'magic' integer constant, '%1s'.</td>
</tr>
<tr>
- <td width=8%>qac-3121</td>
- <td width=92%>Hard-coded 'magic' floating constant, '%1s'.</td>
+ <td width=12%>qac-3121</td>
+ <td width=88%>Hard-coded 'magic' floating constant, '%1s'.</td>
</tr>
<tr>
- <td width=8%>qac-3122</td>
- <td width=92%>Hard-coded 'magic' string literal, %1s.</td>
+ <td width=12%>qac-3122</td>
+ <td width=88%>Hard-coded 'magic' string literal, %1s.</td>
</tr>
<tr>
- <td width=8%>qac-3123</td>
- <td width=92%>Hard coded 'magic' character constant, %1s.</td>
+ <td width=12%>qac-3123</td>
+ <td width=88%>Hard coded 'magic' character constant, %1s.</td>
</tr>
<tr>
- <td width=8%>qac-3131</td>
- <td width=92%>Hard coded 'magic' number, '%1s', used to define the size of a bit-field.</td>
+ <td width=12%>qac-3131</td>
+ <td width=88%>Hard coded 'magic' number, '%1s', used to define the size of a bit-field.</td>
</tr>
<tr>
- <td width=8%>qac-3132</td>
- <td width=92%>Hard coded 'magic' number, '%1s', used to define the size of an array.</td>
+ <td width=12%>qac-3132</td>
+ <td width=88%>Hard coded 'magic' number, '%1s', used to define the size of an array.</td>
</tr>
</table></center>
</td>
@@ -1784,24 +1799,24 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0488</td>
- <td width=92%>Performing pointer arithmetic.</td>
+ <td width=12%>qac-0488</td>
+ <td width=88%>Performing pointer arithmetic.</td>
</tr>
<tr>
- <td width=8%>qac-2930</td>
- <td width=92%>Constant: Computing an invalid pointer value.</td>
+ <td width=12%>dataflow-2930</td>
+ <td width=88%>Constant: Computing an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2931</td>
- <td width=92%>Definite: Computing an invalid pointer value.</td>
+ <td width=12%>dataflow-2931</td>
+ <td width=88%>Definite: Computing an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2932</td>
- <td width=92%>Apparent: Computing an invalid pointer value.</td>
+ <td width=12%>dataflow-2932</td>
+ <td width=88%>Apparent: Computing an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2933</td>
- <td width=92%>Suspicious: Computing an invalid pointer value.</td>
+ <td width=12%>dataflow-2933</td>
+ <td width=88%>Suspicious: Computing an invalid pointer value.</td>
</tr>
</table></center>
</td>
@@ -1813,36 +1828,36 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0400</td>
- <td width=92%>[U] '%1s' is modified more than once between sequence points - evaluation order unspecified.</td>
+ <td width=12%>qac-0400</td>
+ <td width=88%>[U] '%1s' is modified more than once between sequence points - evaluation order unspecified.</td>
</tr>
<tr>
- <td width=8%>qac-0401</td>
- <td width=92%>[U] '%1s' may be modified more than once between sequence points - evaluation order unspecified.</td>
+ <td width=12%>qac-0401</td>
+ <td width=88%>[U] '%1s' may be modified more than once between sequence points - evaluation order unspecified.</td>
</tr>
<tr>
- <td width=8%>qac-0402</td>
- <td width=92%>[U] '%1s' is modified and accessed between sequence points - evaluation order unspecified.</td>
+ <td width=12%>qac-0402</td>
+ <td width=88%>[U] '%1s' is modified and accessed between sequence points - evaluation order unspecified.</td>
</tr>
<tr>
- <td width=8%>qac-0403</td>
- <td width=92%>[U] '%1s' may be modified and accessed between sequence points - evaluation order unspecified.</td>
+ <td width=12%>qac-0403</td>
+ <td width=88%>[U] '%1s' may be modified and accessed between sequence points - evaluation order unspecified.</td>
</tr>
<tr>
- <td width=8%>qac-0404</td>
- <td width=92%>[U] More than one read access to volatile objects between sequence points.</td>
+ <td width=12%>qac-0404</td>
+ <td width=88%>[U] More than one read access to volatile objects between sequence points.</td>
</tr>
<tr>
- <td width=8%>qac-0405</td>
- <td width=92%>[U] More than one modification of volatile objects between sequence points.</td>
+ <td width=12%>qac-0405</td>
+ <td width=88%>[U] More than one modification of volatile objects between sequence points.</td>
</tr>
<tr>
- <td width=8%>qac-3226</td>
- <td width=92%>The result of an assignment is being used in an arithmetic operation or another assigning operation.</td>
+ <td width=12%>qac-3226</td>
+ <td width=88%>The result of an assignment is being used in an arithmetic operation or another assigning operation.</td>
</tr>
<tr>
- <td width=8%>qac-3326</td>
- <td width=92%>The result of an assignment is being used in a logical operation.</td>
+ <td width=12%>qac-3326</td>
+ <td width=88%>The result of an assignment is being used in a logical operation.</td>
</tr>
</table></center>
</td>
@@ -1854,12 +1869,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0310</td>
- <td width=92%>Casting to different object pointer type.</td>
+ <td width=12%>qac-0310</td>
+ <td width=88%>Casting to different object pointer type.</td>
</tr>
<tr>
- <td width=8%>qac-0751</td>
- <td width=92%>Casting to char pointer type.</td>
+ <td width=12%>qac-0751</td>
+ <td width=88%>Casting to char pointer type.</td>
</tr>
</table></center>
</td>
@@ -1871,8 +1886,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3200</td>
- <td width=92%>'%s' returns a value which is not being used.</td>
+ <td width=12%>qac-3200</td>
+ <td width=88%>'%1s' returns a value which is not being used.</td>
</tr>
</table></center>
</td>
@@ -1884,24 +1899,24 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3392</td>
- <td width=92%>Extra parentheses recommended. A shift, relational or equality operation is the operand of a second identical operator.</td>
+ <td width=12%>qac-3392</td>
+ <td width=88%>Extra parentheses recommended. A shift, relational or equality operation is the operand of a second identical operator.</td>
</tr>
<tr>
- <td width=8%>qac-3401</td>
- <td width=92%>Possible precedence confusion: extra parentheses are recommended here.</td>
+ <td width=12%>qac-3401</td>
+ <td width=88%>Possible precedence confusion: extra parentheses are recommended here.</td>
</tr>
<tr>
- <td width=8%>qac-4111</td>
- <td width=92%>Right hand operand of relational operator is a 'Boolean' expression.</td>
+ <td width=12%>qac-4111</td>
+ <td width=88%>Right hand operand of relational operator is a 'Boolean' expression.</td>
</tr>
<tr>
- <td width=8%>qac-4112</td>
- <td width=92%>Left hand operand of relational operator is a 'Boolean' expression.</td>
+ <td width=12%>qac-4112</td>
+ <td width=88%>Left hand operand of relational operator is a 'Boolean' expression.</td>
</tr>
<tr>
- <td width=8%>qac-4113</td>
- <td width=92%>Both operands of relational operator are 'Boolean' expressions.</td>
+ <td width=12%>qac-4113</td>
+ <td width=88%>Both operands of relational operator are 'Boolean' expressions.</td>
</tr>
</table></center>
</td>
@@ -1913,8 +1928,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3109</td>
- <td width=92%>Null statement follows other code on the same line.</td>
+ <td width=12%>qac-3109</td>
+ <td width=88%>Null statement follows other code on the same line.</td>
</tr>
</table></center>
</td>
@@ -1926,16 +1941,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0428</td>
- <td width=92%>Function identifier is not followed by () but a function call may be intended.</td>
+ <td width=12%>qac-0428</td>
+ <td width=88%>Function identifier is not followed by () but a function call may be intended.</td>
</tr>
<tr>
- <td width=8%>qac-3004</td>
- <td width=92%>This integral constant expression is being interpreted as a null pointer constant.</td>
+ <td width=12%>qac-3004</td>
+ <td width=88%>This integral constant expression is being interpreted as a null pointer constant.</td>
</tr>
<tr>
- <td width=8%>qac-3344</td>
- <td width=92%>Controlling expression is not an 'essentially Boolean' expression.</td>
+ <td width=12%>qac-3344</td>
+ <td width=88%>Controlling expression is not an 'essentially Boolean' expression.</td>
</tr>
</table></center>
</td>
@@ -1947,8 +1962,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2212</td>
- <td width=92%>Body of control statement is not enclosed within braces.</td>
+ <td width=12%>qac-2212</td>
+ <td width=88%>Body of control statement is not enclosed within braces.</td>
</tr>
</table></center>
</td>
@@ -1960,12 +1975,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3344</td>
- <td width=92%>Controlling expression is not an 'essentially Boolean' expression.</td>
+ <td width=12%>qac-3344</td>
+ <td width=88%>Controlling expression is not an 'essentially Boolean' expression.</td>
</tr>
<tr>
- <td width=8%>qac-4116</td>
- <td width=92%>Operand of logical ! operator is not an 'essentially Boolean' expression.</td>
+ <td width=12%>qac-4116</td>
+ <td width=88%>Operand of logical ! operator is not an 'essentially Boolean' expression.</td>
</tr>
</table></center>
</td>
@@ -1977,28 +1992,28 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0400</td>
- <td width=92%>[U] '%1s' is modified more than once between sequence points - evaluation order unspecified.</td>
+ <td width=12%>qac-0400</td>
+ <td width=88%>[U] '%1s' is modified more than once between sequence points - evaluation order unspecified.</td>
</tr>
<tr>
- <td width=8%>qac-0401</td>
- <td width=92%>[U] '%1s' may be modified more than once between sequence points - evaluation order unspecified.</td>
+ <td width=12%>qac-0401</td>
+ <td width=88%>[U] '%1s' may be modified more than once between sequence points - evaluation order unspecified.</td>
</tr>
<tr>
- <td width=8%>qac-0402</td>
- <td width=92%>[U] '%1s' is modified and accessed between sequence points - evaluation order unspecified.</td>
+ <td width=12%>qac-0402</td>
+ <td width=88%>[U] '%1s' is modified and accessed between sequence points - evaluation order unspecified.</td>
</tr>
<tr>
- <td width=8%>qac-0403</td>
- <td width=92%>[U] '%1s' may be modified and accessed between sequence points - evaluation order unspecified.</td>
+ <td width=12%>qac-0403</td>
+ <td width=88%>[U] '%1s' may be modified and accessed between sequence points - evaluation order unspecified.</td>
</tr>
<tr>
- <td width=8%>qac-0404</td>
- <td width=92%>[U] More than one read access to volatile objects between sequence points.</td>
+ <td width=12%>qac-0404</td>
+ <td width=88%>[U] More than one read access to volatile objects between sequence points.</td>
</tr>
<tr>
- <td width=8%>qac-0405</td>
- <td width=92%>[U] More than one modification of volatile objects between sequence points.</td>
+ <td width=12%>qac-0405</td>
+ <td width=88%>[U] More than one modification of volatile objects between sequence points.</td>
</tr>
</table></center>
</td>
@@ -2010,24 +2025,24 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0312</td>
- <td width=92%>Dangerous pointer cast results in loss of volatile qualification.</td>
+ <td width=12%>qac-0312</td>
+ <td width=88%>Dangerous pointer cast results in loss of volatile qualification.</td>
</tr>
<tr>
- <td width=8%>qac-0562</td>
- <td width=92%>[C] Right operand of assignment points to a more heavily qualified type.</td>
+ <td width=12%>qac-0562</td>
+ <td width=88%>[C] Right operand of assignment points to a more heavily qualified type.</td>
</tr>
<tr>
- <td width=8%>qac-0563</td>
- <td width=92%>[C] Right operand of assignment is not of compatible pointer type.</td>
+ <td width=12%>qac-0563</td>
+ <td width=88%>[C] Right operand of assignment is not of compatible pointer type.</td>
</tr>
<tr>
- <td width=8%>qac-0673</td>
- <td width=92%>[C] Initializer points to a more heavily qualified type.</td>
+ <td width=12%>qac-0673</td>
+ <td width=88%>[C] Initializer points to a more heavily qualified type.</td>
</tr>
<tr>
- <td width=8%>qac-0674</td>
- <td width=92%>[C] Initializer for pointer is of incompatible type.</td>
+ <td width=12%>qac-0674</td>
+ <td width=88%>[C] Initializer for pointer is of incompatible type.</td>
</tr>
</table></center>
</td>
@@ -2039,64 +2054,64 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2726</td>
- <td width=92%>Definite: Use of uninitialized resource.</td>
+ <td width=12%>dataflow-2726</td>
+ <td width=88%>Definite: Use of uninitialized resource.</td>
</tr>
<tr>
- <td width=8%>qac-2727</td>
- <td width=92%>Apparent: Use of uninitialized resource.</td>
+ <td width=12%>dataflow-2727</td>
+ <td width=88%>Apparent: Use of uninitialized resource.</td>
</tr>
<tr>
- <td width=8%>qac-2728</td>
- <td width=92%>Suspicious: Use of uninitialized resource.</td>
+ <td width=12%>dataflow-2728</td>
+ <td width=88%>Suspicious: Use of uninitialized resource.</td>
</tr>
<tr>
- <td width=8%>qac-2961</td>
- <td width=92%>Definite: Using value of uninitialized automatic object '%s'.</td>
+ <td width=12%>dataflow-2961</td>
+ <td width=88%>Definite: Using value of uninitialized automatic object '%s'.</td>
</tr>
<tr>
- <td width=8%>qac-2962</td>
- <td width=92%>Apparent: Using value of uninitialized automatic object '%s'.</td>
+ <td width=12%>dataflow-2962</td>
+ <td width=88%>Apparent: Using value of uninitialized automatic object '%s'.</td>
</tr>
<tr>
- <td width=8%>qac-2963</td>
- <td width=92%>Suspicious: Using value of uninitialized automatic object '%s'.</td>
+ <td width=12%>dataflow-2963</td>
+ <td width=88%>Suspicious: Using value of uninitialized automatic object '%s'.</td>
</tr>
<tr>
- <td width=8%>qac-2966</td>
- <td width=92%>Definite: Some members of object '%s' are uninitialized.</td>
+ <td width=12%>dataflow-2966</td>
+ <td width=88%>Definite: Some members of object '%s' are uninitialized.</td>
</tr>
<tr>
- <td width=8%>qac-2967</td>
- <td width=92%>Apparent: Some members of object '%s' are uninitialized.</td>
+ <td width=12%>dataflow-2967</td>
+ <td width=88%>Apparent: Some members of object '%s' are uninitialized.</td>
</tr>
<tr>
- <td width=8%>qac-2968</td>
- <td width=92%>Suspicious: Some members of object '%s' are uninitialized.</td>
+ <td width=12%>dataflow-2968</td>
+ <td width=88%>Suspicious: Some members of object '%s' are uninitialized.</td>
</tr>
<tr>
- <td width=8%>qac-2971</td>
- <td width=92%>Definite: Passing address of uninitialized object '%s' to a function parameter declared as a pointer to const.</td>
+ <td width=12%>dataflow-2971</td>
+ <td width=88%>Definite: Passing address of uninitialized object '%s' to a function parameter declared as a pointer to const.</td>
</tr>
<tr>
- <td width=8%>qac-2972</td>
- <td width=92%>Apparent: Passing address of uninitialized object '%s' to a function parameter declared as a pointer to const.</td>
+ <td width=12%>dataflow-2972</td>
+ <td width=88%>Apparent: Passing address of uninitialized object '%s' to a function parameter declared as a pointer to const.</td>
</tr>
<tr>
- <td width=8%>qac-2973</td>
- <td width=92%>Suspicious: Passing address of uninitialized object '%s' to a function parameter declared as a pointer to const.</td>
+ <td width=12%>dataflow-2973</td>
+ <td width=88%>Suspicious: Passing address of uninitialized object '%s' to a function parameter declared as a pointer to const.</td>
</tr>
<tr>
- <td width=8%>qac-2976</td>
- <td width=92%>Definite: Passing address of partially initialized object '%s' to a function parameter declared as a pointer to const.</td>
+ <td width=12%>dataflow-2976</td>
+ <td width=88%>Definite: Passing address of partially initialized object '%s' to a function parameter declared as a pointer to const.</td>
</tr>
<tr>
- <td width=8%>qac-2977</td>
- <td width=92%>Apparent: Passing address of partially initialized object '%s' to a function parameter declared as a pointer to const.</td>
+ <td width=12%>dataflow-2977</td>
+ <td width=88%>Apparent: Passing address of partially initialized object '%s' to a function parameter declared as a pointer to const.</td>
</tr>
<tr>
- <td width=8%>qac-2978</td>
- <td width=92%>Suspicious: Passing address of partially initialized object '%s' to a function parameter declared as a pointer to const.</td>
+ <td width=12%>dataflow-2978</td>
+ <td width=88%>Suspicious: Passing address of partially initialized object '%s' to a function parameter declared as a pointer to const.</td>
</tr>
</table></center>
</td>
@@ -2108,20 +2123,20 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2810</td>
- <td width=92%>Constant: Dereference of NULL pointer.</td>
+ <td width=12%>dataflow-2810</td>
+ <td width=88%>Constant: Dereference of NULL pointer.</td>
</tr>
<tr>
- <td width=8%>qac-2811</td>
- <td width=92%>Definite: Dereference of NULL pointer.</td>
+ <td width=12%>dataflow-2811</td>
+ <td width=88%>Definite: Dereference of NULL pointer.</td>
</tr>
<tr>
- <td width=8%>qac-2812</td>
- <td width=92%>Apparent: Dereference of NULL pointer.</td>
+ <td width=12%>dataflow-2812</td>
+ <td width=88%>Apparent: Dereference of NULL pointer.</td>
</tr>
<tr>
- <td width=8%>qac-2813</td>
- <td width=92%>Suspicious: Dereference of NULL pointer.</td>
+ <td width=12%>dataflow-2813</td>
+ <td width=88%>Suspicious: Dereference of NULL pointer.</td>
</tr>
</table></center>
</td>
@@ -2133,24 +2148,24 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0450</td>
- <td width=92%>[U] Passing an array with temporary lifetime as a function parameter.</td>
+ <td width=12%>qac-0450</td>
+ <td width=88%>[U] Passing an array with temporary lifetime as a function parameter.</td>
</tr>
<tr>
- <td width=8%>qac-0455</td>
- <td width=92%>[U] Passing an array with temporary lifetime as a constant function parameter.</td>
+ <td width=12%>qac-0455</td>
+ <td width=88%>[U] Passing an array with temporary lifetime as a constant function parameter.</td>
</tr>
<tr>
- <td width=8%>qac-0459</td>
- <td width=92%>[U] Modifying the contents of an array with temporary lifetime.</td>
+ <td width=12%>qac-0459</td>
+ <td width=88%>[U] Modifying the contents of an array with temporary lifetime.</td>
</tr>
<tr>
- <td width=8%>qac-0464</td>
- <td width=92%>[U] Storing a pointer to an array with temporary lifetime.</td>
+ <td width=12%>qac-0464</td>
+ <td width=88%>[U] Storing a pointer to an array with temporary lifetime.</td>
</tr>
<tr>
- <td width=8%>qac-0465</td>
- <td width=92%>[U] Returning a pointer to an array with temporary lifetime.</td>
+ <td width=12%>qac-0465</td>
+ <td width=88%>[U] Returning a pointer to an array with temporary lifetime.</td>
</tr>
</table></center>
</td>
@@ -2162,12 +2177,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0326</td>
- <td width=92%>[I] Cast between a pointer to void and an integral type.</td>
+ <td width=12%>qac-0326</td>
+ <td width=88%>[I] Cast between a pointer to void and an integral type.</td>
</tr>
<tr>
- <td width=8%>qac-3305</td>
- <td width=92%>Pointer cast to stricter alignment.</td>
+ <td width=12%>qac-3305</td>
+ <td width=88%>Pointer cast to stricter alignment.</td>
</tr>
</table></center>
</td>
@@ -2179,28 +2194,28 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-1331</td>
- <td width=92%>Type or number of arguments doesn't match previous use of the function.</td>
+ <td width=12%>qac-1331</td>
+ <td width=88%>Type or number of arguments doesn't match previous use of the function.</td>
</tr>
<tr>
- <td width=8%>qac-1332</td>
- <td width=92%>Type or number of arguments doesn't match prototype found later.</td>
+ <td width=12%>qac-1332</td>
+ <td width=88%>Type or number of arguments doesn't match prototype found later.</td>
</tr>
<tr>
- <td width=8%>qac-1333</td>
- <td width=92%>Type or number of arguments doesn't match function definition found later.</td>
+ <td width=12%>qac-1333</td>
+ <td width=88%>Type or number of arguments doesn't match function definition found later.</td>
</tr>
<tr>
- <td width=8%>qac-3002</td>
- <td width=92%>Defining '%1s()' with an identifier list and separate parameter declarations is an obsolescent feature.</td>
+ <td width=12%>qac-3002</td>
+ <td width=88%>Defining '%1s()' with an identifier list and separate parameter declarations is an obsolescent feature.</td>
</tr>
<tr>
- <td width=8%>qac-3320</td>
- <td width=92%>Type of argument no. %s differs from its type in definition of function.</td>
+ <td width=12%>qac-3320</td>
+ <td width=88%>Type of argument no. %1s differs from its type in definition of function.</td>
</tr>
<tr>
- <td width=8%>qac-3335</td>
- <td width=92%>No function declaration. Implicit declaration inserted: 'extern int %s();'.</td>
+ <td width=12%>qac-3335</td>
+ <td width=88%>No function declaration. Implicit declaration inserted: 'extern int %1s();'.</td>
</tr>
</table></center>
</td>
@@ -2212,16 +2227,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0310</td>
- <td width=92%>Casting to different object pointer type.</td>
+ <td width=12%>qac-0310</td>
+ <td width=88%>Casting to different object pointer type.</td>
</tr>
<tr>
- <td width=8%>qac-0751</td>
- <td width=92%>Casting to char pointer type.</td>
+ <td width=12%>qac-0751</td>
+ <td width=88%>Casting to char pointer type.</td>
</tr>
<tr>
- <td width=8%>qac-3305</td>
- <td width=92%>Pointer cast to stricter alignment.</td>
+ <td width=12%>qac-3305</td>
+ <td width=88%>Pointer cast to stricter alignment.</td>
</tr>
</table></center>
</td>
@@ -2233,8 +2248,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0563</td>
- <td width=92%>[C] Right operand of assignment is not of compatible pointer type.</td>
+ <td width=12%>qac-0563</td>
+ <td width=88%>[C] Right operand of assignment is not of compatible pointer type.</td>
</tr>
</table></center>
</td>
@@ -2246,20 +2261,20 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4726</td>
- <td width=92%>Definite: Comparison of padding bits that are not part of the object representation.</td>
+ <td width=12%>dataflow-4726</td>
+ <td width=88%>Definite: Comparison of padding bits that are not part of the object representation.</td>
</tr>
<tr>
- <td width=8%>qac-4727</td>
- <td width=92%>Apparent: Comparison of padding bits that are not part of the object representation.</td>
+ <td width=12%>dataflow-4727</td>
+ <td width=88%>Apparent: Comparison of padding bits that are not part of the object representation.</td>
</tr>
<tr>
- <td width=8%>qac-4728</td>
- <td width=92%>Suspicious: Comparison of padding bits that are not part of the object representation.</td>
+ <td width=12%>dataflow-4728</td>
+ <td width=88%>Suspicious: Comparison of padding bits that are not part of the object representation.</td>
</tr>
<tr>
- <td width=8%>qac-4729</td>
- <td width=92%>Possible: Comparison of padding bits that are not part of the object representation.</td>
+ <td width=12%>dataflow-4729</td>
+ <td width=88%>Possible: Comparison of padding bits that are not part of the object representation.</td>
</tr>
</table></center>
</td>
@@ -2271,8 +2286,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-1057</td>
- <td width=92%>[C99] The keyword 'restrict' has been used.</td>
+ <td width=12%>qac-1057</td>
+ <td width=88%>[C99] The keyword 'restrict' has been used.</td>
</tr>
</table></center>
</td>
@@ -2284,8 +2299,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3307</td>
- <td width=92%>The operand of 'sizeof' is an expression with implied side effects, but they will not be evaluated.</td>
+ <td width=12%>qac-3307</td>
+ <td width=88%>The operand of 'sizeof' is an expression with implied side effects, but they will not be evaluated.</td>
</tr>
</table></center>
</td>
@@ -2297,20 +2312,20 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3314</td>
- <td width=92%>This controlling expression is an assignment.</td>
+ <td width=12%>qac-3314</td>
+ <td width=88%>This controlling expression is an assignment.</td>
</tr>
<tr>
- <td width=8%>qac-3326</td>
- <td width=92%>The result of an assignment is being used in a logical operation.</td>
+ <td width=12%>qac-3326</td>
+ <td width=88%>The result of an assignment is being used in a logical operation.</td>
</tr>
<tr>
- <td width=8%>qac-3344</td>
- <td width=92%>Controlling expression is not an 'essentially Boolean' expression.</td>
+ <td width=12%>qac-3344</td>
+ <td width=88%>Controlling expression is not an 'essentially Boolean' expression.</td>
</tr>
<tr>
- <td width=8%>qac-3416</td>
- <td width=92%>Logical operation performed on expression with persistent side effects.</td>
+ <td width=12%>qac-3416</td>
+ <td width=88%>Logical operation performed on expression with persistent side effects.</td>
</tr>
</table></center>
</td>
@@ -2322,12 +2337,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3344</td>
- <td width=92%>Controlling expression is not an 'essentially Boolean' expression.</td>
+ <td width=12%>qac-3344</td>
+ <td width=88%>Controlling expression is not an 'essentially Boolean' expression.</td>
</tr>
<tr>
- <td width=8%>qac-4502</td>
- <td width=92%>An expression of 'essentially Boolean' type (%1s) is being used as the %2s operand of this bitwise operator (%3s).</td>
+ <td width=12%>qac-4502</td>
+ <td width=88%>An expression of 'essentially Boolean' type (%1s) is being used as the %2s operand of this bitwise operator (%3s).</td>
</tr>
</table></center>
</td>
@@ -2339,20 +2354,20 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4901</td>
- <td width=92%>Definite: Invalid call to va_arg.</td>
+ <td width=12%>dataflow-4901</td>
+ <td width=88%>Definite: Invalid call to va_arg.</td>
</tr>
<tr>
- <td width=8%>qac-4902</td>
- <td width=92%>Apparent: Invalid call to va_arg.</td>
+ <td width=12%>dataflow-4902</td>
+ <td width=88%>Apparent: Invalid call to va_arg.</td>
</tr>
<tr>
- <td width=8%>qac-4903</td>
- <td width=92%>Suspicious: Invalid call to va_arg.</td>
+ <td width=12%>dataflow-4903</td>
+ <td width=88%>Suspicious: Invalid call to va_arg.</td>
</tr>
<tr>
- <td width=8%>qac-4904</td>
- <td width=92%>Possible: Invalid call to va_arg.</td>
+ <td width=12%>dataflow-4904</td>
+ <td width=88%>Possible: Invalid call to va_arg.</td>
</tr>
</table></center>
</td>
@@ -2364,8 +2379,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>certccm-5011</td>
- <td width=92%>'%s' is being used.</td>
+ <td width=12%>certccm-5011</td>
+ <td width=88%>'%s' is being used.</td>
</tr>
</table></center>
</td>
@@ -2377,8 +2392,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>certccm-5012</td>
- <td width=92%>'%s' is being used.</td>
+ <td width=12%>certccm-5012</td>
+ <td width=88%>'%s' is being used.</td>
</tr>
</table></center>
</td>
@@ -2390,8 +2405,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>certccm-5013</td>
- <td width=92%>'%s' is being used.</td>
+ <td width=12%>certccm-5013</td>
+ <td width=88%>'%s' is being used.</td>
</tr>
</table></center>
</td>
@@ -2403,8 +2418,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>certccm-5014</td>
- <td width=92%>'%s' is being used.</td>
+ <td width=12%>certccm-5014</td>
+ <td width=88%>'%s' is being used.</td>
</tr>
</table></center>
</td>
@@ -2416,8 +2431,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>certccm-5015</td>
- <td width=92%>'%s' is being used.</td>
+ <td width=12%>certccm-5015</td>
+ <td width=88%>'%s' is being used.</td>
</tr>
</table></center>
</td>
@@ -2429,8 +2444,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>certccm-5016</td>
- <td width=92%>'%s' is being used.</td>
+ <td width=12%>certccm-5016</td>
+ <td width=88%>'%s' is being used.</td>
</tr>
</table></center>
</td>
@@ -2442,16 +2457,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4916</td>
- <td width=92%>Definite: Using a tainted variable as format string.</td>
+ <td width=12%>dataflow-4916</td>
+ <td width=88%>Definite: Using a tainted variable as format string.</td>
</tr>
<tr>
- <td width=8%>qac-4917</td>
- <td width=92%>Apparent: Using a tainted variable as format string.</td>
+ <td width=12%>dataflow-4917</td>
+ <td width=88%>Apparent: Using a tainted variable as format string.</td>
</tr>
<tr>
- <td width=8%>qac-4918</td>
- <td width=92%>Suspicious: Using a tainted variable as format string.</td>
+ <td width=12%>dataflow-4918</td>
+ <td width=88%>Suspicious: Using a tainted variable as format string.</td>
</tr>
</table></center>
</td>
@@ -2463,16 +2478,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4921</td>
- <td width=92%>Definite: Using a tainted variable as a device name when opening a device that could be a file.</td>
+ <td width=12%>dataflow-4921</td>
+ <td width=88%>Definite: Using a tainted variable as a device name when opening a device that could be a file.</td>
</tr>
<tr>
- <td width=8%>qac-4922</td>
- <td width=92%>Apparent: Using a tainted variable as a device name when opening a device that could be a file.</td>
+ <td width=12%>dataflow-4922</td>
+ <td width=88%>Apparent: Using a tainted variable as a device name when opening a device that could be a file.</td>
</tr>
<tr>
- <td width=8%>qac-4923</td>
- <td width=92%>Suspicious: Using a tainted variable as a device name when opening a device that could be a file.</td>
+ <td width=12%>dataflow-4923</td>
+ <td width=88%>Suspicious: Using a tainted variable as a device name when opening a device that could be a file.</td>
</tr>
</table></center>
</td>
@@ -2484,12 +2499,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2676</td>
- <td width=92%>Definite: The value originating from an EOF returning function was modified before being compared with macro EOF.</td>
+ <td width=12%>qac-2676</td>
+ <td width=88%>Definite: The value originating from an EOF returning function was modified before being compared with macro EOF.</td>
</tr>
<tr>
- <td width=8%>qac-2678</td>
- <td width=92%>Suspicious: The value originating from an EOF returning function was modified before being compared with macro EOF.</td>
+ <td width=12%>qac-2678</td>
+ <td width=88%>Suspicious: The value originating from an EOF returning function was modified before being compared with macro EOF.</td>
</tr>
</table></center>
</td>
@@ -2501,16 +2516,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4911</td>
- <td width=92%>Definite: Assuming that fgets or fgetws returned a non empty string.</td>
+ <td width=12%>dataflow-4911</td>
+ <td width=88%>Definite: Assuming that fgets or fgetws returned a non empty string.</td>
</tr>
<tr>
- <td width=8%>qac-4912</td>
- <td width=92%>Apparent: Assuming that fgets or fgetws returned a non empty string.</td>
+ <td width=12%>dataflow-4912</td>
+ <td width=88%>Apparent: Assuming that fgets or fgetws returned a non empty string.</td>
</tr>
<tr>
- <td width=8%>qac-4913</td>
- <td width=92%>Suspicious: Assuming that fgets or fgetws returned a non empty string.</td>
+ <td width=12%>dataflow-4913</td>
+ <td width=88%>Suspicious: Assuming that fgets or fgetws returned a non empty string.</td>
</tr>
</table></center>
</td>
@@ -2522,12 +2537,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-1485</td>
- <td width=92%>A pointer to a FILE object is dereferenced.</td>
- </tr>
- <tr>
- <td width=8%>certccm-5028</td>
- <td width=92%>Copy of a FILE object.</td>
+ <td width=12%>qac-1485</td>
+ <td width=88%>A pointer to a FILE object is dereferenced.</td>
</tr>
</table></center>
</td>
@@ -2539,16 +2550,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4711</td>
- <td width=92%>Definite: Alternating I/O operations on a file stream found without an intervening positioning call or EOF.</td>
+ <td width=12%>dataflow-4711</td>
+ <td width=88%>Definite: Alternating I/O operations on a file stream found without an intervening positioning call or EOF.</td>
</tr>
<tr>
- <td width=8%>qac-4712</td>
- <td width=92%>Apparent: Alternating I/O operations on a file stream found without an intervening positioning call or EOF.</td>
+ <td width=12%>dataflow-4712</td>
+ <td width=88%>Apparent: Alternating I/O operations on a file stream found without an intervening positioning call or EOF.</td>
</tr>
<tr>
- <td width=8%>qac-4713</td>
- <td width=92%>Suspicious: Alternating I/O operations on a file stream found without an intervening positioning call or EOF.</td>
+ <td width=12%>dataflow-4713</td>
+ <td width=88%>Suspicious: Alternating I/O operations on a file stream found without an intervening positioning call or EOF.</td>
</tr>
</table></center>
</td>
@@ -2560,16 +2571,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4861</td>
- <td width=92%>Definite: Using an array containing indeterminate values after a call to fgets or fgetws.</td>
+ <td width=12%>dataflow-4861</td>
+ <td width=88%>Definite: Using an array containing indeterminate values after a call to fgets or fgetws.</td>
</tr>
<tr>
- <td width=8%>qac-4862</td>
- <td width=92%>Apparent: Using an array containing indeterminate values after a call to fgets or fgetws.</td>
+ <td width=12%>dataflow-4862</td>
+ <td width=88%>Apparent: Using an array containing indeterminate values after a call to fgets or fgetws.</td>
</tr>
<tr>
- <td width=8%>qac-4863</td>
- <td width=92%>Suspicious: Using an array containing indeterminate values after a call to fgets or fgetws.</td>
+ <td width=12%>dataflow-4863</td>
+ <td width=88%>Suspicious: Using an array containing indeterminate values after a call to fgets or fgetws.</td>
</tr>
</table></center>
</td>
@@ -2581,8 +2592,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>certccm-5036</td>
- <td width=92%>'%s' is being used.</td>
+ <td width=12%>certccm-5036</td>
+ <td width=88%>'%s' is being used.</td>
</tr>
</table></center>
</td>
@@ -2594,16 +2605,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2701</td>
- <td width=92%>Definite: Opened file is not closed.</td>
+ <td width=12%>dataflow-2701</td>
+ <td width=88%>Definite: Opened file is not closed.</td>
</tr>
<tr>
- <td width=8%>qac-2702</td>
- <td width=92%>Apparent: Opened file is not closed.</td>
+ <td width=12%>dataflow-2702</td>
+ <td width=88%>Apparent: Opened file is not closed.</td>
</tr>
<tr>
- <td width=8%>qac-2703</td>
- <td width=92%>Suspicious: Opened file is not closed.</td>
+ <td width=12%>dataflow-2703</td>
+ <td width=88%>Suspicious: Opened file is not closed.</td>
</tr>
</table></center>
</td>
@@ -2615,16 +2626,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4841</td>
- <td width=92%>Definite: Passing a file position argument to fsetpos() not obtained from fgetpos().</td>
+ <td width=12%>dataflow-4841</td>
+ <td width=88%>Definite: Passing a file position argument to fsetpos() not obtained from fgetpos().</td>
</tr>
<tr>
- <td width=8%>qac-4842</td>
- <td width=92%>Apparent: Passing a file position argument to fsetpos() not obtained from fgetpos().</td>
+ <td width=12%>dataflow-4842</td>
+ <td width=88%>Apparent: Passing a file position argument to fsetpos() not obtained from fgetpos().</td>
</tr>
<tr>
- <td width=8%>qac-4843</td>
- <td width=92%>Suspicious: Passing a file position argument to fsetpos() not obtained from fgetpos().</td>
+ <td width=12%>dataflow-4843</td>
+ <td width=88%>Suspicious: Passing a file position argument to fsetpos() not obtained from fgetpos().</td>
</tr>
</table></center>
</td>
@@ -2636,16 +2647,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4851</td>
- <td width=92%>Definite: File access time-of-check time-of-use race condition.</td>
+ <td width=12%>dataflow-4851</td>
+ <td width=88%>Definite: File access time-of-check time-of-use race condition.</td>
</tr>
<tr>
- <td width=8%>qac-4852</td>
- <td width=92%>Apparent: File access time-of-check time-of-use race condition.</td>
+ <td width=12%>dataflow-4852</td>
+ <td width=88%>Apparent: File access time-of-check time-of-use race condition.</td>
</tr>
<tr>
- <td width=8%>qac-4853</td>
- <td width=92%>Suspicious: File access time-of-check time-of-use race condition.</td>
+ <td width=12%>dataflow-4853</td>
+ <td width=88%>Suspicious: File access time-of-check time-of-use race condition.</td>
</tr>
</table></center>
</td>
@@ -2657,16 +2668,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2696</td>
- <td width=92%>Definite: Attempt to access a file which has been closed.</td>
+ <td width=12%>dataflow-2696</td>
+ <td width=88%>Definite: Attempt to access a file which has been closed.</td>
</tr>
<tr>
- <td width=8%>qac-2697</td>
- <td width=92%>Apparent: Attempt to access a file which has been closed.</td>
+ <td width=12%>dataflow-2697</td>
+ <td width=88%>Apparent: Attempt to access a file which has been closed.</td>
</tr>
<tr>
- <td width=8%>qac-2698</td>
- <td width=92%>Suspicious: Attempt to access a file which has been closed.</td>
+ <td width=12%>dataflow-2698</td>
+ <td width=88%>Suspicious: Attempt to access a file which has been closed.</td>
</tr>
</table></center>
</td>
@@ -2678,156 +2689,197 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0161</td>
- <td width=92%>[U] Unknown length modifier used with 'i' or 'd' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0161</td>
+ <td width=88%>[U] Unknown length modifier used with 'i' or 'd' conversion specifier, number %1s.</td>
+ </tr>
+ <tr>
+ <td width=12%>qac-0162</td>
+ <td width=88%>[U] Unknown length modifier used with 'o' conversion specifier, number %1s.</td>
+ </tr>
+ <tr>
+ <td width=12%>qac-0163</td>
+ <td width=88%>[U] Unknown length modifier used with 'u' conversion specifier, number %1s.</td>
+ </tr>
+ <tr>
+ <td width=12%>qac-0164</td>
+ <td width=88%>[U] Unknown length modifier used with 'x' conversion specifier, number %1s.</td>
+ </tr>
+ <tr>
+ <td width=12%>qac-0165</td>
+ <td width=88%>[U] Unknown length modifier used with 'X' conversion specifier, number %1s.</td>
+ </tr>
+ <tr>
+ <td width=12%>qac-0166</td>
+ <td width=88%>[U] Unknown length modifier used with 'f' conversion specifier, number %1s.</td>
+ </tr>
+ <tr>
+ <td width=12%>qac-0167</td>
+ <td width=88%>[U] Unknown length modifier used with 'e' conversion specifier, number %1s.</td>
+ </tr>
+ <tr>
+ <td width=12%>qac-0168</td>
+ <td width=88%>[U] Unknown length modifier used with 'E' conversion specifier, number %1s.</td>
+ </tr>
+ <tr>
+ <td width=12%>qac-0169</td>
+ <td width=88%>[U] Unknown length modifier used with 'g' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0162</td>
- <td width=92%>[U] Unknown length modifier used with 'o' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0170</td>
+ <td width=88%>[U] Unknown length modifier used with 'G' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0163</td>
- <td width=92%>[U] Unknown length modifier used with 'u' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0171</td>
+ <td width=88%>[U] Unknown length modifier used with 'c' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0164</td>
- <td width=92%>[U] Unknown length modifier used with 'x' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0172</td>
+ <td width=88%>[U] Unknown length modifier used with '%%' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0165</td>
- <td width=92%>[U] Unknown length modifier used with 'X' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0173</td>
+ <td width=88%>[U] Unknown length modifier used with 's' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0166</td>
- <td width=92%>[U] Unknown length modifier used with 'f' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0174</td>
+ <td width=88%>[U] Unknown length modifier used with 'n' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0167</td>
- <td width=92%>[U] Unknown length modifier used with 'e' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0175</td>
+ <td width=88%>[U] Unknown length modifier used with 'p' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0168</td>
- <td width=92%>[U] Unknown length modifier used with 'E' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0176</td>
+ <td width=88%>[U] Incomplete conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0169</td>
- <td width=92%>[U] Unknown length modifier used with 'g' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0177</td>
+ <td width=88%>[U] Field width of format conversion specifier exceeds 509 characters.</td>
</tr>
<tr>
- <td width=8%>qac-0170</td>
- <td width=92%>[U] Unknown length modifier used with 'G' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0178</td>
+ <td width=88%>[U] Precision of format conversion specifier exceeds 509 characters.</td>
</tr>
<tr>
- <td width=8%>qac-0171</td>
- <td width=92%>[U] Unknown length modifier used with 'c' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0179</td>
+ <td width=88%>[U] Argument type does not match conversion specifier number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0172</td>
- <td width=92%>[U] Unknown length modifier used with '%%' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0180</td>
+ <td width=88%>[C99] Use of ll for conversion specifier.</td>
</tr>
<tr>
- <td width=8%>qac-0173</td>
- <td width=92%>[U] Unknown length modifier used with 's' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0184</td>
+ <td width=88%>[U] Insufficient arguments to satisfy conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0174</td>
- <td width=92%>[U] Unknown length modifier used with 'n' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0185</td>
+ <td width=88%>[U] Call contains more arguments than conversion specifiers.</td>
</tr>
<tr>
- <td width=8%>qac-0175</td>
- <td width=92%>[U] Unknown length modifier used with 'p' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0190</td>
+ <td width=88%>[U] Using unsupported conversion specifier number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0176</td>
- <td width=92%>[U] Incomplete conversion specifier, number %1s.</td>
+ <td width=12%>qac-0191</td>
+ <td width=88%>[U] Unknown length modifier used with 'd/i/n' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0177</td>
- <td width=92%>[U] Field width of format conversion specifier exceeds 509 characters.</td>
+ <td width=12%>qac-0192</td>
+ <td width=88%>[U] Unknown length modifier used with 'o' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0178</td>
- <td width=92%>[U] Precision of format conversion specifier exceeds 509 characters.</td>
+ <td width=12%>qac-0193</td>
+ <td width=88%>[U] Unknown length modifier used with 'u' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0179</td>
- <td width=92%>[U] Argument type does not match conversion specifier number %1s.</td>
+ <td width=12%>qac-0194</td>
+ <td width=88%>[U] Unknown length modifier used with 'x/X' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0180</td>
- <td width=92%>[C99] Use of ll for conversion specifier.</td>
+ <td width=12%>qac-0195</td>
+ <td width=88%>[U] Unknown length modifier used with 'e/E/f/F/g/G' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0184</td>
- <td width=92%>[U] Insufficient arguments to satisfy conversion specifier, number %1s.</td>
+ <td width=12%>qac-0196</td>
+ <td width=88%>[U] Unknown length modifier used with 's' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0185</td>
- <td width=92%>[U] Call contains more arguments than conversion specifiers.</td>
+ <td width=12%>qac-0197</td>
+ <td width=88%>[U] Unknown length modifier used with 'p' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0190</td>
- <td width=92%>[U] Using unsupported conversion specifier number %1s.</td>
+ <td width=12%>qac-0198</td>
+ <td width=88%>[U] Unknown length modifier used with '%%' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0191</td>
- <td width=92%>[U] Unknown length modifier used with 'd/i/n' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0199</td>
+ <td width=88%>[U] Unknown length modifier used with '[' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0192</td>
- <td width=92%>[U] Unknown length modifier used with 'o' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0200</td>
+ <td width=88%>[U] Unknown length modifier used with 'c' conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0193</td>
- <td width=92%>[U] Unknown length modifier used with 'u' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0201</td>
+ <td width=88%>[U] Incomplete conversion specifier, number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0194</td>
- <td width=92%>[U] Unknown length modifier used with 'x/X' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0202</td>
+ <td width=88%>[I] '-' character in '[]' conversion specification is implementation defined.</td>
</tr>
<tr>
- <td width=8%>qac-0195</td>
- <td width=92%>[U] Unknown length modifier used with 'e/E/f/F/g/G' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0204</td>
+ <td width=88%>[U] Field width of format conversion specifier exceeds 509 characters.</td>
</tr>
<tr>
- <td width=8%>qac-0196</td>
- <td width=92%>[U] Unknown length modifier used with 's' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0206</td>
+ <td width=88%>[U] Argument type does not match conversion specifier number %1s.</td>
</tr>
<tr>
- <td width=8%>qac-0197</td>
- <td width=92%>[U] Unknown length modifier used with 'p' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0209</td>
+ <td width=88%>[U] Using a non-constant format string.</td>
+ </tr>
+</table></center>
+</td>
</tr>
+ <tr>
+ <td width=2%>FLP00</td>
+ <td width=2%>Recommendation</td>
+ <td width=40%>Understand the limitations of floating-point numbers</td>
+ <td><center><table width=100%>
+ <tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0198</td>
- <td width=92%>[U] Unknown length modifier used with '%%' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0275</td>
+ <td width=88%>[U] Floating value is out of range for conversion to destination type.</td>
</tr>
<tr>
- <td width=8%>qac-0199</td>
- <td width=92%>[U] Unknown length modifier used with '[' conversion specifier, number %1s.</td>
+ <td width=12%>qac-0581</td>
+ <td width=88%>[I] Floating-point constant may be too small to be representable.</td>
</tr>
<tr>
- <td width=8%>qac-0200</td>
- <td width=92%>[U] Unknown length modifier used with 'c' conversion specifier, number %1s.</td>
+ <td width=12%>qac-1490</td>
+ <td width=88%>[I] Comparison of a floating point object representation.</td>
</tr>
<tr>
- <td width=8%>qac-0201</td>
- <td width=92%>[U] Incomplete conversion specifier, number %1s.</td>
+ <td width=12%>qac-3339</td>
+ <td width=88%>Floating point variable used as 'while' loop control variable.</td>
</tr>
<tr>
- <td width=8%>qac-0202</td>
- <td width=92%>[I] '-' character in '[]' conversion specification is implementation defined.</td>
+ <td width=12%>qac-3340</td>
+ <td width=88%>Floating point variable used as 'for' loop control variable.</td>
</tr>
<tr>
- <td width=8%>qac-0204</td>
- <td width=92%>[U] Field width of format conversion specifier exceeds 509 characters.</td>
+ <td width=12%>qac-3341</td>
+ <td width=88%>Comparing floating point expressions for equality (with '==' or '!=').</td>
</tr>
<tr>
- <td width=8%>qac-0206</td>
- <td width=92%>[U] Argument type does not match conversion specifier number %1s.</td>
+ <td width=12%>qac-3342</td>
+ <td width=88%>Controlling expression of 'for' loop is a floating point comparison.</td>
</tr>
<tr>
- <td width=8%>qac-0209</td>
- <td width=92%>[U] Using a non-constant format string.</td>
+ <td width=12%>qac-3362</td>
+ <td width=88%>Comparing floating point expressions to zero or infinity.</td>
</tr>
</table></center>
</td>
@@ -2839,8 +2891,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0790</td>
- <td width=92%>This translation unit makes use of floating types.</td>
+ <td width=12%>qac-0790</td>
+ <td width=88%>This translation unit makes use of floating types.</td>
</tr>
</table></center>
</td>
@@ -2852,12 +2904,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4117</td>
- <td width=92%>Result of integer division operation implicitly converted to a floating type.</td>
+ <td width=12%>qac-4117</td>
+ <td width=88%>Result of integer division operation implicitly converted to a floating type.</td>
</tr>
<tr>
- <td width=8%>qac-4118</td>
- <td width=92%>Result of integer division operation cast to a floating type.</td>
+ <td width=12%>qac-4118</td>
+ <td width=88%>Result of integer division operation cast to a floating type.</td>
</tr>
</table></center>
</td>
@@ -2869,16 +2921,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3339</td>
- <td width=92%>Floating point variable used as 'while' loop control variable.</td>
+ <td width=12%>qac-3339</td>
+ <td width=88%>Floating point variable used as 'while' loop control variable.</td>
</tr>
<tr>
- <td width=8%>qac-3340</td>
- <td width=92%>Floating point variable used as 'for' loop control variable.</td>
+ <td width=12%>qac-3340</td>
+ <td width=88%>Floating point variable used as 'for' loop control variable.</td>
</tr>
<tr>
- <td width=8%>qac-3342</td>
- <td width=92%>Controlling expression of 'for' loop is a floating point comparison.</td>
+ <td width=12%>qac-3342</td>
+ <td width=88%>Controlling expression of 'for' loop is a floating point comparison.</td>
</tr>
</table></center>
</td>
@@ -2890,8 +2942,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>certccm-5025</td>
- <td width=92%>'%s' is being used.</td>
+ <td width=12%>certccm-5025</td>
+ <td width=88%>'%s' is being used.</td>
</tr>
</table></center>
</td>
@@ -2903,32 +2955,32 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4450</td>
- <td width=92%>An expression of 'essentially floating' type (%1s) is being converted to Boolean type, '%2s' on assignment.</td>
+ <td width=12%>qac-4450</td>
+ <td width=88%>An expression of 'essentially floating' type (%1s) is being converted to Boolean type, '%2s' on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-4451</td>
- <td width=92%>An expression of 'essentially floating' type (%1s) is being converted to character type, '%2s' on assignment.</td>
+ <td width=12%>qac-4451</td>
+ <td width=88%>An expression of 'essentially floating' type (%1s) is being converted to character type, '%2s' on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-4452</td>
- <td width=92%>An expression of 'essentially floating' type (%1s) is being converted to enum type, '%2s' on assignment.</td>
+ <td width=12%>qac-4452</td>
+ <td width=88%>An expression of 'essentially floating' type (%1s) is being converted to enum type, '%2s' on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-4453</td>
- <td width=92%>An expression of 'essentially floating' type (%1s) is being converted to signed type, '%2s' on assignment.</td>
+ <td width=12%>qac-4453</td>
+ <td width=88%>An expression of 'essentially floating' type (%1s) is being converted to signed type, '%2s' on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-4454</td>
- <td width=92%>An expression of 'essentially floating' type (%1s) is being converted to unsigned type, '%2s' on assignment.</td>
+ <td width=12%>qac-4454</td>
+ <td width=88%>An expression of 'essentially floating' type (%1s) is being converted to unsigned type, '%2s' on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-4462</td>
- <td width=92%>A non-constant expression of 'essentially floating' type (%1s) is being converted to narrower floating type, '%2s' on assignment.</td>
+ <td width=12%>qac-4462</td>
+ <td width=88%>A non-constant expression of 'essentially floating' type (%1s) is being converted to narrower floating type, '%2s' on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-4465</td>
- <td width=92%>A constant expression of 'essentially floating' type (%1s) is being converted to narrower floating type, '%2s' on assignment.</td>
+ <td width=12%>qac-4465</td>
+ <td width=88%>A constant expression of 'essentially floating' type (%1s) is being converted to narrower floating type, '%2s' on assignment.</td>
</tr>
</table></center>
</td>
@@ -2940,52 +2992,52 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-1260</td>
- <td width=92%>Integer constant implicitly converted to a floating type.</td>
+ <td width=12%>qac-1260</td>
+ <td width=88%>Integer constant implicitly converted to a floating type.</td>
</tr>
<tr>
- <td width=8%>qac-1263</td>
- <td width=92%>Floating constant causes implicit conversion of other (integral) operand.</td>
+ <td width=12%>qac-1263</td>
+ <td width=88%>Floating constant causes implicit conversion of other (integral) operand.</td>
</tr>
<tr>
- <td width=8%>qac-1298</td>
- <td width=92%>An integer constant of 'essentially signed' type is being converted to floating type on assignment.</td>
+ <td width=12%>qac-1298</td>
+ <td width=88%>An integer constant of 'essentially signed' type is being converted to floating type on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-1299</td>
- <td width=92%>An integer constant of 'essentially unsigned' type is being converted to floating type on assignment.</td>
+ <td width=12%>qac-1299</td>
+ <td width=88%>An integer constant of 'essentially unsigned' type is being converted to floating type on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-1800</td>
- <td width=92%>The %1s operand (essential type: '%2s') will be implicitly converted to a floating type, '%3s', in this arithmetic operation.</td>
+ <td width=12%>qac-1800</td>
+ <td width=88%>The %1s operand (essential type: '%2s') will be implicitly converted to a floating type, '%3s', in this arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-1802</td>
- <td width=92%>The %1s operand (essential type: '%2s') will be implicitly converted to a floating type, '%3s', in this relational operation.</td>
+ <td width=12%>qac-1802</td>
+ <td width=88%>The %1s operand (essential type: '%2s') will be implicitly converted to a floating type, '%3s', in this relational operation.</td>
</tr>
<tr>
- <td width=8%>qac-1803</td>
- <td width=92%>The %1s operand (essential type: '%2s') will be implicitly converted to a floating type, '%3s', in this equality operation.</td>
+ <td width=12%>qac-1803</td>
+ <td width=88%>The %1s operand (essential type: '%2s') will be implicitly converted to a floating type, '%3s', in this equality operation.</td>
</tr>
<tr>
- <td width=8%>qac-1804</td>
- <td width=92%>The %1s operand (essential type: '%2s') will be implicitly converted to a floating type, '%3s', in this conditional operation.</td>
+ <td width=12%>qac-1804</td>
+ <td width=88%>The %1s operand (essential type: '%2s') will be implicitly converted to a floating type, '%3s', in this conditional operation.</td>
</tr>
<tr>
- <td width=8%>qac-4117</td>
- <td width=92%>Result of integer division operation implicitly converted to a floating type.</td>
+ <td width=12%>qac-4117</td>
+ <td width=88%>Result of integer division operation implicitly converted to a floating type.</td>
</tr>
<tr>
- <td width=8%>qac-4435</td>
- <td width=92%>A non-constant expression of 'essentially signed' type (%1s) is being converted to floating type, '%2s' on assignment.</td>
+ <td width=12%>qac-4435</td>
+ <td width=88%>A non-constant expression of 'essentially signed' type (%1s) is being converted to floating type, '%2s' on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-4437</td>
- <td width=92%>A constant expression of 'essentially signed' type (%1s) is being converted to floating type, '%2s' on assignment.</td>
+ <td width=12%>qac-4437</td>
+ <td width=88%>A constant expression of 'essentially signed' type (%1s) is being converted to floating type, '%2s' on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-4445</td>
- <td width=92%>An expression of 'essentially unsigned' type (%1s) is being converted to floating type, '%2s' on assignment.</td>
+ <td width=12%>qac-4445</td>
+ <td width=88%>An expression of 'essentially unsigned' type (%1s) is being converted to floating type, '%2s' on assignment.</td>
</tr>
</table></center>
</td>
@@ -2997,8 +3049,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>certccm-5026</td>
- <td width=92%>Incorrect floating point value comparison.</td>
+ <td width=12%>qac-1490</td>
+ <td width=88%>[I] Comparison of a floating point object representation.</td>
</tr>
</table></center>
</td>
@@ -3010,480 +3062,100 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-1250</td>
- <td width=92%>Unsuffixed integer constant causes implicit conversion of other operand.</td>
- </tr>
- <tr>
- <td width=8%>qac-1251</td>
- <td width=92%>Suffixed integer constant causes implicit conversion of other operand.</td>
- </tr>
- <tr>
- <td width=8%>qac-1252</td>
- <td width=92%>Suffixed integer constant implicitly converted to different integer type.</td>
- </tr>
- <tr>
- <td width=8%>qac-1253</td>
- <td width=92%>Unsuffixed integer constant implicitly converted to different integer type.</td>
- </tr>
- <tr>
- <td width=8%>qac-1256</td>
- <td width=92%>An integer constant suffixed with L is being converted to type signed or unsigned long long on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-1257</td>
- <td width=92%>An integer constant suffixed with L or LL is being converted to a type of lower rank on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-1260</td>
- <td width=92%>Integer constant implicitly converted to a floating type.</td>
- </tr>
- <tr>
- <td width=8%>qac-1263</td>
- <td width=92%>Floating constant causes implicit conversion of other (integral) operand.</td>
- </tr>
- <tr>
- <td width=8%>qac-1266</td>
- <td width=92%>A floating constant is being converted to integral type on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-1274</td>
- <td width=92%>Unsuffixed floating constant causes implicit conversion of other (floating) operand.</td>
- </tr>
- <tr>
- <td width=8%>qac-1290</td>
- <td width=92%>An integer constant of 'essentially signed' type is being converted to unsigned type on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-1291</td>
- <td width=92%>An integer constant of 'essentially unsigned' type is being converted to signed type on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-1292</td>
- <td width=92%>An integer constant of 'essentially signed' type is being converted to type char on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-1293</td>
- <td width=92%>An integer constant of 'essentially unsigned' type is being converted to type char on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-1294</td>
- <td width=92%>An integer constant of 'essentially signed' type is being converted to type _Bool on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-1295</td>
- <td width=92%>An integer constant of 'essentially unsigned' type is being converted to type _Bool on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-1296</td>
- <td width=92%>An integer constant of 'essentially signed' type is being converted to enum type on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-1297</td>
- <td width=92%>An integer constant of 'essentially unsigned' type is being converted to enum type on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-1298</td>
- <td width=92%>An integer constant of 'essentially signed' type is being converted to floating type on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-1299</td>
- <td width=92%>An integer constant of 'essentially unsigned' type is being converted to floating type on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-1800</td>
- <td width=92%>The %1s operand (essential type: '%2s') will be implicitly converted to a floating type, '%3s', in this arithmetic operation.</td>
- </tr>
- <tr>
- <td width=8%>qac-1802</td>
- <td width=92%>The %1s operand (essential type: '%2s') will be implicitly converted to a floating type, '%3s', in this relational operation.</td>
- </tr>
- <tr>
- <td width=8%>qac-1803</td>
- <td width=92%>The %1s operand (essential type: '%2s') will be implicitly converted to a floating type, '%3s', in this equality operation.</td>
- </tr>
- <tr>
- <td width=8%>qac-1804</td>
- <td width=92%>The %1s operand (essential type: '%2s') will be implicitly converted to a floating type, '%3s', in this conditional operation.</td>
- </tr>
- <tr>
- <td width=8%>qac-1810</td>
- <td width=92%>An operand of 'essentially character' type is being added to another operand of 'essentially character' type.</td>
- </tr>
- <tr>
- <td width=8%>qac-1811</td>
- <td width=92%>An operand of 'essentially character' type is being subtracted from an operand of 'essentially signed' type.</td>
- </tr>
- <tr>
- <td width=8%>qac-1812</td>
- <td width=92%>An operand of 'essentially character' type is being subtracted from an operand of 'essentially unsigned' type.</td>
- </tr>
- <tr>
- <td width=8%>qac-1813</td>
- <td width=92%>An operand of 'essentially character' type is being balanced with an operand of 'essentially floating' type in this arithmetic operation.</td>
- </tr>
- <tr>
- <td width=8%>qac-1820</td>
- <td width=92%>The %1s operand is non-constant and 'essentially signed' (%2s) but will be implicitly converted to an unsigned type (%3s) in this arithmetic operation.</td>
- </tr>
- <tr>
- <td width=8%>qac-1821</td>
- <td width=92%>The %1s operand is non-constant and 'essentially signed' (%2s) but will be implicitly converted to an unsigned type (%3s) in this bitwise operation.</td>
- </tr>
- <tr>
- <td width=8%>qac-1822</td>
- <td width=92%>The %1s operand is non-constant and 'essentially signed' (%2s) but will be implicitly converted to an unsigned type (%3s) in this relational operation.</td>
- </tr>
- <tr>
- <td width=8%>qac-1823</td>
- <td width=92%>The %1s operand is non-constant and 'essentially signed' (%2s) but will be implicitly converted to an unsigned type (%3s) in this equality operation.</td>
- </tr>
- <tr>
- <td width=8%>qac-1824</td>
- <td width=92%>The %1s operand is non-constant and 'essentially signed' (%2s) but will be implicitly converted to an unsigned type (%3s) in this conditional operation.</td>
- </tr>
- <tr>
- <td width=8%>qac-1830</td>
- <td width=92%>The %1s operand is constant, 'essentially signed' (%2s) and negative but will be implicitly converted to an unsigned type (%3s) in this arithmetic operation.</td>
- </tr>
- <tr>
- <td width=8%>qac-1831</td>
- <td width=92%>The %1s operand is constant, 'essentially signed' (%2s) and negative but will be implicitly converted to an unsigned type (%3s) in this bitwise operation.</td>
- </tr>
- <tr>
- <td width=8%>qac-1832</td>
- <td width=92%>The %1s operand is constant, 'essentially signed' (%2s) and negative but will be implicitly converted to an unsigned type (%3s) in this relational operation.</td>
- </tr>
- <tr>
- <td width=8%>qac-1833</td>
- <td width=92%>The %1s operand is constant, 'essentially signed' (%2s) and negative but will be implicitly converted to an unsigned type (%3s) in this equality operation.</td>
- </tr>
- <tr>
- <td width=8%>qac-1834</td>
- <td width=92%>The %1s operand is constant, 'essentially signed' (%2s) and negative but will be implicitly converted to an unsigned type (%3s) in this conditional operation.</td>
- </tr>
- <tr>
- <td width=8%>qac-1840</td>
- <td width=92%>The %1s operand is constant, 'essentially signed' (%2s) and non-negative but will be implicitly converted to an unsigned type (%3s) in this arithmetic operation.</td>
- </tr>
- <tr>
- <td width=8%>qac-1841</td>
- <td width=92%>The %1s operand is constant, 'essentially signed' (%2s) and non-negative but will be implicitly converted to an unsigned type (%3s) in this bitwise operation.</td>
- </tr>
- <tr>
- <td width=8%>qac-1842</td>
- <td width=92%>The %1s operand is constant, 'essentially signed' (%2s) and non-negative but will be implicitly converted to an unsigned type (%3s) in this relational operation.</td>
+ <td width=12%>qac-1257</td>
+ <td width=88%>An integer constant suffixed with L or LL is being converted to a type of lower rank on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-1843</td>
- <td width=92%>The %1s operand is constant, 'essentially signed' (%2s) and non-negative but will be implicitly converted to an unsigned type (%3s) in this equality operation.</td>
+ <td width=12%>qac-1820</td>
+ <td width=88%>The %1s operand is non-constant and 'essentially signed' (%2s) but will be implicitly converted to an unsigned type (%3s) in this arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-1844</td>
- <td width=92%>The %1s operand is constant, 'essentially signed' (%2s) and non-negative but will be implicitly converted to an unsigned type (%3s) in this conditional operation.</td>
+ <td width=12%>qac-1821</td>
+ <td width=88%>The %1s operand is non-constant and 'essentially signed' (%2s) but will be implicitly converted to an unsigned type (%3s) in this bitwise operation.</td>
</tr>
<tr>
- <td width=8%>qac-1850</td>
- <td width=92%>The %1s operand is 'essentially unsigned' (%2s) but will be implicitly converted to a signed type (%3s) in this arithmetic operation.</td>
+ <td width=12%>qac-1822</td>
+ <td width=88%>The %1s operand is non-constant and 'essentially signed' (%2s) but will be implicitly converted to an unsigned type (%3s) in this relational operation.</td>
</tr>
<tr>
- <td width=8%>qac-1851</td>
- <td width=92%>The %1s operand is 'essentially unsigned' (%2s) but will be implicitly converted to a signed type (%3s) in this bitwise operation.</td>
+ <td width=12%>qac-1823</td>
+ <td width=88%>The %1s operand is non-constant and 'essentially signed' (%2s) but will be implicitly converted to an unsigned type (%3s) in this equality operation.</td>
</tr>
<tr>
- <td width=8%>qac-1852</td>
- <td width=92%>The %1s operand is 'essentially unsigned' (%2s) but will be implicitly converted to a signed type (%3s) in this relational operation.</td>
+ <td width=12%>qac-1824</td>
+ <td width=88%>The %1s operand is non-constant and 'essentially signed' (%2s) but will be implicitly converted to an unsigned type (%3s) in this conditional operation.</td>
</tr>
<tr>
- <td width=8%>qac-1853</td>
- <td width=92%>The %1s operand is 'essentially unsigned' (%2s) but will be implicitly converted to a signed type (%3s) in this equality operation.</td>
+ <td width=12%>qac-1830</td>
+ <td width=88%>The %1s operand is constant, 'essentially signed' (%2s) and negative but will be implicitly converted to an unsigned type (%3s) in this arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-1854</td>
- <td width=92%>The %1s operand is 'essentially unsigned' (%2s) but will be implicitly converted to a signed type (%3s) in this conditional operation.</td>
+ <td width=12%>qac-1831</td>
+ <td width=88%>The %1s operand is constant, 'essentially signed' (%2s) and negative but will be implicitly converted to an unsigned type (%3s) in this bitwise operation.</td>
</tr>
<tr>
- <td width=8%>qac-1860</td>
- <td width=92%>The operands of this arithmetic operator are of different 'essential signedness' but will generate a result of type 'signed int'.</td>
+ <td width=12%>qac-1832</td>
+ <td width=88%>The %1s operand is constant, 'essentially signed' (%2s) and negative but will be implicitly converted to an unsigned type (%3s) in this relational operation.</td>
</tr>
<tr>
- <td width=8%>qac-1861</td>
- <td width=92%>The operands of this bitwise operator are of different 'essential signedness' but will generate a result of type 'signed int'.</td>
+ <td width=12%>qac-1833</td>
+ <td width=88%>The %1s operand is constant, 'essentially signed' (%2s) and negative but will be implicitly converted to an unsigned type (%3s) in this equality operation.</td>
</tr>
<tr>
- <td width=8%>qac-1862</td>
- <td width=92%>The operands of this relational operator are of different 'essential signedness' but will both be promoted to 'signed int' for comparison.</td>
+ <td width=12%>qac-1834</td>
+ <td width=88%>The %1s operand is constant, 'essentially signed' (%2s) and negative but will be implicitly converted to an unsigned type (%3s) in this conditional operation.</td>
</tr>
<tr>
- <td width=8%>qac-1863</td>
- <td width=92%>The operands of this equality operator are of different 'essential signedness' but will both be promoted to 'signed int' for comparison.</td>
+ <td width=12%>qac-1860</td>
+ <td width=88%>The operands of this arithmetic operator are of different 'essential signedness' but will generate a result of type 'signed int'.</td>
</tr>
<tr>
- <td width=8%>qac-1864</td>
- <td width=92%>The 2nd and 3rd operands of this conditional operator are of different 'essential signedness'. The result will be in the promoted type 'signed int'.</td>
+ <td width=12%>qac-1861</td>
+ <td width=88%>The operands of this bitwise operator are of different 'essential signedness' but will generate a result of type 'signed int'.</td>
</tr>
<tr>
- <td width=8%>qac-1880</td>
- <td width=92%>The operands of this relational operator are expressions of different 'essential type' categories (%1s and %2s).</td>
+ <td width=12%>qac-1862</td>
+ <td width=88%>The operands of this relational operator are of different 'essential signedness' but will both be promoted to 'signed int' for comparison.</td>
</tr>
<tr>
- <td width=8%>qac-1881</td>
- <td width=92%>The operands of this equality operator are expressions of different 'essential type' categories (%1s and %2s).</td>
+ <td width=12%>qac-1863</td>
+ <td width=88%>The operands of this equality operator are of different 'essential signedness' but will both be promoted to 'signed int' for comparison.</td>
</tr>
<tr>
- <td width=8%>qac-1882</td>
- <td width=92%>The 2nd and 3rd operands of this conditional operator are expressions of different 'essential type' categories (%1s and %2s).</td>
+ <td width=12%>qac-1864</td>
+ <td width=88%>The 2nd and 3rd operands of this conditional operator are of different 'essential signedness'. The result will be in the promoted type 'signed int'.</td>
</tr>
<tr>
- <td width=8%>qac-2100</td>
- <td width=92%>Integral promotion : unsigned char promoted to signed int.</td>
+ <td width=12%>qac-1880</td>
+ <td width=88%>The operands of this relational operator are expressions of different 'essential type' categories (%1s and %2s).</td>
</tr>
<tr>
- <td width=8%>qac-2101</td>
- <td width=92%>Integral promotion : unsigned short promoted to signed int.</td>
+ <td width=12%>qac-1881</td>
+ <td width=88%>The operands of this equality operator are expressions of different 'essential type' categories (%1s and %2s).</td>
</tr>
<tr>
- <td width=8%>qac-2102</td>
- <td width=92%>Integral promotion : unsigned char promoted to unsigned int.</td>
+ <td width=12%>qac-1882</td>
+ <td width=88%>The 2nd and 3rd operands of this conditional operator are expressions of different 'essential type' categories (%1s and %2s).</td>
</tr>
<tr>
- <td width=8%>qac-2103</td>
- <td width=92%>Integral promotion : unsigned short promoted to unsigned int.</td>
+ <td width=12%>qac-2120</td>
+ <td width=88%>Integral promotion : unsigned bit-field promoted to signed int.</td>
</tr>
<tr>
- <td width=8%>qac-2104</td>
- <td width=92%>Integral promotion : signed char promoted to signed int.</td>
+ <td width=12%>qac-2130</td>
+ <td width=88%>Default argument promotion : unsigned bit-field promoted to signed int.</td>
</tr>
<tr>
- <td width=8%>qac-2105</td>
- <td width=92%>Integral promotion : signed short promoted to signed int.</td>
+ <td width=12%>qac-4397</td>
+ <td width=88%>An expression which is the result of a ~ or << operation has not been cast to its essential type.</td>
</tr>
<tr>
- <td width=8%>qac-2106</td>
- <td width=92%>Integral promotion : plain char promoted to signed int.</td>
+ <td width=12%>qac-4434</td>
+ <td width=88%>A non-constant expression of 'essentially signed' type (%1s) is being converted to unsigned type, '%2s' on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-2107</td>
- <td width=92%>Integral promotion : plain char promoted to unsigned int.</td>
- </tr>
- <tr>
- <td width=8%>qac-2109</td>
- <td width=92%>Integral promotion : _Bool promoted to signed int.</td>
- </tr>
- <tr>
- <td width=8%>qac-2110</td>
- <td width=92%>Default argument promotion : unsigned char promoted to signed int.</td>
- </tr>
- <tr>
- <td width=8%>qac-2111</td>
- <td width=92%>Default argument promotion : unsigned short promoted to signed int.</td>
- </tr>
- <tr>
- <td width=8%>qac-2112</td>
- <td width=92%>Default argument promotion : unsigned char promoted to unsigned int.</td>
- </tr>
- <tr>
- <td width=8%>qac-2113</td>
- <td width=92%>Default argument promotion : unsigned short promoted to unsigned int.</td>
- </tr>
- <tr>
- <td width=8%>qac-2114</td>
- <td width=92%>Default argument promotion : signed char promoted to signed int.</td>
- </tr>
- <tr>
- <td width=8%>qac-2115</td>
- <td width=92%>Default argument promotion : signed short promoted to signed int.</td>
- </tr>
- <tr>
- <td width=8%>qac-2116</td>
- <td width=92%>Default argument promotion : plain char promoted to signed int.</td>
- </tr>
- <tr>
- <td width=8%>qac-2117</td>
- <td width=92%>Default argument promotion : plain char promoted to unsigned int.</td>
- </tr>
- <tr>
- <td width=8%>qac-2118</td>
- <td width=92%>Default argument promotion : float promoted to double.</td>
- </tr>
- <tr>
- <td width=8%>qac-2119</td>
- <td width=92%>Default argument promotion : _Bool promoted to signed int.</td>
- </tr>
- <tr>
- <td width=8%>qac-2120</td>
- <td width=92%>Integral promotion : unsigned bit-field promoted to signed int.</td>
- </tr>
- <tr>
- <td width=8%>qac-2122</td>
- <td width=92%>Integral promotion : unsigned bit-field promoted to unsigned int.</td>
- </tr>
- <tr>
- <td width=8%>qac-2124</td>
- <td width=92%>Integral promotion : signed bit-field promoted to signed int.</td>
- </tr>
- <tr>
- <td width=8%>qac-2130</td>
- <td width=92%>Default argument promotion : unsigned bit-field promoted to signed int.</td>
- </tr>
- <tr>
- <td width=8%>qac-2132</td>
- <td width=92%>Default argument promotion : unsigned bit-field promoted to unsigned int.</td>
- </tr>
- <tr>
- <td width=8%>qac-2134</td>
- <td width=92%>Default argument promotion : signed bit-field promoted to signed int.</td>
- </tr>
- <tr>
- <td width=8%>qac-4401</td>
- <td width=92%>An expression of 'essentially Boolean' type (%1s) is being converted to character type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4402</td>
- <td width=92%>An expression of 'essentially Boolean' type (%1s) is being converted to enum type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4403</td>
- <td width=92%>An expression of 'essentially Boolean' type (%1s) is being converted to signed type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4404</td>
- <td width=92%>An expression of 'essentially Boolean' type (%1s) is being converted to unsigned type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4405</td>
- <td width=92%>An expression of 'essentially Boolean' type (%1s) is being converted to floating type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4410</td>
- <td width=92%>An expression of 'essentially character' type (%1s) is being converted to Boolean type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4412</td>
- <td width=92%>An expression of 'essentially character' type (%1s) is being converted to enum type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4413</td>
- <td width=92%>An expression of 'essentially character' type (%1s) is being converted to signed type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4414</td>
- <td width=92%>An expression of 'essentially character' type (%1s) is being converted to unsigned type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4415</td>
- <td width=92%>An expression of 'essentially character' type (%1s) is being converted to floating type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4420</td>
- <td width=92%>An expression of 'essentially enum' type (%1s) is being converted to Boolean type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4421</td>
- <td width=92%>An expression of 'essentially enum' type (%1s) is being converted to character type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4422</td>
- <td width=92%>An expression of 'essentially enum' type (%1s) is being converted to a different enum type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4423</td>
- <td width=92%>An expression of 'essentially enum' type (%1s) is being converted to signed type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4424</td>
- <td width=92%>An expression of 'essentially enum' type (%1s) is being converted to unsigned type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4425</td>
- <td width=92%>An expression of 'essentially enum' type (%1s) is being converted to floating type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4430</td>
- <td width=92%>An expression of 'essentially signed' type (%1s) is being converted to Boolean type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4431</td>
- <td width=92%>An expression of 'essentially signed' type (%1s) is being converted to character type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4432</td>
- <td width=92%>An expression of 'essentially signed' type (%1s) is being converted to enum type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4434</td>
- <td width=92%>A non-constant expression of 'essentially signed' type (%1s) is being converted to unsigned type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4435</td>
- <td width=92%>A non-constant expression of 'essentially signed' type (%1s) is being converted to floating type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4436</td>
- <td width=92%>A constant expression of 'essentially signed' type (%1s) is being converted to unsigned type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4437</td>
- <td width=92%>A constant expression of 'essentially signed' type (%1s) is being converted to floating type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4440</td>
- <td width=92%>An expression of 'essentially unsigned' type (%1s) is being converted to Boolean type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4441</td>
- <td width=92%>An expression of 'essentially unsigned' type (%1s) is being converted to character type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4442</td>
- <td width=92%>An expression of 'essentially unsigned' type (%1s) is being converted to enum type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4443</td>
- <td width=92%>A non-constant expression of 'essentially unsigned' type (%1s) is being converted to a wider signed type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4445</td>
- <td width=92%>An expression of 'essentially unsigned' type (%1s) is being converted to floating type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4446</td>
- <td width=92%>A non-constant expression of 'essentially unsigned' type (%1s) is being converted to signed type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4447</td>
- <td width=92%>A constant expression of 'essentially unsigned' type (%1s) is being converted to signed type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4460</td>
- <td width=92%>A non-constant expression of 'essentially signed' type (%1s) is being converted to narrower signed type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4461</td>
- <td width=92%>A non-constant expression of 'essentially unsigned' type (%1s) is being converted to narrower unsigned type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4463</td>
- <td width=92%>A constant expression of 'essentially signed' type (%1s) is being converted to narrower signed type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4464</td>
- <td width=92%>A constant expression of 'essentially unsigned' type (%1s) is being converted to narrower unsigned type, '%2s' on assignment.</td>
- </tr>
- <tr>
- <td width=8%>qac-4470</td>
- <td width=92%>A non-constant expression of 'essentially signed' type (%1s) is being passed to a function parameter of wider signed type, '%2s'.</td>
- </tr>
- <tr>
- <td width=8%>qac-4471</td>
- <td width=92%>A non-constant expression of 'essentially unsigned' type (%1s) is being passed to a function parameter of wider unsigned type, '%2s'.</td>
- </tr>
- <tr>
- <td width=8%>qac-4480</td>
- <td width=92%>A non-constant expression of 'essentially signed' type (%1s) is being returned from a function defined with a wider signed return type, '%2s'.</td>
- </tr>
- <tr>
- <td width=8%>qac-4481</td>
- <td width=92%>A non-constant expression of 'essentially unsigned' type (%1s) is being returned from a function defined with a wider unsigned return type, '%2s'.</td>
+ <td width=12%>qac-4446</td>
+ <td width=88%>A non-constant expression of 'essentially unsigned' type (%1s) is being converted to signed type, '%2s' on assignment.</td>
</tr>
</table></center>
</td>
@@ -3495,68 +3167,68 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2794</td>
- <td width=92%>Possible: Tainted right hand operand of shift operator is negative or too large.</td>
+ <td width=12%>dataflow-2794</td>
+ <td width=88%>Possible: Tainted right hand operand of shift operator is negative or too large.</td>
</tr>
<tr>
- <td width=8%>qac-2804</td>
- <td width=92%>Possible: Overflow in signed arithmetic tainted operation.</td>
+ <td width=12%>dataflow-2804</td>
+ <td width=88%>Possible: Overflow in signed arithmetic tainted operation.</td>
</tr>
<tr>
- <td width=8%>qac-2854</td>
- <td width=92%>Possible: Implicit conversion of a tainted expression to a signed integer type of insufficient size.</td>
+ <td width=12%>dataflow-2854</td>
+ <td width=88%>Possible: Implicit conversion of a tainted expression to a signed integer type of insufficient size.</td>
</tr>
<tr>
- <td width=8%>qac-2859</td>
- <td width=92%>Possible: Casting a tainted expression to a signed integer type of insufficient size.</td>
+ <td width=12%>dataflow-2859</td>
+ <td width=88%>Possible: Casting a tainted expression to a signed integer type of insufficient size.</td>
</tr>
<tr>
- <td width=8%>qac-2864</td>
- <td width=92%>Possible: Implementation-defined value resulting from left shift operation on tainted expression of signed type.</td>
+ <td width=12%>dataflow-2864</td>
+ <td width=88%>Possible: Implementation-defined value resulting from left shift operation on tainted expression of signed type.</td>
</tr>
<tr>
- <td width=8%>qac-2894</td>
- <td width=92%>Possible: Negative tainted value implicitly converted to an unsigned type.</td>
+ <td width=12%>dataflow-2894</td>
+ <td width=88%>Possible: Negative tainted value implicitly converted to an unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2899</td>
- <td width=92%>Possible: Negative tainted value cast to an unsigned type.</td>
+ <td width=12%>dataflow-2899</td>
+ <td width=88%>Possible: Negative tainted value cast to an unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2904</td>
- <td width=92%>Possible: Positive integer tainted value truncated by implicit conversion to a smaller unsigned type.</td>
+ <td width=12%>dataflow-2904</td>
+ <td width=88%>Possible: Positive integer tainted value truncated by implicit conversion to a smaller unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2909</td>
- <td width=92%>Possible: Positive integer tainted value truncated by cast to a smaller unsigned type.</td>
+ <td width=12%>dataflow-2909</td>
+ <td width=88%>Possible: Positive integer tainted value truncated by cast to a smaller unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2914</td>
- <td width=92%>Possible: Wraparound in unsigned arithmetic tainted operation.</td>
+ <td width=12%>dataflow-2914</td>
+ <td width=88%>Possible: Wraparound in unsigned arithmetic tainted operation.</td>
</tr>
<tr>
- <td width=8%>qac-2924</td>
- <td width=92%>Possible: Left shift operation on tainted expression of unsigned type results in loss of high order bits.</td>
+ <td width=12%>dataflow-2924</td>
+ <td width=88%>Possible: Left shift operation on tainted expression of unsigned type results in loss of high order bits.</td>
</tr>
<tr>
- <td width=8%>qac-2944</td>
- <td width=92%>Possible: Result of implicit conversion of a tainted expression is only representable in a two's complement implementation.</td>
+ <td width=12%>dataflow-2944</td>
+ <td width=88%>Possible: Result of implicit conversion of a tainted expression is only representable in a two's complement implementation.</td>
</tr>
<tr>
- <td width=8%>qac-2949</td>
- <td width=92%>Possible: Result of cast of a tainted expression is only representable in a two's complement implementation.</td>
+ <td width=12%>dataflow-2949</td>
+ <td width=88%>Possible: Result of cast of a tainted expression is only representable in a two's complement implementation.</td>
</tr>
<tr>
- <td width=8%>qac-2954</td>
- <td width=92%>Possible: Negative tainted value used in array subscript or pointer arithmetic operation.</td>
+ <td width=12%>dataflow-2954</td>
+ <td width=88%>Possible: Negative tainted value used in array subscript or pointer arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2956</td>
- <td width=92%>Definite: Using object '%s' with tainted value.</td>
+ <td width=12%>dataflow-2956</td>
+ <td width=88%>Definite: Using object '%s' with tainted value.</td>
</tr>
<tr>
- <td width=8%>qac-2959</td>
- <td width=92%>Possible: Using object '%s' with tainted value.</td>
+ <td width=12%>dataflow-2959</td>
+ <td width=88%>Possible: Using object '%s' with tainted value.</td>
</tr>
</table></center>
</td>
@@ -3568,8 +3240,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>certccm-5005</td>
- <td width=92%>'%s' is being used.</td>
+ <td width=12%>certccm-5005</td>
+ <td width=88%>'%s' is being used.</td>
</tr>
</table></center>
</td>
@@ -3581,32 +3253,32 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-1292</td>
- <td width=92%>An integer constant of 'essentially signed' type is being converted to type char on assignment.</td>
+ <td width=12%>qac-1292</td>
+ <td width=88%>An integer constant of 'essentially signed' type is being converted to type char on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-1293</td>
- <td width=92%>An integer constant of 'essentially unsigned' type is being converted to type char on assignment.</td>
+ <td width=12%>qac-1293</td>
+ <td width=88%>An integer constant of 'essentially unsigned' type is being converted to type char on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-4401</td>
- <td width=92%>An expression of 'essentially Boolean' type (%1s) is being converted to character type, '%2s' on assignment.</td>
+ <td width=12%>qac-4401</td>
+ <td width=88%>An expression of 'essentially Boolean' type (%1s) is being converted to character type, '%2s' on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-4421</td>
- <td width=92%>An expression of 'essentially enum' type (%1s) is being converted to character type, '%2s' on assignment.</td>
+ <td width=12%>qac-4421</td>
+ <td width=88%>An expression of 'essentially enum' type (%1s) is being converted to character type, '%2s' on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-4431</td>
- <td width=92%>An expression of 'essentially signed' type (%1s) is being converted to character type, '%2s' on assignment.</td>
+ <td width=12%>qac-4431</td>
+ <td width=88%>An expression of 'essentially signed' type (%1s) is being converted to character type, '%2s' on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-4441</td>
- <td width=92%>An expression of 'essentially unsigned' type (%1s) is being converted to character type, '%2s' on assignment.</td>
+ <td width=12%>qac-4441</td>
+ <td width=88%>An expression of 'essentially unsigned' type (%1s) is being converted to character type, '%2s' on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-4451</td>
- <td width=92%>An expression of 'essentially floating' type (%1s) is being converted to character type, '%2s' on assignment.</td>
+ <td width=12%>qac-4451</td>
+ <td width=88%>An expression of 'essentially floating' type (%1s) is being converted to character type, '%2s' on assignment.</td>
</tr>
</table></center>
</td>
@@ -3618,36 +3290,36 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2800</td>
- <td width=92%>Constant: Overflow in signed arithmetic operation.</td>
+ <td width=12%>qac-2800</td>
+ <td width=88%>Constant: Overflow in signed arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2801</td>
- <td width=92%>Definite: Overflow in signed arithmetic operation.</td>
+ <td width=12%>dataflow-2801</td>
+ <td width=88%>Definite: Overflow in signed arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2802</td>
- <td width=92%>Apparent: Overflow in signed arithmetic operation.</td>
+ <td width=12%>dataflow-2802</td>
+ <td width=88%>Apparent: Overflow in signed arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2803</td>
- <td width=92%>Suspicious: Overflow in signed arithmetic operation.</td>
+ <td width=12%>dataflow-2803</td>
+ <td width=88%>Suspicious: Overflow in signed arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2910</td>
- <td width=92%>Constant: Wraparound in unsigned arithmetic operation.</td>
+ <td width=12%>qac-2910</td>
+ <td width=88%>Constant: Wraparound in unsigned arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2911</td>
- <td width=92%>Definite: Wraparound in unsigned arithmetic operation.</td>
+ <td width=12%>dataflow-2911</td>
+ <td width=88%>Definite: Wraparound in unsigned arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2912</td>
- <td width=92%>Apparent: Wraparound in unsigned arithmetic operation.</td>
+ <td width=12%>dataflow-2912</td>
+ <td width=88%>Apparent: Wraparound in unsigned arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2913</td>
- <td width=92%>Suspicious: Wraparound in unsigned arithmetic operation.</td>
+ <td width=12%>dataflow-2913</td>
+ <td width=88%>Suspicious: Wraparound in unsigned arithmetic operation.</td>
</tr>
</table></center>
</td>
@@ -3659,8 +3331,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0724</td>
- <td width=92%>The value of this implicitly-specified enumeration constant is not unique.</td>
+ <td width=12%>qac-0724</td>
+ <td width=88%>The value of this implicitly-specified enumeration constant is not unique.</td>
</tr>
</table></center>
</td>
@@ -3672,8 +3344,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3103</td>
- <td width=92%>Result of signed division or remainder operation may be implementation defined.</td>
+ <td width=12%>qac-3103</td>
+ <td width=88%>Result of signed division or remainder operation may be implementation defined.</td>
</tr>
</table></center>
</td>
@@ -3685,12 +3357,12 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0634</td>
- <td width=92%>[I] Bit-field %1s in %2s has not been declared explicitly as unsigned or signed.</td>
+ <td width=12%>qac-0634</td>
+ <td width=88%>[I] Bit-field %1s in %2s has not been declared explicitly as unsigned or signed.</td>
</tr>
<tr>
- <td width=8%>qac-0635</td>
- <td width=92%>[C99] Bit-field %1s in %2s has been declared with a type not explicitly supported.</td>
+ <td width=12%>qac-0635</td>
+ <td width=88%>[C99] Bit-field %1s in %2s has been declared with a type not explicitly supported.</td>
</tr>
</table></center>
</td>
@@ -3702,24 +3374,24 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4532</td>
- <td width=92%>An expression of 'essentially signed' type (%1s) is being used as the %2s operand of this bitwise operator (%3s).</td>
+ <td width=12%>qac-4532</td>
+ <td width=88%>An expression of 'essentially signed' type (%1s) is being used as the %2s operand of this bitwise operator (%3s).</td>
</tr>
<tr>
- <td width=8%>qac-4533</td>
- <td width=92%>An expression of 'essentially signed' type (%1s) is being used as the left-hand operand of this shift operator (%2s).</td>
+ <td width=12%>qac-4533</td>
+ <td width=88%>An expression of 'essentially signed' type (%1s) is being used as the left-hand operand of this shift operator (%2s).</td>
</tr>
<tr>
- <td width=8%>qac-4534</td>
- <td width=92%>An expression of 'essentially signed' type (%1s) is being used as the right-hand operand of this shift operator (%2s).</td>
+ <td width=12%>qac-4534</td>
+ <td width=88%>An expression of 'essentially signed' type (%1s) is being used as the right-hand operand of this shift operator (%2s).</td>
</tr>
<tr>
- <td width=8%>qac-4543</td>
- <td width=92%>A non-negative constant expression of 'essentially signed' type (%1s) is being used as the left-hand operand of this shift operator (%2s).</td>
+ <td width=12%>qac-4543</td>
+ <td width=88%>A non-negative constant expression of 'essentially signed' type (%1s) is being used as the left-hand operand of this shift operator (%2s).</td>
</tr>
<tr>
- <td width=8%>qac-4544</td>
- <td width=92%>A non-negative constant expression of 'essentially signed' type (%1s) is being used as the right-hand operand of this shift operator (%2s).</td>
+ <td width=12%>qac-4544</td>
+ <td width=88%>A non-negative constant expression of 'essentially signed' type (%1s) is being used as the right-hand operand of this shift operator (%2s).</td>
</tr>
</table></center>
</td>
@@ -3731,36 +3403,36 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2940</td>
- <td width=92%>Constant: Result of implicit conversion is only representable in a two's complement implementation.</td>
+ <td width=12%>qac-2940</td>
+ <td width=88%>Constant: Result of implicit conversion is only representable in a two's complement implementation.</td>
</tr>
<tr>
- <td width=8%>qac-2941</td>
- <td width=92%>Definite: Result of implicit conversion is only representable in a two's complement implementation.</td>
+ <td width=12%>dataflow-2941</td>
+ <td width=88%>Definite: Result of implicit conversion is only representable in a two's complement implementation.</td>
</tr>
<tr>
- <td width=8%>qac-2942</td>
- <td width=92%>Apparent: Result of implicit conversion is only representable in a two's complement implementation.</td>
+ <td width=12%>dataflow-2942</td>
+ <td width=88%>Apparent: Result of implicit conversion is only representable in a two's complement implementation.</td>
</tr>
<tr>
- <td width=8%>qac-2943</td>
- <td width=92%>Suspicious: Result of implicit conversion is only representable in a two's complement implementation.</td>
+ <td width=12%>dataflow-2943</td>
+ <td width=88%>Suspicious: Result of implicit conversion is only representable in a two's complement implementation.</td>
</tr>
<tr>
- <td width=8%>qac-2945</td>
- <td width=92%>Constant: Result of cast is only representable in a two's complement implementation.</td>
+ <td width=12%>qac-2945</td>
+ <td width=88%>Constant: Result of cast is only representable in a two's complement implementation.</td>
</tr>
<tr>
- <td width=8%>qac-2946</td>
- <td width=92%>Definite: Result of cast is only representable in a two's complement implementation.</td>
+ <td width=12%>dataflow-2946</td>
+ <td width=88%>Definite: Result of cast is only representable in a two's complement implementation.</td>
</tr>
<tr>
- <td width=8%>qac-2947</td>
- <td width=92%>Apparent: Result of cast is only representable in a two's complement implementation.</td>
+ <td width=12%>dataflow-2947</td>
+ <td width=88%>Apparent: Result of cast is only representable in a two's complement implementation.</td>
</tr>
<tr>
- <td width=8%>qac-2948</td>
- <td width=92%>Suspicious: Result of cast is only representable in a two's complement implementation.</td>
+ <td width=12%>dataflow-2948</td>
+ <td width=88%>Suspicious: Result of cast is only representable in a two's complement implementation.</td>
</tr>
</table></center>
</td>
@@ -3772,40 +3444,40 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-1890</td>
- <td width=92%>A composite expression of 'essentially signed' type (%1s) is being implicitly converted to a wider signed type, '%2s'.</td>
+ <td width=12%>qac-1890</td>
+ <td width=88%>A composite expression of 'essentially signed' type (%1s) is being implicitly converted to a wider signed type, '%2s'.</td>
</tr>
<tr>
- <td width=8%>qac-1891</td>
- <td width=92%>A composite expression of 'essentially unsigned' type (%1s) is being implicitly converted to a wider unsigned type, '%2s'.</td>
+ <td width=12%>qac-1891</td>
+ <td width=88%>A composite expression of 'essentially unsigned' type (%1s) is being implicitly converted to a wider unsigned type, '%2s'.</td>
</tr>
<tr>
- <td width=8%>qac-1892</td>
- <td width=92%>A composite expression of 'essentially floating' type (%1s) is being implicitly converted to a wider floating type, '%2s'.</td>
+ <td width=12%>qac-1892</td>
+ <td width=88%>A composite expression of 'essentially floating' type (%1s) is being implicitly converted to a wider floating type, '%2s'.</td>
</tr>
<tr>
- <td width=8%>qac-1893</td>
- <td width=92%>The 2nd and 3rd operands of this conditional operator are both 'essentially signed' ('%1s' and '%2s') but one is a composite expression of a narrower type than the other.</td>
+ <td width=12%>qac-1893</td>
+ <td width=88%>The 2nd and 3rd operands of this conditional operator are both 'essentially signed' ('%1s' and '%2s') but one is a composite expression of a narrower type than the other.</td>
</tr>
<tr>
- <td width=8%>qac-1894</td>
- <td width=92%>The 2nd and 3rd operands of this conditional operator are both 'essentially unsigned' ('%1s' and '%2s') but one is a composite expression of a narrower type than the other.</td>
+ <td width=12%>qac-1894</td>
+ <td width=88%>The 2nd and 3rd operands of this conditional operator are both 'essentially unsigned' ('%1s' and '%2s') but one is a composite expression of a narrower type than the other.</td>
</tr>
<tr>
- <td width=8%>qac-1895</td>
- <td width=92%>The 2nd and 3rd operands of this conditional operator are both 'essentially floating' ('%1s' and '%2s') but one is a composite expression of a narrower type than the other.</td>
+ <td width=12%>qac-1895</td>
+ <td width=88%>The 2nd and 3rd operands of this conditional operator are both 'essentially floating' ('%1s' and '%2s') but one is a composite expression of a narrower type than the other.</td>
</tr>
<tr>
- <td width=8%>qac-4490</td>
- <td width=92%>A composite expression of 'essentially signed' type (%1s) is being converted to wider signed type, '%2s' on assignment.</td>
+ <td width=12%>qac-4490</td>
+ <td width=88%>A composite expression of 'essentially signed' type (%1s) is being converted to wider signed type, '%2s' on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-4491</td>
- <td width=92%>A composite expression of 'essentially unsigned' type (%1s) is being converted to wider unsigned type, '%2s' on assignment.</td>
+ <td width=12%>qac-4491</td>
+ <td width=88%>A composite expression of 'essentially unsigned' type (%1s) is being converted to wider unsigned type, '%2s' on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-4492</td>
- <td width=92%>A composite expression of 'essentially floating' type (%1s) is being converted to wider floating type, '%2s' on assignment.</td>
+ <td width=12%>qac-4492</td>
+ <td width=88%>A composite expression of 'essentially floating' type (%1s) is being converted to wider floating type, '%2s' on assignment.</td>
</tr>
</table></center>
</td>
@@ -3817,36 +3489,36 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2910</td>
- <td width=92%>Constant: Wraparound in unsigned arithmetic operation.</td>
+ <td width=12%>qac-2910</td>
+ <td width=88%>Constant: Wraparound in unsigned arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2911</td>
- <td width=92%>Definite: Wraparound in unsigned arithmetic operation.</td>
+ <td width=12%>dataflow-2911</td>
+ <td width=88%>Definite: Wraparound in unsigned arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2912</td>
- <td width=92%>Apparent: Wraparound in unsigned arithmetic operation.</td>
+ <td width=12%>dataflow-2912</td>
+ <td width=88%>Apparent: Wraparound in unsigned arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2913</td>
- <td width=92%>Suspicious: Wraparound in unsigned arithmetic operation.</td>
+ <td width=12%>dataflow-2913</td>
+ <td width=88%>Suspicious: Wraparound in unsigned arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-3383</td>
- <td width=92%>Cannot identify wraparound guard for unsigned arithmetic expression.</td>
+ <td width=12%>qac-3383</td>
+ <td width=88%>Cannot identify wraparound guard for unsigned arithmetic expression.</td>
</tr>
<tr>
- <td width=8%>qac-3384</td>
- <td width=92%>Cannot identify wraparound guard for dependent unsigned arithmetic expression.</td>
+ <td width=12%>qac-3384</td>
+ <td width=88%>Cannot identify wraparound guard for dependent unsigned arithmetic expression.</td>
</tr>
<tr>
- <td width=8%>qac-3385</td>
- <td width=92%>Cannot identify wraparound guard for sizeof-VLA expression.</td>
+ <td width=12%>qac-3385</td>
+ <td width=88%>Cannot identify wraparound guard for sizeof-VLA expression.</td>
</tr>
<tr>
- <td width=8%>qac-3386</td>
- <td width=92%>Cannot identify wraparound guard for dependent sizeof-VLA expression.</td>
+ <td width=12%>qac-3386</td>
+ <td width=88%>Cannot identify wraparound guard for dependent sizeof-VLA expression.</td>
</tr>
</table></center>
</td>
@@ -3858,100 +3530,100 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2850</td>
- <td width=92%>Constant: Implicit conversion to a signed integer type of insufficient size.</td>
+ <td width=12%>qac-2850</td>
+ <td width=88%>Constant: Implicit conversion to a signed integer type of insufficient size.</td>
</tr>
<tr>
- <td width=8%>qac-2851</td>
- <td width=92%>Definite: Implicit conversion to a signed integer type of insufficient size.</td>
+ <td width=12%>dataflow-2851</td>
+ <td width=88%>Definite: Implicit conversion to a signed integer type of insufficient size.</td>
</tr>
<tr>
- <td width=8%>qac-2852</td>
- <td width=92%>Apparent: Implicit conversion to a signed integer type of insufficient size.</td>
+ <td width=12%>dataflow-2852</td>
+ <td width=88%>Apparent: Implicit conversion to a signed integer type of insufficient size.</td>
</tr>
<tr>
- <td width=8%>qac-2853</td>
- <td width=92%>Suspicious: Implicit conversion to a signed integer type of insufficient size.</td>
+ <td width=12%>dataflow-2853</td>
+ <td width=88%>Suspicious: Implicit conversion to a signed integer type of insufficient size.</td>
</tr>
<tr>
- <td width=8%>qac-2855</td>
- <td width=92%>Constant: Casting to a signed integer type of insufficient size.</td>
+ <td width=12%>qac-2855</td>
+ <td width=88%>Constant: Casting to a signed integer type of insufficient size.</td>
</tr>
<tr>
- <td width=8%>qac-2856</td>
- <td width=92%>Definite: Casting to a signed integer type of insufficient size.</td>
+ <td width=12%>dataflow-2856</td>
+ <td width=88%>Definite: Casting to a signed integer type of insufficient size.</td>
</tr>
<tr>
- <td width=8%>qac-2857</td>
- <td width=92%>Apparent: Casting to a signed integer type of insufficient size.</td>
+ <td width=12%>dataflow-2857</td>
+ <td width=88%>Apparent: Casting to a signed integer type of insufficient size.</td>
</tr>
<tr>
- <td width=8%>qac-2858</td>
- <td width=92%>Suspicious: Casting to a signed integer type of insufficient size.</td>
+ <td width=12%>dataflow-2858</td>
+ <td width=88%>Suspicious: Casting to a signed integer type of insufficient size.</td>
</tr>
<tr>
- <td width=8%>qac-2890</td>
- <td width=92%>Constant: Negative value implicitly converted to an unsigned type.</td>
+ <td width=12%>qac-2890</td>
+ <td width=88%>Constant: Negative value implicitly converted to an unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2891</td>
- <td width=92%>Definite: Negative value implicitly converted to an unsigned type.</td>
+ <td width=12%>dataflow-2891</td>
+ <td width=88%>Definite: Negative value implicitly converted to an unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2892</td>
- <td width=92%>Apparent: Negative value implicitly converted to an unsigned type.</td>
+ <td width=12%>dataflow-2892</td>
+ <td width=88%>Apparent: Negative value implicitly converted to an unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2893</td>
- <td width=92%>Suspicious: Negative value implicitly converted to an unsigned type.</td>
+ <td width=12%>dataflow-2893</td>
+ <td width=88%>Suspicious: Negative value implicitly converted to an unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2895</td>
- <td width=92%>Constant: Negative value cast to an unsigned type.</td>
+ <td width=12%>qac-2895</td>
+ <td width=88%>Constant: Negative value cast to an unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2896</td>
- <td width=92%>Definite: Negative value cast to an unsigned type.</td>
+ <td width=12%>dataflow-2896</td>
+ <td width=88%>Definite: Negative value cast to an unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2897</td>
- <td width=92%>Apparent: Negative value cast to an unsigned type.</td>
+ <td width=12%>dataflow-2897</td>
+ <td width=88%>Apparent: Negative value cast to an unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2898</td>
- <td width=92%>Suspicious: Negative value cast to an unsigned type.</td>
+ <td width=12%>dataflow-2898</td>
+ <td width=88%>Suspicious: Negative value cast to an unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2900</td>
- <td width=92%>Constant: Positive integer value truncated by implicit conversion to a smaller unsigned type.</td>
+ <td width=12%>qac-2900</td>
+ <td width=88%>Constant: Positive integer value truncated by implicit conversion to a smaller unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2901</td>
- <td width=92%>Definite: Positive integer value truncated by implicit conversion to a smaller unsigned type.</td>
+ <td width=12%>dataflow-2901</td>
+ <td width=88%>Definite: Positive integer value truncated by implicit conversion to a smaller unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2902</td>
- <td width=92%>Apparent: Positive integer value truncated by implicit conversion to a smaller unsigned type.</td>
+ <td width=12%>dataflow-2902</td>
+ <td width=88%>Apparent: Positive integer value truncated by implicit conversion to a smaller unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2903</td>
- <td width=92%>Suspicious: Positive integer value truncated by implicit conversion to a smaller unsigned type.</td>
+ <td width=12%>dataflow-2903</td>
+ <td width=88%>Suspicious: Positive integer value truncated by implicit conversion to a smaller unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2905</td>
- <td width=92%>Constant: Positive integer value truncated by cast to a smaller unsigned type.</td>
+ <td width=12%>qac-2905</td>
+ <td width=88%>Constant: Positive integer value truncated by cast to a smaller unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2906</td>
- <td width=92%>Definite: Positive integer value truncated by cast to a smaller unsigned type.</td>
+ <td width=12%>dataflow-2906</td>
+ <td width=88%>Definite: Positive integer value truncated by cast to a smaller unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2907</td>
- <td width=92%>Apparent: Positive integer value truncated by cast to a smaller unsigned type.</td>
+ <td width=12%>dataflow-2907</td>
+ <td width=88%>Apparent: Positive integer value truncated by cast to a smaller unsigned type.</td>
</tr>
<tr>
- <td width=8%>qac-2908</td>
- <td width=92%>Suspicious: Positive integer value truncated by cast to a smaller unsigned type.</td>
+ <td width=12%>dataflow-2908</td>
+ <td width=88%>Suspicious: Positive integer value truncated by cast to a smaller unsigned type.</td>
</tr>
</table></center>
</td>
@@ -3963,36 +3635,36 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2800</td>
- <td width=92%>Constant: Overflow in signed arithmetic operation.</td>
+ <td width=12%>qac-2800</td>
+ <td width=88%>Constant: Overflow in signed arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2801</td>
- <td width=92%>Definite: Overflow in signed arithmetic operation.</td>
+ <td width=12%>dataflow-2801</td>
+ <td width=88%>Definite: Overflow in signed arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2802</td>
- <td width=92%>Apparent: Overflow in signed arithmetic operation.</td>
+ <td width=12%>dataflow-2802</td>
+ <td width=88%>Apparent: Overflow in signed arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2803</td>
- <td width=92%>Suspicious: Overflow in signed arithmetic operation.</td>
+ <td width=12%>dataflow-2803</td>
+ <td width=88%>Suspicious: Overflow in signed arithmetic operation.</td>
</tr>
<tr>
- <td width=8%>qac-2860</td>
- <td width=92%>Constant: Implementation-defined value resulting from left shift operation on expression of signed type.</td>
+ <td width=12%>qac-2860</td>
+ <td width=88%>Constant: Implementation-defined value resulting from left shift operation on expression of signed type.</td>
</tr>
<tr>
- <td width=8%>qac-2861</td>
- <td width=92%>Definite: Implementation-defined value resulting from left shift operation on expression of signed type.</td>
+ <td width=12%>dataflow-2861</td>
+ <td width=88%>Definite: Implementation-defined value resulting from left shift operation on expression of signed type.</td>
</tr>
<tr>
- <td width=8%>qac-2862</td>
- <td width=92%>Apparent: Implementation-defined value resulting from left shift operation on expression of signed type.</td>
+ <td width=12%>dataflow-2862</td>
+ <td width=88%>Apparent: Implementation-defined value resulting from left shift operation on expression of signed type.</td>
</tr>
<tr>
- <td width=8%>qac-2863</td>
- <td width=92%>Suspicious: Implementation-defined value resulting from left shift operation on expression of signed type.</td>
+ <td width=12%>dataflow-2863</td>
+ <td width=88%>Suspicious: Implementation-defined value resulting from left shift operation on expression of signed type.</td>
</tr>
</table></center>
</td>
@@ -4004,20 +3676,20 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2830</td>
- <td width=92%>Constant: Division by zero.</td>
+ <td width=12%>qac-2830</td>
+ <td width=88%>Constant: Division by zero.</td>
</tr>
<tr>
- <td width=8%>qac-2831</td>
- <td width=92%>Definite: Division by zero.</td>
+ <td width=12%>dataflow-2831</td>
+ <td width=88%>Definite: Division by zero.</td>
</tr>
<tr>
- <td width=8%>qac-2832</td>
- <td width=92%>Apparent: Division by zero.</td>
+ <td width=12%>dataflow-2832</td>
+ <td width=88%>Apparent: Division by zero.</td>
</tr>
<tr>
- <td width=8%>qac-2833</td>
- <td width=92%>Suspicious: Division by zero.</td>
+ <td width=12%>dataflow-2833</td>
+ <td width=88%>Suspicious: Division by zero.</td>
</tr>
</table></center>
</td>
@@ -4029,24 +3701,24 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0499</td>
- <td width=92%>Right operand of shift operator is greater than or equal to the width of the essential type of the left operand.</td>
+ <td width=12%>qac-0499</td>
+ <td width=88%>Right operand of shift operator is greater than or equal to the width of the essential type of the left operand.</td>
</tr>
<tr>
- <td width=8%>qac-2790</td>
- <td width=92%>Constant: Right hand operand of shift operator is negative or too large.</td>
+ <td width=12%>qac-2790</td>
+ <td width=88%>Constant: Right hand operand of shift operator is negative or too large.</td>
</tr>
<tr>
- <td width=8%>qac-2791</td>
- <td width=92%>Definite: Right hand operand of shift operator is negative or too large.</td>
+ <td width=12%>dataflow-2791</td>
+ <td width=88%>Definite: Right hand operand of shift operator is negative or too large.</td>
</tr>
<tr>
- <td width=8%>qac-2792</td>
- <td width=92%>Apparent: Right hand operand of shift operator is negative or too large.</td>
+ <td width=12%>dataflow-2792</td>
+ <td width=88%>Apparent: Right hand operand of shift operator is negative or too large.</td>
</tr>
<tr>
- <td width=8%>qac-2793</td>
- <td width=92%>Suspicious: Right hand operand of shift operator is negative or too large.</td>
+ <td width=12%>dataflow-2793</td>
+ <td width=88%>Suspicious: Right hand operand of shift operator is negative or too large.</td>
</tr>
</table></center>
</td>
@@ -4058,8 +3730,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0582</td>
- <td width=92%>[I] Multiplying the size of an integer by CHAR_BIT will include padding bits in the result.</td>
+ <td width=12%>qac-0582</td>
+ <td width=88%>[I] Multiplying the size of an integer by CHAR_BIT will include padding bits in the result.</td>
</tr>
</table></center>
</td>
@@ -4071,40 +3743,40 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0303</td>
- <td width=92%>[I] Cast between a pointer to volatile object and an integral type.</td>
+ <td width=12%>qac-0303</td>
+ <td width=88%>[I] Cast between a pointer to volatile object and an integral type.</td>
</tr>
<tr>
- <td width=8%>qac-0305</td>
- <td width=92%>[I] Cast between a pointer to function and an integral type.</td>
+ <td width=12%>qac-0305</td>
+ <td width=88%>[I] Cast between a pointer to function and an integral type.</td>
</tr>
<tr>
- <td width=8%>qac-0306</td>
- <td width=92%>[I] Cast between a pointer to object and an integral type.</td>
+ <td width=12%>qac-0306</td>
+ <td width=88%>[I] Cast between a pointer to object and an integral type.</td>
</tr>
<tr>
- <td width=8%>qac-0309</td>
- <td width=92%>[U] Integral type is not large enough to hold a pointer value.</td>
+ <td width=12%>qac-0309</td>
+ <td width=88%>[U] Integral type is not large enough to hold a pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-0324</td>
- <td width=92%>[u] Cast between a pointer to incomplete type and an integral type.</td>
+ <td width=12%>qac-0324</td>
+ <td width=88%>[u] Cast between a pointer to incomplete type and an integral type.</td>
</tr>
<tr>
- <td width=8%>qac-0326</td>
- <td width=92%>[I] Cast between a pointer to void and an integral type.</td>
+ <td width=12%>qac-0326</td>
+ <td width=88%>[I] Cast between a pointer to void and an integral type.</td>
</tr>
<tr>
- <td width=8%>qac-0360</td>
- <td width=92%>An expression of pointer type is being converted to type _Bool on assignment.</td>
+ <td width=12%>qac-0360</td>
+ <td width=88%>An expression of pointer type is being converted to type _Bool on assignment.</td>
</tr>
<tr>
- <td width=8%>qac-0361</td>
- <td width=92%>An expression of pointer type is being cast to type _Bool.</td>
+ <td width=12%>qac-0361</td>
+ <td width=88%>An expression of pointer type is being cast to type _Bool.</td>
</tr>
<tr>
- <td width=8%>qac-0362</td>
- <td width=92%>An expression of essentially Boolean type is being cast to a pointer.</td>
+ <td width=12%>qac-0362</td>
+ <td width=88%>An expression of essentially Boolean type is being cast to a pointer.</td>
</tr>
</table></center>
</td>
@@ -4116,8 +3788,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0695</td>
- <td width=92%>Type given in sizeof is not compatible with the pointed to type used to cast malloc.</td>
+ <td width=12%>qac-0695</td>
+ <td width=88%>Type given in sizeof is not compatible with the pointed to type used to cast malloc.</td>
</tr>
</table></center>
</td>
@@ -4129,8 +3801,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>certccm-5010</td>
- <td width=92%>'%s' is being used.</td>
+ <td width=12%>certccm-5010</td>
+ <td width=88%>'%s' is being used.</td>
</tr>
</table></center>
</td>
@@ -4142,16 +3814,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-1051</td>
- <td width=92%>[C99] A variable length array has been declared.</td>
+ <td width=12%>qac-1051</td>
+ <td width=88%>[C99] A variable length array has been declared.</td>
</tr>
<tr>
- <td width=8%>rcma-1520</td>
- <td width=92%>Functions are indirectly recursive.</td>
+ <td width=12%>rcma-1520</td>
+ <td width=88%>Functions are indirectly recursive.</td>
</tr>
<tr>
- <td width=8%>qac-3670</td>
- <td width=92%>Recursive call to function containing this call.</td>
+ <td width=12%>qac-3670</td>
+ <td width=88%>Recursive call to function containing this call.</td>
</tr>
</table></center>
</td>
@@ -4163,28 +3835,28 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-4866</td>
- <td width=92%>Definite: Memory is used after free.</td>
+ <td width=12%>dataflow-4866</td>
+ <td width=88%>Definite: Memory is used after free (owning pointer: %1s).</td>
</tr>
<tr>
- <td width=8%>qac-4867</td>
- <td width=92%>Apparent: Memory is used after free.</td>
+ <td width=12%>dataflow-4867</td>
+ <td width=88%>Apparent: Memory is used after free (owning pointer: %1s).</td>
</tr>
<tr>
- <td width=8%>qac-4868</td>
- <td width=92%>Suspicious: Memory is used after free.</td>
+ <td width=12%>dataflow-4868</td>
+ <td width=88%>Suspicious: Memory is used after free (owning pointer: %1s).</td>
</tr>
<tr>
- <td width=8%>qac-4871</td>
- <td width=92%>Definite: Zero size has been passed to realloc, malloc or calloc.</td>
+ <td width=12%>dataflow-4871</td>
+ <td width=88%>Definite: Zero size has been passed to realloc, malloc or calloc.</td>
</tr>
<tr>
- <td width=8%>qac-4872</td>
- <td width=92%>Apparent: Zero size has been passed to realloc, malloc or calloc.</td>
+ <td width=12%>dataflow-4872</td>
+ <td width=88%>Apparent: Zero size has been passed to realloc, malloc or calloc.</td>
</tr>
<tr>
- <td width=8%>qac-4873</td>
- <td width=92%>Suspicious: Zero size has been passed to realloc, malloc or calloc.</td>
+ <td width=12%>dataflow-4873</td>
+ <td width=88%>Suspicious: Zero size has been passed to realloc, malloc or calloc.</td>
</tr>
</table></center>
</td>
@@ -4196,16 +3868,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2706</td>
- <td width=92%>Definite: Allocated memory is not deallocated.</td>
+ <td width=12%>dataflow-2706</td>
+ <td width=88%>Definite: Allocated memory is not deallocated (owning pointer: %1s).</td>
</tr>
<tr>
- <td width=8%>qac-2707</td>
- <td width=92%>Apparent: Allocated memory is not deallocated.</td>
+ <td width=12%>dataflow-2707</td>
+ <td width=88%>Apparent: Allocated memory is not deallocated (owning pointer: %1s).</td>
</tr>
<tr>
- <td width=8%>qac-2708</td>
- <td width=92%>Suspicious: Allocated memory is not deallocated.</td>
+ <td width=12%>dataflow-2708</td>
+ <td width=88%>Suspicious: Allocated memory is not deallocated (owning pointer: %1s).</td>
</tr>
</table></center>
</td>
@@ -4217,20 +3889,20 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-1061</td>
- <td width=92%>[C] Structure '%1s' with flexible array member '%2s' cannot be used in the declaration of structure member '%3s'.</td>
+ <td width=12%>qac-1061</td>
+ <td width=88%>[C] Structure '%1s' with flexible array member '%2s' cannot be used in the declaration of structure member '%3s'.</td>
</tr>
<tr>
- <td width=8%>qac-1062</td>
- <td width=92%>[C] Structure '%1s' with flexible array member '%2s' cannot be used in the declaration of array elements.</td>
+ <td width=12%>qac-1062</td>
+ <td width=88%>[C] Structure '%1s' with flexible array member '%2s' cannot be used in the declaration of array elements.</td>
</tr>
<tr>
- <td width=8%>qac-1063</td>
- <td width=92%>[C99] '%s' is an automatically-allocated object of a type declared with a flexible array member.</td>
+ <td width=12%>qac-1063</td>
+ <td width=88%>[C99] '%s' is an automatically-allocated object of a type declared with a flexible array member.</td>
</tr>
<tr>
- <td width=8%>qac-1064</td>
- <td width=92%>[C99] '%s' is a statically-allocated object of a type declared with a flexible array member.</td>
+ <td width=12%>qac-1064</td>
+ <td width=88%>[C99] '%s' is a statically-allocated object of a type declared with a flexible array member.</td>
</tr>
</table></center>
</td>
@@ -4242,16 +3914,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2721</td>
- <td width=92%>Definite: Deallocation of non dynamic memory.</td>
+ <td width=12%>dataflow-2721</td>
+ <td width=88%>Definite: Deallocation of non dynamic memory (owning pointer: %1s).</td>
</tr>
<tr>
- <td width=8%>qac-2722</td>
- <td width=92%>Apparent: Deallocation of non dynamic memory.</td>
+ <td width=12%>dataflow-2722</td>
+ <td width=88%>Apparent: Deallocation of non dynamic memory (owning pointer: %1s).</td>
</tr>
<tr>
- <td width=8%>qac-2723</td>
- <td width=92%>Suspicious: Deallocation of non dynamic memory.</td>
+ <td width=12%>dataflow-2723</td>
+ <td width=88%>Suspicious: Deallocation of non dynamic memory (owning pointer: %1s).</td>
</tr>
</table></center>
</td>
@@ -4263,56 +3935,56 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-0696</td>
- <td width=92%>The size of the allocated memory block is smaller than the size of the object type addressed by the pointer cast.</td>
+ <td width=12%>qac-0696</td>
+ <td width=88%>The size of the allocated memory block is smaller than the size of the object type addressed by the pointer cast.</td>
</tr>
<tr>
- <td width=8%>qac-0701</td>
- <td width=92%>Argument for memory size does not refer to 'sizeof (%1s)'.</td>
+ <td width=12%>qac-0701</td>
+ <td width=88%>Argument for memory size does not refer to 'sizeof (%1s)'.</td>
</tr>
<tr>
- <td width=8%>qac-1069</td>
- <td width=92%>[C99] Taking sizeof a struct with a flexible array member without adding the array size.</td>
+ <td width=12%>qac-1069</td>
+ <td width=88%>[C99] Taking sizeof a struct with a flexible array member without adding the array size.</td>
</tr>
<tr>
- <td width=8%>qac-1071</td>
- <td width=92%>[C99] Taking sizeof a struct with a flexible array member without explicitly adding the array size in terms of element sizes.</td>
+ <td width=12%>qac-1071</td>
+ <td width=88%>[C99] Taking sizeof a struct with a flexible array member without explicitly adding the array size in terms of element sizes.</td>
</tr>
<tr>
- <td width=8%>qac-1073</td>
- <td width=92%>[C99] Taking sizeof a struct with a flexible array member while adding an array size based on the wrong element type.</td>
+ <td width=12%>qac-1073</td>
+ <td width=88%>[C99] Taking sizeof a struct with a flexible array member while adding an array size based on the wrong element type.</td>
</tr>
<tr>
- <td width=8%>qac-2840</td>
- <td width=92%>Constant: Dereference of an invalid pointer value.</td>
+ <td width=12%>qac-2840</td>
+ <td width=88%>Constant: Dereference of an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2841</td>
- <td width=92%>Definite: Dereference of an invalid pointer value.</td>
+ <td width=12%>dataflow-2841</td>
+ <td width=88%>Definite: Dereference of an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2842</td>
- <td width=92%>Apparent: Dereference of an invalid pointer value.</td>
+ <td width=12%>dataflow-2842</td>
+ <td width=88%>Apparent: Dereference of an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2843</td>
- <td width=92%>Suspicious: Dereference of an invalid pointer value.</td>
+ <td width=12%>dataflow-2843</td>
+ <td width=88%>Suspicious: Dereference of an invalid pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2935</td>
- <td width=92%>Constant: Dereference of an invalid char pointer value.</td>
+ <td width=12%>dataflow-2935</td>
+ <td width=88%>Constant: Dereference of an invalid char pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2936</td>
- <td width=92%>Definite: Dereference of an invalid char pointer value.</td>
+ <td width=12%>dataflow-2936</td>
+ <td width=88%>Definite: Dereference of an invalid char pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2937</td>
- <td width=92%>Apparent: Dereference of an invalid char pointer value.</td>
+ <td width=12%>dataflow-2937</td>
+ <td width=88%>Apparent: Dereference of an invalid char pointer value.</td>
</tr>
<tr>
- <td width=8%>qac-2938</td>
- <td width=92%>Suspicious: Dereference of an invalid char pointer value.</td>
+ <td width=12%>dataflow-2938</td>
+ <td width=88%>Suspicious: Dereference of an invalid char pointer value.</td>
</tr>
</table></center>
</td>
@@ -4324,8 +3996,8 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>certccm-5027</td>
- <td width=92%>'%s' is being used.</td>
+ <td width=12%>certccm-5027</td>
+ <td width=88%>'%s' is being used.</td>
</tr>
</table></center>
</td>
@@ -4337,16 +4009,16 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2000</td>
- <td width=92%>No 'else' clause exists for this 'if' statement.</td>
+ <td width=12%>qac-2000</td>
+ <td width=88%>No 'else' clause exists for this 'if' statement.</td>
</tr>
<tr>
- <td width=8%>qac-2002</td>
- <td width=92%>No 'default' label found in this 'switch' statement.</td>
+ <td width=12%>qac-2002</td>
+ <td width=88%>No 'default' label found in this 'switch' statement.</td>
</tr>
<tr>
- <td width=8%>qac-2004</td>
- <td width=92%>No concluding 'else' exists in this 'if'-'else'-'if' statement.</td>
+ <td width=12%>qac-2004</td>
+ <td width=88%>No concluding 'else' exists in this 'if'-'else'-'if' statement.</td>
</tr>
</table></center>
</td>
@@ -4358,195 +4030,182 @@ the variables length has been consequently set to a dedicated value (cf 'namelen
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-3108</td>
- <td width=92%>Nested comments are not recognized in the ISO standard.</td>
+ <td width=12%>qac-3108</td>
+ <td width=88%>Nested comments are not recognized in the ISO standard.</td>
</tr>
</table></center>
</td>
</tr>
<tr>
- <td width=2%>MSC07</td>
+ <td width=2%>MSC09</td>
<td width=2%>Recommendation</td>
- <td width=40%>Detect and remove dead code</td>
+ <td width=40%>Character encoding: Use subset of ASCII for safety</td>
<td><center><table width=100%>
<tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>rcma-1501</td>
- <td width=92%>The function '%1s' is declared but is not used within this project.</td>
+ <td width=12%>qac-0285</td>
+ <td width=88%>[I] Character constant contains character which is not a member of the basic source character set.</td>
</tr>
<tr>
- <td width=8%>rcma-1503</td>
- <td width=92%>The function '%1s' is defined but is not used within this project.</td>
+ <td width=12%>qac-0286</td>
+ <td width=88%>[I] String literal contains character which is not a member of the basic source character set.</td>
</tr>
<tr>
- <td width=8%>qac-2008</td>
- <td width=92%>Code statements precede the first label in this 'switch' construct.</td>
+ <td width=12%>qac-0287</td>
+ <td width=88%>[I] Header name contains character which is not a member of the basic source character set.</td>
</tr>
<tr>
- <td width=8%>qac-2877</td>
- <td width=92%>This loop will never be executed more than once.</td>
+ <td width=12%>qac-0288</td>
+ <td width=88%>[I] Source file '%s' has comments containing characters which are not members of the basic source character set.</td>
</tr>
<tr>
- <td width=8%>qac-2880</td>
- <td width=92%>This code is unreachable.</td>
+ <td width=12%>qac-0289</td>
+ <td width=88%>[I] Source file '%s' has preprocessing tokens containing characters which are not members of the basic source character set.</td>
</tr>
<tr>
- <td width=8%>qac-2881</td>
- <td width=92%>The code in this 'default' clause is unreachable.</td>
+ <td width=12%>qac-0299</td>
+ <td width=88%>[I] Source file '%s' includes #pragma directives containing characters which are not members of the basic source character set.</td>
</tr>
- <tr>
- <td width=8%>qac-2882</td>
- <td width=92%>This 'switch' statement will bypass the initialization of local variables.</td>
+</table></center>
+</td>
</tr>
+ <tr>
+ <td width=2%>MSC12</td>
+ <td width=2%>Recommendation</td>
+ <td width=40%>Detect and remove code that has no effect or is never executed</td>
+ <td><center><table width=100%>
+ <tr><th>Qac</th><th>Description</th></tr>
<tr>
- <td width=8%>qac-2883</td>
- <td width=92%>This 'goto' statement will always bypass the initialization of local variables.</td>
+ <td width=12%>rcma-1501</td>
+ <td width=88%>The function '%1s' is declared but is not used within this project.</td>
</tr>
<tr>
- <td width=8%>qac-2980</td>
- <td width=92%>The value of this function parameter is never used before being modified.</td>
+ <td width=12%>rcma-1503</td>
+ <td width=88%>The function '%1s' is defined but is not used within this project.</td>
</tr>
<tr>
- <td width=8%>qac-2981</td>
- <td width=92%>This initialization is redundant. The value of this object is never used before being modified.</td>
+ <td width=12%>qac-2008</td>
+ <td width=88%>Code statements precede the first label in this 'switch' construct.</td>
</tr>
<tr>
- <td width=8%>qac-2982</td>
- <td width=92%>This assignment is redundant. The value of this object is never used before being modified.</td>
+ <td width=12%>qac-2877</td>
+ <td width=88%>This loop will never be executed more than once.</td>
</tr>
<tr>
- <td width=8%>qac-2983</td>
- <td width=92%>This assignment is redundant. The value of this object is never subsequently used.</td>
+ <td width=12%>qac-2880</td>
+ <td width=88%>This code is unreachable.</td>
</tr>
<tr>
- <td width=8%>qac-2984</td>
- <td width=92%>This operation is redundant. The value of the result is always '%1s'.</td>
+ <td width=12%>qac-2881</td>
+ <td width=88%>The code in this 'default' clause is unreachable.</td>
</tr>
<tr>
- <td width=8%>qac-2985</td>
- <td width=92%>This operation is redundant. The value of the result is always that of the left-hand operand.</td>
+ <td width=12%>qac-2882</td>
+ <td width=88%>This 'switch' statement will bypass the initialization of local variables.</td>
</tr>
<tr>
- <td width=8%>qac-2986</td>
- <td width=92%>This operation is redundant. The value of the result is always that of the right-hand operand.</td>
+ <td width=12%>qac-2883</td>
+ <td width=88%>This 'goto' statement will always bypass the initialization of local variables.</td>
</tr>
<tr>
- <td width=8%>qac-3202</td>
- <td width=92%>The label '%s:' is not used in this function and could be removed.</td>
+ <td width=12%>dataflow-2980</td>
+ <td width=88%>The value of this function parameter is never used before being modified.</td>
</tr>
<tr>
- <td width=8%>qac-3203</td>
- <td width=92%>The variable '%s' is set but never used.</td>
+ <td width=12%>dataflow-2981</td>
+ <td width=88%>This initialization is redundant. The value of this object is never used before being modified.</td>
</tr>
<tr>
- <td width=8%>qac-3205</td>
- <td width=92%>The identifier '%1s' is not used and could be removed.</td>
+ <td width=12%>dataflow-2982</td>
+ <td width=88%>This assignment is redundant. The value of this object is never used before being modified.</td>
</tr>
<tr>
- <td width=8%>qac-3206</td>
- <td width=92%>The parameter '%s' is not used in this function.</td>
+ <td width=12%>dataflow-2983</td>
+ <td width=88%>This assignment is redundant. The value of this object is never subsequently used.</td>
</tr>
<tr>
- <td width=8%>qac-3207</td>
- <td width=92%>File scope static, '%1s', is not used, and could be removed.</td>
+ <td width=12%>dataflow-2984</td>
+ <td width=88%>This operation is redundant. The value of the result is always '%1s'.</td>
</tr>
<tr>
- <td width=8%>qac-3210</td>
- <td widtWhy this scored 59/100
Community notes
Notes can correct, qualify, or add evidence to the AI analysis. Every note shown here has been validated by a human moderator.
The AI analysis stands alone for now. Submit a note if you can add evidence or important context.