Merge branch 'feature/andre/libc-getpw-c-stubs' into 'master'
Feature/andre/libc getpw c stubs See merge request frama-c/frama-c!3449
No related branches found
No related tags found
Showing
- headers/header_spec.txt 1 addition, 0 deletionsheaders/header_spec.txt
- share/libc/__fc_builtin.c 49 additions, 10 deletionsshare/libc/__fc_builtin.c
- share/libc/__fc_runtime.c 1 addition, 0 deletionsshare/libc/__fc_runtime.c
- share/libc/pwd.c 105 additions, 0 deletionsshare/libc/pwd.c
- share/libc/pwd.h 45 additions, 13 deletionsshare/libc/pwd.h
- src/plugins/value/utils/library_functions.ml 2 additions, 0 deletionssrc/plugins/value/utils/library_functions.ml
- tests/libc/fc_builtin_c.c 37 additions, 0 deletionstests/libc/fc_builtin_c.c
- tests/libc/fc_libc.c 1 addition, 1 deletiontests/libc/fc_libc.c
- tests/libc/oracle/fc_builtin_c.res.oracle 114 additions, 0 deletionstests/libc/oracle/fc_builtin_c.res.oracle
- tests/libc/oracle/fc_libc.0.res.oracle 1 addition, 0 deletionstests/libc/oracle/fc_libc.0.res.oracle
- tests/libc/oracle/fc_libc.1.res.oracle 290 additions, 84 deletionstests/libc/oracle/fc_libc.1.res.oracle
- tests/libc/oracle/pwd_c.res.oracle 314 additions, 0 deletionstests/libc/oracle/pwd_c.res.oracle
- tests/libc/oracle/pwd_h.res.oracle 6 additions, 5 deletionstests/libc/oracle/pwd_h.res.oracle
- tests/libc/pwd_c.c 38 additions, 0 deletionstests/libc/pwd_c.c
Loading
Please register or sign in to comment