Commits

Breadcrumbs

History for

on7d0943f

User selector

All users

All time

Commit History

Commits on Feb 26, 2019

• Python: Basic support for TurboGears: requests and responses.

  markshannon

  committed
  26c5ebd

  Copy full SHA for 26c5ebd

Commits on Feb 22, 2019

• Merge pull request #969 from markshannon/python-points-to-speed-up

  Show description for 8921620
  taus-semmle

  authored
  8921620

  Copy full SHA for 8921620

• Python: Refactor three predicates to improve join-order.

  markshannon

  committed
  a1820fe

  Copy full SHA for a1820fe

• Merge pull request #963 from markshannon/python-sanity-context-sensitive

  Show description for 69270d0
  taus-semmle

  authored
  69270d0

  Copy full SHA for 69270d0

Commits on Feb 21, 2019

• Python: Make sanity check context sensitive.

  markshannon

  committed
  1519e1b

  Copy full SHA for 1519e1b

Commits on Feb 20, 2019

• Python: Remove BuiltinFunctionObject module as it is clearer and more concise to use ModuleObject::builtin().

  markshannon

  committed
  adadd49

  Copy full SHA for adadd49

• Python: Add 'attr' predicate as a synomnym for 'getAttribute' to help readability.

  markshannon

  committed
  98be27a

  Copy full SHA for 98be27a

• Python move various theXXX() predicates into the appropriate module.

  markshannon

  committed
  35fa5d8

  Copy full SHA for 35fa5d8

Commits on Feb 19, 2019

• Python: factor out helper predicate to prevent bad join-order.

  markshannon

  committed
  4e8e4ae

  Copy full SHA for 4e8e4ae

• Python: factor out helper predicate to prevent bad join-order.

  markshannon

  committed
  17681d6

  Copy full SHA for 17681d6

Commits on Feb 18, 2019

• Merge pull request #872 from markshannon/python-bottle

  Show description for 1b25573
  taus-semmle

  authored
  1b25573

  Copy full SHA for 1b25573

Commits on Feb 12, 2019

• Python: Rename class.

  markshannon

  committed
  0ea33b7

  Copy full SHA for 0ea33b7

• Python: Convert ObjectOrCfg back to using extensionals for speed.

  markshannon

  committed
  e7d2c1e

  Copy full SHA for e7d2c1e

• Convert ObjectOrCfg to IPA type for stronger type-checking.

  markshannon

  committed
  bcf4df8

  Copy full SHA for bcf4df8

• Python: Refactor points-to origin code for better encapsulation.

  markshannon

  committed
  c767de0

  Copy full SHA for c767de0

• Python: Fix up some typos for bottle and add a few more tests.

  markshannon

  committed
  b644891

  Copy full SHA for b644891

• Python: Add redirects to bottle framework support.

  markshannon

  committed
  aab0a24

  Copy full SHA for aab0a24

• Python: Add responses to bottle framework support.

  markshannon

  committed
  d514fc5

  Copy full SHA for d514fc5

• Python: Add support for bottle framework routing and requests.

  markshannon

  committed
  8d525e5

  Copy full SHA for 8d525e5

• Merge pull request #928 from markshannon/python-points-to-through-callsites

  Show description for 9caa9c1
  taus-semmle

  authored
  9caa9c1

  Copy full SHA for 9caa9c1

• Merge pull request #911 from markshannon/python-add-special-operation

  Show description for 583358b
  taus-semmle

  authored
  583358b

  Copy full SHA for 583358b

• Python: Points-to should flow through call-sites if not assigned outside of scope.

  markshannon

  committed
  220b881

  Copy full SHA for 220b881

Commits on Feb 11, 2019

• Merge pull request #850 from markshannon/python-improve-import-analysis

  Show description for fb8d0f5
  taus-semmle

  authored
  fb8d0f5

  Copy full SHA for fb8d0f5

Commits on Feb 8, 2019

• Python points-to: Clarify use of '$' variable.

  markshannon

  committed
  e37bda2

  Copy full SHA for e37bda2

• Merge pull request #836 from markshannon/python-mutating-descriptor

  Show description for 90eccbd
  taus-semmle

  authored
  90eccbd

  Copy full SHA for 90eccbd

• Python: Add 'special operation' pseudo-expression type, for use in semantic stubs file. No use of it as yet.

  markshannon

  committed
  465f42e

  Copy full SHA for 465f42e

Commits on Jan 31, 2019

• Python: Points-to; let values with no boolean constant value flow through pi-nodes.

  markshannon

  committed
  24d678b

  Copy full SHA for 24d678b

• Python: Give most non-self instance attributes the 'unknown' value; improves reachability analysis.

  markshannon

  committed
  f190f83

  Copy full SHA for f190f83

Commits on Jan 30, 2019

• Merge pull request #849 from jf205/locations

  Show description for 54242f4
  

  Felicity Chapman

  authored
  54242f4

  Copy full SHA for 54242f4

• Update link text

  

  james

  committed
  7cc1442

  Copy full SHA for 7cc1442

• Python: Fully module state of module using global variables and '$' pseudo-variable.

  markshannon

  committed
  50a75d2

  Copy full SHA for 50a75d2

• update links to locations in .ql files

  

  james

  committed
  81137aa

  Copy full SHA for 81137aa

• update links to locations in .qll files

  

  james

  committed
  9d1a050

  Copy full SHA for 9d1a050

Commits on Jan 29, 2019

• Python: switch from '*' to '$' pseudo variable to track module state.

  markshannon

  committed
  4c0f123

  Copy full SHA for 4c0f123

• Merge branch 'master' into python-mutating-descriptor

  markshannon

  authored
  7fe3c3d

  Copy full SHA for 7fe3c3d