Commits

Breadcrumbs

History for

onb44c458

User selector

All users

All time

Commit History

Commits on Sep 7, 2023

• CPP: Remove sucessors of non-returning IR calls.

  alexet

  committed
  b44c458

  Copy full SHA for b44c458

• CPP: Make functions that reach the end return.

  Show description for d603b7a
  alexet

  committed
  d603b7a

  Copy full SHA for d603b7a

Commits on Sep 5, 2023

• CPP: Handle globals flowing into "UnreacheachedInstruction"

  alexet

  committed
  3db384d

  Copy full SHA for 3db384d

Commits on Aug 31, 2023

• C++: Don't insert loads for constants.

  MathiasVP

  committed
  aed14f2

  Copy full SHA for aed14f2

• Merge pull request #14103 from MathiasVP/non-certain-def-is-a-use

  Show description for 10548b5
  MathiasVP

  authored
  10548b5

  Copy full SHA for 10548b5

• Merge pull request #14100 from hvitved/dataflow/consistency-pack

  Show description for 73370e7
  hvitved

  authored
  73370e7

  Copy full SHA for 73370e7

• Merge pull request #14038 from alexet/delete-ir

  Show description for f5509da
  MathiasVP

  authored
  f5509da

  Copy full SHA for f5509da

Commits on Aug 30, 2023

• CPP: Remove uneeded indirection around delete calls in the IR.

  alexet

  committed
  59a7766

  Copy full SHA for 59a7766

• C++: Add QLDoc to 'isDereference'.

  MathiasVP

  committed
  261ba8e

  Copy full SHA for 261ba8e

• C++: Use data flow consistency checks from shared pack

  hvitved

  committed
  db304d1

  Copy full SHA for db304d1

• C++: Non-exact definitions should always be a use.

  MathiasVP

  committed
  4ca259b

  Copy full SHA for 4ca259b

Commits on Aug 29, 2023

• Merge branch 'main' into reuse-even-more-nodes

  MathiasVP

  committed
  e4a11b8

  Copy full SHA for e4a11b8

• C++: Fix FPs by making 'isArgumentOfCallable' more robust.

  MathiasVP

  committed
  99cc417

  Copy full SHA for 99cc417

• CPP: Fix IR formatting.

  alexet

  committed
  24b679d

  Copy full SHA for 24b679d

• CPP: Handle cases where the deallocator function is determined dynamically.

  alexet

  committed
  3b344c3

  Copy full SHA for 3b344c3

• CPP: Add delete/delete[] calls to the IR.

  alexet

  committed
  689fda4

  Copy full SHA for 689fda4

• Merge pull request #14006 from MathiasVP/promote-invalid-pointer-deref-out-of-experimental

  Show description for d14ad92
  MathiasVP

  authored
  d14ad92

  Copy full SHA for d14ad92

• Merge pull request #14058 from alexet/delete-or-delete-array

  Show description for dbdb433
  MathiasVP

  authored
  dbdb433

  Copy full SHA for dbdb433

Commits on Aug 26, 2023

• Merge branch 'main' into reuse-even-more-nodes

  MathiasVP

  committed
  bb1712b

  Copy full SHA for bb1712b

Commits on Aug 25, 2023

• Apply suggestions from code review

  Show description for ea2140d
  

  alexet

  and

  MathiasVP

  authored
  ea2140d

  Copy full SHA for ea2140d

• CPP: Docs improvements to DeleteOrDeleteArrayExpr

  alexet

  committed
  027ed5e

  Copy full SHA for 027ed5e

• CPP: Use DeleteOrDeleteArrayExpr in another place.

  alexet

  committed
  417b9c9

  Copy full SHA for 417b9c9

• CPP: Replace getAllocatorCall with getDeallocator call.

  alexet

  committed
  a3711e1

  Copy full SHA for a3711e1

• C++: Disable field flow from the 'cpp/invalid-pointer-deref' query.

  MathiasVP

  committed
  89b91ec

  Copy full SHA for 89b91ec

• C++: Add a 'fieldFlowBranchLimit' override to the product flow library.

  MathiasVP

  committed
  c3cf48b

  Copy full SHA for c3cf48b

• CPP: Simplify code using `DeleteOrDeleteArrayExpr`

  alexet

  committed
  04f8ed6

  Copy full SHA for 04f8ed6

• CPP: Add parent class for delete and delete[]

  alexet

  committed
  4ca98bd

  Copy full SHA for 4ca98bd

• CPP:Only consider **argv as tainted.

  alexet

  committed
  a2f2b6c

  Copy full SHA for a2f2b6c

• C++: Add a small amount of pruning to 'SizeBarrierConfig'.

  MathiasVP

  committed
  9c5d735

  Copy full SHA for 9c5d735

• C++: More pruning.

  MathiasVP

  committed
  ded06a7

  Copy full SHA for ded06a7

Commits on Aug 24, 2023

• C++: Fix more joins.

  Show description for bdad9e1
  MathiasVP

  committed
  bdad9e1

  Copy full SHA for bdad9e1

• Fix more joins.

  Show description for d42e892
  MathiasVP

  committed
  d42e892

  Copy full SHA for d42e892

• Fix joins.

  Show description for 4e6707f
  MathiasVP

  committed
  4e6707f

  Copy full SHA for 4e6707f

Commits on Aug 23, 2023

• C++: Share RangeAnalysisUtil with 'cpp/overrun-write'.

  MathiasVP

  committed
  123e587

  Copy full SHA for 123e587

Commits on Aug 22, 2023

• C++: Cache 'getAnInput' since it's now used in several queries.

  MathiasVP

  committed
  bbce7ee

  Copy full SHA for bbce7ee