FilesExpand file tree

codeql-cli/v2.27.2

/

AssertOnTuple.ql

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

28 lines (26 loc) · 637 Bytes

codeql-cli/v2.27.2

/

AssertOnTuple.ql

Copy path

Top

File metadata and controls

• Code
• Blame

28 lines (26 loc) · 637 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

18

19

20

21

22

23

24

25

26

27

28

/**

* @name Asserting a tuple

* @description Using an assert statement to test a tuple provides no validity checking.

* @kind problem

* @tags quality

* reliability

* correctness

* external/cwe/cwe-670

* @problem.severity error

* @sub-severity low

* @precision very-high

* @id py/asserts-tuple

*/

import python

from Assert a, string b, string non

where

a.getTest() instanceof Tuple and

(

if exists(a.getTest().(Tuple).getAnElt())

then (

b = "True" and non = "non-"

) else (

b = "False" and non = ""

)

)

select a, "Assertion of " + non + "empty tuple is always " + b + "."