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
Support __builtin_unreachable()
2011-06-03
D
a
n
Carp
e
nter
Support __buil
t
in_u
n
rea
c
ha
b
le()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-05-23
T
etsuo Ha
n
d
a
Fix build er
r
o
r
with older package
.
commit
|
commitdiff
|
tree
2011-05-23
R
andy MacLeod
Fix gram
m
a
t
ical errors in
README-smatch
commit
|
commitdiff
|
tree
2011-01-26
D
a
n
C
ar
p
enter
o
v
e
r
f
l
ow: form
a
t_str
i
ngs: put some ve
r
bo
s
e messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan Carpenter
buf_size
:
put s
o
me gue
s
s
es behind --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
D
a
n
Carpenter
ext
r
a:
h
a
ndle coun
t
down for lo
o
p
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Car
p
enter
add
R
A
W
_ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
D
a
n
Carpe
n
ter
Merge git://git
.
kernel
.
org/pub/scm/dev
e
l/sparse/
c
hrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Da
n
C
a
rpenter
signed: don't co
m
plai
n
about putting 0x
f
f i
n
to a signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpenter
l
o
cking: add _raw_spin_lo
c
k
_
nest
e
d(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan
Carpenter
intr
o
duce SEL
E
CT
_
HOO
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Car
p
enter
*
n
ew*
c
heck_
s
elect: return
re
t
< 0
?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Ca
r
p
enter
*new* input_free_d
e
v
ice: don't call this after i
n
pu
t
_
u
n
r
egis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Car
p
ent
e
r
*new* check_container_
o
f: container_of() doesn't r
e
tu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n
Carp
e
nter
c
r
eate check_list_local
.
h
w
h
i
ch is fo
r
u
ntracked l
o
cal
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
l
ocking:
_
atomic_dec_and_lock() is a spinlo
c
k()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpent
e
r
file
s
: cleanup
o
pen_
f
i
le()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpent
e
r
add default no_retur
n
_f
u
n
cs
i
f n
o
p
r
oject is s
p
ecified
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpen
t
er
update smatch_dat
a
/
f
o
r
2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan Carpenter
*new* check_access_
o
k_math:
p
otential int
e
ger
o
ver
f
lows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan
C
a
r
penter
hooks: intr
o
du
c
e ASM_H
O
OK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpenter
temporary
hack t
o
solve
c
r
ash
i
ng bug in fs/
r
ei
s
e
r
fs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Dan Carp
e
nter
locking: ad
d
__raw_
s
p
i
n_unlock_irq()
f
unc
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
Da
n
Carpenter
err_ptr
_
deref: fix assign
m
e
nts insid
e
condition
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
D
a
n Carpenter
l
ocking: add arch_local_irq_sa
v
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpenter
check_type:
w
arn ab
o
ut kfree() vs free_netdev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan C
a
rp
e
nter
type: improve handling of array typ
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
C
a
rpen
t
e
r
extra: move some stuff into smatch_
d
info
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
Carpenter
b
uf_size: oops
.
.
.
remove debug output!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpen
t
er
whitespace_only: don't
e
rror out
h
a
n
dling
.
h files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an Carp
e
n
ter
*new* get_user_ov
e
rf
l
ow: check for integer o
v
e
rflows
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
smatch_db: d
o
n
'
t c
o
mplain if the db doesn't exist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
buf_si
z
e: do cross
f
unction analysis
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
a
rpe
n
ter
*new* uncapp
e
d
_
alloc:
p
r
i
nt p
l
aces where the user
d
ecides
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an Carp
e
nter
*new* s
m
at
c
h
_
db
:
use and
sqlite
d
a
t
abase for cross
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carp
e
n
t
er
param_mapper: updat
e
copyright
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
smatch_scripts/
g
en_
e
xp
e
cts_
e
rr_
p
tr
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan
C
arpenter
smatch_data/k
e
rn
e
l
.
array_bounds
:
array
b
o
und
a
r
y
data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Da
n
Carpe
n
t
e
r
expects_err_ptr: m
a
k
e a list of functions which
accept
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
an C
a
rpenter
unwi
n
d: add
m
o
r
e unwind functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan C
a
rpenter
u
p
date
sm
a
tch
_
data
/
for 2
.
6
.
36-rc2 (part 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan
Ca
r
penter
overflow
:
fixup
c
ross fun
c
tion o
v
erflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Ca
r
pen
t
e
r
remove
dead no_
l
e1
6
cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carpente
r
unwind: a
d
d mo
r
e
u
nw
i
n
d
functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
remove check_le16
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Car
p
e
n
ter
Update smatch
_
data to 2
.
6
.
3
6-rc2 [patch 1 of
m
o
re]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpen
t
er
kernel: container_
o
f() returns a
n
on
-
NULL point
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Ca
r
penter
Introduce add_macro_a
s
sign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
D
a
n
Carpen
t
er
fix
o
ut of mem
o
ry handl
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carp
e
nt
e
r
New functi
o
ns returns_unsigne
d
() and returns
_
pointer(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpente
r
*new* check_i
n
f
o_leak
.
c: places that p
a
ss u
n
-zeroed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Car
p
enter
*new* chec
k
_return
_
e
no
m
em: co
m
plain about
retu
r
n
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
D
an C
a
rpe
n
t
er
*new* p
l
at
f
or
m
_device_put() vs platf
o
rm_device
_
del()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
unwind: literals higher than z
e
ro are not an
e
rr
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
implied: only print th
e
nr
_
child
r
en messages if
t
here
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
u
nwind: register unwind fu
n
ction
s
that unwind everything
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carp
e
nte
r
unwind: update
e
quivalent
sta
t
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpe
n
ter
ex
t
ra: clean up un
u
sed va
r
iab
l
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan C
a
rpenter
e
q
uiv: update validation test
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Da
n
Carpenter
extra: ha
n
dle
W
A
RN_O
N
(
fu
n
c(&s
e
t_this_point
e
r))
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
b
u
f_si
z
e: I
b
roke initializer
handl
i
ng b
y
mis
t
ake
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan C
a
rpenter
o
ops
.
fix
c
ompile error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Da
n
C
arpenter
bu
f
_size: remove memset() and
memmove()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
D
a
n
Carpen
t
e
r
implied_not_equal: h
a
ndle lite
r
als
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Ca
r
pen
t
er
re
s
ource: crashing bug on incorre
c
t
i
nput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
bu
f
_
s
iz
e
: ignore dynami
c
a
l
ly sized ar
r
ays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
a
n Carpent
e
r
buf_size:
a
dd suppo
r
t for me
m
dup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_si
z
e:
a
dd support for strndup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
arpent
e
r
buf_size:
use strcpy() t
o
deter
m
ine
the size
o
f the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpente
r
b
uf_size: use
strncpy() and fri
e
nds to set the
buf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size:
w
hitespa
c
e changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
overflo
w
:
remove
u
nused functi
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
b
uf_si
z
e:
use alloc_s
t
ate_num(
)
instead of custom v
e
r
s
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
arpenter
buf_size: remov
e
unused definition
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan C
a
rpenter
overf
l
ow: make array size tracking into a libra
r
y
f
unction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-30
Dan Carp
e
nter
unwin
d
:
a
dd
p
ci_ioma
p
() and pci_i
o
unm
a
p()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Dan Carpe
n
ter
*new* check_kmallo
c
_to_bugon: don't call bug
_
on
(
) for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Dan C
a
rpe
n
ter
*new*
check_
u
nwind:
c
heck that
mo
d
ule_init
func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan Carpe
n
ter
core: process inline statemen
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan Carpenter
flow: handle asm statements co
r
rect
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
D
a
n
Carpenter
M
e
rge git:/
/
g
i
t
.
k
e
r
ne
l
.
org/pub/
s
cm/
d
evel/spars
e
/
c
hrisl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
D
an Car
p
ent
e
r
a
d
d ub
i
fs_as
s
ert() to list
o
f asse
r
t macro
s
tha
t
call
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
Dan Ca
r
p
e
n
t
er
check
_
d
ma: add a
c
h
eck f
o
r foo
= k
m
all
o
c(sizeof(*
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-14
Dan Car
p
enter
signed:
unsigne
d
variables are allowed to
do m
a
th with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Da
n
Car
p
ent
e
r
overflow
:
handle "if
(s
t
r
len
(
foo)
< 10) {
.
.
.
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Dan Carpent
e
r
o
v
erflow: add sup
p
ort
for
s
tr
l
en()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Tilman Sauerbeck
W
a
rn if random
pointers are used as
s
o
u
r
ce
buffer
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
D
an C
a
rpenter
leaks: replace check_memor
y
.
c with a rewrite ch
e
ck_
l
eaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Dan Carpen
t
er
g
et_varia
b
le_
f
rom_
e
xpr_c
o
mplex(
)
: r
e
t
u
rn
pr
o
per symb
o
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Ti
l
m
a
n Sauerbe
c
k
A
dded a test case f
o
r t
h
e rec
e
nt
l
y i
n
troduced extended
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan Carpe
n
ter
Makefi
l
e:
small w
h
itespace
change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan Car
p
ent
e
r
memory: remove the warnings about freed
m
e
m
ory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Tilman Sauerbeck
Find leaks that occur by setting po
i
nte
r
s
to allocated
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Til
m
an Saue
r
beck
Add
e
d
a s
i
mple test case for
t
h
e
d
ouble f
r
ee checker
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan C
a
rpenter
c
h
e
c
k_free: c
r
eate a separate check for misusing freed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-05
Dan Carpenter
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
c
o
n
straint
s
: shuf
f
le things aro
u
n
d
a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan C
a
r
p
ent
e
r
*ne
w
* script
s
/
g
enerisize
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
D
a
n Carpent
e
r
t
ype: allow the parameter to be null fo
r
ty
p
e_unsigned()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-15
Dan C
a
r
p
ent
e
r
redo the ignore
d
_macros stuff proper
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next