Repository navigation

Python: Basic implementation of variable capture - #14944

Merged

yoff merged 61 commits into

github:mainfrom

yoff:python/captured-variables-basic

Dec 20, 2023

Merged

Python: Basic implementation of variable capture#14944
yoff merged 61 commits into
github:mainfrom
yoff:python/captured-variables-basic

Commits on Dec 14, 2023
- Python: add missing annotation
  yoff
  committed
  6db55cd
- python: instantiate module for variable capture
  yoff
  committed
  c054ba6
- Python: add consistency exclusions
  yoff
  committed
  b513871
- Python: exclude `CaptureNode`s
  yoff
  committed
  797deeb
- Python: test callbacks to library calls
  yoff
  committed
  7565873
- Python: support callbacks to library calls
  yoff
  committed
  17a0029
- Python: restrict `LibraryLambdaMethod`
  yoff
  committed
  453ab9c
- Python: further restrict `LibraryLambdaMethod`
  yoff
  committed
  061fd01
- Python: exclusion for summary nodes
  yoff
  committed
  5471c92
- Python: filter local flow from a node to itself
  yoff
  committed
  efcdb3e
- Python: typo
  yoff
  committed
  f32d5e4
- Python: allow `CaptureArgumentNode`s as multiple arguemnts
  yoff
  committed
  38e0321
- Python: fix nonlocal captured variables
  yoff
  committed
  479d81f
- Python: add consistency exception
  yoff
  committed
  2a5736e
- Python: simplify assignments to captured variables
  yoff
  committed
  b6123de
- Python: consistency failure gone
  yoff
  committed
  abd544d
Commits on Dec 15, 2023
- Apply suggestions from code review
  
  yoff
  and
  RasmusWL
  authored
  c395d2d
- Python: make compile again
  yoff
  committed
  f96c52e
- Python: hide synthesized capture nodes
  yoff
  committed
  2051ba3
- Python: Make compile and add comment
  yoff
  committed
  262d43a
- Python : `P` -> `PY`
  yoff
  committed
  bfdcae4
- Python: remove unneeded consistency exclusion
  yoff
  committed
  5b6ea15
- Python: rename synthetic lambda nodes
  yoff
  committed
  d3b237b
- Update python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll
  
  yoff
  and
  RasmusWL
  authored
  4b89a41
- Python: Bring back (now simplified) exclusion
  yoff
  committed
  a311582
- Update python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
  
  yoff
  and
  RasmusWL
  authored
  b07316f
- Python: use updated names
  yoff
  committed
  739b839
- Python: move things around
  yoff
  committed
  f668453
- Python: split variable capture instantiation out
  yoff
  committed
  e1bf282
- Python: Address TODO comment
  yoff
  committed
  8601105
- Merge branch 'main' of https://github.com/github/codeql into python/captured-variables-basic
  yoff
  committed
  1ee11ae
- Python: use updated API
  yoff
  committed
  416ba6a
- Python: fix compilation error
  yoff
  committed
  e36b079
- Python: abandon synthetic node
  yoff
  committed
  4a1fcde
- Python: update class name
  yoff
  committed
  5de1725
- Python: move restriction into branch predicate
  yoff
  committed
  661ba1c
Commits on Dec 16, 2023
- Python: remove non-local steps
  yoff
  committed
  b505778
- Python: Use enw class name
  yoff
  committed
  64655a0
Commits on Dec 18, 2023
- Python: remove consistency exclusion
  yoff
  committed
  d6544cc
- Python: move `SynthCapturePostUpdateNode`
  yoff
  committed
  c88d686
- Python: add comments
  yoff
  committed
  bf1ad23
- Python: adjust comment
  yoff
  committed
  25c83dc
- Python: address QL alerts
  yoff
  committed
  7324177
- Python: better comment
  yoff
  committed
  86bb884
- Python: Move predicate closer to its use
  yoff
  committed
  456209b
- Python: Add a bit more detail to comment.
  yoff
  committed
  c0b3d98
- Python: rename sythetic nodes
  yoff
  committed
  6e4011d
- Python: remove support for capturing callbacks
  yoff
  committed
  78c484f
- Python: add change-note
  yoff
  committed
  8b7b582
- Merge branch 'main' into python/captured-variables-basic
  yoff
  authored
  a60c52b
Commits on Dec 19, 2023
- Update python/ql/lib/change-notes/2023-12-18-support-variable-capture.md
  
  yoff
  and
  RasmusWL
  authored
  1417c2c
Commits on Dec 20, 2023
- Merge branch 'main' of https://github.com/github/codeql into python/captured-variables-basic
  yoff
  committed
  f8417b0
- Python: fix typos
  yoff
  committed
  3cea46f
- Python: move capture node to DataFlowPrivate
  yoff
  committed
  afb3d1d
- Python: hide synthetic variable node
  yoff
  committed
  491ca3f
- Python: remove unused member predicate
  yoff
  committed
  215b146
- Python: make it a real consistency check
  yoff
  committed
  45411f4
- Python: fix compilation
  yoff
  committed
  706e9dc
- Python: add test for fields
  yoff
  committed
  d039ceb
- Python: fix VariableWrite and remove unneded step
  yoff
  committed
  0f89f69
- Revert "Python: make it a real consistency check"
  yoff
  committed
  da4aef8

Commits

Commits on Dec 14, 2023

Commits on Dec 15, 2023

Commits on Dec 16, 2023

Commits on Dec 18, 2023

Commits on Dec 19, 2023

Commits on Dec 20, 2023