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
)
states: don't __unnullify_path unnecessarily
[smatch.git]
/
smatch_data
/
db
/
tree
f0c3bbc046bc2d64725bb44852ed1204fa0a03a6
drwxr-xr-x
..
-rw-r--r--
128
call_implies.idx
blob
|
blame
|
history
|
raw
-rw-r--r--
155
call_implies.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
132
caller_info.idx
blob
|
blame
|
history
|
raw
-rw-r--r--
192
caller_info.schema
blob
|
blame
|
history
|
raw
-rwxr-xr-x
576
create_db.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
36
db.schema
blob
|
blame
|
history
|
raw
-rwxr-xr-x
2266
fill_db_caller_info.pl
blob
|
blame
|
history
|
raw
-rwxr-xr-x
715
fill_db_sql.pl
blob
|
blame
|
history
|
raw
-rwxr-xr-x
4076
fill_db_type_size.pl
blob
|
blame
|
history
|
raw
-rwxr-xr-x
4078
fill_db_type_value.pl
blob
|
blame
|
history
|
raw
-rwxr-xr-x
323
fixup_all.sh
blob
|
blame
|
history
|
raw
-rwxr-xr-x
5209
fixup_kernel.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
122
function_ptr.idx
blob
|
blame
|
history
|
raw
-rw-r--r--
87
function_ptr.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
66
function_type_size.idx
blob
|
blame
|
history
|
raw
-rw-r--r--
111
function_type_size.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
68
function_type_value.idx
blob
|
blame
|
history
|
raw
-rw-r--r--
113
function_type_value.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
63
local_values.idx
blob
|
blame
|
history
|
raw
-rw-r--r--
89
local_values.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
132
return_states.idx
blob
|
blame
|
history
|
raw
-rw-r--r--
214
return_states.schema
blob
|
blame
|
history
|
raw
-rwxr-xr-x
6813
smdb.py
blob
|
blame
|
history
|
raw
-rw-r--r--
48
type_size.idx
blob
|
blame
|
history
|
raw
-rw-r--r--
57
type_size.schema
blob
|
blame
|
history
|
raw
-rw-r--r--
48
type_value.idx
blob
|
blame
|
history
|
raw
-rw-r--r--
63
type_value.schema
blob
|
blame
|
history
|
raw