Michael Nebel
|
19c34be1ea
|
Merge pull request #7297 from michaelnebel/csharp-accessor-flow
C#: Make it possible to define flow for property backing methods.
|
2021-12-02 16:24:19 +01:00 |
|
Michael Nebel
|
f6c36b469a
|
C#: Include test case for override of property.
|
2021-12-02 15:04:01 +01:00 |
|
Michael Nebel
|
8f3be9fbfd
|
C#: Update flow summaries test according to new printing format.
|
2021-12-02 11:28:06 +01:00 |
|
Michael Nebel
|
edf7724579
|
C#: Remove trailing whitespace after comma, when priting callable in CSV format.
|
2021-12-02 11:24:42 +01:00 |
|
Michael Nebel
|
a8f673ffa4
|
C#: Add a test that only prints 'base' flow summaries.
|
2021-12-02 09:03:00 +01:00 |
|
Michael Nebel
|
e08c734c40
|
C#: Refactoring to allow override of the flow summaries reported by a test.
|
2021-12-02 08:54:59 +01:00 |
|
Michael Nebel
|
9e10aee8a1
|
C#: Update the flow summaries test.
|
2021-12-01 14:34:32 +01:00 |
|
Michael Nebel
|
cc2914be3c
|
C#: Include NewtonSoft.Json stubs into the flow summaries test.
|
2021-12-01 14:34:04 +01:00 |
|
Michael Nebel
|
59b71df2d6
|
C#: Use stubs for the CWE-601 testcase.
|
2021-11-30 15:32:19 +01:00 |
|
Michael Nebel
|
0b4d0d2772
|
C#: Use stubs for the CWE-838 testcase
|
2021-11-30 15:32:19 +01:00 |
|
Michael Nebel
|
bab8cfb62a
|
C# Generate stubs for System.Data.SqlClient
|
2021-11-30 15:32:19 +01:00 |
|
Michael Nebel
|
a5b6889478
|
C# Update flow summaries test.
|
2021-11-30 15:32:19 +01:00 |
|
Michael Nebel
|
5dd2d20176
|
C#: Remove overlapping declaration of System.Web.HttpUtility
|
2021-11-30 15:32:18 +01:00 |
|
Michael Nebel
|
7d6664f14d
|
C#: Use NuGet package generated stubs for dependencies for flow summaries test
|
2021-11-30 15:32:18 +01:00 |
|
Michael Nebel
|
e1539889ef
|
C#: Update flow summaries tests
|
2021-11-29 11:35:02 +01:00 |
|
Michael Nebel
|
e24b15bbe7
|
C#: Only create flow summaries for declarations that are effectively public
|
2021-11-29 11:34:21 +01:00 |
|
Michael Nebel
|
9239d4042e
|
Merge pull request #7230 from michaelnebel/csharp-update-netcoreapp-stub
C#: Update the Microsoft.NETCore.App stub
|
2021-11-29 10:08:59 +01:00 |
|
Tom Hvitved
|
fdc94365b4
|
Merge pull request #7178 from michaelnebel/csharp-flowsummary-pp-csv
C#: Initial implementation of csv printing in FlowSummaries test
|
2021-11-29 09:59:33 +01:00 |
|
Michael Nebel
|
b9d0a60ce7
|
C#: Addressed review comments from hvitved
|
2021-11-24 14:35:52 +01:00 |
|
Tom Hvitved
|
1d1780b30f
|
C#: Fix bug in getEnclosingCallable
|
2021-11-24 14:24:01 +01:00 |
|
Tom Hvitved
|
f85fa87f69
|
C#: Add test that illustrates problem with getEnclosingCallable
|
2021-11-24 13:59:29 +01:00 |
|
Michael Nebel
|
c3996b00d5
|
C#: Update the Microsoft.NETCore.App stub
|
2021-11-24 13:09:06 +01:00 |
|
Michael Nebel
|
e153a65216
|
C#: Update flow summaries test for EntityFramework to print results in CSV syntax
|
2021-11-24 12:09:20 +01:00 |
|
Michael Nebel
|
914d3d86af
|
C#: Update flow summaries test to print results in CSV syntax
|
2021-11-24 12:09:20 +01:00 |
|
Michael Nebel
|
e607c51292
|
C#: Initial implementation of csv printing in FlowSummaries test
|
2021-11-24 12:09:20 +01:00 |
|
Tom Hvitved
|
fd0e318eb1
|
C#: Document inconsistency in one test
|
2021-11-19 09:43:51 +01:00 |
|
Tom Hvitved
|
2f7250a0b3
|
Merge pull request #7160 from hvitved/csharp/cfg/static-scope
C#: Extend `(Annotated)ExitNode` to also cover static fields
|
2021-11-18 19:15:06 +01:00 |
|
Tom Hvitved
|
a89be2e3f8
|
C#: Extend (Annotated)ExitNode to also cover static fields
|
2021-11-17 20:50:38 +01:00 |
|
Tom Hvitved
|
3da73b9001
|
C#: Update expected test output
|
2021-11-17 10:49:49 +01:00 |
|
Anders Schack-Mulligen
|
c70d384d28
|
Merge pull request #7045 from aschackmull/dataflow/hidden-ret-subpaths
Data flow: Support hidden return nodes in subpaths predicate
|
2021-11-16 15:04:51 +01:00 |
|
Tom Hvitved
|
67ebebbaeb
|
C#: Add consistency queries
|
2021-11-12 13:10:46 +01:00 |
|
Michael Nebel
|
9ea320c53c
|
Update all PrintAst.qlref to point to new location of PrintAst.ql
|
2021-11-11 15:19:15 +01:00 |
|
Michael Nebel
|
5a4557f588
|
Move PrintAst.ql and update import statement
|
2021-11-11 13:27:12 +01:00 |
|
Tom Hvitved
|
82abab1510
|
C#: Hide parameters of summarized callables
|
2021-11-10 15:11:13 +01:00 |
|
Tamás Vajk
|
18b08060ae
|
Merge pull request #5110 from porcupineyhairs/ssrfCsharp
C# : Add query to detect SSRF
|
2021-11-02 09:50:28 +01:00 |
|
Porcuiney Hairs
|
f70d808e2f
|
fix testcases
|
2021-10-22 00:58:59 +05:30 |
|
Tom Hvitved
|
f9fb046e9f
|
C#: Update expected test output after rebase
|
2021-10-20 12:15:27 +02:00 |
|
Tom Hvitved
|
53d4d72fe5
|
C#: Simplify SummarizedCallableDefaultClearsContent
|
2021-10-20 12:08:58 +02:00 |
|
Tom Hvitved
|
1196d0c624
|
C#: Rework SummarizedCallable::clearsContent/2
|
2021-10-20 12:08:57 +02:00 |
|
Geoffrey White
|
3f3c79f48f
|
Merge pull request #6884 from geoffw0/setliterals
Replace or chains with set literals.
|
2021-10-18 16:46:55 +01:00 |
|
Geoffrey White
|
f08d2ee759
|
Merge branch 'main' into setliterals
|
2021-10-14 14:39:39 +01:00 |
|
Geoffrey White
|
3983587682
|
C#: Set literals.
|
2021-10-14 14:22:39 +01:00 |
|
Tom Hvitved
|
083214f85a
|
C#: Use inline test expectations for FieldFlow.ql
|
2021-10-14 15:22:21 +02:00 |
|
Tom Hvitved
|
ed6a182cd1
|
C#: Adopt inline test expectations framework
|
2021-10-14 15:22:21 +02:00 |
|
Erik Krogh Kristensen
|
a358a192c4
|
add explicit this to all calls to class predicates
|
2021-10-14 10:11:55 +02:00 |
|
Tom Hvitved
|
30bf2aade4
|
C#: Add test for missing summary flow
|
2021-10-11 11:29:08 +02:00 |
|
Tom Hvitved
|
70e41b180e
|
Merge pull request #6800 from hvitved/csharp/constant-cond-tuple-discard
C#: Filter discards in tuples in `ConstantCondition.ql`
|
2021-10-04 14:38:45 +02:00 |
|
Tom Hvitved
|
9762ce706b
|
Merge pull request #6799 from hvitved/csharp/dead-store-using-discard
C#: Filter using `var _ = ... results` from `DeadStoreOfLocal.ql`
|
2021-10-04 14:38:15 +02:00 |
|
Tom Hvitved
|
a315640082
|
C#: Address review comments
|
2021-10-04 13:15:26 +02:00 |
|
Tom Hvitved
|
f06632a8e7
|
C#: Filter discards in tuples in ConstantCondition.ql
|
2021-10-04 13:04:18 +02:00 |
|