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 |
|
Asger F
|
8fab235d66
|
DataFlow: Fix typo in a comment
|
2025-05-12 09:41:49 +02:00 |
|
Asger F
|
0fc1ae272e
|
DataFlow: expose from FlowSummaries whether a summary is supported
|
2025-05-01 15:22:12 +02:00 |
|
Jeroen Ketema
|
46b21af3ef
|
Dataflow: Make default field flow branch limit configurable per language
|
2025-04-24 11:02:49 +02:00 |
|
Anders Schack-Mulligen
|
ca6444ce98
|
VariableCapture: Replace phi-read reference with SSA data flow integration module.
|
2025-03-31 10:49:09 +02:00 |
|
Geoffrey White
|
1b35c0b7c9
|
Data flow: Improve doc for defaultImplicitTaintRead.
|
2025-02-28 09:43:57 +00:00 |
|
Geoffrey White
|
24411b61e9
|
Fix typo.
|
2025-02-24 13:59:22 +00:00 |
|
Anders Schack-Mulligen
|
0b5270979d
|
SSA: Remove the need for ExitBasicBlock in SSA.
|
2025-02-10 14:36:18 +01:00 |
|
Tom Hvitved
|
0f52fe92cf
|
Data flow: Add aliases for removing DataFlow prefixes
|
2025-02-05 10:57:16 +01:00 |
|
Anders Schack-Mulligen
|
73d7250688
|
Dataflow: Fix join-order issue.
|
2025-02-04 10:47:02 +01:00 |
|
Anders Schack-Mulligen
|
da34c0b3ac
|
Dataflow: Fixup some qldoc.
|
2025-02-04 10:47:01 +01:00 |
|
Anders Schack-Mulligen
|
e55130ebce
|
Dataflow: Remove unused predicate.
|
2025-02-04 10:47:00 +01:00 |
|
Anders Schack-Mulligen
|
2597ef651b
|
Dataflow: Avoid duplication in fwdFlow1 disjunction.
|
2025-02-04 10:47:00 +01:00 |
|