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 about 3 years ago Download File
Deletion_of_checks_before_specific_function_calls_in_Linux_source_files.spec 4.09 KB about 3 years ago Download File
delete_unnecessary_checks_template-with_static1.cocci 17 KB almost 2 years ago Download File
delete_unnecessary_checks_template1.cocci 873 Bytes about 3 years ago Download File
find_functions_with_unnecessary_checks1-inc.make 905 Bytes about 3 years ago Download File
find_functions_with_unnecessary_checks1.make 1.36 KB about 3 years ago Download File
find_functions_with_unnecessary_checks_template-with_static1.cocci 7.7 KB about 3 years ago Download File
find_input_parameter_validation-inc.make 2.35 KB about 3 years ago Download File
find_input_parameter_validation1.cocci 17.8 KB almost 2 years ago Download File
find_input_parameter_validation1.make 1.38 KB about 3 years ago Download File
find_input_parameter_validation2-inc.make 989 Bytes about 3 years ago Download File
find_input_parameter_validation2.cocci 13.8 KB almost 2 years ago Download File
find_input_parameter_validation2.make 1.46 KB about 3 years ago Download File
find_input_parameter_validation_template-with_static2.cocci 5.8 KB about 3 years ago Download File
handle_function_list_template-with_static.pgl 635 Bytes about 3 years ago Download File
handle_function_list_template-with_static.sqlite 350 Bytes about 3 years ago Download File
handle_function_list_template.sqlite 314 Bytes about 3 years ago Download File
list_functions_with_unnecessary_checks-with_static1.py 4.15 KB almost 3 years ago Download File
list_functions_with_unnecessary_checks_template-with_static1.cocci 11.4 KB almost 2 years ago Download File
list_functions_with_unnecessary_checks_template1.cocci 1.89 KB about 3 years ago Download File
list_input_parameter_validation-with_static1.py 4.3 KB about 3 years ago Download File
list_input_parameter_validation1.cocci 1.94 KB over 2 years ago Download File
list_input_parameter_validation2.cocci 20.2 KB almost 2 years ago Download File
list_input_parameter_validation_template-with_static2.cocci 7.5 KB about 3 years ago Download File
makefile 17.1 KB about 3 years ago Download File
overview1.odg 40.4 KB about 3 years ago Download File
parallel-inc.make 19 KB almost 2 years ago Download File
patch_functions_with_unnecessary_checks1-inc.make 902 Bytes about 3 years ago Download File
patch_functions_with_unnecessary_checks1.make 1.4 KB about 3 years ago Download File
preparation.sql 626 Bytes about 3 years ago Download File
preparation.sqlite 675 Bytes about 3 years ago Download File

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