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
db: kernel: fake up ->read/write() limits
2013-04-18
D
a
n Carpen
t
er
db: kernel: fa
k
e up ->
r
ead/writ
e
() limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
rpenter
db: store "too
c
ommon" fu
n
ct
i
o
ns in the data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
ter
param_
c
l
eared: clear_buffer
:
ad
d
them to the ch
e
c
k
_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
Car
p
ente
r
ext
r
a: don't
u
se t
h
e i
n
direct_modificati
o
n_hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
e
x
tra: make pa
r
am_filter set_ex
t
ra_mod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
rosenb
e
rg: rem
o
ve pah
o
l
e
dependency
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
parse: add a b
i
g
hack to track packed structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n
Carpe
n
ter
*
n
ew*
s
ma
t
ch_cl
e
ar_b
u
ffer
.
c: h
a
n
dle memset() type function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpenter
pa
r
am_li
m
it/filter: ignore whole rang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
rang
e
s: a
n
empty range
is not a whole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
extra: remove
s
ome dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Car
p
ente
r
extra: small fix for when t
h
e databas
e
is disabled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carpenter
db: always split the return val
u
es if we're n
o
t using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpe
n
t
e
r
cond
i
tions: use s
e
t_
e
xtra_expr_mod(
)
to chang
e
extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
rpenter
user_data: compat
s
y
sc
a
ll parameters are user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpen
t
er
user_data: using a user sup
p
lied offse
t
into an known
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carpenter
lockin
g
:
add so
m
e more bh
l
o
c
k functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Da
n
Car
p
ent
e
r
Merge branch 'rfc-attribute-
s
truct'
of git
:
//git
.
k
er
n
e
l
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
ch
e
c
k_
d
eref:
disable "potential NULL
dereference
"
by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpenter
lo
c
king:
a
dd local_
b
h_disab
l
e/enable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Dan Carpenter
lockin
g
:
handle nul
l
vs non-NULL returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
pent
e
r
locking: updat
e
vali
d
ation/ tes
t
s to
the new
w
ar
n
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpent
e
r
fun
c
tion_ptr
s
:
"(*
p
trs[0])
(
a,
b
)" is the same as "ptrs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpenter
function_ptrs: record when function point
e
r is saved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
ar
p
e
n
ter
rosenber
g
: r
e
move
s
om
e
structs which do
n
't
have
holes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
rosenberg:
c
heck for
nla_put
i
nf
o
leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
f
l
ow: fa
k
e
member and element a
s
si
g
nments bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
arpenter
expr
e
s
sions: introduce
arr
a
y_element_e
x
p
r
ession(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
pen
t
e
r
lock
i
ng: tak
e
r
e
t
u
r
n
s
v
alu
e
s int
o
c
o
n
s
iderat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
check_
k
ernel:
l
ook har
d
er for the container_of() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpente
r
implied:
db: fix how returns are broke
n
apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
d
b
: return_id
was set
i
ncor
r
ec
t
ly wh
e
n i
n
li
n
e functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
d
b:
fix
how the return
v
a
lues are casted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
Dan
Carpenter
help
e
r: m
a
ke is_array()
accept NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan C
a
rpent
e
r
d
b: fun
c
t
ion_
p
trs: do better at func
t
ion ptr to fun
c
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carp
e
nter
flow: create
fake ass
i
g
n
m
ents
f
or a
r
ray declaration
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
D
an Carpenter
flow: ex
p
ressio
n
s: d
o
n't try up
d
at
i
ng to uninit
i
alized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
d
b: fix
u
p_kernel
.
s
h
: (
s
tr
u
ct m
I
SDNchannel)->sen
d
i
nforma
t
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpe
n
t
e
r
db:
fixup_kernel
.
sh: re
c
ord
w
here ->notifier_ca
l
l is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n Carpent
e
r
flow: handle inlines better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carp
e
nter
d
b
:
f
unc
t
ion_ptrs:
t
r
ack pointer to pointer assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpente
r
math
:
silence some buffer ove
r
f
l
ow false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan
Carpenter
db:
fi
x
up_kerne
l
.
sh:
ig
n
ore
(
st
r
uc
t
timer_list)-
>
fu
n
cti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: look up all the funct
i
on
poin
t
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpenter
helper: al
l
o
w
get_param_num_from_sym(
)
to be us
e
d
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
string_list
:
introduce list_ha
s
_
s
t
rin
g
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an C
a
rpenter
smatch_string_list
.
c
: separate
strin
g
_
l
i
s
t fun
c
tions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: only lookup func
t
ion pointers once
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
annotate: use it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
a
rpente
r
h
e
lper: igno
r
e
p
a
rens in expr_to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
overflow
:
silenc
e
kernel false
p
osit
i
ve abo
u
t __pe
r
_cpu_off
s
et
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an
Carpenter
ker
n
el:
r
e
c
over modul
e
_init/exit
(
) funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
flow: pass the sym_list to
the END_FILE_HO
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: fi
x
up_ker
n
el
.
sh remove some more
U
SER_DATA tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rp
e
nter
db: speedup fill_db_calle
r
_in
f
o
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
extra: improve += and -
=
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an C
a
rpenter
s
v
al: i
n
troduce sva
l
_is_negative_
m
i
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval: fix sval_binop_overflows() to a
c
cept different
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
introd
u
c
e smatch_annotate
.
c:
a
n
notate some common function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n
Carpe
n
ter
db: give
u
p if
there ar
e
ov
e
r
1000 ret
u
rne
d
s
tates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db
:
fi
x
slow down caused
b
y recursive funct
i
o
n
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
buf_size: false positive from large "i
m
plied"
i
mplied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpente
r
he
l
per: fix expr_to_
s
tr() for function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
db: remove mo
r
e
user data fr
o
m start_xmit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpent
e
r
d
b: m
a
nually de
l
ete som
e
USER_DATA
m
arkers from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-18
Dan Carpenter
extra: move vanilla assigns int
o
t
h
eir o
w
n function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
rang
e
s: in ca
s
t_rl(
)
sometimes it's better to
j
ust
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
ex
t
ra: typ
e
bug handling
asm
expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
d
b: fix bu
g
hand
l
ing '
:
'
c
h
aract
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpente
r
m
ath: Use
function c
a
ll inform
a
tio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carp
e
nter
flow: han
d
le POST_OPs correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Ca
r
penter
b
u
f
_
size:
h
andle dm
a
_
alloc_attrs(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
a
r
pen
t
er
extra: type bug handling for lo
o
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Car
p
enter
m
a
t
h: fix
a
couple type bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n Car
p
enter
loc
k
in
g
: fix build problem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpe
n
ter
u
ser_data: th
e
p
ointer returned from
c
o
ntainer_of(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
db: upda
t
e a debug messag
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
D
an Car
p
en
t
er
db:
cha
n
ge
t
h
e file
s
earched for stati
c
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan
C
arpenter
fl
o
w: fix a debug s
t
atement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Car
p
en
t
e
r
flow: save a
n
d restore th
e
big_expres
s
ion_stack when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
Carpenter
conditions: fix small sig
n
edness bu
g
in compares
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
locking: ign
o
re parenthe
s
is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Car
p
en
t
er
s
t
ack: turn off by default,
a
n
d
l
ess spammy always
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Carpenter
signed:
d
on
'
t
warn abou
t
ass
i
gnments t
o
boole
a
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
lo
c
al_values:
n
ot
all th
e
set value
s
make it
t
o
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpen
t
e
r
sizeof_param:
ignore str
n
cat(a, b, sizeof
(
b)
)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n Carpenter
k
e
rnel: handle __ftr
a
c
e_b
a
d_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan
Carpenter
kerne
l
:
h
andle find_ne
x
t_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpent
e
r
db_info:
s
ave return v
a
lues in in-mem
o
ry datab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
c
h
eck_kern
e
l: p
r
eser
v
e ERR
_
PTR value
s
pas
s
ed to IS_ERR_OR_N
U
LL()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Da
n
Carpenter
ch
e
ck
_
kernel: rename nonn
u
ll to valid_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan C
a
rp
e
nte
r
Revert "ke
r
ne
l
: re
m
ove some unneeded code"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Ca
r
pent
e
r
sizeof_
p
aram: fix fa
l
se positive
s
with s
t
rlcpy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-07
Dan Carpenter
compa
r
e: handle
som
e
a
ssi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carpenter
e
x
tra: shu
f
fle m
a
t
c
h_assign a
b
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra: only get the types one t
i
me i
n
mat
c
h_assign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
C
a
rpente
r
function_pt
r
: move
g
et_fnptr_name()
t
o smatch_
f
unction_p
t
r
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: fixup_kernel
.
sh:
d
i
s
c
ard caller_info
from ->no
t
ifier_call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db:
f
i
xup_kernel
.
sh: on
l
y tra
c
k the main read/writ
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
rpent
e
r
user_data: t
r
a
ck u
s
er data acr
o
ss assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next