repo.or.cz
/
smatch.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
history
|
HEAD
|
snapshot (
tar.gz
zip
)
debug: make __smatch_about() handle SSA states better
[smatch.git]
/
smatch_data
/
db
/
tree
e05c250815c009494666e7ec5ae23444ed19f29b
drwxr-xr-x
..
-rwxr-xr-x
456
apply_return_fixes.sh
blob
|
blame
|
history
|
raw
-rwxr-xr-x
2090
build_early_index.sh
blob
|
blame
|
history
|
raw
-rwxr-xr-x
325
build_late_index.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
274
call_implies.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
187
caller_info.schema
blob
|
blame
|
history
|
raw
-rwxr-xr-x
689
clear_user_data.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
194
common_caller_info.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
116
constraints.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
142
constraints_required.schema
blob
|
blame
|
history
|
raw
-rwxr-xr-x
1234
copy_function_pointers.pl
blob
|
blame
|
history
|
raw
-rwxr-xr-x
879
copy_required_constraints.pl
blob
|
blame
|
history
|
raw
-rwxr-xr-x
1941
create_db.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
90
data_info.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
36
db.schema
blob
|
blame
|
history
|
raw
-rwxr-xr-x
331
delete_too_common_fn_ptr.sh
blob
|
blame
|
history
|
raw
-rwxr-xr-x
2267
fill_db_caller_info.pl
blob
|
blame
|
history
|
raw
-rwxr-xr-x
923
fill_db_sql.pl
blob
|
blame
|
history
|
raw
-rwxr-xr-x
4092
fill_db_type_size.pl
blob
|
blame
|
history
|
raw
-rwxr-xr-x
4281
fill_db_type_value.pl
blob
|
blame
|
history
|
raw
-rwxr-xr-x
60
fixup_all.sh
blob
|
blame
|
history
|
raw
-rwxr-xr-x
17134
fixup_kernel.sh
blob
|
blame
|
history
|
raw
-rwxr-xr-x
0
fixup_smatch_generic.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
151
fn_data_link.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
115
fn_ptr_data_link.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
176
function_ptr.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
119
function_type.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
143
function_type_info.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
106
function_type_size.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
108
function_type_value.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
106
hash_string.schema
blob
|
blame
|
history
|
raw
-rwxr-xr-x
1721
init_constraints.pl
blob
|
blame
|
history
|
raw
-rwxr-xr-x
1178
init_constraints_required.pl
blob
|
blame
|
history
|
raw
-rwxr-xr-x
2975
insert_manual_states.pl
blob
|
blame
|
history
|
raw
-rw-r--r--
8
kernel.constraints
blob
|
blame
|
history
|
raw
-rw-r--r--
352
kernel.constraints_required
blob
|
blame
|
history
|
raw
-rw-r--r--
298
kernel.delete.return_states
blob
|
blame
|
history
|
raw
-rw-r--r--
17
kernel.forced_return_splits
blob
|
blame
|
history
|
raw
-rw-r--r--
1391
kernel.insert.return_states
blob
|
blame
|
history
|
raw
-rw-r--r--
4434
kernel.return_fixes
blob
|
blame
|
history
|
raw
-rw-r--r--
84
local_values.schema
blob
|
blame
|
history
|
raw
-rwxr-xr-x
1071
mark_function_ptrs_searchable.pl
blob
|
blame
|
history
|
raw
-rw-r--r--
231
mtag_about.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
53
mtag_alias.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
156
mtag_data.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
151
mtag_info.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
94
mtag_map.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
112
param_map.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
120
parameter_name.schema
blob
|
blame
|
history
|
raw
-rwxr-xr-x
1293
reload_partial.sh
blob
|
blame
|
history
|
raw
-rwxr-xr-x
1548
remove_mixed_up_pointer_params.pl
blob
|
blame
|
history
|
raw
-rw-r--r--
276
return_implies.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
209
return_states.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
130
sink_info.schema
blob
|
blame
|
history
|
raw
-rwxr-xr-x
28791
smdb.py
blob
|
blame
|
history
|
raw
-rw-r--r--
157
type_info.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
57
type_size.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
63
type_value.schema
blob
|
blame
|
history
|
raw
-rwxr-xr-x
984
vim_smdb
blob
|
blame
|
history
|
raw