Merge branch 'fix/andre/remove-verisec' into 'stable/chromium'
Fix/andre/remove verisec See merge request frama-c/frama-c!3316
Showing
- Makefile 8 additions, 10 deletionsMakefile
- tests/verisec/suite/README.verisec_suite 0 additions, 60 deletionstests/verisec/suite/README.verisec_suite
- tests/verisec/suite/lib/base.h 0 additions, 13 deletionstests/verisec/suite/lib/base.h
- tests/verisec/suite/lib/stubs.c 0 additions, 399 deletionstests/verisec/suite/lib/stubs.c
- tests/verisec/suite/lib/stubs.h 0 additions, 53 deletionstests/verisec/suite/lib/stubs.h
- tests/verisec/suite/programs/apps/MADWiFi/CVE-2006-6332/README 0 additions, 30 deletions.../verisec/suite/programs/apps/MADWiFi/CVE-2006-6332/README
- tests/verisec/suite/programs/apps/MADWiFi/CVE-2006-6332/constants.h 0 additions, 21 deletions...sec/suite/programs/apps/MADWiFi/CVE-2006-6332/constants.h
- tests/verisec/suite/programs/apps/MADWiFi/CVE-2006-6332/encode_ie/interproc_bad.c 0 additions, 70 deletions...rams/apps/MADWiFi/CVE-2006-6332/encode_ie/interproc_bad.c
- tests/verisec/suite/programs/apps/MADWiFi/CVE-2006-6332/encode_ie/interproc_ok.c 0 additions, 74 deletions...grams/apps/MADWiFi/CVE-2006-6332/encode_ie/interproc_ok.c
- tests/verisec/suite/programs/apps/MADWiFi/CVE-2006-6332/encode_ie/no_sprintf_bad.c 0 additions, 52 deletions...ams/apps/MADWiFi/CVE-2006-6332/encode_ie/no_sprintf_bad.c
- tests/verisec/suite/programs/apps/MADWiFi/CVE-2006-6332/encode_ie/no_sprintf_ok.c 0 additions, 56 deletions...rams/apps/MADWiFi/CVE-2006-6332/encode_ie/no_sprintf_ok.c
- tests/verisec/suite/programs/apps/MADWiFi/CVE-2006-6332/giwscan_cb/giwscan_cb_bad.c 0 additions, 28 deletions...ms/apps/MADWiFi/CVE-2006-6332/giwscan_cb/giwscan_cb_bad.c
- tests/verisec/suite/programs/apps/MADWiFi/CVE-2006-6332/giwscan_cb/giwscan_cb_ok.c 0 additions, 31 deletions...ams/apps/MADWiFi/CVE-2006-6332/giwscan_cb/giwscan_cb_ok.c
- tests/verisec/suite/programs/apps/MADWiFi/README 0 additions, 7 deletionstests/verisec/suite/programs/apps/MADWiFi/README
- tests/verisec/suite/programs/apps/Makefile 0 additions, 46 deletionstests/verisec/suite/programs/apps/Makefile
- tests/verisec/suite/programs/apps/NetBSD-libc/CVE-2006-6652/README 0 additions, 47 deletions...isec/suite/programs/apps/NetBSD-libc/CVE-2006-6652/README
- tests/verisec/suite/programs/apps/NetBSD-libc/CVE-2006-6652/glob.h 0 additions, 60 deletions...isec/suite/programs/apps/NetBSD-libc/CVE-2006-6652/glob.h
- tests/verisec/suite/programs/apps/NetBSD-libc/CVE-2006-6652/glob1/bounds_bad.c 0 additions, 17 deletions...rograms/apps/NetBSD-libc/CVE-2006-6652/glob1/bounds_bad.c
- tests/verisec/suite/programs/apps/NetBSD-libc/CVE-2006-6652/glob1/bounds_ok.c 0 additions, 17 deletions...programs/apps/NetBSD-libc/CVE-2006-6652/glob1/bounds_ok.c
- tests/verisec/suite/programs/apps/NetBSD-libc/CVE-2006-6652/glob2/anyMeta_int_bad.c 0 additions, 50 deletions...ms/apps/NetBSD-libc/CVE-2006-6652/glob2/anyMeta_int_bad.c
Loading
Please register or sign in to comment