Jeroen Ketema
|
64004926bc
|
C++: Use a more declarative predicate name
|
2023-10-26 12:07:19 +02:00 |
|
Jeroen Ketema
|
903f376620
|
C++: Define an extractor version table and use in IR generation
|
2023-10-26 12:07:19 +02:00 |
|
Jeroen Ketema
|
990d7161b2
|
Merge pull request #14337 from aschackmull/cpp/container-not-locatable
C++: Remove getLocation from Container.
|
2023-10-25 15:37:57 +02:00 |
|
Anders Schack-Mulligen
|
283d6efdf8
|
Rangeanalysis/Java/C++: Address some ql4ql findings.
|
2023-10-25 14:06:35 +02:00 |
|
Jeroen Ketema
|
dc512728fa
|
C++: Make File extend Locatable
|
2023-10-25 14:05:38 +02:00 |
|
Jeroen Ketema
|
4ea5c13390
|
C++: Add back getLocation in File
|
2023-10-25 14:05:38 +02:00 |
|
Anders Schack-Mulligen
|
7124a53c9c
|
C++: Remove getLocation from Container.
|
2023-10-25 14:05:38 +02:00 |
|
Anders Schack-Mulligen
|
ec39de20d8
|
C++: Convert to qlpack version of core range analysis.
|
2023-10-25 11:17:01 +02:00 |
|
Anders Schack-Mulligen
|
38274db205
|
Rangeanalysis: Parameterise library.
|
2023-10-25 11:17:01 +02:00 |
|
Anders Schack-Mulligen
|
169ba03778
|
Rangeanalysis: Copy C++ version verbatim.
|
2023-10-25 11:17:01 +02:00 |
|
Mathias Vorreiter Pedersen
|
032572b924
|
C++: Fix 'strtok' model.
|
2023-10-25 09:39:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
1fce26534f
|
C++: Remove implied conjunct.
|
2023-10-24 09:25:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
67ed12c916
|
C++: Correctly model that 'operator->', and 'get'
on smart pointers perform a load.
|
2023-10-23 20:11:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
b107c4c641
|
C++: Fix missing result in 'ModelUtil'. The problem was that 'n.asInstruction()' on line 81 wasn't necessarily a 'CallInstruction' (it could be a conversion).
|
2023-10-23 19:34:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
6c10ba2fb1
|
Merge pull request #14495 from github/calumgrant/comp-generated-this
C++: Fix ImplicitThisFieldAccess
|
2023-10-20 15:25:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
0ab159f803
|
Merge pull request #14135 from github/sashabu/frontend-update
C++: Update for changes in frontend.
|
2023-10-19 11:40:24 +01:00 |
|
Jeroen Ketema
|
2a64552979
|
C++: Add support for C23/C++23 floating-point types
|
2023-10-19 10:45:14 +02:00 |
|
Jeroen Ketema
|
5036135f01
|
C++: Fix IR generation for the comma operator
|
2023-10-19 10:45:13 +02:00 |
|
Jeroen Ketema
|
3202bcce70
|
C++: Handle ternary operators whose value category is a prvalue with a load
|
2023-10-19 10:45:12 +02:00 |
|
Jeroen Ketema
|
c60cb136bb
|
C++: Do not generate loads for ParenthesisExprs
|
2023-10-19 10:45:12 +02:00 |
|
Jeroen Ketema
|
4339e18ed6
|
C++: Update IR generation for changes in frontend
|
2023-10-19 10:45:12 +02:00 |
|
Calum Grant
|
6472ed7fe0
|
C++: Fix GVN for ImplicitThisFieldAccess
|
2023-10-18 12:40:55 +01:00 |
|
Calum Grant
|
c51efb1477
|
C++: Tighten up definitions of field accesses
|
2023-10-18 11:39:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
bbf9bcde2a
|
Merge pull request #14482 from MathiasVP/additional-call-targets-for-cpp
C++: Add an abstract class that can be used to extend `viableCallable`
|
2023-10-17 14:57:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
26a665369b
|
C++: Add QLDoc.
|
2023-10-16 14:15:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
7e6857d36b
|
C++: Make 'hasSize' slightly smarter when handling ternary operators.
|
2023-10-16 10:48:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
140ff537c0
|
C++: Split 'defaultViableCallable' and 'viableCallable'.
|
2023-10-13 15:47:02 +01:00 |
|
Calum Grant
|
192c16bbb3
|
C++: Format QL and delete note
|
2023-10-13 13:07:43 +01:00 |
|
Calum Grant
|
552221868f
|
C++: Expand ImplicitThisFieldAccess
|
2023-10-13 12:05:20 +01:00 |
|
Tony Torralba
|
0cea3f8531
|
Remove library annotations
|
2023-10-13 12:46:56 +02:00 |
|
Mathias Vorreiter Pedersen
|
6865ce56bc
|
C++: Add an abstract class that can be used to extend 'viableCallable'.
|
2023-10-12 10:35:36 +01:00 |
|
Henry Mercer
|
1a370bfbbe
|
Merge pull request #14443 from github/post-release-prep/codeql-cli-2.15.0
Post-release preparation for codeql-cli-2.15.0
|
2023-10-11 17:39:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
512c10ec59
|
C++: Use the fully converted expression when converting models to dataflow nodes.
|
2023-10-10 16:45:25 +01:00 |
|
Erik Krogh Kristensen
|
4489e2bf28
|
Merge pull request #14403 from erik-krogh/dDEps
All: delete outdated deprecations
|
2023-10-09 21:04:55 +02:00 |
|
Mathias Vorreiter Pedersen
|
a1d417d8b6
|
Merge pull request #14385 from alexet/ir-debug-perf
CPP: Improve performance of IR debugging
|
2023-10-09 11:21:03 +02:00 |
|
erik-krogh
|
689eda4dae
|
CPP: delete the deprecated AnalysedString class
|
2023-10-09 09:14:54 +02:00 |
|
erik-krogh
|
4bc4e0845d
|
delete the deprecated isBarrierGuard predicate from the shared dataflow library, and its uses
|
2023-10-07 21:48:49 +02:00 |
|
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 |
|
Alex Eyers-Taylor
|
c79ec8c37a
|
CPP: Improve performance of IR debugging
|
2023-10-05 17:35:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
20900dafc0
|
C++: Handle reverse flow when 'nodeTo' is an instruction.
|
2023-10-05 16:28:57 +02:00 |
|
Mathias Vorreiter Pedersen
|
2f39ab1977
|
C++: Project away 'why' to prevent tuple duplication in 'Buffer.qll'.
|
2023-10-05 13:32:52 +02:00 |
|
Mathias Vorreiter Pedersen
|
75c74d50f9
|
C++: Use 'unique' in 'hasIRRepresentationOfIndirectInstruction' similar to how it's done in 'hasIRRepresentationOfIndirectOperand'.
|
2023-10-04 19:00:33 +02:00 |
|
Mathias Vorreiter Pedersen
|
843e9ad254
|
C++: Add more QLDoc.
|
2023-10-04 14:37:05 +02:00 |
|
Henry Mercer
|
f3847b3f51
|
Merge branch 'main' into henrymercer/rc-3.11-mergeback
|
2023-10-03 16:30:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
57d3f3f482
|
C++: Actually propagate the 'isBarrier1' or 'isBarrier2' predicates to the dataflow configurations.
|
2023-10-03 15:58:24 +02:00 |
|
Mathias Vorreiter Pedersen
|
9df5e43fae
|
C++: Block flow through indirect flow through pointer-arithmetic instructions when following flow for the allocation size.
|
2023-10-03 15:31:50 +02:00 |
|
Asger F
|
0d96ed8aee
|
Merge pull request #14305 from asgerf/shared/flow-state-inout-barriers
Shared: add in/out barriers with flow state
|
2023-09-28 11:07:23 +02:00 |
|
Anders Schack-Mulligen
|
2548939849
|
C++: Use shared FileSystem library.
|
2023-09-28 08:58:55 +02:00 |
|
Asger F
|
d501856519
|
Update DataFlowImpl.qll copies
|
2023-09-25 10:05:29 +02:00 |
|
Anders Schack-Mulligen
|
ae278fcad7
|
C++: Fix import conflict.
|
2023-09-22 15:06:21 +02:00 |
|