Commits

History for

Commits on Mar 16, 2020

Python: Fix test result for pruning test.
tausbn
committed

Commits on Aug 13, 2019

Merge pull request #1730 from markshannon/python-prepare-for-unrolling
taus-semmle
authored

Commits on Aug 12, 2019

Python tests: Temporarily remove some analysis tests prior to implementing loop-unrolling in extractor.
markshannon
committed

Commits on Aug 8, 2019

Python: Make a few more expressions point-to the 'unknown' value to improve reachability by about 1%.
markshannon
committed

Commits on Jul 25, 2019

Python points-to: Infer types for comprehensions.
markshannon
committed

Commits on Jun 21, 2019

Python: Dataflow: Remove IterationDefinition ESSA definition and add iteration assignment to ESSA assignment definition.
markshannon
committed

Commits on May 15, 2019

Python points-to: Add objects representing missing modules and their attributes.
markshannon
committed

Commits on May 14, 2019

Python points-to: Make sure reachability can skip over if-statements.
markshannon
committed

Commits on May 13, 2019

Commits on Jan 31, 2019

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

Commits on Nov 19, 2018

QL tests for Python queries and libraries.
markshannon
committed

Loading