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: store "too common" functions in the database
2013-04-17
Dan
Car
p
enter
db:
s
tore "too com
m
o
n
" functions in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
param_cleared:
cl
e
a
r_buffer:
a
d
d
them to
the ch
e
ck_li
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carp
e
nter
e
x
tra: don't use the indirect_mod
i
f
i
cation
_
hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carp
e
nter
extra
:
make
p
aram_filter set_extra_mod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
rosenberg: remov
e
pahol
e
depen
d
e
n
cy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
rpenter
p
a
rse: ad
d
a big
h
ack to track p
a
cked st
r
ucts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
*new* smatch_
c
l
ear_buffer
.
c: han
d
l
e memset() type
f
unct
i
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
ter
p
aram
_
limit/f
i
lter: ignor
e
w
ho
l
e ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
p
e
nter
ranges: an empty ran
g
e is not a
w
hole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
extra:
remo
v
e some
dead
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
extr
a
: small fix for when the database i
s
disable
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n
Carpenter
db: always split
t
he ret
u
rn
v
al
u
e
s if
w
e
're not using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
rpen
t
er
conditi
o
ns
:
use set_extra_expr_mod()
t
o
change ex
t
ra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
user_data: compat sys
c
a
ll parameters are user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
arpenter
user_d
a
ta
:
using a
user supplied offset
i
nto an known
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carpenter
lo
c
k
ing: ad
d
so
m
e mor
e
bh lock functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
D
a
n Carpenter
Merge branch 'rfc-a
t
tribute-struct' of git://git
.
ker
n
e
l
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
D
an Carpenter
check_dere
f
: di
s
a
b
le "pote
n
tial NULL derefer
e
n
c
e" by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
Dan
Car
p
enter
l
o
cking: add
local_bh_disable/enab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Da
n
C
a
rpe
n
ter
loc
k
i
ng: handl
e
null vs n
o
n
-NULL re
t
urns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
pent
e
r
l
o
cking: update validation/ t
e
sts
to the new wa
r
ning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
function_ptrs
:
"(*ptrs[0])(a, b)" i
s
the
s
ame as "pt
r
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpent
e
r
function_p
t
rs: record when f
u
nction
pointer is
sa
v
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
r
osenberg:
remov
e
some
structs wh
i
ch don't hav
e
holes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpenter
ro
s
enb
e
rg:
c
h
e
ck for nla_
p
ut info leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpente
r
flow: fake member and element assignm
e
nts
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carp
e
nter
e
xpre
s
s
i
o
ns:
intro
d
uce array_element_ex
p
ression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
penter
locking: take return
s
v
a
lues int
o
consi
d
eratio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Ca
r
penter
check_kernel: look harder for the co
n
t
ainer_of() ma
c
ro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carp
e
nter
implied: d
b
: fix ho
w
retu
r
ns are broken
a
part
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
d
b: return_
i
d wa
s
set incorrectly when in
l
ine functi
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpenter
db:
fi
x
how the return
va
l
ues are ca
s
ted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carpenter
hel
p
e
r
:
m
ake is_array() accept NU
L
L pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpent
e
r
db: fu
n
ctio
n
_
ptrs: do better a
t
function ptr to function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan
Car
p
e
nter
flow:
create fake assi
g
n
ments for arr
a
y declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan
C
arpenter
flow: ex
p
ressions: don't try updating to uninitialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpent
e
r
db: fixup_kern
e
l
.
sh: (struct mISDNchannel)-
>
s
e
nd information
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpente
r
db:
f
ix
u
p_
k
ernel
.
s
h
: reco
r
d where ->notif
i
er_c
a
ll is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
f
low: handle inlines better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carp
e
nter
d
b: function_ptrs: track poi
n
te
r
to pointer assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
D
an Car
p
enter
math:
s
ilence
some
buffer overflow false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carp
e
nter
d
b: fixup_kern
e
l
.
s
h: ig
n
ore (str
u
ct timer_lis
t
)->
f
unc
t
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n
Ca
r
p
e
nter
db:
l
o
ok u
p
all the fu
n
ction
po
i
nters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
helper: allo
w
g
et_param_num_from_sym() to
b
e used
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Ca
r
penter
st
r
ing_list: introduce
list
_
has_
s
tri
n
g()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an
C
a
rp
e
nter
smatch_string_list
.
c: separate strin
g
_list functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
d
b
: only lo
o
kup function 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
D
a
n
C
arpe
n
ter
h
e
lper: ign
o
re
par
e
ns in expr
_
to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carp
e
nte
r
ove
r
flow:
s
ilenc
e
kernel
fals
e
positive
a
bout __per
_
cpu_offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
kernel: recover module
_
i
n
i
t/exit()
f
u
nc
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
a
rpenter
f
low: pass th
e
sym_list to the END_FIL
E
_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpe
n
ter
d
b
: fi
x
up_ker
n
el
.
sh re
m
ove some more U
S
ER_DA
T
A tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpenter
d
b
: spee
d
up
f
il
l
_db_cal
l
er_info
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpenter
extra: improve += and
-
= handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
n
ter
sval
:
int
r
od
u
ce sva
l
_is_nega
t
ive_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpent
e
r
s
val: fix sval_b
i
n
o
p_overflow
s
() to
ac
c
ept different
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpe
n
ter
introduce s
m
atch_ann
o
tate
.
c
:
a
nnotate some common functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpe
n
ter
db: g
i
ve
up
i
f there are over 1
0
00 retur
n
ed states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpente
r
db: fix slow down cause
d
b
y
recursive
f
un
c
t
i
on calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan
Ca
r
p
enter
buf_size: false positive from l
a
rge
"impli
e
d
"
imp
l
ied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpent
e
r
he
l
p
er: fix
e
xpr
_
to_str() for function
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carp
e
nter
db:
r
e
m
ove mor
e
user data from star
t
_xmit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan
Carpen
t
er
db:
m
anually delete some USER_DATA m
a
rke
r
s from th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-18
Dan C
a
rpen
t
er
extra: move vanilla
a
s
si
g
ns into
t
heir ow
n
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
r
anges
:
in cast_rl() some
t
imes it'
s
be
t
ter
to just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Ca
r
pe
n
ter
extra:
type b
u
g
h
andling asm expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpente
r
db: fix bug handling ':
'
charact
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpent
e
r
math:
U
se function call infor
m
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
ter
f
low
:
handle POST_OPs correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
buf_size: handle dma_all
o
c_attrs()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpen
t
e
r
extra: typ
e
bug
handling for
loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carpent
e
r
math:
fix a
c
ou
p
le type
bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
ter
locking: fix b
u
ild probl
e
m
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpenter
user_data: the po
i
nte
r
r
e
turned fro
m
contain
e
r_
o
f(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
D
a
n
Ca
r
penter
db: update a debug message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan
Carpenter
db: change the file searched for st
a
tic func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
C
arpe
n
ter
flow: fix a de
b
ug
s
ta
t
e
ment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
flow: sav
e
and
res
t
ore t
h
e big_expression_stack wh
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
conditions: fix
s
m
all signedness bug in compares
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
lockin
g
: ignore parenthesis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rpen
t
er
stack:
t
urn off by de
f
ault
,
and less spammy alwa
y
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rpenter
signe
d
: don't
warn about assignments t
o
boolea
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
local_
v
a
lues:
n
ot
a
ll the set values make it to
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpent
e
r
sizeof_para
m
: ignore strncat
(
a, b, sizeof(b));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpen
t
e
r
k
e
r
n
el:
h
andle __ftrace_bad
_
type
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
kernel: handle find
_
ne
x
t_b
i
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
arpenter
db_in
f
o: s
a
ve return values in i
n
-
m
emory d
a
tab
a
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
D
a
n
Carpenter
che
c
k
_kernel
:
pres
e
r
v
e
ERR_PTR values pass
e
d to IS_
E
RR_OR_
N
U
LL(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Da
n
Carpe
n
t
er
check_kernel: renam
e
nonnul
l
to valid_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
Re
v
ert "
k
ernel: remov
e
som
e
u
n
neede
d
co
d
e"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Ca
r
p
e
nter
sizeof_param: fix false
positiv
e
s with
s
trlcpy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-07
Dan Carpenter
compare
:
h
a
n
d
le some assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra
:
shuffle match_ass
i
g
n
a b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carp
e
nter
e
x
tra: only get the types one time in match_assign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpente
r
function
_
p
tr
:
move ge
t
_fnptr_na
m
e() to sma
t
c
h_function_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carp
e
nter
db:
f
ixup_k
e
rnel
.
sh:
d
i
sc
a
rd
c
aller_info f
r
om ->notifier
_
c
a
ll
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
nter
db: f
i
xup_ker
n
el
.
sh: only track the main read/write
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an
C
arpen
t
er
user_dat
a
: t
r
a
c
k
u
s
er
data across assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Car
p
en
t
er
smatch_cap
p
e
d
: g
e
t_implied_max() does
n
ot implied
capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next