alwaysNull
| dataflow.cs:68:21:68:35 | default(...) |
| dataflow.cs:72:21:72:34 | call to method NullFunction |
| dataflow.cs:72:21:72:52 | ... ?? ... |
| dataflow.cs:72:39:72:52 | call to method IndirectNull |
| dataflow.cs:76:21:76:45 | call to method ReturnsNull |
| dataflow.cs:77:21:77:46 | call to method ReturnsNull2 |
| dataflow.cs:78:21:78:44 | access to property NullProperty |
| dataflow.cs:87:31:87:44 | call to method NullFunction |
alwaysNotNull
| dataflow.cs:69:13:69:20 | access to local variable nonNull1 |
| dataflow.cs:69:13:69:35 | Int32 nonNull1 = ... |
| dataflow.cs:69:24:69:35 | default(...) |
| dataflow.cs:69:32:69:34 | access to type Int32 |
| dataflow.cs:70:27:70:30 | this access |
| dataflow.cs:70:27:70:40 | call to method GetType |
| dataflow.cs:71:30:71:33 | true |
| dataflow.cs:71:30:71:44 | call to method ToString |
| dataflow.cs:72:21:72:34 | this access |
| dataflow.cs:72:39:72:52 | this access |
| dataflow.cs:75:27:75:52 | object creation of type NullMethods |
| dataflow.cs:76:21:76:31 | access to local variable nullMethods |
| dataflow.cs:77:21:77:31 | access to local variable nullMethods |
| dataflow.cs:78:21:78:31 | access to local variable nullMethods |
| dataflow.cs:81:23:81:51 | object creation of type NonNullMethods |
| dataflow.cs:82:24:82:30 | access to local variable nonNull |
| dataflow.cs:82:24:82:47 | call to method ReturnsNonNull |
| dataflow.cs:83:24:83:30 | access to local variable nonNull |
| dataflow.cs:83:24:83:55 | call to method ReturnsNonNullIndirect |
| dataflow.cs:84:24:84:30 | access to local variable nonNull |
| dataflow.cs:87:24:87:27 | access to field cond |
| dataflow.cs:87:24:87:27 | this access |
| dataflow.cs:87:31:87:44 | this access |
| dataflow.cs:87:48:87:51 | this access |
| dataflow.cs:88:24:88:34 | access to local variable nullMethods |
| dataflow.cs:89:24:89:34 | access to local variable nullMethods |
| dataflow.cs:90:26:90:32 | access to local variable nonNull |
| dataflow.cs:93:25:93:31 | access to local variable nonNull |
| dataflow.cs:94:26:94:32 | access to local variable nonNull |
| dataflow.cs:95:32:95:73 | object creation of type MaybeNullMethods |
| dataflow.cs:96:21:96:36 | access to local variable maybeNullMethods |
| dataflow.cs:97:22:97:37 | access to local variable maybeNullMethods |