db, kernel: when kmalloc() succeeds that implies the size was reasonable
[smatch.git] / smatch_data / db / 
tree8a110adf8ea087131ef738ef68220c3cd5c9eed0
drwxr-xr-x   ..
-rw-r--r-- 128 call_implies.idx
-rw-r--r-- 173 call_implies.schema
-rw-r--r-- 132 caller_info.idx
-rw-r--r-- 192 caller_info.schema
-rwxr-xr-x 666 create_db.sh
-rw-r--r-- 107 data_info.idx
-rw-r--r-- 94 data_info.schema
-rw-r--r-- 36 db.schema
-rwxr-xr-x 2266 fill_db_caller_info.pl
-rwxr-xr-x 715 fill_db_sql.pl
-rwxr-xr-x 4076 fill_db_type_size.pl
-rwxr-xr-x 4078 fill_db_type_value.pl
-rwxr-xr-x 323 fixup_all.sh
-rwxr-xr-x 6328 fixup_kernel.sh
-rw-r--r-- 173 function_ptr.idx
-rw-r--r-- 107 function_ptr.schema
-rw-r--r-- 151 function_type_info.idx
-rw-r--r-- 124 function_type_info.schema
-rw-r--r-- 66 function_type_size.idx
-rw-r--r-- 111 function_type_size.schema
-rw-r--r-- 68 function_type_value.idx
-rw-r--r-- 113 function_type_value.schema
-rw-r--r-- 63 local_values.idx
-rw-r--r-- 89 local_values.schema
-rwxr-xr-x 1501 mark_function_ptrs_searchable.pl
-rwxr-xr-x 1539 remove_mixed_up_pointer_params.pl
-rw-r--r-- 132 return_states.idx
-rw-r--r-- 214 return_states.schema
-rwxr-xr-x 7652 smdb.py
-rw-r--r-- 48 type_size.idx
-rw-r--r-- 57 type_size.schema
-rw-r--r-- 48 type_value.idx
-rw-r--r-- 63 type_value.schema