Michael Nebel
|
b0a24a7a44
|
C#: Change the implementation on getAnInput and getAnOutput based on hvitveds recommendations.
|
2022-03-29 14:52:57 +02:00 |
|
Michael Nebel
|
c2196a04aa
|
C#: Update the description of the telemetry queries.
|
2022-03-29 14:52:57 +02:00 |
|
Michael Nebel
|
bfb206c810
|
C#: Let ExternalApi extend DataFlowCallable instead of Callable.
|
2022-03-29 14:52:57 +02:00 |
|
Michael Nebel
|
e1d4c1b68c
|
C#/Java: Reorder code in terms of dependency, rename ExternalAPI to ExternalApi and add some missing predicate qualifiers.
|
2022-03-29 14:52:52 +02:00 |
|
Michael Nebel
|
4f00666591
|
C#: Add query and test case for supported external taint.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
03c1bf6d87
|
C#: Mark Xunit as uninteresting.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
18b1b51d07
|
C#: Add test for known sources telemetry query.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
1f1059bfc6
|
C#: Add telemetry query for supported sources.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
a7ece69f2b
|
C#: Add test for supported sinks query.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
d81e73f9c6
|
C#: Add telemetry query for supported sinks.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
e4f6321851
|
C#: Add test for unsupported uses of library code.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
e014cae7df
|
C#: Add test and output for all library usages.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
7cef859253
|
C#: Add sample code file that calls both supported and unsupported library code with respect to flow summaries.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
918a6c7425
|
C#: Telemetry query for measuring (unsupport dataflow) library usage.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
c023808657
|
C#: Telemetry query for measuring all library usage.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
0650c6d395
|
C#: Add initial port of the java implementation of ExternalAPI.qll.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
e9070b010b
|
C#: Add getCall predicate to ArgumentNode.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
c552ab4138
|
Java: Remove duplicate import statement in ExternalAPI.qll.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
c3ac5aba57
|
Merge pull request #8482 from michaelnebel/csharp/capturesourcesink-models
C#: Capture[Source|Sink]Models utility.
|
2022-03-29 14:43:10 +02:00 |
|
yoff
|
3416f074e8
|
Update python/ql/src/Security/CWE-352/CSRFProtectionDisabled.ql
Explain why `TestScope` is not used.
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
|
2022-03-29 13:59:04 +02:00 |
|
Dave Bartolomeo
|
c9f79047b3
|
Improve QLDoc
|
2022-03-29 07:27:45 -04:00 |
|
Dave Bartolomeo
|
01c747ccb7
|
Remove debugging code
|
2022-03-29 07:14:51 -04:00 |
|
Dave Bartolomeo
|
820beed085
|
Remove Java portion (moved to separate PR)
|
2022-03-29 07:09:33 -04:00 |
|
Tony Torralba
|
e564481e9f
|
Organize imports
|
2022-03-29 11:38:24 +02:00 |
|
Asger F
|
68575f3655
|
Merge pull request #8579 from asgerf/js/literal-csv-rows
JS: write all CSV rows as literals
|
2022-03-29 11:13:19 +02:00 |
|
Michael Nebel
|
8e60073d5a
|
Java: Remove dataflow imports for java.qll.
|
2022-03-29 11:07:58 +02:00 |
|
Michael Nebel
|
f734edf8ff
|
C#/Java: Minor refactor and re-arranging of code to align the CaptureModel specific implementations.
|
2022-03-29 11:07:58 +02:00 |
|
Michael Nebel
|
dd267b353a
|
C#: Move isRelevantMemberAccess out of PropagateToSinkConfigurationSpecific.
|
2022-03-29 11:07:58 +02:00 |
|
Michael Nebel
|
3933dfa78e
|
Java: Make imports private and add parts of the dataflow library to java.qll (same as in C#).
|
2022-03-29 11:07:58 +02:00 |
|
Michael Nebel
|
ad90c55bc6
|
C#: Improve encapsulation in CaptureModelsSpecific.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
26d5eb64b3
|
C#/Java: Initial merge ModelGeneratorUtils into CaptureModels.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
9b7691a5fc
|
C#/Java: Address comments on re-exposing functionality.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
1710b66003
|
C#/Java: Some minor variable name changes and QL Doc updates.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
4298024cd6
|
C#: Refactor isRelevantForModels.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
5970fd9904
|
C#: Also include property reads in possible new sink discovery. Only include public fields and properties.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
8a65efbae4
|
C#/Java: Add isRelevantSinkKind predicate with language specific implementation.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
0009d781d7
|
Java: Make most imports private.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
1c7d764d54
|
C#: Make most module imports private.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
ad27a5a1a6
|
C#/Java: Add some more QL Doc to the CaptureModels[Specific] implementation.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
62dcbff67f
|
C#: Update sync files config.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
5d62c48890
|
C#/Java: Move libraries to internal folder as these are for internal use only.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
3d2ce57c9e
|
Java: Collapse all the specific code for summary, source and sink models into a single file.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
43c9f9d7bb
|
C#: Collapse all the specific code for summary, source and sink models into a single file.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
852d8a2770
|
Java: Collapse all the shared code for summary, source and sink models into a single file.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
4f2227f206
|
C#: Collapse all the shared code for summary, source and sink models into a single file.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
79fd2e6a40
|
C#/Java: Make configurations private and sprinkle some QL Doc.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
6194d5cf63
|
C#: Add test for CaptureSinkModel query.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
5babb0e66a
|
C#: Update stubs to include one more known sink method.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
858508fa33
|
C#: Make sure that language independent parts of CaptureSinkModels is in sync.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
db21a6a0f3
|
C#: Add CaptureSummaryModels query.
|
2022-03-29 11:07:57 +02:00 |
|