Mathias Vorreiter Pedersen eb3f1967a5 Merge pull request #14365 from MathiasVP/disable-flow-through-pointer-arith-for-size ...

C++: Disable size-flow through pointer arithmetics in `cpp/invalid-pointer-deref`

2023-10-06 10:14:31 +02:00

..

dataflow

Merge pull request #14365 from MathiasVP/disable-flow-through-pointer-arith-for-size

2023-10-06 10:14:31 +02:00

implementation

C++: Only add conversion when necessary.

2023-09-18 11:46:11 +01:00

internal

C++: Make implicit this receivers explicit

2023-05-09 15:35:54 +02:00

IR.qll

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

IRConfiguration.qll

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

IRConsistency.ql

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

PrintIR.ql

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

PrintIR.qll

C++: Rename shouldPrintFunction to shouldPrintDeclaration

2023-07-19 16:55:43 +02:00

ValueNumbering.qll

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00