Implement BufferOverlap check for sprint/snprintf
authorArnaud Bienner <arnaud.bienner@gmail.com>
Wed, 31 May 2023 08:54:27 +0000 (10:54 +0200)
committerArnaud Bienner <arnaud.bienner@gmail.com>
Wed, 31 May 2023 12:43:16 +0000 (14:43 +0200)
commitce97312d109b21acb97d3ea243e214f20bd87cfc
tree1e1349e021fe7f8e55fdd8cfe25a65efab41b312
parent0b42ee46b06fb9fb396eca8b335166d8e92b70cd
Implement BufferOverlap check for sprint/snprintf

Differential Revision: https://reviews.llvm.org/D150430
clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
clang/test/Analysis/buffer-overlap.c [new file with mode: 0644]