github.com/google/syzkaller@v0.0.0-20251211124644-a066d2bc4b02/tools/syz-declextract/testdata/cover.c.json (about)

     1  {
     2  	"functions": [
     3  		{
     4  			"name": "__do_sys_cover",
     5  			"file": "cover.c",
     6  			"start_line": 23,
     7  			"end_line": 37,
     8  			"scopes": [
     9  				{
    10  					"arg": -1,
    11  					"facts": [
    12  						{
    13  							"src": {
    14  								"local": {
    15  									"name": "tmp"
    16  								}
    17  							},
    18  							"dst": {
    19  								"return": {
    20  									"func": "__do_sys_cover"
    21  								}
    22  							}
    23  						}
    24  					]
    25  				},
    26  				{
    27  					"arg": 0,
    28  					"values": [
    29  						"COVER_IOCTL1"
    30  					],
    31  					"start_line": 27,
    32  					"end_line": 29
    33  				},
    34  				{
    35  					"arg": 0,
    36  					"values": [
    37  						"COVER_IOCTL2"
    38  					],
    39  					"start_line": 29,
    40  					"end_line": 31
    41  				},
    42  				{
    43  					"arg": 0,
    44  					"values": [
    45  						"COVER_IOCTL3",
    46  						"COVER_IOCTL4"
    47  					],
    48  					"start_line": 31,
    49  					"end_line": 35,
    50  					"calls": [
    51  						"cover_helper"
    52  					],
    53  					"facts": [
    54  						{
    55  							"src": {
    56  								"argument": {
    57  									"func": "__do_sys_cover",
    58  									"arg": 0
    59  								}
    60  							},
    61  							"dst": {
    62  								"argument": {
    63  									"func": "cover_helper",
    64  									"arg": 0
    65  								}
    66  							}
    67  						}
    68  					]
    69  				}
    70  			]
    71  		},
    72  		{
    73  			"name": "cover_helper",
    74  			"file": "cover.c",
    75  			"start_line": 11,
    76  			"end_line": 21,
    77  			"is_static": true,
    78  			"scopes": [
    79  				{
    80  					"arg": -1
    81  				},
    82  				{
    83  					"arg": 0,
    84  					"values": [
    85  						"COVER_IOCTL3"
    86  					],
    87  					"start_line": 15,
    88  					"end_line": 17
    89  				},
    90  				{
    91  					"arg": 0,
    92  					"values": [
    93  						"COVER_IOCTL4"
    94  					],
    95  					"start_line": 17,
    96  					"end_line": 20
    97  				}
    98  			]
    99  		}
   100  	],
   101  	"consts": [
   102  		{
   103  			"name": "COVER_IOCTL1",
   104  			"filename": "cover.c",
   105  			"value": 1
   106  		},
   107  		{
   108  			"name": "COVER_IOCTL2",
   109  			"filename": "cover.c",
   110  			"value": 2
   111  		},
   112  		{
   113  			"name": "COVER_IOCTL3",
   114  			"filename": "cover.c",
   115  			"value": 3
   116  		},
   117  		{
   118  			"name": "COVER_IOCTL4",
   119  			"filename": "cover.c",
   120  			"value": 4
   121  		}
   122  	],
   123  	"syscalls": [
   124  		{
   125  			"func": "__do_sys_cover",
   126  			"args": [
   127  				{
   128  					"name": "cmd",
   129  					"counted_by": -1,
   130  					"type": {
   131  						"int": {
   132  							"byte_size": 4,
   133  							"name": "int",
   134  							"base": "int"
   135  						}
   136  					}
   137  				}
   138  			],
   139  			"source_file": "cover.c"
   140  		}
   141  	]
   142  }