FilesExpand file tree

 main

/

NewDeleteArrayMismatch.ql

Copy path

BlameMore file actions

BlameMore file actions

Latest commit

 

History

History

History

17 lines (15 loc) · 582 Bytes

 main

/

NewDeleteArrayMismatch.ql

Top

File metadata and controls

• Code
• Blame

17 lines (15 loc) · 582 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

/**

* @name 'new' object freed with 'delete[]'

* @description An object that was allocated with 'new' is being freed using 'delete[]'. Behavior in such cases is undefined and should be avoided. Use 'delete' instead.

* @kind problem

* @problem.severity warning

* @precision high

* @id cpp/new-delete-array-mismatch

* @tags reliability

*/

import NewDelete

from Expr alloc, Expr free, Expr freed

where

allocReaches(freed, alloc, "new") and

freeExprOrIndirect(free, freed, "delete[]")

select free, "This memory may have been allocated with $@, not 'new[]'.", alloc, "new"