For the following benchmarks, -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS had to be added in their Makefiles to avoid compilation errors at present.
Cause of compilation error: A function with a bounds-safe interface has another function call as an argument at one of its call-sites.
MultiSource/Benchmarks/BitBench/drop3
MultiSource/Benchmarks/FreeBench/pifft
MultiSource/Benchmarks/McCat/18-imp
MultiSource/Benchmarks/Prolangs-C/TimberWolfMC
MultiSource/Benchmarks/Prolangs-C/agrep
MultiSource/Benchmarks/Prolangs-C/assembler
MultiSource/Benchmarks/Prolangs-C/loader
MultiSource/Benchmarks/Prolangs-C/unix-smail
MultiSource/Benchmarks/Ptrdist/bc
MultiSource/Benchmarks/VersaBench/dbms
Cause of compilation error: Some of the variables/strings (like ON and n) used by Checked-C-specific declarations have been redefined as macros earlier + plus other issues.
MultiSource/Benchmarks/MallocBench/espresso
MultiSource/Benchmarks/McCat/05-eks
MultiSource/Benchmarks/MiBench/consumer-lame
MultiSource/Benchmarks/MiBench/consumer-typeset
MultiSource/Benchmarks/MiBench/network-patricia
MultiSource/Benchmarks/MiBench/office-ispell
MultiSource/Benchmarks/Prolangs-C/archie-client
MultiSource/Benchmarks/Prolangs-C/cdecl
MultiSource/Benchmarks/Trimaran/netbench-url
For the following benchmarks, -DNO_IMPLICIT_INCLUDE_CHECKED_HDRS had to be added in their Makefiles to avoid compilation errors at present.
Cause of compilation error: A function with a bounds-safe interface has another function call as an argument at one of its call-sites.
MultiSource/Benchmarks/BitBench/drop3
MultiSource/Benchmarks/FreeBench/pifft
MultiSource/Benchmarks/McCat/18-imp
MultiSource/Benchmarks/Prolangs-C/TimberWolfMC
MultiSource/Benchmarks/Prolangs-C/agrep
MultiSource/Benchmarks/Prolangs-C/assembler
MultiSource/Benchmarks/Prolangs-C/loader
MultiSource/Benchmarks/Prolangs-C/unix-smail
MultiSource/Benchmarks/Ptrdist/bc
MultiSource/Benchmarks/VersaBench/dbms
Cause of compilation error: Some of the variables/strings (like ON and n) used by Checked-C-specific declarations have been redefined as macros earlier + plus other issues.
MultiSource/Benchmarks/MallocBench/espresso
MultiSource/Benchmarks/McCat/05-eks
MultiSource/Benchmarks/MiBench/consumer-lame
MultiSource/Benchmarks/MiBench/consumer-typeset
MultiSource/Benchmarks/MiBench/network-patricia
MultiSource/Benchmarks/MiBench/office-ispell
MultiSource/Benchmarks/Prolangs-C/archie-client
MultiSource/Benchmarks/Prolangs-C/cdecl
MultiSource/Benchmarks/Trimaran/netbench-url