Commits

Breadcrumbs

History for

on0f93e5c

User selector

All users

All time

Commit History

Commits on Jan 9, 2023

• Merge pull request #11781 from MathiasVP/as-expr-for-arrays

  Show description for 0f93e5c
  MathiasVP

  authored
  0f93e5c

  Copy full SHA for 0f93e5c

Commits on Dec 22, 2022

• Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow

  MathiasVP

  committed
  e86e3ec

  Copy full SHA for e86e3ec

• C++: Map more expressions to operand nodes.

  MathiasVP

  committed
  05cd251

  Copy full SHA for 05cd251

Commits on Dec 21, 2022

• C++: Fix implicit this.

  MathiasVP

  committed
  bbf0ec8

  Copy full SHA for bbf0ec8

• C++: Model semantics of '__except' condition in IR.

  MathiasVP

  committed
  ff6e8a2

  Copy full SHA for ff6e8a2

• C++: Fix exception handling for '__try __except'.

  MathiasVP

  committed
  e6a03a6

  Copy full SHA for e6a03a6

Commits on Dec 20, 2022

• C++: Add explicit qualifiers.

  MathiasVP

  committed
  07ab119

  Copy full SHA for 07ab119

• C++: Also handle '__finally' blocks.

  MathiasVP

  committed
  d2964a7

  Copy full SHA for d2964a7

• C++: Handle Microsoft '__try __except' in the existing 'TryStmt' IR logic.

  MathiasVP

  committed
  3c8efa8

  Copy full SHA for 3c8efa8

• Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow

  jketema

  committed
  0addae8

  Copy full SHA for 0addae8

Commits on Dec 19, 2022

• C++: Define the `argv` flow source in terms the input parameter

  jketema

  committed
  a73bd05

  Copy full SHA for a73bd05

Commits on Dec 16, 2022

• Merge pull request #11722 from MathiasVP/make-buffer.qll-unique-again

  Show description for df7a4ac
  

  Robert Marsh

  authored
  df7a4ac

  Copy full SHA for df7a4ac

• Merge pull request #11727 from MathiasVP/fix-crement-and-assign-op-dataflow-mappings

  Show description for c09ed10
  MathiasVP

  authored
  c09ed10

  Copy full SHA for c09ed10

• Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow

  MathiasVP

  committed
  33649ed

  Copy full SHA for 33649ed

• C++: Fix mapping between dataflow nodes and '{Crement, Assign}Operations'.

  MathiasVP

  committed
  df52655

  Copy full SHA for df52655

• C++: Make the 'getBufferSize' a lot more like the pre-use-use flow implementation.

  MathiasVP

  committed
  c06f725

  Copy full SHA for c06f725

• Merge pull request #11674 from hvitved/dataflow/param-context

  Show description for e45edcc
  hvitved

  authored
  e45edcc

  Copy full SHA for e45edcc

Commits on Dec 15, 2022

• Data flow: Work around functionality-induced misoptimization

  hvitved

  committed
  f8571dd

  Copy full SHA for f8571dd

• Data flow: Sync files

  hvitved

  committed
  6eda042

  Copy full SHA for 6eda042

• C++: Attempt to clarify the way Allocation.qll and Deallocation.qll should be used.

  geoffw0

  committed
  e7ea0d7

  Copy full SHA for e7ea0d7

• C++: Prevent non-termination in 'getTypeImpl' when a iterator defines itself as 'value_type'.

  MathiasVP

  committed
  73b93be

  Copy full SHA for 73b93be

• C++: Fix join orders.

  MathiasVP

  committed
  526b913

  Copy full SHA for 526b913

• C++: Add implicit defs and uses for iterators' underlying containers.

  MathiasVP

  committed
  f94ca0e

  Copy full SHA for f94ca0e

• C++: Make 'DefImpl' and 'useImpl' abstract.

  MathiasVP

  committed
  78b7e12

  Copy full SHA for 78b7e12

• C++: Implement an 'Indirection' subtype for iterators.

  MathiasVP

  committed
  5d417d7

  Copy full SHA for 5d417d7

• C++: Remove an unnecessary predicate from the 'Indirection' class.

  MathiasVP

  committed
  ef110e7

  Copy full SHA for ef110e7

Commits on Dec 14, 2022

• Merge pull request #11658 from MathiasVP/uncertain-writes

  Show description for 22b04af
  MathiasVP

  authored
  22b04af

  Copy full SHA for 22b04af

• Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow

  jketema

  committed
  bb25651

  Copy full SHA for bb25651

• Merge pull request #11662 from erik-krogh/c-useInstanceOf

  Show description for 7615668
  erik-krogh

  authored
  7615668

  Copy full SHA for 7615668

• C++: Fix itemization in QLDoc

  jketema

  committed
  c18cfa7

  Copy full SHA for c18cfa7

Commits on Dec 13, 2022

• C++: Recognize indirect `argv` accesses as flow sources for use-use dataflow

  Show description for 3be0b3e
  jketema

  committed
  3be0b3e

  Copy full SHA for 3be0b3e

• C++: Implement `ContentApprox`

  hvitved

  committed
  bc58cbe

  Copy full SHA for bc58cbe

• Data flow: Sync files

  hvitved

  committed
  0c2eee2

  Copy full SHA for 0c2eee2

Commits on Dec 12, 2022

• Swift/C++: Use instanceof in more places

  erik-krogh

  committed
  698e05f

  Copy full SHA for 698e05f

• C++: Flow through uncertain writes.

  MathiasVP

  committed
  ad52265

  Copy full SHA for ad52265