ctools:比较源代码验证工具。 在线可在ctools.exida.pl上获得，请通过exidademo-Verification code source code （368个子文件） 
set_of_polyspace_test_out_of_bounds.c 7KB too_many_function_statements.c 2KB div_zero_float.c 1KB global_array_of_structs_access_before.c 1KB div_zero.c 971B global_array_operator_before_module_const_array.c 755B global_array_pointer_after_module_array.c 747B global_array_operator_after_module_const_array.c 742B global_array_pointer_before_module_const_array.c 741B global_array_pointer_before_module_array.c 729B global_array_pointer_after_module_const_array.c 727B global_array_operator_after_module_array.c 723B global_array_operator_before_module_array.c 723B stack_array_of_structs_access_after.c 712B stack_array_of_structs_access_before.c 698B 4.2.c 672B stack_as_pointer_through_pointer_after.c 653B stack_as_pointer_through_operator_after.c 653B global_access_address_before_const_uint32.c 637B stack_as_pointer_through_pointer_before.c 636B global_access_address_after_const_uint32.c 634B stack_as_pointer_through_operator_before.c 631B global_access_address_after_uint32.c 618B global_array_of_structs_access_after.c 618B heap_access_through_pointer_after.c 580B global_access_address_before_uint32.c 569B global_array_through_pointer_after.c 565B global_array_through_operator_before.c 564B stack_int_non_initialized_read.c 557B heap_access_after.c 554B heap_access_through_pointer_before.c 554B global_array_through_pointer_before.c 547B stack_use_after_return_ptr_to_argument.c 544B overflow_int32_add.c 537B heap_access_before.c 537B overflow_int32_divide_minus_one.c 533B stack_use_after_return_indirectly.c 528B overflow_int8_cast.c 525B stack_bitfield_referenced_read_uninitialized.c 521B heap_referenced_read_after.c 508B heap_referenced_read_before.c 501B overflow_float.c 494B global_array_referenced_read_after.c 489B heap_read_uninitialized.c 476B use_after_kfree.c 475B global_array_init_read_after.c 474B global_access_address_before.c 473B stack_bitfield_noinit_read_uninitialized.c 470B stack_use_after_return_by_global.c 466B overflow_int8_divide_minus_one.c 465B overflow_uint32_add.c 463B overlapping_src_dst_in_memcpy_heap.c 460B overflow_int8_add.c 460B stack_use_after_return_by_argument.c 456B global_array_init_read_before.c 455B global_array_referenced_read_before.c 452B global_array_noinit_read_after.c 451B stack_array_referenced_read_uninitialized.c 444B unreachable_code_boolean_invariant_runtime.c 441B stack_array_referenced_read_after.c 440B stack_array_referenced_read_before.c 432B overflow_uint32_inc.c 429B global_access_address_before_read.c 425B stack_array_noinit_read_uninitialized.c 421B stack_use_after_return_local.c 415B stack_array_noinit_read_after.c 414B overlapping_src_dst_in_memcpy_global.c 408B stack_array_noinit_read_before.c 406B stack_array_init_read_before.c 405B overlapping_src_dst_in_memcpy_stack.c 396B 15_inline_more_than_3_lines.c 396B overflow_int32_inc.c 396B overflow_int8_inc.c 396B stack_array_init_read_after.c 395B uninitialized_memcpy_heap.c 395B heap_use_after_free.c 393B global_array_noinit_read_before.c 392B global_access_address_after_read.c 384B global_access_address_before_write.c 379B overflow_uint8_inc.c 378B 14_alloc_sizeof_struct.c 378B heap_malloc_invalid_argument.c 376B heap_free_invalid_argument_double.c 375B overflow_uint8_cast.c 373B uninitialized_memcpy_stack.c 369B 17.1.c 359B global_access_address_after_write.c 354B heap_free_invalid_argument_after.c 353B heap_free_invalid_argument_inside.c 345B heap_free_invalid_argument_before.c 345B unreachable_code_boolean_invariant_const.c 339B env33.c 336B unreachable_code_after_return.c 332B null_dereference.c 330B too_many_function_parameters.c 311B heap_leak.c 310B heap_free_invalid_argument_uninitialized.c 307B enum_access.c 306B 5.3_mem_alloc_in_if.c 296B uninitialized_function_pointer.c 284B共 368 条
- 1
- 2
- 3
- 4
资源评论
