Skip to content
BranchesTags

Latest commit

 

History

6,187 Commits

Folders and files

NameName
Last commit message
Last commit date
Documentation
Documentation
 
 
compat
compat
 
 
cwchash
cwchash
 
 
gvpr
gvpr
 
 
smatch_data
smatch_data
 
 
smatch_scripts
smatch_scripts
 
 
validation
validation
 
 
.gitignore
.gitignore
 
 
FAQ
FAQ
 
 
GPL-2
GPL-2
 
 
LICENSE
LICENSE
 
 
Makefile
Makefile
 
 
README
README
 
 
allocate.c
allocate.c
 
 
allocate.h
allocate.h
 
 
ast-inspect.c
ast-inspect.c
 
 
ast-inspect.h
ast-inspect.h
 
 
ast-model.c
ast-model.c
 
 
ast-model.h
ast-model.h
 
 
ast-view.c
ast-view.c
 
 
ast-view.h
ast-view.h
 
 
avl.c
avl.c
 
 
avl.h
avl.h
 
 
bitmap.h
bitmap.h
 
 
c2xml.c
c2xml.c
 
 
cgcc
cgcc
 
 
cgcc.1
cgcc.1
 
 
char.c
char.c
 
 
char.h
char.h
 
 
check_64bit_shift.c
check_64bit_shift.c
 
 
check_access_ok_math.c
check_access_ok_math.c
 
 
check_allocating_enough_data.c
check_allocating_enough_data.c
 
 
check_allocation_funcs.c
check_allocation_funcs.c
 
 
check_array_condition.c
check_array_condition.c
 
 
check_assign_vs_compare.c
check_assign_vs_compare.c
 
 
check_assigned_expr.c
check_assigned_expr.c
 
 
check_bit_shift.c
check_bit_shift.c
 
 
check_bogus_irqrestore.c
check_bogus_irqrestore.c
 
 
check_bogus_loop.c
check_bogus_loop.c
 
 
check_buffer_too_small_for_struct.c
check_buffer_too_small_for_struct.c
 
 
check_call_tree.c
check_call_tree.c
 
 
check_capable.c
check_capable.c
 
 
check_cast_assign.c
check_cast_assign.c
 
 
check_check_deref.c
check_check_deref.c
 
 
check_condition_data.c
check_condition_data.c
 
 
check_container_of.c
check_container_of.c
 
 
check_continue_vs_break.c
check_continue_vs_break.c
 
 
check_debug.c
check_debug.c
 
 
check_debug.h
check_debug.h
 
 
check_deref.c
check_deref.c
 
 
check_deref_check.c
check_deref_check.c
 
 
check_dereferences_param.c
check_dereferences_param.c
 
 
check_dev_queue_xmit.c
check_dev_queue_xmit.c
 
 
check_dma_mapping_error.c
check_dma_mapping_error.c
 
 
check_dma_on_stack.c
check_dma_on_stack.c
 
 
check_double_checking.c
check_double_checking.c
 
 
check_err_ptr.c
check_err_ptr.c
 
 
check_err_ptr_deref.c
check_err_ptr_deref.c
 
 
check_expects_err_ptr.c
check_expects_err_ptr.c
 
 
check_free.c
check_free.c
 
 
check_freeing_devm.c
check_freeing_devm.c
 
 
check_freeing_null.c
check_freeing_null.c
 
 
check_frees_argument.c
check_frees_argument.c
 
 
check_frees_param.c
check_frees_param.c
 
 
check_get_user_overflow.c
check_get_user_overflow.c
 
 
check_gfp_dma.c
check_gfp_dma.c
 
 
check_held_dev.c
check_held_dev.c
 
 
check_implicit_dependencies.c
check_implicit_dependencies.c
 
 
check_implicit_dependencies_tester.c
check_implicit_dependencies_tester.c
 
 
check_impossible_mask.c
check_impossible_mask.c
 
 
check_indenting.c
check_indenting.c
 
 
check_index_overflow.c
check_index_overflow.c
 
 
check_info_leak.c
check_info_leak.c
 
 
check_input_free_device.c
check_input_free_device.c
 
 
check_ioctl_tracer.c
check_ioctl_tracer.c
 
 
check_kernel.c
check_kernel.c
 
 
check_kernel_printf.c
check_kernel_printf.c
 
 
check_kmalloc_to_bugon.c
check_kmalloc_to_bugon.c
 
 
check_kmalloc_wrong_size.c
check_kmalloc_wrong_size.c
 
 
check_kunmap.c
check_kunmap.c
 
 
check_leaks.c
check_leaks.c
 
 
check_list.h
check_list.h
 
 
check_locking.c
check_locking.c
 
 
check_logical_instead_of_bitwise.c
check_logical_instead_of_bitwise.c
 
 
check_macro_side_effects.c
check_macro_side_effects.c
 
 
check_macros.c
check_macros.c
 
 
check_memcpy_overflow.c
check_memcpy_overflow.c
 
 
check_memory.c
check_memory.c
 
 
check_memset.c
check_memset.c
 
 
check_min_t.c
check_min_t.c
 
 
check_missing_break.c
check_missing_break.c
 
 
check_mod_timer.c
check_mod_timer.c
 
 
check_no_effect.c
check_no_effect.c
 
 
check_no_if_block.c
check_no_if_block.c
 
 
check_no_return.c
check_no_return.c
 
 
check_off_by_one_relative.c
check_off_by_one_relative.c
 
 
check_or_vs_and.c
check_or_vs_and.c
 
 
check_param_mapper.c
check_param_mapper.c
 
 
check_passes_sizeof.c
check_passes_sizeof.c
 
 
check_platform_device_put.c
check_platform_device_put.c
 
 

Repository files navigation

There are some documents under the Documentation/ directory.

For parsing implicit dependencies, see smatch_scripts/implicit_dependencies.

About

Forked smatch for syzkaller project

Resources

Readme
License
Activity

Stars

1 star

Watchers

1 watching

Forks

2 forks
Report repository

Releases

Packages

Contributors

Languages