tests/libc · 9d2d98c618cdee282cf3587b5b70adeec5d7f2ad · pub / frama-c

Andre Maroneze authored 3 years ago

There are still many missing specifications, but at least parsing should
succeed for strictly POSIX-compliant code.

9d2d98c6

Name	Last commit	Last update
..
oracle
alloca_h.c
argz_c.c
assert_h.c
check_compliance.ml
check_const.ml
check_full_libc.sh
check_libc_anonymous_tags.ml
check_libc_naming_conventions.ml
check_parsing_individual_headers.ml
check_some_metrics.sh
compile_and_run.sh
coverage.c
ctype.c
err_h.c
fc_libc.c
fpclassify.c
glob_c.c
inttypes_h.c
inttypes_h2.c
libgen_h.c
limits_h.c
locale_h.c
math_h.c
memchr_off.c
more_gcc_builtins.c
netdb_c.c
netinet_in_h.c
poll.c
pthread_h.c
pwd_h.c
runtime.c
signal_h.c
socket.c
socket_h.c
stdatomic_c.c
stdbool_as_cpp.c
stdint_h.c
stdio_c.c
stdio_h.c
stdlib_c.c
stdlib_c_env.c
stdlib_h.c
stdnoreturn_h.c
string_c.c
string_c_generic.c
string_c_strchr.c
string_c_strstr.c
string_h.c
strings_h.c
sys_file_h.c
sys_select.c
sys_sendfile_h.c
sys_stat_h.c
sys_time_h.c
sys_times.c
sys_types.c
sys_uio_h.c
sys_utsname_h.c
sys_wait_h.c
termios.c
test_config
test_config_gcc
time_c.c
time_h.c
time_misc.c
unistd_h.c
wchar_c_h.c
wchar_h.c
wctype_h.c