Michael Nebel
bf4dc0034a
C#: Use Gvn comparison instead of StructuralComparisonConfiguration in Guards.
2022-03-14 14:17:56 +01:00
Michael Nebel
90b4eb9e13
C#: Use Gvn comparison instead of StructuralComparisonConfiguration in UnsafeLazyInitialization.
2022-03-14 14:17:56 +01:00
Michael Nebel
74b8e73133
C#: Use Gvn comparison instead of StructuralComparisonConfiguration in MissedTernaryOpportunity.
2022-03-14 14:17:56 +01:00
Michael Nebel
94999d4df5
C#: Use Gvn comparison instead of StructuralComparisonConfiguration in UselessIsBeforeAs.
2022-03-14 14:17:56 +01:00
Michael Nebel
8e7c7d8259
C#: Use Gvn comparison instead of StructuralComparisonConfiguration in UselessNullCoalescingExpression.
2022-03-14 14:17:56 +01:00
Michael Nebel
4a1981edfd
C#: Use Gvn comparison instead of StructuralComparisonConfiguration in NestedLoopsSameVariable.
2022-03-14 14:17:56 +01:00
Michael Nebel
b4f2fc60ec
C#: Use Gvn comparison instead of StructuralComparisonConfiguration in SelfAssignment.
2022-03-14 14:17:56 +01:00
Michael Nebel
f241eef2ea
C#: Use Gvn comparison instead of StructuralComparisonConfiguration in structuralComparison test.
2022-03-14 14:17:56 +01:00
Michael Nebel
6f5b2e8440
C#: Use Gvn comparison instead of StructuralComparisonConfiguration in UseTryGetValue.
2022-03-14 14:17:56 +01:00
Michael Nebel
21bcaf6a0e
C#/Java: After remaining code after rebase.
2022-03-14 14:08:49 +01:00
Michael Nebel
74352925e4
C#/Java: Remove inline from returnNodeEnclosingCallable.
2022-03-14 13:50:55 +01:00
Michael Nebel
48dc9d7057
C#/Java: Move containerContent to DataFlowPrivate.
2022-03-14 13:50:55 +01:00
Michael Nebel
b7803ef0b1
C#: Introduce SyntheticFieldContent in RelevantContent.
2022-03-14 13:50:55 +01:00
Michael Nebel
12ff2c6cd5
C#/Java: Improve comments in CaptureSummaryModels.
2022-03-14 13:50:55 +01:00
Michael Nebel
3ad9731e91
C#/Java: Add some more QL docs.
2022-03-14 13:50:50 +01:00
Michael Nebel
2476e716a2
C#: Move the isRelevantTaintStep and isRelevantContent into the shared utils.
2022-03-14 13:49:52 +01:00
Michael Nebel
665e3c9326
C#: Re-factor containerContent into standalone predicate in DataFlow library.
2022-03-14 13:49:51 +01:00
Michael Nebel
5d03e510d2
C#/Java: Include synthetic fields in isRelevantContent.
2022-03-14 13:49:51 +01:00
Michael Nebel
d881d31959
C#: Remove comma from QL Doc.
2022-03-14 13:49:51 +01:00
Michael Nebel
cd03af3be4
C#: Get rid of the isOwnInstanceAccess based on ReturnStmt.
2022-03-14 13:49:46 +01:00
Michael Nebel
34a91f1aac
C#: Rename CaptureSummaryModelsQuery to CaptureSummaryModels.
2022-03-14 13:48:56 +01:00
Michael Nebel
94a840e96b
C#: Add some more testcases for flow summary generation.
2022-03-14 13:48:56 +01:00
Michael Nebel
36e0c683bd
C#: Add QL Doc to the primary predicate used for capturing flow.
2022-03-14 13:48:56 +01:00
Michael Nebel
e8aacb710e
C#: Add file level QL Doc to Capture Summary models specific implementations.
2022-03-14 13:48:56 +01:00
Michael Nebel
d114582b56
C#: Add QLDoc to the shared Capture summary models library.
2022-03-14 13:48:51 +01:00
Michael Nebel
8d2593ba0c
C#: Add expected output from running the test.
2022-03-14 13:47:24 +01:00
Michael Nebel
4d46b581c3
C#: Add some initial examples.
2022-03-14 13:47:24 +01:00
Michael Nebel
75b4632815
C#: Add test query.
2022-03-14 13:47:24 +01:00
Michael Nebel
b08e696d42
C#: Add query.
2022-03-14 13:47:24 +01:00
Michael Nebel
31a374afa3
C#: Add copy of the shared CaptureSummaryModels logic.
2022-03-14 13:47:24 +01:00
Michael Nebel
e5cce6cca3
C#: Add initial implementation of specific predicates needed to capture summary models.
2022-03-14 13:47:24 +01:00
Michael Nebel
6259ecfc12
C#: Add copy of shared functionality.
2022-03-14 13:43:51 +01:00
Michael Nebel
dadc143b60
C#: Add printer predicates for parameter and return nodes.
2022-03-14 13:43:51 +01:00
Michael Nebel
2b90b5ff62
C#: Add isRelevant predicates.
2022-03-14 13:43:51 +01:00
Michael Nebel
81c8cac77e
C#: Add partial model printer for TargetApi class.
2022-03-14 13:43:51 +01:00
Michael Nebel
9c6ed0ade3
C#: Add TargetAPI class.
2022-03-14 13:43:51 +01:00
Erik Krogh Kristensen
3bf5e06d53
delete all dead code
2022-03-14 13:03:31 +01:00
Chris Smowton
aada8d3af9
Merge pull request #8405 from smowton/smowton/fix/range-analysis-use-ranked-phi-nodes
...
C#/Java: Range analysis: use ranked phi nodes
2022-03-14 11:55:55 +00:00
Jeroen Ketema
4c2081b7fc
Merge pull request #8401 from jketema/taint-flow
...
Extend taint tracking interface with flow states
2022-03-14 12:06:10 +01:00
Erik Krogh Kristensen
bbb2847ec1
Merge pull request #8323 from erik-krogh/acronyms
...
Enforcing consistent casing of acronyms
2022-03-14 11:38:25 +01:00
Jeroen Ketema
c832b21fbe
Add change notes for changes to the taint tracking library
2022-03-14 10:38:48 +01:00
Tom Hvitved
06b8f74644
C#: Avoid combinatorial explosion in structural comparison library
...
In cases where the target of a call/access has multiple values (which is a DB
inconsistency), the GVN construction underlying the structural comparision library
may run into a combinatorial explosion. This change excludes such expressions from
the GVN construction.
2022-03-14 09:07:45 +01:00
Chris Smowton
579b57cf67
Range analysis: use ranked phi nodes
...
This borrows a technique (and the implementing code) off Modulus analysis.
2022-03-11 12:32:12 +00:00
Erik Krogh Kristensen
1e365611fc
fix all other implicit-this warnings introduced by the acronym patch
2022-03-11 13:22:07 +01:00
Erik Krogh Kristensen
2e2970128e
fix typo in change-note
2022-03-11 13:16:34 +01:00
Jeroen Ketema
cd28f09ae0
Extend taint tracking interface with flow states
2022-03-11 11:50:35 +01:00
Erik Krogh Kristensen
1a275a32f7
add change-notes
2022-03-11 11:18:14 +01:00
Erik Krogh Kristensen
23191b1f2c
C#: rename XmlComment to XmlCommentLine to avoid naming conflict
2022-03-11 11:10:38 +01:00
Erik Krogh Kristensen
69353bb014
patch upper-case acronyms to be PascalCase
2022-03-11 11:10:33 +01:00
Erik Krogh Kristensen
122ab6e6d8
C#: fix some ql/non-doc-block warnings
2022-03-11 11:02:58 +01:00
