Tom Hvitved
|
1c68d3f4cd
|
Merge pull request #6309 from hvitved/csharp/dead-store-of-local-perf
C#: Improve performance of `DeadStoreOfLocal.ql`
|
2021-07-17 10:56:35 +02:00 |
|
Tom Hvitved
|
25706e0812
|
Merge pull request #6303 from hvitved/csharp/get-qual-name-nomagic
C#: Two `pragma` performance fixes
|
2021-07-17 07:53:35 +02:00 |
|
Tom Hvitved
|
45ee21622d
|
C#: Cache NamedElement::getQualifiedName()
|
2021-07-16 10:25:07 +02:00 |
|
Tom Hvitved
|
8321d5f312
|
Merge pull request #6293 from hvitved/csharp/ssa/remove-redundant-conjunct
C#: Remove redundant conjunct in `ssaDefReachesReadWithinBlock`
|
2021-07-16 06:15:34 +02:00 |
|
Tom Hvitved
|
c53502a84a
|
C#: Improve performance of DeadStoreOfLocal.ql
|
2021-07-15 22:26:07 +02:00 |
|
Tom Hvitved
|
4180528d02
|
C#: Do not inline getLeafTypeAt
|
2021-07-15 15:41:16 +02:00 |
|
Tom Hvitved
|
7e4d761aa3
|
C#: Add nomagic to NamedElement::getQualifiedName()
|
2021-07-15 15:40:26 +02:00 |
|
Arthur Baars
|
a47002c6d8
|
Merge pull request #6302 from github/aibaars/drop-spaces
C# remove spurious spaces in <code> tag
|
2021-07-15 14:57:21 +02:00 |
|
Arthur Baars
|
e387d602b2
|
C# remove spurious spaces in <code> tag
|
2021-07-15 14:38:01 +02:00 |
|
Anders Schack-Mulligen
|
8ccdd4fb9f
|
Merge pull request #6211 from aschackmull/dataflow/refactor-call-context-check
Dataflow: Refactor call context check
|
2021-07-15 12:27:23 +02:00 |
|
Tom Hvitved
|
caf88a2d31
|
C#: Remove redundant conjunct in ssaDefReachesReadWithinBlock
|
2021-07-15 12:25:33 +02:00 |
|
Anders Schack-Mulligen
|
11fc23ba09
|
Merge pull request #6030 from smowton/smowton/admin/test-generator
Add test-generator script + add generated models for Spring summary steps
|
2021-07-14 14:44:07 +02:00 |
|
Anders Schack-Mulligen
|
0ccb213ec5
|
Dataflow: Sync.
|
2021-07-14 10:36:09 +02:00 |
|
Tom Hvitved
|
febebed15e
|
Data flow: Use cached predicates from DataFlowImplCommon in FlowSummaryImpl.qll
|
2021-07-13 16:15:00 +02:00 |
|
Tom Hvitved
|
cb1b227c87
|
Merge pull request #6270 from hvitved/csharp/standalone-nuget-restore
C#: Skip `dotnet restore` in standalone extraction when `nuget_restore: false` is set
|
2021-07-13 13:36:40 +02:00 |
|
Tom Hvitved
|
6ba6d9931c
|
C#: Skip dotnet restore in standalone extraction when nuget_restore: false is set
|
2021-07-12 15:16:16 +02:00 |
|
Tom Hvitved
|
09daf86e33
|
Data flow: Fix bad join-orders in summaryNodeType
|
2021-07-12 12:09:06 +02:00 |
|
Tom Hvitved
|
4de4753c67
|
C#: Remove Query.qll top-level modules
|
2021-07-04 09:35:27 +02:00 |
|
Tom Hvitved
|
c812d4e4e8
|
C#: Add Query suffix to libraries that should only be imported by queries
|
2021-07-04 09:35:26 +02:00 |
|
github-actions[bot]
|
55aff21587
|
Add changed framework coverage reports
|
2021-07-02 00:09:02 +00:00 |
|
Tamás Vajk
|
05842dcdb3
|
Merge pull request #6181 from tamasvajk/feature/test-options-files
C#: Start using 'options' files in tests
|
2021-07-01 17:03:27 +02:00 |
|
Tamas Vajk
|
5e2770339f
|
Add adjusted expected files
|
2021-07-01 16:09:11 +02:00 |
|
Tamas Vajk
|
03d1a3e0ad
|
Trim test files + remove duplicate newlines
|
2021-07-01 16:09:11 +02:00 |
|
Tamas Vajk
|
4900ecfabe
|
Manual fixes
|
2021-07-01 16:09:11 +02:00 |
|
Tamas Vajk
|
c29d11087b
|
C#: Start using 'options' files in tests
|
2021-07-01 16:08:47 +02:00 |
|
Anders Schack-Mulligen
|
37f8794d01
|
Merge pull request #6165 from edoardopirovano/fix-regression
Performance: Improve join order in data flow library
|
2021-07-01 14:13:18 +02:00 |
|
Tamás Vajk
|
10a6089739
|
Merge pull request #6148 from tamasvajk/feature/try-csv-source-models
C#: Start using CSV based flow models
|
2021-06-30 12:58:42 +02:00 |
|
Tamas Vajk
|
0946ae2ae9
|
Fix review findings
|
2021-06-30 11:39:51 +02:00 |
|
Edoardo Pirovano
|
8354f66c29
|
Performance: Improve join order in data flow library
|
2021-06-29 18:23:22 +01:00 |
|
Chris Smowton
|
bb5fefa47f
|
Sync FlowSummaryImpl.qll
|
2021-06-29 15:59:55 +01:00 |
|
Chris Smowton
|
28ab4c083b
|
Make interpretSpec/3 private again
|
2021-06-29 15:59:43 +01:00 |
|
Chris Smowton
|
036733d3e7
|
Sync FlowSummaryImpl.qll
|
2021-06-29 15:59:43 +01:00 |
|
Tom Hvitved
|
125d435d62
|
C#: Address review comments
|
2021-06-29 10:50:45 +02:00 |
|
Tamas Vajk
|
3b5856907f
|
Add updated C# framework coverage report
|
2021-06-28 11:29:46 +02:00 |
|
Tamas Vajk
|
a90a86bcbf
|
Fix flow from Element of Argument[0] for Int32.TryParse(ReadOnlySpan<Char>,...
|
2021-06-28 11:20:32 +02:00 |
|
Tamas Vajk
|
1d8b19e153
|
Adjust coverage report generator to allow multiple sink identifiers per CWE
|
2021-06-28 11:20:32 +02:00 |
|
Tamas Vajk
|
2a75989881
|
Migrate StringContent sink to CSV format
|
2021-06-28 11:20:32 +02:00 |
|
Tamas Vajk
|
5aba7142e8
|
C#: Add framework coverage report
|
2021-06-28 11:20:32 +02:00 |
|
Tamas Vajk
|
016e8fb2cf
|
Adjust framework coverage jobs to cover C#
|
2021-06-28 11:20:32 +02:00 |
|
Tamas Vajk
|
b7a43dccd3
|
C#: Migrate System.Int32 flow summaries to CSV
|
2021-06-28 11:20:32 +02:00 |
|
Tamas Vajk
|
a9ccd65fa9
|
C#: Migrate System.Web.HttpResponse sinks to CSV
|
2021-06-28 11:20:32 +02:00 |
|
Tamas Vajk
|
45568d5b10
|
C#: Convert System.Console.Read* local flow source to CSV
|
2021-06-28 11:20:32 +02:00 |
|
Tamas Vajk
|
9606816c39
|
Fix missing summarizedCallable case
|
2021-06-28 11:20:32 +02:00 |
|
Tom Hvitved
|
4f8a103df2
|
C#: Add active preprocessor conditions as suffix in all TRAP .push instructions
|
2021-06-28 10:34:42 +02:00 |
|
Tom Hvitved
|
e624fb46f9
|
Merge pull request #6152 from hvitved/csharp/dataflow/csv-out-ref
|
2021-06-25 18:02:59 +02:00 |
|
Anders Schack-Mulligen
|
2d24387e9e
|
Merge pull request #6149 from edoardopirovano/fix-java-regression
Performance: Fix bad join order in Java dataflow library
|
2021-06-25 10:42:05 +02:00 |
|
Tom Hvitved
|
7a9f9e245f
|
C#: Handle CSV data-flow summaries with out/ref parameters
|
2021-06-24 18:34:25 +02:00 |
|
Anders Schack-Mulligen
|
95ad8b55fe
|
Merge pull request #6107 from aschackmull/dataflow/implicit-reads
Dataflow: Add support for implicit reads
|
2021-06-24 15:38:35 +02:00 |
|
Anders Schack-Mulligen
|
01fc3e6559
|
C++/C#/Java/Python: Add change notes.
|
2021-06-24 14:29:34 +02:00 |
|
Anders Schack-Mulligen
|
cd0efbe7ce
|
Dataflow: Sync.
|
2021-06-24 14:19:17 +02:00 |
|