|
209 | 209 | "impact": "Low",
|
210 | 210 | "confidence": "High"
|
211 | 211 | },
|
| 212 | + { |
| 213 | + "elements": [ |
| 214 | + { |
| 215 | + "type": "contract", |
| 216 | + "name": "bad2", |
| 217 | + "source_mapping": { |
| 218 | + "start": 483, |
| 219 | + "length": 199, |
| 220 | + "filename_used": "/GENERIC_PATH", |
| 221 | + "filename_relative": "tests/detectors/uninitialized-fptr-cst/uninitialized_function_ptr_constructor.sol", |
| 222 | + "filename_absolute": "/GENERIC_PATH", |
| 223 | + "filename_short": "tests/detectors/uninitialized-fptr-cst/uninitialized_function_ptr_constructor.sol", |
| 224 | + "is_dependency": false, |
| 225 | + "lines": [ |
| 226 | + 20, |
| 227 | + 21, |
| 228 | + 22, |
| 229 | + 23, |
| 230 | + 24, |
| 231 | + 25, |
| 232 | + 26, |
| 233 | + 27, |
| 234 | + 28, |
| 235 | + 29 |
| 236 | + ], |
| 237 | + "starting_column": 1, |
| 238 | + "ending_column": 2 |
| 239 | + } |
| 240 | + }, |
| 241 | + { |
| 242 | + "type": "node", |
| 243 | + "name": "s.a(10)", |
| 244 | + "source_mapping": { |
| 245 | + "start": 668, |
| 246 | + "length": 7, |
| 247 | + "filename_used": "/GENERIC_PATH", |
| 248 | + "filename_relative": "tests/detectors/uninitialized-fptr-cst/uninitialized_function_ptr_constructor.sol", |
| 249 | + "filename_absolute": "/GENERIC_PATH", |
| 250 | + "filename_short": "tests/detectors/uninitialized-fptr-cst/uninitialized_function_ptr_constructor.sol", |
| 251 | + "is_dependency": false, |
| 252 | + "lines": [ |
| 253 | + 27 |
| 254 | + ], |
| 255 | + "starting_column": 5, |
| 256 | + "ending_column": 12 |
| 257 | + }, |
| 258 | + "type_specific_fields": { |
| 259 | + "parent": { |
| 260 | + "type": "function", |
| 261 | + "name": "constructor", |
| 262 | + "source_mapping": { |
| 263 | + "start": 625, |
| 264 | + "length": 55, |
| 265 | + "filename_used": "/GENERIC_PATH", |
| 266 | + "filename_relative": "tests/detectors/uninitialized-fptr-cst/uninitialized_function_ptr_constructor.sol", |
| 267 | + "filename_absolute": "/GENERIC_PATH", |
| 268 | + "filename_short": "tests/detectors/uninitialized-fptr-cst/uninitialized_function_ptr_constructor.sol", |
| 269 | + "is_dependency": false, |
| 270 | + "lines": [ |
| 271 | + 25, |
| 272 | + 26, |
| 273 | + 27, |
| 274 | + 28 |
| 275 | + ], |
| 276 | + "starting_column": 3, |
| 277 | + "ending_column": 4 |
| 278 | + }, |
| 279 | + "type_specific_fields": { |
| 280 | + "parent": { |
| 281 | + "type": "contract", |
| 282 | + "name": "bad2", |
| 283 | + "source_mapping": { |
| 284 | + "start": 483, |
| 285 | + "length": 199, |
| 286 | + "filename_used": "/GENERIC_PATH", |
| 287 | + "filename_relative": "tests/detectors/uninitialized-fptr-cst/uninitialized_function_ptr_constructor.sol", |
| 288 | + "filename_absolute": "/GENERIC_PATH", |
| 289 | + "filename_short": "tests/detectors/uninitialized-fptr-cst/uninitialized_function_ptr_constructor.sol", |
| 290 | + "is_dependency": false, |
| 291 | + "lines": [ |
| 292 | + 20, |
| 293 | + 21, |
| 294 | + 22, |
| 295 | + 23, |
| 296 | + 24, |
| 297 | + 25, |
| 298 | + 26, |
| 299 | + 27, |
| 300 | + 28, |
| 301 | + 29 |
| 302 | + ], |
| 303 | + "starting_column": 1, |
| 304 | + "ending_column": 2 |
| 305 | + } |
| 306 | + }, |
| 307 | + "signature": "constructor()" |
| 308 | + } |
| 309 | + } |
| 310 | + } |
| 311 | + } |
| 312 | + ], |
| 313 | + "description": "Contract bad2 (tests/detectors/uninitialized-fptr-cst/uninitialized_function_ptr_constructor.sol#20-29) \n\t s.a(10) (tests/detectors/uninitialized-fptr-cst/uninitialized_function_ptr_constructor.sol#27) is an unintialized function pointer call in a constructor\n", |
| 314 | + "markdown": "Contract [bad2](tests/detectors/uninitialized-fptr-cst/uninitialized_function_ptr_constructor.sol#L20-L29) \n\t [s.a(10)](tests/detectors/uninitialized-fptr-cst/uninitialized_function_ptr_constructor.sol#L27) is an unintialized function pointer call in a constructor\n", |
| 315 | + "id": "1f43b676571aff0a3ce0353dc8548e252c588f7c9248c104637d500882880134", |
| 316 | + "check": "uninitialized-fptr-cst", |
| 317 | + "impact": "Low", |
| 318 | + "confidence": "High" |
| 319 | + }, |
212 | 320 | {
|
213 | 321 | "elements": [
|
214 | 322 | {
|
|
0 commit comments