Jeroen Ketema
|
67b3670d06
|
Merge pull request #15901 from jketema/destructors11
C++: Introduce re-use expressions in the database scheme
|
2024-03-13 18:27:28 +01:00 |
|
Geoffrey White
|
8d3fc735ea
|
C++: Fix compilation issue in UseAfterFree.qll.
|
2024-03-13 17:03:00 +00:00 |
|
Jeroen Ketema
|
8d5eab401d
|
C++: Introduce re-use expressions in the database scheme
|
2024-03-13 13:28:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
bcd36b1994
|
C++: Recognize glib allocations and deallocations.
|
2024-03-13 11:39:15 +00:00 |
|
Geoffrey White
|
cbacd51337
|
C++: Make Argument[-1] refer to *this rather than this.
|
2024-03-12 17:51:43 +00:00 |
|
Geoffrey White
|
900c8b71d8
|
C++: Complete the SummaryCall class.
|
2024-03-12 14:23:00 +00:00 |
|
Geoffrey White
|
a27949cffa
|
C++: Set certain = true in storeStepImpl.
|
2024-03-12 14:08:20 +00:00 |
|
Tom Hvitved
|
dddba3228b
|
Merge pull request #15867 from hvitved/dataflow/ap-limit
Data flow: Add `ConfigSig::accessPathLimit`
|
2024-03-12 14:57:51 +01:00 |
|
Tom Hvitved
|
1c57e99686
|
C++: Implement new data flow interface
|
2024-03-11 20:56:38 +01:00 |
|
Geoffrey White
|
026a13b4db
|
C++: Change Node/Node0.getEnclosingCallable back to returning Declaration.
|
2024-03-11 12:22:55 +00:00 |
|
Tom Hvitved
|
da66281fef
|
Sync files
|
2024-03-11 13:02:04 +01:00 |
|
Geoffrey White
|
4bc272da73
|
C++: Doc correction and TODOs for interpretOutput, interpretInput.
|
2024-03-11 10:16:46 +00:00 |
|
Geoffrey White
|
e8d0f1fa3e
|
C++: Comments.
|
2024-03-08 18:25:01 +00:00 |
|
Mathias Vorreiter Pedersen
|
cf162aa412
|
C++: Add an explicit definition of the address of an IRVariable.
|
2024-03-06 18:18:33 -08:00 |
|
Mathias Vorreiter Pedersen
|
84797b9091
|
C++: Refactor the address out of 'DefImpl' and into a new abstract class 'OperandBasedDef'.
|
2024-03-06 18:15:52 -08:00 |
|
github-actions[bot]
|
dc9092c9ec
|
Post-release preparation for codeql-cli-2.16.4
|
2024-03-06 22:19:33 +00:00 |
|
github-actions[bot]
|
2f058ffb4d
|
Release preparation for version 2.16.4
|
2024-03-06 20:56:51 +00:00 |
|
Angela P Wen
|
ce31f8641a
|
Revert "Release preparation for version 2.16.4"
|
2024-03-06 12:07:33 -08:00 |
|
Geoffrey White
|
23fd3f62ac
|
C++: Add models-as-data case to allowParameterReturnInSelf.
|
2024-03-06 16:12:46 +00:00 |
|
Geoffrey White
|
18d9573b6a
|
C++: Add summaryLocalStep as well.
|
2024-03-06 16:12:46 +00:00 |
|
Geoffrey White
|
8c0f02ac4b
|
C++: Add summary jumpStep, readStep, storeStep.
|
2024-03-06 14:51:48 +00:00 |
|
Jeroen Ketema
|
66d2a8499d
|
Merge pull request #15816 from MathiasVP/remove-ssa-pruning-stage
C++: Remove the pruning stage from dataflow SSA
|
2024-03-06 11:04:05 +01:00 |
|
Robert Marsh
|
fbbd57b34f
|
C++: Suppress epxr destructors in preparation for temporaries
|
2024-03-05 21:12:12 +00:00 |
|
Mathias Vorreiter Pedersen
|
f400228037
|
C++: Remove the pruning stage from SSA.
|
2024-03-05 12:55:55 -08:00 |
|
github-actions[bot]
|
661e68dab5
|
Release preparation for version 2.16.4
|
2024-03-05 18:13:58 +00:00 |
|
Geoffrey White
|
3657269d3e
|
C++: Autoformat.
|
2024-03-05 17:35:05 +00:00 |
|
Geoffrey White
|
d1fc700735
|
C++: Fill out some QLDoc.
|
2024-03-05 17:34:48 +00:00 |
|
Geoffrey White
|
7675f153ce
|
C++: Add SummaryOutNode class.
|
2024-03-05 17:32:54 +00:00 |
|
Angela P Wen
|
967963a653
|
Revert "Release preparation for version 2.16.4"
|
2024-03-05 08:53:33 -08:00 |
|
Robert Marsh
|
28e1e3a13a
|
C++: remove skeleton for IR destructors on expressions
|
2024-03-04 21:54:18 +00:00 |
|
github-actions[bot]
|
a67218a027
|
Release preparation for version 2.16.4
|
2024-03-04 17:42:08 +00:00 |
|
Geoffrey White
|
d1a2048134
|
C++: Add SummaryPostUpdateNode class.
|
2024-03-01 16:03:37 +00:00 |
|
Geoffrey White
|
340a17dd74
|
C++: Attempt to QLDoc OutNode better.
|
2024-03-01 16:03:37 +00:00 |
|
Geoffrey White
|
f649939d78
|
C++: Allow flow through (previously missing) summary taint steps.
|
2024-03-01 15:56:44 +00:00 |
|
Geoffrey White
|
2e5f7dc8fc
|
C++: QLDoc (mostly placeholder).
|
2024-03-01 09:59:31 +00:00 |
|
Geoffrey White
|
8faad92cfd
|
C++: Define DataFlowCallable.getUnderlyingCallable and use it to fix some issues.
|
2024-03-01 09:59:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
4474b54662
|
C++: Add more QLDoc.
|
2024-02-29 12:09:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
46b47db78e
|
C++: Rename IPA branch.
|
2024-02-29 12:02:13 +00:00 |
|
Mathias Vorreiter Pedersen
|
a7f0966fcb
|
C++: Restrict 'VariableNode's to only be global-like variables (which is the only place where use them for).
|
2024-02-28 19:12:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
ddd5113c02
|
C++: Ensure that we can construct an 'IRType' from a 'RoutineType'.
|
2024-02-27 17:58:52 +00:00 |
|
Geoffrey White
|
0df10bda0c
|
C++: Post-merge fixup.
|
2024-02-27 17:32:59 +00:00 |
|
Geoffrey White
|
1da611cc02
|
Merge branch 'main' into mad
|
2024-02-27 17:29:45 +00:00 |
|
Geoffrey White
|
bc42e2bc35
|
C++: Workaround to get the tests passing again.
|
2024-02-27 17:28:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
bba152da13
|
Merge branch 'main' into ir-for-vacuous-destructor-calls
|
2024-02-27 15:42:46 +00:00 |
|
Mathias Vorreiter Pedersen
|
f7b2de800b
|
Merge pull request #15506 from rdmarsh2/rdmarsh2/cpp/ir-synthetic-destructors
C++: Add implicit destructors for named variables to the IR
|
2024-02-27 15:12:46 +00:00 |
|
Mathias Vorreiter Pedersen
|
9eaa4e19ad
|
C++: Add IR construction for vacuous destructor calls.
|
2024-02-27 13:53:42 +00:00 |
|
Robert Marsh
|
a513598a4d
|
C++: Change note for IR named destructors.
|
2024-02-26 19:41:56 +00:00 |
|
Geoffrey White
|
408a550467
|
Merge pull request #15727 from geoffw0/qldoc4
C++: Mark internal files in the old dataflow library as deprecated
|
2024-02-26 17:45:05 +00:00 |
|
Geoffrey White
|
2e66392353
|
C++: Update deprecated note to respect identical files.
|
2024-02-26 16:38:27 +00:00 |
|
Geoffrey White
|
5c4543f167
|
C++: Mark internal files in the old dataflow library as deprecated (the public imports already are).
|
2024-02-26 14:49:10 +00:00 |
|