├── .gitignore ├── 01.w_Defects ├── Makefile.am ├── bit_shift.c ├── buffer_overrun_dynamic.c ├── buffer_underrun_dynamic.c ├── cmp_funcadr.c ├── conflicting_cond.c ├── data_lost.c ├── data_overflow.c ├── data_underflow.c ├── dead_code.c ├── dead_lock.c ├── deletion_of_data_structure_sentinel.c ├── double_free.c ├── double_lock.c ├── double_release.c ├── endless_loop.c ├── free_nondynamic_allocated_memory.c ├── free_null_pointer.c ├── func_pointer.c ├── function_return_value_unchecked.c ├── improper_termination_of_block.c ├── insign_code.c ├── invalid_extern.c ├── invalid_extern_1.c ├── invalid_memory_access.c ├── littlemem_st.c ├── livelock.c ├── lock_never_unlock.c ├── main.c ├── memory_allocation_failure.c ├── memory_leak.c ├── not_return.c ├── null_pointer.c ├── overrun_st.c ├── ow_memcpy.c ├── pow_related_errors.c ├── ptr_subtraction.c ├── race_condition.c ├── redundant_cond.c ├── return_local.c ├── sign_conv.c ├── sleep_lock.c ├── st_cross_thread_access.c ├── st_overflow.c ├── st_underrun.c ├── stubs.c ├── underrun_st.c ├── uninit_memory_access.c ├── uninit_pointer.c ├── uninit_var.c ├── unlock_without_lock.c ├── unused_var.c ├── wrong_arguments_func_pointer.c └── zero_division.c ├── 02.wo_Defects ├── Makefile.am ├── bit_shift.c ├── buffer_overrun_dynamic.c ├── buffer_underrun_dynamic.c ├── cmp_funcadr.c ├── conflicting_cond.c ├── data_lost.c ├── data_overflow.c ├── data_underflow.c ├── dead_code.c ├── dead_lock.c ├── deletion_of_data_structure_sentinel.c ├── double_free.c ├── double_lock.c ├── double_release.c ├── endless_loop.c ├── free_nondynamically_allocated_memory.c ├── free_null_pointer.c ├── func_pointer.c ├── function_return_value_unchecked.c ├── improper_termination_of_block.c ├── insign_code.c ├── invalid_extern.c ├── invalid_extern_1.c ├── invalid_memory_access.c ├── littlemem_st.c ├── livelock.c ├── lock_never_unlock.c ├── main.c ├── memory_allocation_failure.c ├── memory_leak.c ├── not_return.c ├── null_pointer.c ├── overrun_st.c ├── ow_memcpy.c ├── pow_related_errors.c ├── ptr_subtraction.c ├── race_condition.c ├── redundant_cond.c ├── return_local.c ├── sign_conv.c ├── sleep_lock.c ├── st_cross_thread_access.c ├── st_overflow.c ├── st_underrun.c ├── underrun_st.c ├── uninit_memory_access.c ├── uninit_pointer.c ├── uninit_var.c ├── unlock_without_lock.c ├── unused_var.c ├── wrong_arguments_func_pointer.c └── zero_division.c ├── 03.w_Defects_Cpp ├── Makefile.am ├── improper_error_handling.cpp └── main.cpp ├── 04.wo_Defects_Cpp ├── Makefile.am ├── improper_error_handling.cpp └── main.cpp ├── COPYING ├── Makefile.am ├── README.md ├── bootstrap ├── configure.ac ├── docs └── spec.pdf └── include ├── HeaderFile.h └── HeaderFile.hpp /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/.gitignore -------------------------------------------------------------------------------- /01.w_Defects/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/Makefile.am -------------------------------------------------------------------------------- /01.w_Defects/bit_shift.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/bit_shift.c -------------------------------------------------------------------------------- /01.w_Defects/buffer_overrun_dynamic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/buffer_overrun_dynamic.c -------------------------------------------------------------------------------- /01.w_Defects/buffer_underrun_dynamic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/buffer_underrun_dynamic.c -------------------------------------------------------------------------------- /01.w_Defects/cmp_funcadr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/cmp_funcadr.c -------------------------------------------------------------------------------- /01.w_Defects/conflicting_cond.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/conflicting_cond.c -------------------------------------------------------------------------------- /01.w_Defects/data_lost.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/data_lost.c -------------------------------------------------------------------------------- /01.w_Defects/data_overflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/data_overflow.c -------------------------------------------------------------------------------- /01.w_Defects/data_underflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/data_underflow.c -------------------------------------------------------------------------------- /01.w_Defects/dead_code.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/dead_code.c -------------------------------------------------------------------------------- /01.w_Defects/dead_lock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/dead_lock.c -------------------------------------------------------------------------------- /01.w_Defects/deletion_of_data_structure_sentinel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/deletion_of_data_structure_sentinel.c -------------------------------------------------------------------------------- /01.w_Defects/double_free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/double_free.c -------------------------------------------------------------------------------- /01.w_Defects/double_lock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/double_lock.c -------------------------------------------------------------------------------- /01.w_Defects/double_release.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/double_release.c -------------------------------------------------------------------------------- /01.w_Defects/endless_loop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/endless_loop.c -------------------------------------------------------------------------------- /01.w_Defects/free_nondynamic_allocated_memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/free_nondynamic_allocated_memory.c -------------------------------------------------------------------------------- /01.w_Defects/free_null_pointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/free_null_pointer.c -------------------------------------------------------------------------------- /01.w_Defects/func_pointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/func_pointer.c -------------------------------------------------------------------------------- /01.w_Defects/function_return_value_unchecked.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/function_return_value_unchecked.c -------------------------------------------------------------------------------- /01.w_Defects/improper_termination_of_block.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/improper_termination_of_block.c -------------------------------------------------------------------------------- /01.w_Defects/insign_code.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/insign_code.c -------------------------------------------------------------------------------- /01.w_Defects/invalid_extern.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/invalid_extern.c -------------------------------------------------------------------------------- /01.w_Defects/invalid_extern_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/invalid_extern_1.c -------------------------------------------------------------------------------- /01.w_Defects/invalid_memory_access.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/invalid_memory_access.c -------------------------------------------------------------------------------- /01.w_Defects/littlemem_st.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/littlemem_st.c -------------------------------------------------------------------------------- /01.w_Defects/livelock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/livelock.c -------------------------------------------------------------------------------- /01.w_Defects/lock_never_unlock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/lock_never_unlock.c -------------------------------------------------------------------------------- /01.w_Defects/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/main.c -------------------------------------------------------------------------------- /01.w_Defects/memory_allocation_failure.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/memory_allocation_failure.c -------------------------------------------------------------------------------- /01.w_Defects/memory_leak.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/memory_leak.c -------------------------------------------------------------------------------- /01.w_Defects/not_return.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/not_return.c -------------------------------------------------------------------------------- /01.w_Defects/null_pointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/null_pointer.c -------------------------------------------------------------------------------- /01.w_Defects/overrun_st.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/overrun_st.c -------------------------------------------------------------------------------- /01.w_Defects/ow_memcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/ow_memcpy.c -------------------------------------------------------------------------------- /01.w_Defects/pow_related_errors.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/pow_related_errors.c -------------------------------------------------------------------------------- /01.w_Defects/ptr_subtraction.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/ptr_subtraction.c -------------------------------------------------------------------------------- /01.w_Defects/race_condition.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/race_condition.c -------------------------------------------------------------------------------- /01.w_Defects/redundant_cond.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/redundant_cond.c -------------------------------------------------------------------------------- /01.w_Defects/return_local.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/return_local.c -------------------------------------------------------------------------------- /01.w_Defects/sign_conv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/sign_conv.c -------------------------------------------------------------------------------- /01.w_Defects/sleep_lock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/sleep_lock.c -------------------------------------------------------------------------------- /01.w_Defects/st_cross_thread_access.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/st_cross_thread_access.c -------------------------------------------------------------------------------- /01.w_Defects/st_overflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/st_overflow.c -------------------------------------------------------------------------------- /01.w_Defects/st_underrun.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/st_underrun.c -------------------------------------------------------------------------------- /01.w_Defects/stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/stubs.c -------------------------------------------------------------------------------- /01.w_Defects/underrun_st.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/underrun_st.c -------------------------------------------------------------------------------- /01.w_Defects/uninit_memory_access.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/uninit_memory_access.c -------------------------------------------------------------------------------- /01.w_Defects/uninit_pointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/uninit_pointer.c -------------------------------------------------------------------------------- /01.w_Defects/uninit_var.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/uninit_var.c -------------------------------------------------------------------------------- /01.w_Defects/unlock_without_lock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/unlock_without_lock.c -------------------------------------------------------------------------------- /01.w_Defects/unused_var.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/unused_var.c -------------------------------------------------------------------------------- /01.w_Defects/wrong_arguments_func_pointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/wrong_arguments_func_pointer.c -------------------------------------------------------------------------------- /01.w_Defects/zero_division.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/01.w_Defects/zero_division.c -------------------------------------------------------------------------------- /02.wo_Defects/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/Makefile.am -------------------------------------------------------------------------------- /02.wo_Defects/bit_shift.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/bit_shift.c -------------------------------------------------------------------------------- /02.wo_Defects/buffer_overrun_dynamic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/buffer_overrun_dynamic.c -------------------------------------------------------------------------------- /02.wo_Defects/buffer_underrun_dynamic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/buffer_underrun_dynamic.c -------------------------------------------------------------------------------- /02.wo_Defects/cmp_funcadr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/cmp_funcadr.c -------------------------------------------------------------------------------- /02.wo_Defects/conflicting_cond.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/conflicting_cond.c -------------------------------------------------------------------------------- /02.wo_Defects/data_lost.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/data_lost.c -------------------------------------------------------------------------------- /02.wo_Defects/data_overflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/data_overflow.c -------------------------------------------------------------------------------- /02.wo_Defects/data_underflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/data_underflow.c -------------------------------------------------------------------------------- /02.wo_Defects/dead_code.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/dead_code.c -------------------------------------------------------------------------------- /02.wo_Defects/dead_lock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/dead_lock.c -------------------------------------------------------------------------------- /02.wo_Defects/deletion_of_data_structure_sentinel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/deletion_of_data_structure_sentinel.c -------------------------------------------------------------------------------- /02.wo_Defects/double_free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/double_free.c -------------------------------------------------------------------------------- /02.wo_Defects/double_lock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/double_lock.c -------------------------------------------------------------------------------- /02.wo_Defects/double_release.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/double_release.c -------------------------------------------------------------------------------- /02.wo_Defects/endless_loop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/endless_loop.c -------------------------------------------------------------------------------- /02.wo_Defects/free_nondynamically_allocated_memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/free_nondynamically_allocated_memory.c -------------------------------------------------------------------------------- /02.wo_Defects/free_null_pointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/free_null_pointer.c -------------------------------------------------------------------------------- /02.wo_Defects/func_pointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/func_pointer.c -------------------------------------------------------------------------------- /02.wo_Defects/function_return_value_unchecked.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/function_return_value_unchecked.c -------------------------------------------------------------------------------- /02.wo_Defects/improper_termination_of_block.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/improper_termination_of_block.c -------------------------------------------------------------------------------- /02.wo_Defects/insign_code.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/insign_code.c -------------------------------------------------------------------------------- /02.wo_Defects/invalid_extern.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/invalid_extern.c -------------------------------------------------------------------------------- /02.wo_Defects/invalid_extern_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/invalid_extern_1.c -------------------------------------------------------------------------------- /02.wo_Defects/invalid_memory_access.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/invalid_memory_access.c -------------------------------------------------------------------------------- /02.wo_Defects/littlemem_st.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/littlemem_st.c -------------------------------------------------------------------------------- /02.wo_Defects/livelock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/livelock.c -------------------------------------------------------------------------------- /02.wo_Defects/lock_never_unlock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/lock_never_unlock.c -------------------------------------------------------------------------------- /02.wo_Defects/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/main.c -------------------------------------------------------------------------------- /02.wo_Defects/memory_allocation_failure.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/memory_allocation_failure.c -------------------------------------------------------------------------------- /02.wo_Defects/memory_leak.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/memory_leak.c -------------------------------------------------------------------------------- /02.wo_Defects/not_return.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/not_return.c -------------------------------------------------------------------------------- /02.wo_Defects/null_pointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/null_pointer.c -------------------------------------------------------------------------------- /02.wo_Defects/overrun_st.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/overrun_st.c -------------------------------------------------------------------------------- /02.wo_Defects/ow_memcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/ow_memcpy.c -------------------------------------------------------------------------------- /02.wo_Defects/pow_related_errors.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/pow_related_errors.c -------------------------------------------------------------------------------- /02.wo_Defects/ptr_subtraction.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/ptr_subtraction.c -------------------------------------------------------------------------------- /02.wo_Defects/race_condition.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/race_condition.c -------------------------------------------------------------------------------- /02.wo_Defects/redundant_cond.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/redundant_cond.c -------------------------------------------------------------------------------- /02.wo_Defects/return_local.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/return_local.c -------------------------------------------------------------------------------- /02.wo_Defects/sign_conv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/sign_conv.c -------------------------------------------------------------------------------- /02.wo_Defects/sleep_lock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/sleep_lock.c -------------------------------------------------------------------------------- /02.wo_Defects/st_cross_thread_access.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/st_cross_thread_access.c -------------------------------------------------------------------------------- /02.wo_Defects/st_overflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/st_overflow.c -------------------------------------------------------------------------------- /02.wo_Defects/st_underrun.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/st_underrun.c -------------------------------------------------------------------------------- /02.wo_Defects/underrun_st.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/underrun_st.c -------------------------------------------------------------------------------- /02.wo_Defects/uninit_memory_access.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/uninit_memory_access.c -------------------------------------------------------------------------------- /02.wo_Defects/uninit_pointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/uninit_pointer.c -------------------------------------------------------------------------------- /02.wo_Defects/uninit_var.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/uninit_var.c -------------------------------------------------------------------------------- /02.wo_Defects/unlock_without_lock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/unlock_without_lock.c -------------------------------------------------------------------------------- /02.wo_Defects/unused_var.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/unused_var.c -------------------------------------------------------------------------------- /02.wo_Defects/wrong_arguments_func_pointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/wrong_arguments_func_pointer.c -------------------------------------------------------------------------------- /02.wo_Defects/zero_division.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/02.wo_Defects/zero_division.c -------------------------------------------------------------------------------- /03.w_Defects_Cpp/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/03.w_Defects_Cpp/Makefile.am -------------------------------------------------------------------------------- /03.w_Defects_Cpp/improper_error_handling.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/03.w_Defects_Cpp/improper_error_handling.cpp -------------------------------------------------------------------------------- /03.w_Defects_Cpp/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/03.w_Defects_Cpp/main.cpp -------------------------------------------------------------------------------- /04.wo_Defects_Cpp/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/04.wo_Defects_Cpp/Makefile.am -------------------------------------------------------------------------------- /04.wo_Defects_Cpp/improper_error_handling.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/04.wo_Defects_Cpp/improper_error_handling.cpp -------------------------------------------------------------------------------- /04.wo_Defects_Cpp/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/04.wo_Defects_Cpp/main.cpp -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/COPYING -------------------------------------------------------------------------------- /Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/Makefile.am -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/README.md -------------------------------------------------------------------------------- /bootstrap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/bootstrap -------------------------------------------------------------------------------- /configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/configure.ac -------------------------------------------------------------------------------- /docs/spec.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/docs/spec.pdf -------------------------------------------------------------------------------- /include/HeaderFile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/include/HeaderFile.h -------------------------------------------------------------------------------- /include/HeaderFile.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/itc-benchmarks/HEAD/include/HeaderFile.hpp --------------------------------------------------------------------------------