440 Commits

Author	SHA1	Message	Date
Tom Hvitved	90ae086822	Shared: Remove deprecated code	2026-04-23 11:24:14 +02:00
Owen Mansel-Chan	7458674470	Merge pull request #21584 from owen-mc/shared/update-mad-comments ... Shared: update code comments explaining models-as-data format to include barriers and barrier guards	2026-04-14 09:30:28 +01:00
Tom Hvitved	33cc887be0	Merge pull request #21592 from hvitved/dataflow/source-call-context-type-flow ... Data flow: Add hook for preventing lambda dispatch in source call contexts	2026-04-09 13:44:42 +02:00
Tom Hvitved	d704b753c8	Fix CP in typeFlowParamType ... Forgot to link `p` with `c` using `nodeEnclosingCallable(p, c)`.	2026-04-09 09:19:55 +02:00
Mathias Vorreiter Pedersen	e06294bcb4	Shared: Respond to review comments.	2026-04-07 11:11:04 +01:00
Tom Hvitved	0d4524f8f3	Address review comments	2026-04-07 11:40:10 +02:00
Tom Hvitved	1e1a8732a3	Data flow: Add hook for preventing lambda dispatch in source call contexts	2026-04-07 11:40:08 +02:00
Mathias Vorreiter Pedersen	4d8b782695	Shared: Also expose dataflow stage 1's forward flow predicate.	2026-04-02 10:56:09 +01:00
Owen Mansel-Chan	37aac05964	Replace branch with acceptingValue	2026-03-27 22:39:10 +00:00
Owen Mansel-Chan	a7fdc4b543	Replace acceptingvalue with acceptingValue	2026-03-27 22:15:45 +00:00
Owen Mansel-Chan	7d65baccb2	Add FlowBarrierGuard to FlowBarrier.qll	2026-03-20 11:08:33 +00:00
Owen Mansel-Chan	f4550544ce	Shared: Add barrierElement in FlowSummaryImpl.qll	2026-03-20 11:06:32 +00:00
Tom Hvitved	db491fc985	Address review comments	2026-03-04 14:53:01 +01:00
Tom Hvitved	189c16095d	Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature	2026-03-04 10:44:23 +01:00
Owen Mansel-Chan	8b936c5dbe	Add missing QLDocs	2026-01-29 16:45:23 +00:00
Tom Hvitved	df09f02981	Shared: Shadow hasManualModel in RelevantSummarizedCallable	2026-01-26 12:40:25 +01:00
Tom Hvitved	4ce04e4749	Shared: Provenance-based filtering of flow summaries	2026-01-26 12:39:37 +01:00
Tom Hvitved	c4a8e9df21	Shared: Prefer source/sink models with manual provenance over generated	2025-12-12 11:16:13 +01:00
Anders Schack-Mulligen	8da65ec6d0	Java: Add support for boolean MaD barrier guards.	2025-12-11 16:24:25 +01:00
Anders Schack-Mulligen	d24b0ff596	Java: Basic support for pass-through barrier models.	2025-12-11 16:24:25 +01:00
Anders Schack-Mulligen	607ad1f886	Merge pull request #20961 from aschackmull/dataflow/flowfrom ... Dataflow: Add flowFrom predicates to mirror flowTo.	2025-12-04 10:09:29 +01:00
Tom Hvitved	ca9d327280	Merge pull request #20915 from hvitved/content-flow-ap-limit ... Shared: Improvements to content-sensitive model generation	2025-12-03 15:54:57 +01:00
Anders Schack-Mulligen	4191b18410	Dataflow: Add flowFrom predicates to mirror flowTo.	2025-12-03 13:46:44 +01:00
Tom Hvitved	666855dbd7	Shared: Improvements to content-sensitive model generation	2025-12-01 21:23:14 +01:00
Owen Mansel-Chan	9481fc9451	Add QLDoc explaining reverseRead	2025-11-26 14:30:23 +00:00
Owen Mansel-Chan	a2e68487ea	Shared: allow exclusions to localFlowIsLocal	2025-11-26 11:00:30 +00:00
Anders Schack-Mulligen	4ea90e06a5	Dataflow: Minor drive-by qldoc addition.	2025-10-29 12:58:56 +01:00
Nora Dimitrijević	462d8c5dc4	Shared: update qldoc	2025-10-28 09:40:48 +01:00
Tom Hvitved	f71cfac40a	Data flow: Add various debug predicates	2025-10-20 09:59:40 +02:00
Alex Eyers-Taylor	193cd46a76	DataFlow: Adress comments on overlay informed dataflow	2025-10-07 17:52:12 +01:00
Alex Eyers-Taylor	7a8d2392ee	Daatflow: Fix bug	2025-10-07 17:52:12 +01:00
Alex Eyers-Taylor	3c110f2eb8	DataFlow: Add code for merging base with overlay.	2025-10-07 17:52:12 +01:00
Alex Eyers-Taylor	c49e2ab2da	DataFlow: Add code to do overlay informed dataflow.	2025-10-07 17:52:12 +01:00
Alex Eyers-Taylor	8c02130bcf	DataFlow: Rearrange files to group the parts that can be shared with overlay aware.	2025-10-07 17:52:12 +01:00
Simon Friis Vindum	45b84ffb31	Rust: Ensure singleton	2025-09-22 14:23:50 +02:00
Simon Friis Vindum	265e8b3623	Shared: Pass SummaryComponentStack to isSource and getSourceType	2025-09-22 14:18:54 +02:00
Asger F	511308746c	DataFlow: Permit local flow between post-update nodes	2025-09-11 14:49:56 +02:00
Anders Schack-Mulligen	09b2c5abf0	BasicBlock: Replace entryBlock predicate with subclass.	2025-09-01 11:48:44 +02:00
Anders Schack-Mulligen	e53b22dfa7	SSA/VariableCapture: Use shared BasicBlock signature.	2025-09-01 11:19:49 +02:00
Anders Schack-Mulligen	bb3abc815f	SSA: Update input to use member predicates.	2025-09-01 11:19:48 +02:00
Anders Schack-Mulligen	3b8234ecec	SSA: Update data flow integration and BarrierGuard interface to use GuardValue.	2025-07-28 11:29:12 +02:00
Kasper Svendsen	b6e56f26c7	Java: Add manual overlay annotations	2025-06-24 10:38:05 +02:00
Kasper Svendsen	81b677a2d9	rename overlay[caller] to overlay[caller?]	2025-06-24 10:25:07 +02:00
Kasper Svendsen	c207cfdeb7	Overlay: Add overlay annotations to Java & shared libraries	2025-06-24 10:25:06 +02:00
Tom Hvitved	41f7138627	Shared: Make sure getMadRepresentation is unique	2025-06-16 14:28:05 +02:00
Mathias Vorreiter Pedersen	0822ded899	Merge pull request #19569 from MathiasVP/fix-return-value-surces-in-mad ... Shared/C++: Handle non-standard return values in MaD flow sources/sinks	2025-05-23 13:58:26 +01:00
Mathias Vorreiter Pedersen	92e0b64307	Shared: Fix QLDoc.	2025-05-23 11:43:27 +01:00
Mathias Vorreiter Pedersen	69ea19cb8b	Shared: Add a 'getReturnValueKind' predicate and use it in 'interpretOutput' and 'interpretInput' to handle non-standard return value input/output. This is needed to support C++'s ReturnValue[**] notation.	2025-05-23 11:16:29 +01:00
Anders Schack-Mulligen	1d30103559	SSA: Distinguish between has and controls branch edge.	2025-05-23 09:56:22 +02:00
Asger F	891b2b8335	DataFlow: Support a bare Argument[n] as a valid output stack	2025-05-12 09:42:45 +02:00