Commits

Breadcrumbs

History for

on8a2fb54

User selector

All users

All time

Commit History

Commits on Apr 26, 2019

• Python points-to: Fix up failedInference predicate.

  markshannon

  committed
  2ea204f

  Copy full SHA for 2ea204f

• Remove redundant tests.

  markshannon

  committed
  2aa967a

  Copy full SHA for 2aa967a

• Python points-to: update some test results.

  markshannon

  committed
  4145b19

  Copy full SHA for 4145b19

• Python points-to: Handle subclassing of ABCs.

  markshannon

  committed
  ddc4ada

  Copy full SHA for ddc4ada

• Python points-to: Fix support for backwards compatible extensions.

  markshannon

  committed
  989d587

  Copy full SHA for 989d587

• Python: Add library tests for django.

  markshannon

  committed
  90bbfd3

  Copy full SHA for 90bbfd3

• Update test to reflect new true positive.

  markshannon

  committed
  4a03fd0

  Copy full SHA for 4a03fd0

• Python: Update test to use new API.

  markshannon

  committed
  e82b2c4

  Copy full SHA for e82b2c4

• Python points-to: Improve handling of len(), sequences and comparisons.

  markshannon

  committed
  a442695

  Copy full SHA for a442695

• Python points-to: Update sanity check.

  markshannon

  committed
  e21a863

  Copy full SHA for e21a863

• Python points-to: Track 'unknown' value through simple iteration.

  markshannon

  committed
  03159bb

  Copy full SHA for 03159bb

• Python points-to: Fix up module attributes and classmethods.

  markshannon

  committed
  662aedc

  Copy full SHA for 662aedc

• Python points-to: Rationalize handling of expressions and conditions. Tweak API to be a bit more backward-compatible.

  markshannon

  committed
  ef0a6b6

  Copy full SHA for ef0a6b6

• Python points-to: Simplify handling of booleans and comparisons.

  markshannon

  committed
  e3ed8c6

  Copy full SHA for e3ed8c6

• Python: Add support for bound-methods.

  markshannon

  committed
  39b9723

  Copy full SHA for 39b9723

• Python: Add better class support, including inheritance.

  markshannon

  committed
  bf692f4

  Copy full SHA for bf692f4

• Python: Add ADTs for ints and strings. Add some global data-flow.

  markshannon

  committed
  5a46df2

  Copy full SHA for 5a46df2

• Python: Break-up internal object modules.

  markshannon

  committed
  051683f

  Copy full SHA for 051683f

• Python: First draft of ADT based objects and attendant points-to.

  markshannon

  committed
  c48d63f

  Copy full SHA for c48d63f

• Merge pull request #1271 from markshannon/python-fix-fp-http-prefix

  Show description for 7d2c17f
  taus-semmle

  authored
  7d2c17f

  Copy full SHA for 7d2c17f

Commits on Apr 25, 2019

• Python: Fix false positive in 'Incomplete URL substring sanitization' query.

  markshannon

  committed
  2879944

  Copy full SHA for 2879944

Commits on Apr 23, 2019

• Add test confirming correct handling of zope.interface.Interface in query.

  markshannon

  committed
  6a9bb5c

  Copy full SHA for 6a9bb5c

Commits on Apr 16, 2019

• Mergeback: rc/1.20 into Semmle/master

  

  Esben Sparre Andreasen

  committed
  c80ee3d

  Copy full SHA for c80ee3d

Commits on Apr 12, 2019

• Python: Fix semantic merge conflict between #1206 and #1240.

  markshannon

  committed
  d6ba729

  Copy full SHA for d6ba729

• Merge pull request #1240 from markshannon/python-avoid-ssa-defns-in-tests

  Show description for 707b73c
  taus-semmle

  authored
  707b73c

  Copy full SHA for 707b73c

• Merge pull request #1206 from markshannon/python-taint-flow-classless

  Show description for 607b5fb
  taus-semmle

  authored
  607b5fb

  Copy full SHA for 607b5fb

Commits on Apr 11, 2019

• Python: Remove callsite refinement ESSA definition when call in a test defining a pi-node.

  markshannon

  committed
  ca6e03f

  Copy full SHA for ca6e03f

Commits on Apr 5, 2019

• Python: Fix up dataflow configuration to act as expected. Keep undocumented for now.

  markshannon

  committed
  df2000e

  Copy full SHA for df2000e

Commits on Apr 4, 2019

• Merge pull request #1128 from taus-semmle/python-paramiko-unsafe-host-key-validation

  Show description for 2ba1223
  markshannon

  authored
  2ba1223

  Copy full SHA for 2ba1223

• Python taint-tracking: If taint has no class allow it flow through both branches of isinstance test.

  markshannon

  committed
  e2a3d91

  Copy full SHA for e2a3d91

Commits on Apr 2, 2019

• Merge pull request #1190 from Semmle/rc/1.20

  Show description for eae2fe5
  jbj

  authored
  eae2fe5

  Copy full SHA for eae2fe5

Commits on Apr 1, 2019

• Change @kind to 'table' for test and sanity checks queries that don't select problems

  aibaars

  committed
  ba7fddd

  Copy full SHA for ba7fddd

Commits on Mar 26, 2019

• Merge pull request #1166 from Semmle/rc/1.20

  Show description for 702fc80
  taus-semmle

  authored
  702fc80

  Copy full SHA for 702fc80

Commits on Mar 22, 2019

• Python taint-tracking. Handle early exit and 'not' correctly for 'falsey' taints.

  markshannon

  committed
  2edde1f

  Copy full SHA for 2edde1f

Commits on Mar 21, 2019

• Merge pull request #1112 from markshannon/python-forward-compatible-points-to-extensions

  Show description for 36c7a84
  taus-semmle

  authored
  36c7a84

  Copy full SHA for 36c7a84