For an evaluation I need to check the correctness of "dataflow constraints" which describe the relationships between the parameters and return values passed to api function calls. I have the corresponding source files in C / C++.

For example, a code snippet like this:

x0 = NtOpenFile(_, 3222274176, _, _, _, 42);

Would generate the following constraint:


Are there any static code analyzers suitable for this task?

New contributor
Nordwald is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct.

Your Answer

Nordwald is a new contributor. Be nice, and check out our Code of Conduct.

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.