LogoopenSUSE Build Service > Projects
Sign Up | Log In

Deletion of checks before specific function calls in Linux source files

A couple of functions performs input parameter validation before their implementations will try further actions with side effects. Some calling functions perform similar safety checks.

Functions which release a system resource are occasionally documented in the way that they tolerate the passing of a null pointer for example.
There is mostly no need because of this fact that a function caller repeats a corresponding check.

Semantic patch patterns can help to identify update candidates also in Linux source files.

Source Files

Filename Size Changed Actions
COPYING 17.7 KB Download File
Deletion_of_checks_before_specific_function_calls_in_Linux_source_files.spec 4.09 KB Download File
delete_unnecessary_checks_template-with_static1.cocci 17 KB Download File
delete_unnecessary_checks_template1.cocci 873 Bytes Download File
find_functions_with_unnecessary_checks1-inc.make 905 Bytes Download File
find_functions_with_unnecessary_checks1.make 1.36 KB Download File
find_functions_with_unnecessary_checks_template-with_static1.cocci 7.7 KB Download File
find_input_parameter_validation-inc.make 2.35 KB Download File
find_input_parameter_validation1.cocci 17.8 KB Download File
find_input_parameter_validation1.make 1.38 KB Download File
find_input_parameter_validation2-inc.make 989 Bytes Download File
find_input_parameter_validation2.cocci 13.8 KB Download File
find_input_parameter_validation2.make 1.46 KB Download File
find_input_parameter_validation_template-with_static2.cocci 5.8 KB Download File
handle_function_list_template-with_static.pgl 635 Bytes Download File
handle_function_list_template-with_static.sqlite 350 Bytes Download File
handle_function_list_template.sqlite 314 Bytes Download File
list_functions_with_unnecessary_checks-with_static1.py 4.15 KB Download File
list_functions_with_unnecessary_checks_template-with_static1.cocci 11.4 KB Download File
list_functions_with_unnecessary_checks_template1.cocci 1.89 KB Download File
list_input_parameter_validation-with_static1.py 4.3 KB Download File
list_input_parameter_validation1.cocci 1.94 KB Download File
list_input_parameter_validation2.cocci 20.2 KB Download File
list_input_parameter_validation_template-with_static2.cocci 7.5 KB Download File
makefile 17.1 KB Download File
overview1.odg 40.4 KB Download File
parallel-inc.make 19 KB Download File
patch_functions_with_unnecessary_checks1-inc.make 902 Bytes Download File
patch_functions_with_unnecessary_checks1.make 1.4 KB Download File
preparation.sql 626 Bytes Download File
preparation.sqlite 675 Bytes Download File

Comments for home:elfring:semantic_patching:Deletion_of_checks_before_specific_function_calls (0)

Login required, please login or signup in order to comment