iframe-proxy | Sunbelt Computer Software

25 lines (23 loc) · 787 Bytes

 * @name Raising a tuple
 * @description Raising a tuple will result in all but the first element being discarded
 * @kind problem
 * @tags maintainability
 * @problem.severity warning
 * @sub-severity high
 * @precision very-high
 * @id py/raises-tuple
import python
import semmle.python.dataflow.new.DataFlow
from Raise r, DataFlow::LocalSourceNode origin
  exists(DataFlow::Node exception | exception.asExpr() = r.getException() |
    origin.flowsTo(exception)
  origin.asExpr() instanceof Tuple and
  major_version() = 2
/* Raising a tuple is a type error in Python 3, so is handled by the IllegalRaise query. */
  "Raising a $@ will result in the first element (recursively) being raised and all other elements being discarded.",
  origin, "tuple"

Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

RaisingTuple.ql

Latest commit

History

RaisingTuple.ql

File metadata and controls