search

schwehr / generic-sensor-format

Sonar Generic Sensor Format (gsf) codec
Other
13 stars 8 forks source link

CID 113100 (#1 of 1): Out-of-bounds write (OVERRUN) #69

Open schwehr opened 9 years ago

schwehr commented 9 years ago

Relates to #67

  1. overrun-local: Overrunning array gsfFileTable of 128 7400-byte elements at element index 128 (byte offset 947200) using index fileTableIndex (which evaluates to 128).

{{{

  1. cond_const: Checking fileTableIndex < 128 implies that fileTableIndex is 128 on the false branch. 310 for (fileTableIndex=0; fileTableIndex<GSF_MAX_OPEN_FILES; fileTableIndex++) 311 {
    1. Condition gsfFileTable[fileTableIndex].occupied == 0, taking false branch
    2. Condition gsfFileTable[fileTableIndex].occupied == 0, taking false branch 312 if (gsfFileTable[fileTableIndex].occupied == 0) }}}