538 Commits

Author	SHA1	Message	Date
Tom Hvitved	4d951d8df1	Address review comments	2023-08-17 21:04:58 +02:00
Jeroen Ketema	33e8310625	Merge branch 'main' into shared-taint-tracking	2023-08-17 00:14:25 +02:00
Tom Hvitved	570654d1f0	Data flow: Earlier call-context based dispatch filtering	2023-08-16 14:24:45 +02:00
Henry Mercer	1213eba630	Merge branch 'main' into post-release-prep/codeql-cli-2.14.2	2023-08-11 13:54:55 +01:00
Tom Hvitved	9b38028e25	Data flow: Fix localWriteStep consistency query	2023-08-10 15:31:04 +02:00
github-actions[bot]	432c21d4fb	Post-release preparation for codeql-cli-2.14.2	2023-08-09 18:45:18 +00:00
Anders Schack-Mulligen	0ca3f3308b	Merge pull request #13478 from aschackmull/java/varcapture ... Java: Add proper support for variable capture flow.	2023-08-08 16:22:56 +02:00
Anders Schack-Mulligen	1cd32722be	Java: More review fixes.	2023-08-08 14:32:48 +02:00
Anders Schack-Mulligen	9d59f50340	Java: Review fixes.	2023-08-08 13:37:40 +02:00
github-actions[bot]	79c90fa36a	Release preparation for version 2.14.2	2023-08-07 18:08:52 +00:00
Jeroen Ketema	8b6a7985db	Refactor the traint-tracking library to follow the dataflow library refactoring	2023-08-07 15:23:15 +02:00
Jeroen Ketema	5d2984b7a5	Merge branch 'main' into shared-taint-tracking	2023-08-07 15:22:29 +02:00
Tom Hvitved	b926a7ebba	Data flow: Update QL doc	2023-08-07 11:35:21 +02:00
Tom Hvitved	4d14311653	Data flow: Rename DataFlowParameter to InputSig	2023-08-07 11:35:21 +02:00
Tom Hvitved	6208175aa9	Data flow: Move DataFlowParameter into DataFlow.qll	2023-08-07 11:35:21 +02:00
Tom Hvitved	0d33c32d8e	Data flow: Move DataFlowImpl(Common).qll into an internal folder	2023-08-07 11:35:21 +02:00
Jeroen Ketema	c4a65e58bb	Add change note	2023-08-04 22:53:33 +02:00
Jeroen Ketema	20b792545d	Add missing QLDoc	2023-08-04 22:52:05 +02:00
Jeroen Ketema	7ba2f7a22a	Address review comments	2023-08-04 22:52:05 +02:00
Jeroen Ketema	bdd64ce86d	Introduce shared taint tracking library	2023-08-04 22:51:55 +02:00
Mathias Vorreiter Pedersen	e066e87890	Update shared/dataflow/codeql/dataflow/DataFlowImpl.qll ... Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>	2023-08-04 11:32:41 +02:00
Mathias Vorreiter Pedersen	eb19052a7d	Apply suggestions from code review ... Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>	2023-08-04 11:10:12 +02:00
Mathias Vorreiter Pedersen	981f67531c	DataFlow: Introduce 'revSinkNode'.	2023-08-04 11:09:08 +02:00
Mathias Vorreiter Pedersen	50f5c4d5f6	DataFlow: Don't support stateless sink nodes in partial flow exploration.	2023-08-03 13:30:05 +02:00
Anders Schack-Mulligen	72171972c3	Apply suggestions from code review ... Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>	2023-08-03 10:04:06 +02:00
Anders Schack-Mulligen	84316c41a3	Java: Add more qldoc.	2023-08-03 10:04:06 +02:00
Anders Schack-Mulligen	90052a3ca2	Java: Add proper types for capture nodes.	2023-08-03 10:04:06 +02:00
Anders Schack-Mulligen	e2a0849a0e	Java: Add more qldoc.	2023-08-03 10:04:06 +02:00
Anders Schack-Mulligen	c5990311ca	Java: Redesign and reimplement variable capture flow.	2023-08-03 10:04:06 +02:00
Anders Schack-Mulligen	f4a05c183b	Shared: Add some qldoc.	2023-08-03 10:04:05 +02:00
Anders Schack-Mulligen	15daa51ee5	Shared: Address review comments and QL4QL alerts.	2023-08-03 10:04:05 +02:00
Anders Schack-Mulligen	d1a616a70a	Java: Add proper support for variable capture flow.	2023-08-03 10:04:02 +02:00
Mathias Vorreiter Pedersen	a5f521cfa4	DataFlow: Add change note.	2023-08-02 14:56:57 +02:00
Mathias Vorreiter Pedersen	b953c4a1cf	DataFlow: Allow stateless sinks.	2023-08-02 14:31:18 +02:00
Anders Schack-Mulligen	1ad51e754e	Dataflow: Rename change note to proper format.	2023-08-02 08:50:51 +02:00
Anders Schack-Mulligen	199d1431d7	Dataflow: Add change note.	2023-08-01 14:02:34 +02:00
Anders Schack-Mulligen	50e7892498	Dataflow: Autoformat/indent.	2023-08-01 13:47:08 +02:00
Anders Schack-Mulligen	d7ea60e137	Java: Move data flow lib.	2023-08-01 13:47:08 +02:00