Josh Soref
|
e231c64404
|
spelling: reachable
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-19 03:49:17 -04:00 |
|
Josh Soref
|
fc2613f465
|
spelling: property
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-19 03:49:17 -04:00 |
|
Josh Soref
|
7ee9e0286b
|
spelling: processing
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-19 03:49:16 -04:00 |
|
Josh Soref
|
9d4d9b2ba2
|
spelling: predecessor
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-19 03:49:16 -04:00 |
|
Josh Soref
|
f3fce91f02
|
spelling: overrider
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-19 03:49:16 -04:00 |
|
Josh Soref
|
407833ffb1
|
spelling: nullability
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-19 03:49:16 -04:00 |
|
Josh Soref
|
75397e5e61
|
spelling: matching
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-19 03:49:16 -04:00 |
|
Josh Soref
|
be2dbe7fac
|
spelling: initializer
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-19 03:49:16 -04:00 |
|
Josh Soref
|
772a6d00a9
|
spelling: extension
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-19 03:49:16 -04:00 |
|
Josh Soref
|
31a95a12c9
|
spelling: exclusive
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-19 03:49:16 -04:00 |
|
Josh Soref
|
5a7022d1c5
|
spelling: encoded
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-19 03:49:16 -04:00 |
|
Josh Soref
|
55c4354ef2
|
spelling: dispose
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-19 03:49:16 -04:00 |
|
Josh Soref
|
96aab6902a
|
spelling: determine
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-19 03:49:16 -04:00 |
|
Josh Soref
|
5dd575a494
|
spelling: dereference
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-19 03:49:16 -04:00 |
|
Anders Schack-Mulligen
|
6ef5fac239
|
Merge pull request #10814 from aschackmull/dataflow/synth-global
Dataflow: Add support for synthetic global fields in MaD.
|
2022-10-17 08:34:26 +02:00 |
|
Josh Soref
|
bb8148799d
|
spelling: creation
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 10:16:55 -04:00 |
|
Josh Soref
|
3ee73cfe5d
|
spelling: continuing
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 10:16:55 -04:00 |
|
Josh Soref
|
eb40e48278
|
spelling: constraints
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 10:16:55 -04:00 |
|
Josh Soref
|
962bcd78f5
|
spelling: compound
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 10:16:55 -04:00 |
|
Josh Soref
|
9db8307a88
|
spelling: available
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 10:16:55 -04:00 |
|
Josh Soref
|
ef63f57e55
|
spelling: arithmetic
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-13 19:45:25 -04:00 |
|
Josh Soref
|
893c5457a8
|
spelling: disambiguation
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-13 10:56:40 -04:00 |
|
Anders Schack-Mulligen
|
f1634d3dca
|
Dataflow: Add support for C#/Python/Ruby/Swift.
|
2022-10-13 14:29:27 +02:00 |
|
Anders Schack-Mulligen
|
69bf13b1d4
|
Dataflow: Sync.
|
2022-10-13 14:19:12 +02:00 |
|
Tom Hvitved
|
758494b10a
|
Merge pull request #10790 from hvitved/csharp/avoid-get-a-reachable-read
C#: Deprecate `AssignableRead::getAReachableRead`
|
2022-10-13 13:25:01 +02:00 |
|
Tom Hvitved
|
19e3d7cdb2
|
Merge pull request #10769 from hvitved/csharp/cil-ssa-data-flow-nodes
C#: Include CIL SSA definitions in `DataFlow::Node`
|
2022-10-13 13:24:44 +02:00 |
|
Anders Schack-Mulligen
|
036724ce8d
|
Dataflow: Sync.
|
2022-10-13 11:03:30 +02:00 |
|
Tom Hvitved
|
d42c74f1a4
|
C#: Include CIL SSA definitions in DataFlow::Node
|
2022-10-12 14:39:30 +02:00 |
|
Tom Hvitved
|
f49bfa7bcc
|
C#: Deprecate Assignable(Read)::getAReachableRead
|
2022-10-12 14:08:46 +02:00 |
|
Tom Hvitved
|
ffb2b1c15e
|
Data flow: Sync files
|
2022-10-10 15:39:13 +02:00 |
|
Tom Hvitved
|
296ec94a2a
|
Data flow: Sync files
|
2022-10-09 19:48:45 +02:00 |
|
Tom Hvitved
|
0beea9fd1a
|
Fix typos
|
2022-10-05 15:54:52 +02:00 |
|
Tom Hvitved
|
6f518c1996
|
Data flow: Sync files
|
2022-10-05 12:58:29 +02:00 |
|
Michael Nebel
|
e06afb69cc
|
C#: Support postupdate notes for assignment expressions.
|
2022-09-29 11:35:35 +02:00 |
|
Michael Nebel
|
3d971d239f
|
C#: Support postupdate notes for suppress nullable warning expressions.
|
2022-09-29 11:35:35 +02:00 |
|
Michael Nebel
|
b24fd13946
|
C#: Add postupdate note support for switch expressions.
|
2022-09-29 11:35:35 +02:00 |
|
Michael Nebel
|
6b74e433ee
|
C#: Support postupdate notes for NullCoalescing expressions.
|
2022-09-29 11:35:35 +02:00 |
|
Michael Nebel
|
3c6f538d5c
|
C#: Support Cast expressions to have post update notes.
|
2022-09-29 11:35:35 +02:00 |
|
Michael Nebel
|
d3530b0083
|
C#: Re-factor nested exists into a single exists.
|
2022-09-29 11:35:35 +02:00 |
|
Michael Nebel
|
a36bba94f1
|
C#: Base the getAPostUpdateNote predicate purely on cfg.
|
2022-09-28 14:35:49 +02:00 |
|
Michael Nebel
|
c07c10a808
|
C#: Address review comments.
|
2022-09-28 14:35:09 +02:00 |
|
Michael Nebel
|
2d0a377b7a
|
C#: Update dataflow consistency queries to cater for non unique post and pre unique update notes for conditional branches.
|
2022-09-28 14:35:09 +02:00 |
|
Michael Nebel
|
e5711380f8
|
C#: Make postupdate notes for conditional branches.
|
2022-09-28 14:35:09 +02:00 |
|
Tom Hvitved
|
df2b586e7c
|
Merge pull request #10577 from hvitved/dataflow/get-a-read-content-fan-in
Data flow: Fix bad join-order when getAReadContent has large fan-in
|
2022-09-27 20:04:58 +02:00 |
|
Tom Hvitved
|
335e1a8233
|
Address review comments
|
2022-09-27 13:36:52 +02:00 |
|
erik-krogh
|
ae6dd05249
|
deprecate unused class in query specific file
|
2022-09-27 12:40:05 +02:00 |
|
erik-krogh
|
d23b128457
|
delete unused code in an internal file
|
2022-09-27 12:31:58 +02:00 |
|
Anders Schack-Mulligen
|
9f1bbf2bbd
|
Merge pull request #10575 from aschackmull/dataflow/cleanup-module
Dataflow: Minor visibility cleanup
|
2022-09-27 10:10:53 +02:00 |
|
Tom Hvitved
|
45fc62f16b
|
Data flow: Sync files
|
2022-09-26 20:39:48 +02:00 |
|
Anders Schack-Mulligen
|
1687d08587
|
Dataflow: Sync.
|
2022-09-26 16:10:03 +02:00 |
|