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
extra: remove some dead code
2013-04-15
Dan Carpenter
extra: remove some dead
co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carpenter
ext
r
a: small fix for when the databa
s
e
is disabled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carp
e
nter
db: always
split t
h
e
r
eturn values i
f
we're not using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n
Carpenter
condition
s
: u
s
e set_extra_ex
p
r_mod() to change extra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
r
penter
user_data: co
m
pat syscall par
a
mete
r
s are u
s
er data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carpenter
u
ser
_
data: using a us
e
r
s
upplie
d
of
f
s
e
t into an kno
w
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
arpenter
loc
k
ing: add s
o
m
e more
bh lock fu
n
ction
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
Dan
Carpenter
M
erge branch 'rfc-attribut
e
-struct'
of git://
g
it
.
k
e
r
nel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpent
e
r
check_
d
er
e
f:
dis
a
ble "
p
o
t
e
ntia
l
NULL derefe
r
ence
"
by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
D
a
n
Carpenter
locking
:
a
dd loca
l
_bh_disab
l
e
/
enable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
Da
n
Carpenter
locking: ha
n
dle nul
l
vs no
n
-
N
ULL returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
locking: upda
t
e validation/
t
ests to the ne
w
war
n
in
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
f
uncti
o
n_ptr
s
: "(
*
p
trs[0])(a, b)
"
is the same
as
"p
t
rs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
function_ptrs:
record
w
h
e
n fu
n
ction pointer is saved
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
r
osenberg
:
remove some
structs which d
o
n
'
t have
holes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpenter
r
osenberg: che
c
k
for nla_pu
t
inf
o
leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpenter
flow: fake memb
e
r a
n
d
element
a
ssi
g
nments be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carp
e
nte
r
expres
s
ions:
i
n
troduce a
r
ray_e
l
ement_expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
C
a
r
penter
l
o
cking: take returns values into
consideration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
C
a
rpenter
check_kernel
:
l
o
o
k harder for the co
n
tainer_of() macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
impl
i
ed: db:
fix
how returns are
broken apa
r
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpente
r
db: return_id was set incorrec
t
ly when inline
functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
e
n
te
r
db:
f
ix how the retu
r
n
v
alues are c
a
sted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carpent
e
r
helper:
make i
s
_array()
a
c
cept NULL
poin
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Da
n
Carpenter
db: function_ptrs: do b
e
t
ter at funct
i
on pt
r
to function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
flow: create fake assignments f
o
r arra
y
dec
l
arations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan
Carpen
t
er
flow
:
expressions: do
n
't
t
r
y
u
p
dating to uninit
i
ali
z
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpen
t
er
db: fixup_kernel
.
s
h
: (struct mIS
D
N
c
hannel)->se
n
d
i
nformation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpente
r
db: fixup_
k
e
r
nel
.
s
h
: record where ->notifier_call is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n C
a
r
p
enter
flow: handle inlines
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
d
b
: function_pt
r
s: track pointer to pointer
assign
m
ent
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n
C
arp
e
nter
m
a
th: sile
n
ce some b
u
ff
e
r ove
r
flow fals
e
posit
i
ves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carp
e
nter
db: fixup_ker
n
e
l
.
sh: igno
r
e
(
struct
t
imer_list)->function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-01
Szym
o
n Ja
n
c
e
x
tr
a
: Fix segm
e
n
tation fault in
m
atc
h
_assign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db:
l
ook up
a
ll the funct
i
on p
o
inters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
h
elper:
a
l
low get_p
a
ram_num_from_sym()
t
o
b
e
used
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpent
e
r
stri
n
g_list: introduce li
s
t_has_string(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
p
e
n
t
er
smatch_string_list
.
c: separate string_list functio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
p
enter
db: only lookup
f
unction pointers once
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
annota
t
e: use
i
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
helper: ignore pare
n
s in expr_to_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Ca
r
penter
ove
r
fl
o
w: si
l
enc
e
k
e
r
nel false posit
i
v
e
a
bout __per_cpu
_
o
f
fset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
en
t
er
kernel:
recover mo
d
ule_init/exit()
f
unc
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpe
n
t
e
r
f
l
ow: pa
s
s the
s
y
m_list to the END_
F
ILE
_
H
OOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db:
f
i
xup_kernel
.
sh r
e
mov
e
so
m
e more
USER_DATA tags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: speedup fill_
d
b_
c
a
ller_
i
nfo
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Ca
r
pe
n
te
r
extra:
i
mpr
o
ve +=
a
nd -
=
handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
s
v
al: i
n
troduce sval_i
s
_negat
i
ve_m
i
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arp
e
nter
sval: fix sval_
b
inop_o
v
erflo
w
s() to acce
p
t differen
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
a
rpenter
introd
u
ce smatch_ann
o
tate
.
c:
a
nnotate some
c
ommon
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
db: give up if
t
here
are ove
r
1000 return
e
d states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
C
a
rpenter
db: fix slow down cau
s
ed by recursive functi
o
n calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Car
p
enter
b
u
f
_s
i
ze: false positive from large "im
p
lied" implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
helper: fix expr_to_str() for function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
D
an Carpen
t
er
d
b
: rem
o
ve m
o
re
u
ser data
from start_xmit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
D
an Carp
e
nte
r
d
b: manual
l
y d
e
l
e
te some
USER_DATA markers
f
r
o
m
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
Dan C
a
rpente
r
extra: move v
a
n
i
lla assigns
i
nto their ow
n
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n
Carpenter
ra
n
ges: in cast_rl(
)
s
o
meti
m
es it's bet
t
er to just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Ca
r
pente
r
extra: type
bug handlin
g
asm expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpen
t
er
d
b
: fix bug handling ':' character
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Ca
r
penter
math: Use function call
i
nformatio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
fl
o
w: h
a
ndle
POST_OPs c
o
rrectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carp
e
n
ter
buf_size:
h
andle d
m
a_alloc
_
attrs()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
ter
extra:
t
ype bug handli
n
g f
o
r loo
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Ca
r
penter
math: fix a couple
t
y
pe bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n
Carpenter
lock
i
ng: fix build
problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
arpe
n
te
r
user_d
a
ta: the
pointer returne
d
from conta
i
n
er_of(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
D
an Ca
r
penter
db:
u
pdate a debug messa
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
db: cha
n
g
e the
file searched f
o
r
stati
c
funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
f
low: fix
a debug s
t
atement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
flow: sa
v
e and resto
r
e
t
h
e
big_expr
e
ssion_stack when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
co
n
ditions: fix
s
mall sign
e
dnes
s
b
u
g in compares
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rpenter
locking
:
ignore parenthesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rpente
r
stack: turn off by defa
u
lt, and less spa
m
my alway
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
sig
n
ed: don't warn about a
s
signment
s
to boolean
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n Carpenter
local_values:
n
o
t all the set values
make it to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Car
p
enter
sizeof_param: ig
n
o
r
e strncat(
a
, b, si
z
eof(b));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
kernel: handle __
f
trace
_
b
a
d_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpente
r
kernel: handle fin
d
_next_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Ca
r
penter
db_info: sa
v
e retur
n
value
s
i
n in-memor
y
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Ca
r
pe
n
ter
check
_
kernel: preser
v
e E
R
R_PTR va
l
ues passed to IS_ERR_OR_
N
U
LL()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
D
a
n
C
arpenter
check_
k
er
n
el: rename nonnull to valid_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpe
n
ter
Revert "
k
erne
l
: remove some unneede
d
code"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpent
e
r
siz
e
of
_
param: fix false
p
o
s
itive
s
with strlcpy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-07
Da
n
C
arpen
t
er
c
ompare: handle some assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpe
n
ter
extr
a
:
s
h
u
f
fle match_assig
n
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Ca
r
penter
extra: only get
t
he ty
p
es one
time in
m
at
c
h_assign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
r
p
en
t
er
function_ptr
:
mov
e
g
et_fnptr_
n
ame()
t
o
smatch_function_
p
t
r
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
n
ter
db: fixup_kernel
.
sh: dis
c
ard
caller_in
f
o from ->noti
f
ier_call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
rp
e
nter
db: fixup_kernel
.
sh: only tra
c
k
t
he ma
i
n read/w
r
it
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpe
n
t
e
r
u
ser_data: tr
a
ck us
e
r dat
a
a
c
r
o
s
s assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
smatch_c
a
pped: get_i
m
plied_max
(
)
doe
s
not
implied ca
p
ped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
buf
_
s
i
ze:
e
xport get_real_array_size(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carpenter
e
x
tra: handl
e
MOD_ASSIGN b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
nter
db: don't prin
t
inform
a
tion caller informati
o
n for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
f
unct
i
on_ptrs: track par
a
me
t
e
rs as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
an Ca
r
penter
function_ptrs: se
p
ara
t
e
into
it
s
ow
n
file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-01
D
a
n Carpenter
d
ata: add snpr
i
ntf to kernel
.
sizeof_param
.
remov
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpe
n
t
er
buf_size
:
fix a
N
ULL
dereferenc
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Dan C
a
rpenter
kerne
l
: remove so
m
e unneed
e
d
cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next