Commits

Breadcrumbs

History for

on1af1ba4

User selector

All users

All time

Commit History

Commits on Mar 19, 2024

• C++: Accept test changes.

  MathiasVP

  committed
  1af1ba4

  Copy full SHA for 1af1ba4

• C++: Don't constant fold small binary operations.

  MathiasVP

  committed
  4d3076a

  Copy full SHA for 4d3076a

• C++: Add tests.

  MathiasVP

  committed
  e16e1c7

  Copy full SHA for e16e1c7

• Merge pull request #15937 from jketema/destructors14

  Show description for 06dbb4e
  jketema

  authored
  06dbb4e

  Copy full SHA for 06dbb4e

• C++: Handle destructors of temporaries with extended lifetimes

  jketema

  committed
  fd49871

  Copy full SHA for fd49871

Commits on Mar 18, 2024

• Merge pull request #15960 from MathiasVP/unitialized-local-as-path

  Show description for aa1d5c5
  MathiasVP

  authored
  aa1d5c5

  Copy full SHA for aa1d5c5

• Merge pull request #15853 from hvitved/dataflow/get-location

  Show description for fc55567
  hvitved

  authored
  fc55567

  Copy full SHA for fc55567

• Merge branch 'main' into unitialized-local-as-path

  MathiasVP

  committed
  b66b878

  Copy full SHA for b66b878

• C++: Fix FP.

  MathiasVP

  committed
  b944f3b

  Copy full SHA for b944f3b

• C++: Add more tests.

  MathiasVP

  committed
  e373341

  Copy full SHA for e373341

• C++: Convert tabs to spaces.

  MathiasVP

  committed
  668239f

  Copy full SHA for 668239f

• C++: Add change note.

  MathiasVP

  committed
  bd0969b

  Copy full SHA for bd0969b

• C++: Make 'cpp/uninitialized-local' a path-problem query.

  MathiasVP

  committed
  4a55b6f

  Copy full SHA for 4a55b6f

• Update cpp/ql/src/experimental/Security/CWE/CWE-416/IteratorToExpiredContainer.ql

  Show description for 7b6accd
  

  MathiasVP

  and

  geoffw0

  authored
  7b6accd

  Copy full SHA for 7b6accd

• Update cpp/ql/src/experimental/Security/CWE/CWE-416/IteratorToExpiredContainer.ql

  Show description for 457d71d
  

  MathiasVP

  and

  geoffw0

  authored
  457d71d

  Copy full SHA for 457d71d

• Merge branch 'main' into experimental-surprising-lifetimes-for-range-based-for-loop

  MathiasVP

  committed
  575af1a

  Copy full SHA for 575af1a

• Merge pull request #15941 from MathiasVP/ir-guards-from-switch-statements

  Show description for 1d12e0c
  MathiasVP

  authored
  1d12e0c

  Copy full SHA for 1d12e0c

• C++: Delete duplicated code.

  MathiasVP

  committed
  0be329d

  Copy full SHA for 0be329d

• C++: Convert tabs to spaces in ir.cpp.

  MathiasVP

  committed
  51db2b0

  Copy full SHA for 51db2b0

Commits on Mar 15, 2024

• C++: Run tests without the extractor and analysis changes.

  MathiasVP

  committed
  e23e3d7

  Copy full SHA for e23e3d7

• C++: Add qhelp for 'cpp/iterator-to-expired-container'.

  MathiasVP

  committed
  a8718f9

  Copy full SHA for a8718f9

• C++: Add tests for 'cpp/iterator-to-expired-container'.

  Show description for 3a8db49
  MathiasVP

  committed
  3a8db49

  Copy full SHA for 3a8db49

• C++: Fix QLoc.

  MathiasVP

  committed
  f4f417c

  Copy full SHA for f4f417c

• C++: Add change note.

  MathiasVP

  committed
  b5e5949

  Copy full SHA for b5e5949

• C++: Change the testcase so that it outputs the controlling values for switch statements as well.

  MathiasVP

  committed
  fb21815

  Copy full SHA for fb21815

• C++: Accept test changes.

  MathiasVP

  committed
  07ebbb0

  Copy full SHA for 07ebbb0

• C++: Add more general public predicates to work with abstract values.

  MathiasVP

  committed
  34decd3

  Copy full SHA for 34decd3

• C++: Convert 'getBranchSuccessor' to use abstract values.

  MathiasVP

  committed
  f4eb5f5

  Copy full SHA for f4eb5f5

• C++: Introduce 'AbstractValue' similar to what C# has.

  MathiasVP

  committed
  b7292fb

  Copy full SHA for b7292fb

• C++: Include 'SwitchInstruction's as 'IRGuardCondition's.

  MathiasVP

  committed
  2af68d3

  Copy full SHA for 2af68d3

• C++: Add switches as testcases for guard conditions.

  MathiasVP

  committed
  704f1fa

  Copy full SHA for 704f1fa

• C++: Add a new experimental query ' cpp/iterator-to-expired-container'.

  MathiasVP

  committed
  23cf997

  Copy full SHA for 23cf997

• C++: Expose some previously private classes from our models so they can be used in queries.

  MathiasVP

  committed
  f7c29e6

  Copy full SHA for f7c29e6

• C++: Implement alias and side effect models for iterators.

  MathiasVP

  committed
  19c9ea7

  Copy full SHA for 19c9ea7

• C++: Make the vector and iterator classes in 'ir.cpp' more realistic. This matches the one we use for dataflow tests.

  MathiasVP

  committed
  a51fe4a

  Copy full SHA for a51fe4a