[clang] [analyzer] Adding taint analysis capability to unix.Malloc checker (PR #92420)

Daniel Krupp via cfe-commits cfe-commits at lists.llvm.org
Thu May 23 02:38:52 PDT 2024


dkrupp wrote:

Thanks for the reviews. I updated the patch.

@haoNoQ 
- I changed the report to non-fatal
- I factored out the warning into a new checker optin.taint.TaintMalloc. This way the checker can be enabled separately. Of course, the alpha.security.taint.TaintPropagation checker is a prerequisite as indicated in the checker doc.

@steakhal 
- New test is added to the taint-diagnostic-visitor.c to test the taint related notes diagnostics.

-Minor changes addressed as requested.

Could you please check again?


https://github.com/llvm/llvm-project/pull/92420


More information about the cfe-commits mailing list