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
unwind: add more unwind functions
2010-08-30
Dan Carpenter
un
w
ind: a
d
d more unwin
d
function
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan C
a
rpenter
update smatch_data/ for
2
.
6
.
36-rc2 (part
2
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carp
e
nter
ove
r
f
low:
f
ixup cross fun
c
tion ov
e
r
flows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan
C
a
r
pente
r
remove dead
n
o
_
le16 cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan C
a
r
p
enter
un
w
ind: a
d
d more
un
w
i
nd funct
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
re
m
ove
c
h
eck_le
1
6
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
Update
smatch_data to 2
.
6
.
36-rc2 [p
a
tch 1 of mor
e
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpent
e
r
kernel: c
o
n
t
ainer_o
f
() r
e
tu
r
ns a
n
o
n
-NULL pointer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan
Carpenter
Introduce add_ma
c
r
o_a
s
sign_h
o
ok
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Dan Carpenter
fix ou
t
of mem
o
ry hand
l
i
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
D
a
n Carpenter
New functions r
e
tu
r
ns_unsigned() and returns_pointer()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
*new* check_info
_
leak
.
c: places that
p
ass un-zer
o
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Car
p
enter
*ne
w
* c
h
eck_return_enomem
:
c
o
mp
l
ain ab
o
u
t returning
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
Dan Car
p
en
t
er
*new* platform_device_put() vs platform_device_del()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan
C
a
rpente
r
unwind: li
t
e
rals higher than ze
r
o
are not an er
r
or
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Car
p
ent
e
r
implied: only print the nr_ch
i
ldren messages if there
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan
C
arpenter
un
w
ind: register
u
nwin
d
fun
c
t
i
ons th
a
t unwind everything
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Da
n
Carpenter
unwind: updat
e
equivalent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
extra
:
clean up
unuse
d
v
a
riables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpen
t
e
r
equiv: up
d
ate validatio
n
test
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
D
an Carp
e
n
ter
e
x
t
r
a: h
a
n
dl
e
WARN_
O
N
(
func(&set_this_pointer));
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpen
t
er
b
uf_size
:
I broke i
n
itializer handlin
g
b
y
mistake
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan C
a
rpenter
oops
.
f
i
x
c
ompile e
r
ror
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Da
n
Carpente
r
buf_si
z
e:
r
emove memset()
and
memmove()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpenter
implied_not_equal:
h
and
l
e literals
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
D
a
n Car
p
enter
r
e
sour
c
e:
c
r
ashing
bu
g
on incor
r
ect inpu
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan C
a
r
penter
buf_size: ignore dynamically sized arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Car
p
enter
b
u
f_siz
e
: add
s
uppo
r
t
f
o
r
memdup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Ca
r
penter
buf_s
i
ze:
a
dd support for
s
trndu
p
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
arpenter
b
uf_si
z
e: use st
r
cpy() t
o
determin
e
the s
i
z
e o
f
th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
arpent
e
r
buf_size: use
s
trncpy() and friends to
set the buf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
an Carpen
t
er
b
u
f_size: whitespace
c
h
a
nges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpe
n
ter
overflow: remove unused functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Car
p
enter
buf
_
size: us
e
alloc_sta
t
e
_num(
)
instead
o
f custo
m
versio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
an Carpe
n
ter
buf
_
size: remove unuse
d
definition
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
o
v
erflow:
make array size tracking into a lib
r
ary function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-30
D
a
n Carpenter
u
n
wind
:
add p
c
i_i
o
m
a
p(
)
and p
c
i_iounmap(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Dan Car
p
enter
*new* check_
k
malloc_to_bugon: don't call
bug_on() for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
D
a
n
C
ar
p
e
nter
*new* che
c
k_unwind: c
h
eck that m
o
du
l
e_init function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
D
a
n
Carpenter
core: process inline statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan Car
p
enter
flo
w
: handle asm
statement
s
c
orrectl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
Dan Ca
r
penter
Mer
g
e
git://git
.
k
e
rne
l
.
org/pub/scm/devel/sparse/
c
hris
l
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
D
an Carp
e
nter
add ubifs_assert()
to list
o
f assert m
a
cros
t
hat
c
all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpenter
check_
d
m
a
:
add a c
h
eck f
o
r
foo
=
kmall
o
c(sizeof(*foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-14
Dan Carpenter
s
i
gn
e
d:
unsigned var
i
ab
l
es are all
o
wed to do math with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Dan Carpenter
overflow: handle "if (strlen(f
o
o
) < 10) {
.
.
.
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Dan Carpenter
overflow: add s
u
p
p
ort
for strlen()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Dan Carpent
e
r
leaks: replace check_memory
.
c with
a
rewr
i
te
check_leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Dan Carpent
e
r
get_v
a
riable_from_ex
p
r
_complex(): ret
u
rn proper symbol
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan Carpe
n
ter
Ma
k
e
file: s
m
a
ll whitespace change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan Carpenter
me
m
ory
:
remov
e
the warnings abou
t
f
r
e
ed
m
emory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan Carpenter
check_free: crea
t
e a s
e
parate check for misusing freed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-05
Dan Ca
r
p
e
nter
rela
t
e
d: rename dinfo
-
>equiv
t
o dinfo->related
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
D
a
n Carpente
r
constraints: shuffle
t
h
ings
a
roun
d
a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan
Carpenter
*n
e
w* scripts/generisize
.
p
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan Car
p
enter
type:
allow
the
para
m
eter
t
o be null fo
r
type_u
n
s
igned()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-15
Dan Ca
r
penter
redo
t
h
e
ign
o
red_macros
s
t
u
f
f
properly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
conditions: fix memory
leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan
Carpenter
eliminate some new
"state
m
ent has n
o
effect"
f
alse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Da
n
Carpenter
get rid
o
f get_next_
s
t
m
t()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
D
an Carpenter
core: handle
"
f
o
o = ({fro
b
()
;
frob
(
); fr
o
b(); 1;})
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
lockin
g
: add spin_trylock_irqsave()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
fix cr
a
shin
g
bug
c
a
used
by the
l
itt
l
e endi
a
n
c
h
e
c
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
D
an Carpenter
e
x
t
r
a: ignore WARN
_
ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpenter
err_pt
r
:
r
e
m
o
ve
jede
c
_p
r
o
be() from
err_p
t
r
l
i
st
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
D
a
n Carpenter
s
nprintf: turn
o
f
f be
d
efault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpenter
va
l
idation: updat
e
overflow test to add
quotes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpenter
c
o
n
diti
o
n
s: fix
h
a
ndlin
g
of _
_
bui
l
tin
_
c
o
n
stant_p()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Dan Carpenter
overflow: add quotes around v
a
riable names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
D
a
n
Car
p
enter
overflow: ignore arrays with onl
y
one element
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Dan Carpenter
overflow: add c
a
lloc() suppo
r
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Dan Carpenter
ove
r
flow: ch
e
ck for copy_
t
o_u
s
er
(
) overflow
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-09
Dan Carpe
n
ter
memory:
fix
l
eak
f
alse positives caused
by
"f
o
o = bar
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan
C
arpent
e
r
le1
6
: f
i
x false positives and turn
on by
d
e
fau
l
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan Carpenter
m
a
cr
o
:
t
he
f
ir
s
t ma
c
ro a
d
d
e
d is the one
t
o keep
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan Car
p
enter
memory:
a
dd quotes in output
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-07
Dan Carpenter
f
lo
w
: fix "if()
;
" false pos
i
tiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-07
D
a
n Carp
e
nter
extra: tweak ass
i
gnme
n
t
o
f unsigned
value
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-05
Dan Carp
e
nt
e
r
smatc
h
_extra: cle
a
nup match_assign
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-04
Dan Carpente
r
re
t
urn_efaul
t
: find more bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-03
D
an Carpenter
*new
*
r
etur
n
_efault:
l
ooks f
o
r pl
a
ces that should return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-03
Dan
C
arpenter
sm
a
t
c
h_type: fix __bitwise__ hand
l
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-02
Dan
C
arpenter
U
p
d
ate smat
c
h_data/ for
2
.
6
.
35
-
rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-02
Dan Carpenter
*new* pr
o
paga
t
e: check
t
hat
e
rro
r
c
odes get propagated
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-29
Dan Carpe
n
ter
err_p
t
r_dere
f
:
d
on't complain if the
variable is
n
ull
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-26
Dan Ca
r
penter
*
n
ew* check_macros:
find macro precedence bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
Dan Car
p
ent
e
r
hooks: add LOGIC_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
Da
n
Carpenter
macro_table: take th
e
file into acc
o
unt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Car
p
enter
macr
o
_table: do not include sm
a
t
c
h
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
f
low: handle lo
g
ic things like: fo
o
(a && a->bar);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
D
a
n
Carpenter
s
igne
d
: comparing to literals
togeth
e
r create
s
a
fal
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpe
n
ter
deref_ch
e
ck: remove t
h
e --spammy option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpen
t
er
del
e
te check_leaks
.
c: Thi
s
check was
always worthless
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
D
a
n
Carpenter
wine: fixup t
h
e no
return func
t
ions a
bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpenter
macro_t
a
ble
.
c:
repla
c
ement
f
or in_macr
o
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carp
e
nter
sm
a
ll cleanup and a com
m
ent chan
g
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
D
an Carpenter
*new* c
h
e
ck_s
n
prin
t
f: using the return value of sn
p
r
i
ntf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-15
Dan Carpent
e
r
unused_retur
n
: print function name that was ignore
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan
Carpenter
ma
t
h: d
o
n't pa
s
s ne
g
ative numbers as absolute max fo
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
arpenter
impli
e
d
: allow the known
p
ar
t
to be a range list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next