Mathias Vorreiter Pedersen
|
7593ebaa62
|
C++: Use 'getAstVariable' now that 'getASTVariable' is deprecated.
|
2022-03-14 13:38:27 +00:00 |
|
Chris Smowton
|
9f02ca0db2
|
Merge pull request #8357 from p0wn4j/jdbc-url-ssrf-sink
Java: Add JDBC connection SSRF sinks
|
2022-03-14 13:27:34 +00:00 |
|
Chris Smowton
|
ca8237b9de
|
Make comment into qldoc
|
2022-03-14 13:14:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
50b77761f1
|
C++: Port the 'predictable' barrier from 'DefaultTaintTracking' to 'cpp/unclear-array-index-validation' to prevent an explosion of new results.
|
2022-03-14 13:14:07 +00:00 |
|
Joe Farebrother
|
e4b762b5c5
|
Improve qldoc; make taint tracking
|
2022-03-14 13:10:34 +00: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 |
|
Mathias Vorreiter Pedersen
|
0bf4ce7cf1
|
Merge pull request #8427 from MathiasVP/fix-bad-join-in-return-stack-allocated-memory
C++: Fix join in `cpp/return-stack-allocated-memory`
|
2022-03-14 12:49:30 +00: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
|
20cbd6b332
|
Java/C#: Include the share files in sync files.
|
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
|
82d93d0f9e
|
Java: Refactor CaptureSummaryModels code to enable re-use in C#.
|
2022-03-14 13:47:20 +01:00 |
|
Michael Nebel
|
ba233ed7a1
|
Java: Rearrange and refactor language specific content into standalone predicates.
|
2022-03-14 13:46:24 +01:00 |
|
Chris Smowton
|
b351d5bc2f
|
Autoformat
|
2022-03-14 12:44:40 +00: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 |
|
Michael Nebel
|
9ca199c9ae
|
Java: Move generic code out of language specific file for model generation.
|
2022-03-14 13:43:45 +01:00 |
|
Michael Nebel
|
a2d9f4f6f4
|
Java: Introduce language specific file for model generator code.
|
2022-03-14 13:40:40 +01:00 |
|
Michael Nebel
|
a1c642685a
|
Java: Re-arrange code in ModelGeneratorUtils.
|
2022-03-14 13:35:56 +01:00 |
|
Erik Krogh Kristensen
|
689f3c0478
|
update some references to deprecated module names
|
2022-03-14 13:28:34 +01:00 |
|
Erik Krogh Kristensen
|
7c4f9f92fb
|
Merge pull request #8422 from erik-krogh/depMore
JS: Address some code that weren't affecting any query result
|
2022-03-14 13:24:08 +01:00 |
|
Chris Smowton
|
f83ea25ead
|
Add change note
|
2022-03-14 12:14:37 +00:00 |
|
Erik Krogh Kristensen
|
548e50c676
|
QL: add quick-eval predicate to detect unqueryable code
|
2022-03-14 13:04:22 +01:00 |
|
Erik Krogh Kristensen
|
2250ebc5e2
|
remove leftover comments
|
2022-03-14 13:04:22 +01:00 |
|
Erik Krogh Kristensen
|
3bf5e06d53
|
delete all dead code
|
2022-03-14 13:03:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
7c411b4bad
|
C++: Respond to review comments
|
2022-03-14 11:57:28 +00:00 |
|
Erik Krogh Kristensen
|
27d41cba7e
|
QL: add ql/dead-code query
|
2022-03-14 12:57:02 +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 |
|
Erik Krogh Kristensen
|
a4525bbb29
|
add change-note
|
2022-03-14 12:22:39 +01:00 |
|