Tom Hvitved
|
5d1a5920c7
|
C#: Reimplement flow-summary compilation
|
2020-10-14 14:15:34 +02:00 |
|
Tom Hvitved
|
f2dc2d912a
|
C#: Add inter-procedural data-flow test for StringBuilder
|
2020-10-14 14:15:34 +02:00 |
|
Tom Hvitved
|
2af7e1c213
|
C#: Use CFG nodes instead of AST nodes in sign/modulus analysis
|
2020-10-14 13:39:44 +02:00 |
|
Tom Hvitved
|
9d1f64d35d
|
C#: Avoid overlapping SSA definitions for ref/out captured variables
|
2020-10-12 10:52:40 +02:00 |
|
Tom Hvitved
|
723699a584
|
C#: Add SSA test for overlapping captured variable definitions
|
2020-10-09 16:01:19 +02:00 |
|
Tom Hvitved
|
29fb23e6a4
|
C#: Add flow summaries for System.[Value]Tuple
|
2020-10-09 13:38:30 +02:00 |
|
Tom Hvitved
|
ce8567c64a
|
Merge pull request #4293 from hvitved/csharp/cfg/assertions
C#: Model assertions in the CFG
|
2020-10-08 10:32:13 +02:00 |
|
Tom Hvitved
|
b70f5bc954
|
Merge pull request #4433 from hvitved/csharp/dataflow/switch-expr
C#: Add missing data-flow for switch expressions
|
2020-10-08 09:13:43 +02:00 |
|
Tamás Vajk
|
06f1c898dc
|
Merge pull request #4349 from tamasvajk/feature/modulus-analysis
ModulusAnalysis shared between C# and Java
|
2020-10-07 21:21:20 +02:00 |
|
Tom Hvitved
|
31816af11e
|
C#: Add missing data-flow for switch expressions
|
2020-10-07 17:10:29 +02:00 |
|
Tom Hvitved
|
9c503c1591
|
C#: Add more data/control-flow tests
|
2020-10-07 17:10:01 +02:00 |
|
Tamas Vajk
|
4df6a41616
|
ModulusAnalysis shared between C# and Java
|
2020-10-07 16:12:24 +02:00 |
|
Tamás Vajk
|
8d09885ae6
|
Merge pull request #4378 from tamasvajk/feature/flow-summary-nullable
Flow summary nullable
|
2020-10-06 11:45:41 +02:00 |
|
Tom Hvitved
|
6bd355784a
|
Merge pull request #4353 from hvitved/csharp/dataflow/task-precise
C#: Precise data-flow for `System.Threading.Tasks`
|
2020-10-06 10:45:19 +02:00 |
|
Tamas Vajk
|
faf663a334
|
C#: Flow summary for Nullable<T>
|
2020-10-06 09:03:49 +02:00 |
|
Tom Hvitved
|
c39bca5240
|
C#: Model data-flow for System.Threading.Tasks.Task<T>.GetAwaiter()
|
2020-10-05 17:15:54 +02:00 |
|
Tamas Vajk
|
3b70064606
|
C#: Improve data flow summary for System.Lazy<>
|
2020-10-05 14:45:14 +02:00 |
|
Tom Hvitved
|
c0b251ad9e
|
C#: Precise data-flow for System.Threading.Tasks
|
2020-10-03 11:13:45 +02:00 |
|
Tom Hvitved
|
26544f322a
|
C#: Update data-flow tests for System.Threading.Tasks
|
2020-10-03 11:13:45 +02:00 |
|
Tom Hvitved
|
f1d6f7cd0c
|
C#: Model assertions in the CFG
|
2020-10-02 17:56:41 +02:00 |
|
Anders Schack-Mulligen
|
c027f3bd2b
|
Merge pull request #4324 from tamasvajk/feature/unsigned-sign-analysis
Handle unsigned types in sign analysis (C# and Java)
|
2020-10-01 15:11:49 +02:00 |
|
Tamas Vajk
|
2bbaa4e173
|
Handle unsigned types in sign analysis (C# and Java)
|
2020-09-28 14:46:32 +02:00 |
|
Tamas Vajk
|
77bb1b2cd9
|
C#: Extract constant value of enum member equal clauses
|
2020-09-28 11:04:22 +02:00 |
|
Tamas Vajk
|
48bf6d55aa
|
C#: Add implicit cast from array to pointer
|
2020-09-23 17:21:38 +02:00 |
|
Tom Hvitved
|
06dbec78f7
|
C#: Add Guard::controlsBasicBlock() and simplify Guard::isEquality()
|
2020-09-21 16:15:12 +02:00 |
|
Tamas Vajk
|
8bf4a4209c
|
C#: Sign analysis
Synced between Java and C# through `identical-files.json`.
|
2020-09-21 16:15:12 +02:00 |
|
Tom Hvitved
|
795c5784b0
|
C#: Precise data flow for collections
|
2020-06-26 13:40:05 +02:00 |
|
Tom Hvitved
|
6efbd5f9d1
|
C#: Add data-flow test for List.Clear()
|
2020-06-26 11:44:08 +02:00 |
|
Calum Grant
|
8725e09053
|
Merge pull request #3798 from hvitved/csharp/dataflow/async-tests
C#: Move async data-flow tests from local to global
|
2020-06-26 10:14:28 +01:00 |
|
Tom Hvitved
|
b8ae4b7f64
|
C#: Move async data-flow tests from local to global
|
2020-06-25 10:04:18 +02:00 |
|
Tom Hvitved
|
3f91aa3b55
|
C#: More data-flow collection tests
|
2020-06-25 09:48:52 +02:00 |
|
Tom Hvitved
|
3faca03de6
|
C#: Introduce ObjectInitializerNode
|
2020-06-23 10:55:12 +02:00 |
|
Tom Hvitved
|
a1d5591634
|
C#: Model field-clearing in data-flow
|
2020-06-23 10:55:11 +02:00 |
|
Tom Hvitved
|
b5bc15a097
|
C#: Add more field-flow tests
|
2020-06-23 10:55:11 +02:00 |
|
Calum Grant
|
f2f020fa51
|
Merge pull request #3610 from hvitved/csharp/dataflow/call-sensitivity
C#: Add call-sensitivity to data-flow call resolution
|
2020-06-22 10:36:45 +01:00 |
|
Anders Schack-Mulligen
|
8107fbadc2
|
Merge pull request #3456 from hvitved/dataflow/precise-field-types
Data flow: Track precise types during field flow
|
2020-06-19 11:50:10 +02:00 |
|
Tom Hvitved
|
ca86bb8603
|
Address review comments
|
2020-06-19 10:34:11 +02:00 |
|
Tom Hvitved
|
8c9f85d04f
|
Data flow: Allow nodes to be hidden from path explanations
|
2020-06-09 13:53:19 +02:00 |
|
Tom Hvitved
|
9e7ca25732
|
C#: Add call-sensitivity to data-flow call resolution
|
2020-06-03 20:43:49 +02:00 |
|
Tom Hvitved
|
86dd86848f
|
C#: Update call-sensitivity data-flow tests
|
2020-06-03 14:21:23 +02:00 |
|
Tom Hvitved
|
cd9538d0d9
|
Merge remote-tracking branch 'upstream/master' into dataflow/precise-field-types
|
2020-05-15 15:24:05 +02:00 |
|
Tom Hvitved
|
2c243ad1cd
|
C#: Add data-flow test
|
2020-05-14 15:58:50 +02:00 |
|
Tom Hvitved
|
4c1a9b25c1
|
C#: Teach unification library about nested types
|
2020-05-06 09:25:40 +02:00 |
|
Anders Schack-Mulligen
|
b7458091a9
|
Merge pull request #3110 from hvitved/dataflow/no-more-summaries
Data flow: No more flow summaries
|
2020-05-05 13:27:07 +02:00 |
|
Calum Grant
|
a01ef83312
|
Merge pull request #3270 from hvitved/csharp/dataflow/library-field-flow
C#: Field-sensitive summaries for library code
|
2020-05-04 16:11:18 +01:00 |
|
Tom Hvitved
|
32b419229d
|
C#: Address review comments
|
2020-05-04 09:01:49 +02:00 |
|
Tom Hvitved
|
e186c9ddd1
|
C#: Update data-flow collection test method names
|
2020-04-20 09:29:51 +02:00 |
|
Tom Hvitved
|
161093bd57
|
C#: Rename arrays data-flow test to collections
|
2020-04-20 09:20:42 +02:00 |
|
Tom Hvitved
|
f91af7daf3
|
C#: Add more data-flow tests
|
2020-04-17 13:49:08 +02:00 |
|
Tom Hvitved
|
c36142f129
|
C#: Add data-flow test for collections
|
2020-04-17 11:22:01 +02:00 |
|