[bug #55693] Possible bug in file src/devices/grohtml/post-html.cpp line 1751

[Petru-Florin Mihancea]

URL:
  <https://savannah.gnu.org/bugs/?55693>

                 Summary: Possible bug in file
src/devices/grohtml/post-html.cpp line 1751
                 Project: GNU troff
            Submitted by: petrum2
            Submitted on: Mon 11 Feb 2019 12:57:30 PM UTC
                Category: Device grohtml
                Severity: 3 - Normal
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any
         Planned Release: None

    _______________________________________________________

Details:

While experimenting with a novel static analysis technique in CodeSonar, we
noticed the following potential problem at the next location:

FilePath: src/devices/grohtml/post-html.cpp
Function: assert_state::add 
Line number: 1751

At that line, the f pointer is deallocated. However, f may point to the
"stdin" literal assigned to it in line 1740 resulting in the deallocation of a
non-heap pointer. 

Thanks,
Petru-Florin Mihancea 




    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?55693>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/