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
*new* smatch_clear_buffer.c: handle memset() type functions
2013-04-17
Dan Car
p
enter
*
new* smatch
_
clea
r
_
b
uffer
.
c: handle memset() ty
p
e
function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carp
e
nter
param_limit/filter: ignor
e
whol
e
r
a
n
ges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
an C
a
rpent
e
r
ranges:
a
n empty range is n
o
t
a who
l
e ra
n
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpente
r
extra: rem
o
ve some dead
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Ca
r
penter
extra: s
m
all fix for whe
n
t
h
e dat
a
b
a
s
e
is
d
isa
b
le
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n C
a
rpent
e
r
db: alway
s
split
the return
values
i
f we're no
t
using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carpenter
c
o
nditions: u
s
e set_extra_expr
_
mo
d
() to ch
a
nge extra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carp
e
nter
user
_
dat
a
:
compat
s
yscall par
a
m
e
ters are user
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
C
a
rp
e
nter
use
r
_data:
u
s
ing a user supplied
offset into an kn
o
wn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
l
ocking: add so
m
e
more bh lock functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
Me
r
ge branch 'rfc-attrib
u
te-struct' of
g
i
t
://g
i
t
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan
Carpen
t
er
chec
k
_deref: disabl
e
"po
t
ential NULL
d
ereference"
b
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpenter
locking:
a
dd local_bh_disable/en
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
Da
n
Carpenter
locking: hand
l
e n
u
ll vs non-
N
ULL returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
enter
l
ocking:
u
p
date v
a
lid
a
t
ion/ tests
to the n
e
w war
n
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpenter
function_
p
trs: "(
*
ptrs[0])
(
a, b)" is
the same as "ptrs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
function_ptr
s
: record
w
hen function poin
t
er
is s
a
v
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpenter
rosenberg:
r
emove some structs whi
c
h don't
have holes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
C
a
rp
e
n
ter
rosenberg: ch
e
ck for nl
a
_put info leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
arpenter
f
l
ow: fake member and
e
lemen
t
ass
i
gnmen
t
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpent
e
r
expressions: intro
d
uce array_e
l
eme
n
t
_
expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
penter
loc
k
ing: take re
t
u
r
ns values in
t
o
conside
r
ation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
check_ke
r
nel: look
harder f
o
r the containe
r
_of() macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
implie
d
:
db
:
fix how returns are br
o
ken apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
db: return_
i
d was set incor
r
e
c
tly wh
e
n inline functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rp
e
nter
db: fix how the return v
a
lue
s
a
r
e casted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carpenter
helper: make i
s
_ar
r
ay() accept NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carp
e
nter
db: function_ptrs: do
bet
t
er at func
t
ion
p
t
r
to
f
u
nctio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
flow
:
create fa
k
e assignme
n
ts
f
or array declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
an Carpen
t
e
r
flow: expressions: don't
t
ry upd
a
t
i
n
g to
u
nin
i
tiali
z
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
an Carpenter
db: f
i
x
up_
k
e
rnel
.
s
h:
(
struc
t
mISDNchanne
l
)->send information
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: fixup_k
e
rnel
.
sh: record where
->notifier_
c
all is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Da
n
C
arpenter
f
l
ow: handl
e
in
l
ines b
e
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
d
b: function_ptrs:
t
rack pointer t
o
pointer assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Da
n
Carpenter
math: silen
c
e some buffe
r
overflow false positi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Car
p
enter
db
:
f
i
xup_kernel
.
sh: ignore (str
u
c
t
t
imer_l
i
st)->function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: l
o
ok up all the fun
c
tion
p
ointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Ca
r
pe
n
ter
helper: allow get_pa
r
am_num_from_sym()
to be
u
se
d
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
string_
l
ist: in
t
roduce list_has_string(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
a
rpenter
smatch_string_
l
ist
.
c: separ
a
t
e
string_list fun
c
tions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an C
a
rpent
e
r
db: o
n
ly lookup function pointers once
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
annot
a
t
e: use it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carp
e
nter
helper: ignor
e
parens in expr_t
o
_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpen
t
er
overflow: sile
n
ce kernel false
p
ositive about __p
e
r_cpu_o
f
fset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpenter
k
ern
e
l: r
e
cover module_i
n
it/exit()
f
unctio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
flow: p
a
ss
t
h
e
s
ym_list to the END_FILE_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an
Carpenter
db: f
i
x
u
p_kernel
.
sh rem
o
ve some
m
o
re
U
SER
_
D
A
TA ta
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
d
b:
s
peedup fil
l
_
d
b_caller_info
.
p
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an
Carpenter
ext
r
a: impro
v
e += and -
=
h
andling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
s
val: intr
o
duce sval_is_neg
a
tive_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval: f
i
x sval_binop_ov
e
rflows()
to acce
p
t different
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
introduce
smatch_annot
a
te
.
c:
a
nnotate som
e
common functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
a
r
penter
db: give up if t
h
ere are over
1000 returned
s
tates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: fix slow down caused by rec
u
rsive f
u
n
c
tion
c
a
lls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
buf_size:
fa
l
se positi
v
e
f
rom la
r
ge "impl
i
ed" implie
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
hel
p
er:
fix expr_to_str() for function call
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
D
a
n
Carpent
e
r
db: remo
v
e mor
e
user dat
a
from
s
tar
t
_
x
m
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Da
n
Carpenter
db:
manually de
l
et
e
some USER_DATA
ma
r
ker
s
from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
Dan Carpen
t
e
r
extra:
m
ove van
i
lla a
s
signs int
o
t
h
eir own functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpente
r
r
anges: in c
a
st_r
l
() sometimes it's bet
t
e
r
t
o just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpe
n
ter
e
xtra: typ
e
b
u
g h
a
ndling asm expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpenter
d
b: fix b
u
g handl
i
ng ':' c
h
a
racter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n
C
arpenter
math: Us
e
functi
o
n
c
all inform
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
ter
flow: h
a
nd
l
e
P
OST_OPs correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carpenter
buf_
s
i
z
e: handle d
m
a_alloc_att
r
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Carpenter
extra:
t
ype
bug
handl
i
ng for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
te
r
math:
f
ix
a coup
l
e type bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpent
e
r
locking: fix build problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpen
t
er
user_data:
t
he poi
n
ter
r
etu
r
ned from container_of(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
d
b: update a
d
e
bu
g
message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
D
an
Carpenter
db: change
t
h
e
file
search
e
d for static functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Car
p
enter
f
low: fix a deb
u
g st
a
tem
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Car
p
enter
flow: save
and
res
t
o
re the b
i
g_expr
e
ssion_stack when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan
C
arpenter
conditions: fix small signedness bug in compares
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
locking: ignore pa
r
en
t
hesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
r
pente
r
s
t
ac
k
: turn off by defaul
t
, a
n
d less spam
m
y
a
lways
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n
C
a
rpenter
signed: don't warn about assig
n
ments
t
o
boolea
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpe
n
ter
local_values:
n
ot all t
h
e set values ma
k
e it to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Carpenter
sizeof_param:
i
gnore strncat(a,
b
,
s
i
zeof(b
)
);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
kernel:
handle __ftrac
e
_bad_
t
ype()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpen
t
er
kernel:
h
andle find_next_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carp
e
nter
db
_
i
n
fo: save r
e
turn values in in-mem
o
ry database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpent
e
r
c
h
e
ck_kernel: prese
r
ve E
R
R_PTR values passed to IS_ERR_O
R
_NULL(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Ca
r
p
enter
ch
e
ck_k
e
rnel: rena
m
e nonnull to valid_p
t
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
D
an Carpenter
Rev
e
rt "ke
r
nel
:
remov
e
some unneeded code"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
D
an
Carpenter
sizeof_par
a
m
:
fix fals
e
positives with strlcp
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-07
Dan Carpenter
c
ompare: handle s
o
me assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpenter
extra: shuffle match_assign
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
penter
ext
r
a
:
o
nly get
the types one t
i
me in match_as
s
ign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
nter
fun
c
tion_
p
tr: move get_fnptr_name(
)
to smatch_functio
n
_
p
tr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
arpe
n
t
er
db
:
fixup_ker
n
el
.
sh: di
s
card caller_in
f
o from ->notifier_cal
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Ca
r
penter
db: fixup_kern
e
l
.
sh: onl
y
trac
k
th
e
ma
i
n
read
/
write
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
u
ser_data: tra
c
k user
data across
assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
nter
s
match_c
a
pped: get_implied_max(
)
does not i
m
pl
i
ed ca
p
ped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Carpenter
buf_size: export g
e
t_real
_
array_size(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpe
n
t
er
extra: handl
e
MOD_ASSIGN better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db:
d
on'
t
print inf
o
rmation ca
l
ler information for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n
Carp
e
nter
fu
n
ction_ptrs:
t
rac
k
pa
r
ameter
s
as
well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
function
_
ptr
s
:
sepa
r
ate into its
own file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpen
t
e
r
d
ata: add snprintf to
k
er
n
el
.
s
i
z
e
of_param
.
r
emove
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next