I want a generic query to get fill rate of all columns in table .Query should work irrespective of the column number.I have to implement this using pr ...

When compiling with Microsoft's /analyze static analysis command line option for cl.exe, I get the warning on a code path that calls a trivial func ...

I am trying to see if SAL can be used to detect concurrency bugs. I prepared a project according to Sample C++ project for code analysis and tried the ...

I am writing a reference-counted linked list of characters data structure in C for practice. I want to try using Sal in it to annotate function parame ...

Can someone provide insight when to use _Notnull_? I'm using Visual Studio 2019 and here is my code: Yet, the _Notnull_ lets the function run. I ca ...

My understanding is that if a pointer points to something that is read and written, that is, "inout" then, by definition it cannot be "const" (because ...

Let's say I import a DLL function like so: Now, this function RandomNumber in the code of the DLL is annotated with the SAL annotation _Check_retur ...

I have a function that creates an address, stores values at the address contiguously, and then returns the address: However, I'm getting a warning ...

This simplified example code raises C6001 under static analysis: My understanding is that this warning is raised because the overloaded assignment ...

How can i write this function using SAL annotations for C? I need to implement some functions and i dont know how to declare them. I just need 1 funct ...

For example, the function definition of SetWindowPos used to be like so: This used to be very clear on the calling convention and which parameters ...

I seem to get an erroneous warning message from Visual Studio 2019 (16.5 Preview but also in 16.4 and earlier) Code Analysis tool. Is this a bug, or a ...

I am trying to use Doxygen to document some C++ code that uses Microsoft's Source-Code Annotation Language (SAL). However, Doxygen does not parse cert ...

after hours of googling it, i still cant find an answer. Would some SAP Expert please tell me: Is it possible, that SAP SAL are generated as encrypted ...

In the following snippet the wrong usage of format specifiers inside the MyFormat() call should produce a warning, according to SAL specifications, an ...

In MSVC, there is SAL feature, which can be used to describe the parameter, result and so on, and it works well, and portable is also good, C++2a Cont ...

I hope this question is not out of scope for SO; if it is (sorry in that case), please tell me where it belongs and I'll try to move it there. The co ...

I have some classes that are documented with Doxygen. Additionally, they are annotated with Microsoft's Source-Code Annotation Language (SAL) to suppo ...

Looks like SAL bug. The code: And code analysys give me C6102 - Using variable from failed function call at line TraceProtectedFile(curFile); but ...

The analyzer reports that a certain parameter is not initialized. I fail to understand why. The code: The analyzer complaints are: 'buffer' is ...