HomePhabricator

[analyzer] Add InvalidPtrChecker

Authored by zukatsinadze on Sep 18 2021, 1:54 PM.

Description

[analyzer] Add InvalidPtrChecker

This patch introduces a new checker: alpha.security.cert.env.InvalidPtr

Checker finds usage of invalidated pointers related to environment.

Based on the following SEI CERT Rules:
ENV34-C: https://wiki.sei.cmu.edu/confluence/x/8tYxBQ
ENV31-C: https://wiki.sei.cmu.edu/confluence/x/5NUxBQ

Reviewed By: martong

Differential Revision: https://reviews.llvm.org/D97699

Details

Committed
zukatsinadzeOct 4 2021, 8:08 AM
Reviewer
martong
Differential Revision
D97699: [analyzer] Add InvalidPtrChecker
Parents
rGc63a9a79afdd: [NFC][X86][Codegen] Add test coverage for interleaved i64 load/store stride=4
Branches
Unknown
Tags
Unknown