repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
kernel: handle find_next_bit()
2013-03-12
Da
n
C
arpenter
kernel
:
handle
f
ind_next
_
bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
an Carpenter
db
_
info:
s
ave r
e
turn values
in in-memory database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
check_kernel: p
r
eserve ERR_PTR values pa
s
s
e
d
t
o
IS_ERR_OR_NULL
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
D
an Carp
e
nter
check_kernel:
r
ename nonnu
l
l
t
o valid_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan
C
arpenter
Revert "k
e
rnel: rem
o
ve som
e
u
n
ne
e
ded code"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carp
e
nter
si
z
eof_param: fix
false p
o
sitives with strlcp
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-07
Dan Carp
e
nter
c
o
mpare:
h
andle s
o
me assignm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
pent
e
r
extra: shu
f
fle match
_
assign a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
p
enter
extra: only get th
e
typ
e
s one t
i
me in m
a
tch_
a
s
s
ign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
funct
i
on_ptr
:
mo
v
e get_f
n
p
tr_name() to smatch_fu
n
ction_
p
t
r
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
rpe
n
t
er
db: fix
u
p_ker
n
e
l
.
sh: discard caller_info from
-
>notifier_
c
all
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
r
p
e
n
ter
d
b: fix
u
p_k
e
rnel
.
sh: only track the main r
e
ad/write
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an Ca
r
penter
us
e
r_data:
track
user data
a
cross assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
s
m
atch_cappe
d
: get_implied_max
(
)
d
o
es not im
p
lied c
a
p
p
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Carp
e
nter
buf_size:
export
g
et_real_array_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
a
r
pe
n
ter
ex
t
ra: hand
l
e MOD_ASSIGN better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: don't p
r
i
n
t infor
m
ation caller info
r
mation for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
r
p
e
nte
r
funct
i
on_ptrs: tr
a
ck paramet
e
rs as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
pent
e
r
function_ptrs: s
e
parate into it
s
own file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpenter
data: add snprintf t
o
kernel
.
si
z
eof
_
pa
r
am
.
remove
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpen
t
er
buf_
s
ize:
f
i
x a NUL
L
dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
D
an Carpe
n
t
e
r
ker
n
el
:
remove some unneeded code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Ca
r
penter
b
u
f_size: ha
n
dle em
p
ty arrays on the end of structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpe
n
ter
buf_size:
r
emove
s
ome dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
D
a
n Carpenter
lo
c
a
l_
v
alues: store possible val
u
e
s
of stat
i
c dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan
Carpenter
f
l
ow: more inline fall out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
db: export mem
_
sql()
so che
c
ks can use
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Da
n
Carpente
r
no_return: another
p
r
oblem with
inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
ranges: fix ca
s
ting
o
f
inval
i
d ran
g
e lists
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carp
e
nter
extra, function_ho
o
ks: fix handling of
ca
s
te
d
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carp
e
nter
Revert
"db: don't c
r
eate unus
e
d tables in
the i
n
-memory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an C
a
rpenter
db: don't use f
u
nction pointe
r
s f
o
r caller info on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpenter
d
b: u
s
e "dis
t
i
nct" to
a
void duplicate functi
o
n
poi
n
t
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: load glob
a
l function pointers int
o
t
h
e db p
r
operly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpen
t
er
d
b: remove du
p
li
c
at
e
struct po
i
nters to f
u
nct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Carpenter
db: fix call_implies for the in-
m
emory dat
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db, function_hooks: query the
db after processin
g
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: store the value
o
f "x"
w
h
e
n you call fro
b
(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Carpenter
db:
pass
p
ointed at values
to
c
a
l
l
ed
function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: r
e
set the
i
n
-memor
y
dat
a
base after every func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
d
b
: add some de
b
u
g
statements fo
r
inserts into the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpent
e
r
db:
u
se ca
l
l_i
d
for th
e
i
n-memory databas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
C
arpenter
db: ad
d
call_i
d
to call_implies,
r
eturn_states an
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
a
r
pent
e
r
d
b: renam
e
function_id in the ca
l
ler_info table
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpente
r
db: don't
c
re
a
te unu
s
ed t
a
ble
s
in th
e
in-m
e
m
ory
d
a
tabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpen
t
er
d
b
:
don't p
r
int caller in
f
o for __b
u
ilt
i
n f
u
nc
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an Carpen
t
er
d
b: use correct variable in
mem_sql()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
extra: improve un
s
i
gned comp
a
risons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
ranges: don't do unneeded all
o
c
ati
o
ns in ca
s
t_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan C
a
rpenter
r
a
ng
e
s:
introduce rl_ty
p
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Ca
r
p
e
nter
db: use i
n
-memory database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan C
a
rpenter
d
b
:
move
a
n op
t
ion_
n
o_db check to run_sql()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
D
an C
a
rpenter
flow, db:
r
ename should
_
i
nline() to in
l
inable(
)
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Car
p
enter
returns: add a c
h
eck for __inline_fn
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
D
an Carpenter
db, flow: make __inli
n
e_fn
a
pointer
to the fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: SQL
f
ormatt
i
ng bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan
Carpe
n
ter
db: save ca
l
ler_info for inline function pro
p
erly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
D
an
C
arpenter
db: silence a
compile war
n
ing
o
n 32 bi
t
(
u
se %zd fo
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
D
a
n Car
p
enter
db
:
introdu
c
e sql_sel
e
ct_call_imp
l
ies()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan
Carpenter
db: only allow functions to be saved to
one functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Ca
r
penter
db: introduce sql
_
sele
c
t_caller_info()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: introduce sql_select_r
e
turn_val
u
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan
Carpent
e
r
db: int
r
oduc
e
sql_select_r
e
turn_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpenter
ranges: f
i
x "trouble parsi
n
g empty" m
e
ssages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Da
n
C
arpenter
param
_
lim
i
t, para
m
_filter: silence
some
d
ebug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpe
n
ter
smatch: fix sm_d
e
b
u
g
() to always
p
rint
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
D
a
n
Car
p
enter
db, flow: parse in
l
ine statements, load stuff into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpente
r
st
a
tes: introduce
helper
func
t
ions
t
o preserve and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
validation: fix bog
u
s
test
s
so they don'
t
cause
segfaults
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Car
p
e
n
te
r
parse_
c
all_math: f
i
x s
e
g
fault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan C
a
rpent
e
r
d
b: make sql_insert_caller_info() take
the
c
a
ll expression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
d
b
: i
n
itializ
e
In-M
e
mory database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan C
a
rpenter
db: mo
v
e db s
t
uff from sma
t
c
h
_s
c
ript
s
/db/ to s
m
a
t
ch_data/db
/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
db: everyone must have li
b
sq
l
ite3 instal
l
ed (not optional)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan
Carpenter
f
i
les:
m
ake
o
pen_data_file() exported
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpe
n
t
e
r
flow
:
del
e
te unused
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
D
an Carpenter
h
elper: hand
l
e assignments in expr_to
_
str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Da
n
Carpente
r
*new* check_struc
t
_type: if
w
e allocate an une
x
pected
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Car
p
enter
rosenbe
r
g:
fix c
r
as
h
parsing
d
ifferent
f
u
nctions
with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan
C
a
r
penter
db: m
o
v
e
c
a
ller_info as close
as poss
i
ble to raw
S
Q
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: ma
k
e member_info callba
c
ks take
1 or 0 instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: m
o
ve typ
e
_size to use raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpen
t
e
r
db
:
move call_im
p
l
ies to use raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpent
e
r
d
b: m
o
ve r
e
turn
_
v
a
l
ues
t
o u
s
e raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan
C
a
r
penter
d
b: del
e
te u
n
used no_side_effects tab
l
e (f
o
r
n
o
w
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpe
n
ter
db: move function_
p
tr t
o
raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan
Carpenter
db: move ret
u
rn_states t
o
raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: t
o
o
l
s for
prin
t
ing
raw SQL
i
nstead
of human readable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-08
Dan Carpen
t
e
r
si
l
enc
e
bogus "un
r
eachab
l
e
code" wa
r
nings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Da
n
C
a
rpen
t
er
param_l
i
mit
:
han
d
le functions wh
e
r
e
t
he para
m
eter is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpente
r
db:
t
ake static vs global
into considera
t
ion wit funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Dan Ca
r
p
e
n
t
er
math: handle
M
OD
o
peratio
n
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
D
a
n Ca
r
penter
*
dele
t
e* bool_im
p
lications:
t
his file is
u
nused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan C
a
r
pen
t
er
pa
r
am
_
(filter|limi
t
|set)
:
add some comm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan C
a
rpenter
buf_size: don't cras
h
on
i
nvalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Car
p
enter
parse_
c
a
l
l_math:
sile
n
ce "internal bug:
p
o
p_val popping
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan
Carpe
n
ter
propa
g
ate: fall out
f
rom g
e
t_imp
l
i
ed_min()
changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
e
x
tra: type bug handling empty states in reset_struct_members(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
r
a
nges:
d
o
n't allow i
n
v
e
rted
ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
db: don't ge
t
prin
t
i
n
fo
i
f t
h
e
f
u
nction has
over 10000
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next