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 |
|
Geoffrey White
|
1ace9ee50f
|
C++: Create a proper class for DataFlowCallable, that includes summarized callables.
|
2024-02-20 14:48:02 +00:00 |
|
Geoffrey White
|
e1a5a84253
|
C++: Create a proper class for DataFlowCall, that includes summarized callables.
|
2024-02-20 14:48:02 +00:00 |
|
github-actions[bot]
|
6d061fbc35
|
Release preparation for version 2.16.3
|
2024-02-20 14:26:23 +00:00 |
|
Jeroen Ketema
|
2becb3043e
|
Merge pull request #15638 from jketema/destructors5
C++: Support C++20 range-based for initializers
|
2024-02-19 16:22:23 +01:00 |
|
Robert Marsh
|
2494b7d801
|
C++: fix for IR CFG problem with return in if
|
2024-02-16 21:08:21 +00:00 |
|
Geoffrey White
|
6e13b877bb
|
C++: Add FlowSummaryNode and test it.
|
2024-02-16 18:06:57 +00:00 |
|
Jeroen Ketema
|
dd39fa0bde
|
C++: Support C++20 range-based for initializers
|
2024-02-16 15:20:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
06ff46091d
|
C++: Fix joins in 'controlsBlock'.
|
2024-02-16 14:49:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
b407c86d03
|
C++: Make Code Scanning happy.
|
2024-02-16 13:51:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
57c1bf5835
|
C++: Add file-level QLDoc.
|
2024-02-16 13:47:02 +01:00 |
|
Geoffrey White
|
e187a4a7d6
|
C++: Add flow summaries to simpleLocalFlowStep.
|
2024-02-16 12:31:17 +00:00 |
|