libc.json 7.66 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
{
  "defined-functions": [
    { "bar": { "calls": 1, "address_taken": false } },
    { "f": { "calls": 0, "address_taken": false } },
    { "foo": { "calls": 1, "address_taken": false } },
    { "g": { "calls": 0, "address_taken": true } },
    { "getopt": { "calls": 1, "address_taken": false } },
    { "main": { "calls": 0, "address_taken": false } }
  ],
  "specified-only-functions": [
    { "_exit": { "calls": 0, "address_taken": false } },
    { "access": { "calls": 0, "address_taken": false } },
    { "chdir": { "calls": 0, "address_taken": false } },
    { "chown": { "calls": 0, "address_taken": false } },
    { "chroot": { "calls": 0, "address_taken": false } },
    { "clearerr": { "calls": 0, "address_taken": false } },
    { "clearerr_unlocked": { "calls": 0, "address_taken": false } },
    { "close": { "calls": 0, "address_taken": false } },
    { "dup": { "calls": 0, "address_taken": false } },
    { "dup2": { "calls": 0, "address_taken": false } },
    { "execl": { "calls": 0, "address_taken": false } },
    { "execle": { "calls": 0, "address_taken": false } },
    { "execlp": { "calls": 0, "address_taken": false } },
    { "execv": { "calls": 0, "address_taken": false } },
    { "execve": { "calls": 0, "address_taken": false } },
    { "execvp": { "calls": 0, "address_taken": false } },
    { "fclose": { "calls": 0, "address_taken": false } },
    { "fdopen": { "calls": 0, "address_taken": false } },
    { "feof": { "calls": 0, "address_taken": false } },
    { "feof_unlocked": { "calls": 0, "address_taken": false } },
    { "ferror": { "calls": 0, "address_taken": false } },
    { "ferror_unlocked": { "calls": 0, "address_taken": false } },
    { "fflush": { "calls": 0, "address_taken": false } },
    { "fgetc": { "calls": 0, "address_taken": false } },
    { "fgetpos": { "calls": 0, "address_taken": false } },
    { "fgets": { "calls": 0, "address_taken": false } },
    { "fileno": { "calls": 0, "address_taken": false } },
    { "fileno_unlocked": { "calls": 0, "address_taken": false } },
    { "flockfile": { "calls": 0, "address_taken": false } },
    { "fopen": { "calls": 0, "address_taken": false } },
    { "fork": { "calls": 0, "address_taken": false } },
    { "fputc": { "calls": 0, "address_taken": false } },
    { "fputs": { "calls": 0, "address_taken": false } },
    { "fread": { "calls": 0, "address_taken": false } },
    { "freopen": { "calls": 0, "address_taken": false } },
    { "fseek": { "calls": 0, "address_taken": false } },
    { "fseeko": { "calls": 0, "address_taken": false } },
    { "fsetpos": { "calls": 0, "address_taken": false } },
    { "ftell": { "calls": 0, "address_taken": false } },
    { "ftello": { "calls": 0, "address_taken": false } },
    { "ftrylockfile": { "calls": 0, "address_taken": false } },
    { "funlockfile": { "calls": 0, "address_taken": false } },
    { "fwrite": { "calls": 0, "address_taken": false } },
    { "getc": { "calls": 0, "address_taken": false } },
    { "getc_unlocked": { "calls": 0, "address_taken": false } },
    { "getchar": { "calls": 1, "address_taken": false } },
    { "getchar_unlocked": { "calls": 0, "address_taken": false } },
    { "getcwd": { "calls": 0, "address_taken": false } },
    { "getegid": { "calls": 0, "address_taken": false } },
    { "geteuid": { "calls": 0, "address_taken": false } },
    { "getgid": { "calls": 0, "address_taken": false } },
    { "gethostname": { "calls": 0, "address_taken": false } },
    { "getopt_long": { "calls": 0, "address_taken": false } },
    { "getopt_long_only": { "calls": 0, "address_taken": false } },
    { "getpgid": { "calls": 0, "address_taken": false } },
    { "getpgrp": { "calls": 0, "address_taken": false } },
    { "getpid": { "calls": 0, "address_taken": false } },
    { "getppid": { "calls": 0, "address_taken": false } },
    { "getresgid": { "calls": 0, "address_taken": false } },
    { "getresuid": { "calls": 0, "address_taken": false } },
    { "gets": { "calls": 0, "address_taken": false } },
    { "getsid": { "calls": 0, "address_taken": false } },
    { "getuid": { "calls": 0, "address_taken": false } },
    { "isalnum": { "calls": 0, "address_taken": false } },
    { "isalpha": { "calls": 1, "address_taken": false } },
    { "isascii": { "calls": 0, "address_taken": false } },
    { "isatty": { "calls": 0, "address_taken": false } },
    { "isblank": { "calls": 1, "address_taken": false } },
    { "iscntrl": { "calls": 0, "address_taken": false } },
    { "isdigit": { "calls": 0, "address_taken": false } },
    { "isgraph": { "calls": 0, "address_taken": false } },
    { "islower": { "calls": 0, "address_taken": false } },
    { "isprint": { "calls": 0, "address_taken": false } },
    { "ispunct": { "calls": 0, "address_taken": false } },
    { "isspace": { "calls": 0, "address_taken": false } },
    { "isupper": { "calls": 0, "address_taken": false } },
    { "isxdigit": { "calls": 0, "address_taken": false } },
    { "lseek": { "calls": 0, "address_taken": false } },
    { "pathconf": { "calls": 0, "address_taken": false } },
    { "pclose": { "calls": 0, "address_taken": false } },
    { "perror": { "calls": 0, "address_taken": false } },
    { "pipe": { "calls": 0, "address_taken": false } },
    { "popen": { "calls": 0, "address_taken": false } },
    { "putc": { "calls": 0, "address_taken": false } },
    { "putc_unlocked": { "calls": 0, "address_taken": false } },
    { "putchar": { "calls": 0, "address_taken": false } },
    { "putchar_unlocked": { "calls": 0, "address_taken": false } },
    { "puts": { "calls": 0, "address_taken": false } },
    { "read": { "calls": 0, "address_taken": false } },
    { "remove": { "calls": 0, "address_taken": false } },
    { "rename": { "calls": 0, "address_taken": false } },
    { "rewind": { "calls": 0, "address_taken": false } },
    { "setbuf": { "calls": 0, "address_taken": false } },
    { "setegid": { "calls": 0, "address_taken": false } },
    { "seteuid": { "calls": 0, "address_taken": false } },
    { "setgid": { "calls": 0, "address_taken": false } },
    { "sethostname": { "calls": 0, "address_taken": false } },
    { "setpgid": { "calls": 0, "address_taken": false } },
    { "setregid": { "calls": 0, "address_taken": false } },
    { "setresgid": { "calls": 0, "address_taken": false } },
    { "setresuid": { "calls": 0, "address_taken": false } },
    { "setreuid": { "calls": 0, "address_taken": false } },
    { "setsid": { "calls": 0, "address_taken": false } },
    { "setuid": { "calls": 0, "address_taken": false } },
    { "setvbuf": { "calls": 0, "address_taken": false } },
    { "sync": { "calls": 0, "address_taken": false } },
    { "sysconf": { "calls": 0, "address_taken": false } },
    { "tmpfile": { "calls": 0, "address_taken": false } },
    { "tmpnam": { "calls": 0, "address_taken": false } },
    { "tolower": { "calls": 0, "address_taken": false } },
    { "toupper": { "calls": 0, "address_taken": false } },
    { "ttyname": { "calls": 0, "address_taken": false } },
    { "ungetc": { "calls": 0, "address_taken": false } },
    { "unlink": { "calls": 0, "address_taken": false } },
    { "usleep": { "calls": 0, "address_taken": false } },
    { "vfprintf": { "calls": 0, "address_taken": false } },
    { "vfscanf": { "calls": 0, "address_taken": false } },
    { "vprintf": { "calls": 0, "address_taken": false } },
    { "vscanf": { "calls": 0, "address_taken": false } },
    { "vsnprintf": { "calls": 0, "address_taken": false } },
    { "vsprintf": { "calls": 0, "address_taken": false } },
    { "write": { "calls": 0, "address_taken": false } }
  ],
  "undefined-functions": [],
  "extern-global-vars": [
    "Frama_C_entropy_source", "__fc_errno", "__fc_hostname", "__fc_stdin",
    "__fc_stdout", "__fc_ttyname", "optarg", "opterr", "optind", "optopt"
  ],
  "entry-points": [ "f", "main" ]
}