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

This reverts commit 9c300c18a4.

This broke the sphinx bot and seems like an unintentional commit.
This commit is contained in:
Aaron Ballman 2022-03-04 07:21:04 -05:00
parent 5a148869d3
commit 6afe035404
1 changed files with 1 additions and 0 deletions

View File

@ -2650,6 +2650,7 @@ 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() {