Commits

Breadcrumbs

History for

onc4322fd

User selector

All users

All time

Commit History

Commits on Jul 15, 2021

• Merge pull request #6004 from MathiasVP/path-sensitive-stack-variable-reachability-analysis

  Show description for e3e7b00
  geoffw0

  authored
  e3e7b00

  Copy full SHA for e3e7b00

• Merge pull request #6211 from aschackmull/dataflow/refactor-call-context-check

  Show description for 8ccdd4f
  aschackmull

  authored
  8ccdd4f

  Copy full SHA for 8ccdd4f

• Merge pull request #6186 from geoffw0/formatarg

  Show description for 4d8e882
  

  Robert Marsh

  authored
  4d8e882

  Copy full SHA for 4d8e882

Commits on Jul 14, 2021

• C++: Potentially improve performance by restricting the size of the call-context relation.

  MathiasVP

  committed
  1480ac7

  Copy full SHA for 1480ac7

• Dataflow: Sync.

  aschackmull

  committed
  0ccb213

  Copy full SHA for 0ccb213

Commits on Jul 13, 2021

• Merge pull request #6158 from MathiasVP/call-ctx-for-function-ptr-resolution

  Show description for 25dd29b
  

  Robert Marsh

  authored
  25dd29b

  Copy full SHA for 25dd29b

Commits on Jul 12, 2021

• C++: Fix a bug that slipped into fd477383b0f7801559702621b9553904aea44642.

  MathiasVP

  committed
  768b3c8

  Copy full SHA for 768b3c8

• Merge branch 'main' into path-sensitive-stack-variable-reachability-analysis

  MathiasVP

  committed
  be06230

  Copy full SHA for be06230

Commits on Jul 2, 2021

• C++: Replace cached with more efficient QL.

  geoffw0

  committed
  cfbfe92

  Copy full SHA for cfbfe92

Commits on Jul 1, 2021

• C++: Make isMicrosoft() faster.

  geoffw0

  committed
  41a540e

  Copy full SHA for 41a540e

Commits on Jun 29, 2021

• Performance: Improve join order in data flow library

  edoardopirovano

  committed
  8354f66

  Copy full SHA for 8354f66

• C++: Accept Microsoft/non-Microsoft format specifiers on the opposite platform.

  geoffw0

  committed
  6e49891

  Copy full SHA for 6e49891

Commits on Jun 25, 2021

• C++: Use call context information to perform function-pointer resolution.

  MathiasVP

  committed
  794d96e

  Copy full SHA for 794d96e

• C++: Fix join order in 'bbSuccessorEntryReachesLoopInvariant'.

  MathiasVP

  committed
  fd47738

  Copy full SHA for fd47738

• Merge pull request #6149 from edoardopirovano/fix-java-regression

  Show description for 2d24387
  aschackmull

  authored
  2d24387

  Copy full SHA for 2d24387

Commits on Jun 24, 2021

• Dataflow: Sync.

  aschackmull

  committed
  cd0efbe

  Copy full SHA for cd0efbe

• C++: Get rid of the trivial 'True' condition. Turns out it's not actually needed.

  MathiasVP

  committed
  c8c7739

  Copy full SHA for c8c7739

• C++: Add more QLDoc.

  MathiasVP

  committed
  656ff4a

  Copy full SHA for 656ff4a

• Update cpp/ql/src/semmle/code/cpp/controlflow/StackVariableReachability.qll

  Show description for d70ea5f
  

  MathiasVP

  and

  geoffw0

  authored
  d70ea5f

  Copy full SHA for d70ea5f

• Performance: Fix bad join order in dataflow library

  edoardopirovano

  committed
  0909c9f

  Copy full SHA for 0909c9f

Commits on Jun 23, 2021

• C++: Fix join order with 'pragma[noopt]'.

  MathiasVP

  committed
  43bbd4f

  Copy full SHA for 43bbd4f

• C++: Prevent false negatives caused by incorrectly concluding that a loop variant condition refutes itself across loop iterations.

  MathiasVP

  committed
  a8c57ec

  Copy full SHA for a8c57ec

• Update cpp/ql/src/semmle/code/cpp/controlflow/StackVariableReachability.qll

  Show description for d308dd2
  

  MathiasVP

  and

  geoffw0

  authored
  d308dd2

  Copy full SHA for d308dd2

Commits on Jun 21, 2021

• Java: Add defaultImplicitTaintRead and sync.

  aschackmull

  committed
  65ac8be

  Copy full SHA for 65ac8be

• C/C++: Make Content public as DataFlow::Content.

  aschackmull

  committed
  38319a4

  Copy full SHA for 38319a4

• Dataflow: Sync.

  aschackmull

  committed
  8088032

  Copy full SHA for 8088032

• Merge pull request #6095 from hvitved/dataflow/local-cc-join

  Show description for 9110dfa
  aschackmull

  authored
  9110dfa

  Copy full SHA for 9110dfa

Commits on Jun 18, 2021

• Address review comments

  hvitved

  committed
  eb86bce

  Copy full SHA for eb86bce

Commits on Jun 17, 2021

• Data flow: Fix `getLocalCallContext` join-order

  hvitved

  committed
  ffb2350

  Copy full SHA for ffb2350

• Data flow: Workaround for too clever compiler in consistency queries

  hvitved

  committed
  cc383e0

  Copy full SHA for cc383e0

Commits on Jun 14, 2021

• Merge branch 'main' into path-sensitive-stack-variable-reachability-analysis

  MathiasVP

  committed
  cc6ae7f

  Copy full SHA for cc6ae7f

• C++: Fix non-monotonic recursion problems in 'StackVariableReachabilityWithReassignment' by using the old StackVariableReachability predicates that don't care about paths.

  MathiasVP

  committed
  7992678

  Copy full SHA for 7992678

• C++: Add path sensitivity to StackVariableReachability.

  MathiasVP

  committed
  c32f720

  Copy full SHA for c32f720

Commits on Jun 11, 2021

• Formatting fixes, comment moving.

  jsinglet

  committed
  8c6c011

  Copy full SHA for 8c6c011

Commits on Jun 10, 2021

• this should be abstract

  jsinglet

  committed
  cd61fb4

  Copy full SHA for cd61fb4