[clang] 9c300c1 - [analyzer] Done some changes to detect Uninitialized read by the char array manipulation functions

[via cfe-commits]

Author: phyBrackets
Date: 2022-03-04T12:17:58+05:30
New Revision: 9c300c18a4eaf79eb7044744bbdb705764579220

URL: https://github.com/llvm/llvm-project/commit/9c300c18a4eaf79eb7044744bbdb705764579220
DIFF: https://github.com/llvm/llvm-project/commit/9c300c18a4eaf79eb7044744bbdb705764579220.diff

LOG: [analyzer] Done some changes to detect Uninitialized read by the char array manipulation functions

Few weeks back I was experimenting with reading the uninitialized values from src , which is actually a bug but the CSA seems to give up at that point . I was curious about that and I pinged @steakhal on the discord and according to him this seems to be a genuine issue and needs to be fix. So I goes with fixing this bug and thanks to @steakhal who help me creating this patch. This feature seems to break some tests but this was the genuine problem and the broken tests also needs to fix in certain manner. I add a test but yeah we need more tests,I'll try to add more tests.Thanks

Reviewed By: steakhal, NoQ

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

Added: 
    

Modified: 
    clang/docs/analyzer/checkers.rst

Removed: 
    


################################################################################
diff  --git a/clang/docs/analyzer/checkers.rst b/clang/docs/analyzer/checkers.rst
index bc42b80d166c7..a9ebe063c6c8b 100644
--- a/clang/docs/analyzer/checkers.rst
+++ b/clang/docs/analyzer/checkers.rst
@@ -2650,7 +2650,6 @@ Limitations:
   
    - Due to limitations of the memory modeling in the analyzer, one can likely
      observe a lot of false-positive reports like this:
-
       .. code-block:: c
   
         void false_positive() {