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 |
|
Robert Marsh
|
da5e3d64ac
|
C++: autoformat
|
2024-02-23 16:20:42 +00:00 |
|
Robert Marsh
|
dd97584eff
|
C++: fix for duplicated parent of ReturnVoid statements
|
2024-02-23 16:19:34 +00:00 |
|
Tom Hvitved
|
62b16c0fa3
|
Share getFileBySourceArchiveName implementation
|
2024-02-23 11:25:49 +01:00 |
|
Robert Marsh
|
6f7f68fee8
|
Merge branch 'main' into rdmarsh2/cpp/ir-synthetic-destructors
|
2024-02-22 18:10:13 +00:00 |
|
Robert Marsh
|
942a4ed925
|
C++: move handlesDestructorsExplicitly up to TranslatedReturnStmt
|
2024-02-22 16:46:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
0bf29f0a62
|
Merge branch 'main' into model-experiments
|
2024-02-22 15:05:53 +00:00 |
|
Mathias Vorreiter Pedersen
|
350d5bf0ce
|
C++: Update QLDoc on 'modeledFlowBarrier'.
|
2024-02-22 13:30:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
671904d58c
|
C++: Fix QLoc on 'PartialFlowFunction'.
|
2024-02-22 13:27:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
aca3970c33
|
C++: Fix QLoc on 'isPartialWrite'.
|
2024-02-22 13:25:13 +00:00 |
|
Robert Marsh
|
875ab74c28
|
Merge branch 'main' into rdmarsh2/cpp/ir-synthetic-destructors
Fixes conflicts in C++ IR tests and Stmt.qll
|
2024-02-21 21:34:49 +00:00 |
|
Robert Marsh
|
66743fb0db
|
C++: refactor TranslatedReturnStmt
|
2024-02-21 20:50:30 +00:00 |
|
Robert Marsh
|
e0c7849f52
|
C++: fix incorrect use of getChildInternal
|
2024-02-21 20:35:58 +00:00 |
|
github-actions[bot]
|
37f8fa3413
|
Post-release preparation for codeql-cli-2.16.3
|
2024-02-20 16:50:47 +00:00 |
|
Geoffrey White
|
5787dcc82d
|
C++: Make getStaticCallTarget() return a DataFlowCallable.
|
2024-02-20 14:49:51 +00:00 |
|
Geoffrey White
|
356214c11b
|
C++: Implement SummaryReturnNode.
|
2024-02-20 14:48:02 +00:00 |
|
Geoffrey White
|
5683092d6a
|
C++: Implement SummaryParameterNode.
|
2024-02-20 14:48:02 +00:00 |
|