|
88 | 88 | | SignAnalysis.cs:108:13:108:21 | Decimal de = ... | strictlyPositive | |
89 | 89 | | SignAnalysis.cs:108:18:108:21 | 4.2 | strictlyPositive | |
90 | 90 | | SignAnalysis.cs:109:34:109:35 | access to local variable de | strictlyPositive | |
| 91 | +| SignAnalysis.cs:110:13:110:13 | access to local variable c | positive | |
91 | 92 | | SignAnalysis.cs:110:13:110:19 | Char c = ... | strictlyPositive | |
92 | 93 | | SignAnalysis.cs:110:17:110:19 | a | strictlyPositive | |
93 | 94 | | SignAnalysis.cs:111:34:111:34 | access to local variable c | strictlyPositive | |
|
161 | 162 | | SignAnalysis.cs:306:21:306:22 | -... | strictlyNegative | |
162 | 163 | | SignAnalysis.cs:306:22:306:22 | 1 | strictlyPositive | |
163 | 164 | | SignAnalysis.cs:309:38:309:38 | access to local variable x | strictlyNegative | |
| 165 | +| SignAnalysis.cs:315:13:315:15 | access to local variable min | positive | |
| 166 | +| SignAnalysis.cs:316:13:316:15 | access to local variable max | positive | |
164 | 167 | | SignAnalysis.cs:316:13:316:31 | Char max = ... | strictlyPositive | |
165 | 168 | | SignAnalysis.cs:316:19:316:31 | access to constant MaxValue | strictlyPositive | |
166 | 169 | | SignAnalysis.cs:317:13:317:23 | Int32 c = ... | strictlyPositive | |
|
195 | 198 | | SignAnalysis.cs:357:13:357:13 | access to parameter i | positive | |
196 | 199 | | SignAnalysis.cs:359:38:359:38 | access to parameter i | strictlyPositive | |
197 | 200 | | SignAnalysis.cs:371:38:371:38 | access to local variable y | strictlyNegative | |
| 201 | +| SignAnalysis.cs:377:16:377:17 | access to local variable dp | positive | |
198 | 202 | | SignAnalysis.cs:377:16:377:22 | Single* dp = ... | positive | |
199 | 203 | | SignAnalysis.cs:377:21:377:22 | &... | positive | |
200 | 204 | | SignAnalysis.cs:378:18:378:19 | access to local variable dp | positive | |
|
213 | 217 | | SignAnalysis.cs:414:13:414:13 | access to local variable i | strictlyPositive | |
214 | 218 | | SignAnalysis.cs:415:31:415:31 | access to local variable i | strictlyPositive | |
215 | 219 | | SignAnalysis.cs:424:31:424:31 | access to local variable x | strictlyNegative | |
216 | | -| SignAnalysis.cs:428:19:428:19 | access to constant A | strictlyPositive | |
217 | | -| SignAnalysis.cs:428:19:428:24 | ... = ... | strictlyPositive | |
218 | | -| SignAnalysis.cs:428:23:428:24 | 12 | strictlyPositive | |
219 | 220 | | SignAnalysis.cs:434:38:434:38 | access to local variable i | strictlyNegative | |
220 | 221 | | SignAnalysis.cs:440:23:440:25 | access to parameter src | positive | |
221 | 222 | | SignAnalysis.cs:440:29:440:31 | access to parameter dst | positive | |
222 | 223 | | SignAnalysis.cs:443:38:443:38 | access to local variable x | strictlyNegative | |
223 | 224 | | SignAnalysis.cs:446:31:446:32 | 10 | strictlyPositive | |
| 225 | +| SignAnalysis.cs:448:22:448:23 | access to local variable to | positive | |
224 | 226 | | SignAnalysis.cs:448:22:448:29 | Byte* to = ... | positive | |
225 | 227 | | SignAnalysis.cs:448:27:448:29 | (...) ... | positive | |
226 | 228 | | SignAnalysis.cs:450:38:450:44 | (...) ... | positive | |
|
232 | 234 | | SignAnalysis.cs:457:18:457:27 | call to method Unsigned | positive | |
233 | 235 | | SignAnalysis.cs:458:13:458:13 | access to local variable l | positive | |
234 | 236 | | SignAnalysis.cs:460:38:460:38 | access to local variable l | strictlyPositive | |
| 237 | +| SignAnalysis.cs:463:14:463:14 | access to local variable x | positive | |
235 | 238 | | SignAnalysis.cs:463:14:463:24 | UInt32 x = ... | positive | |
236 | 239 | | SignAnalysis.cs:463:18:463:24 | (...) ... | positive | |
237 | 240 | | SignAnalysis.cs:464:9:464:9 | access to local variable x | positive | |
|
0 commit comments