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
overflow: check memcpy() to see if we're comparing past the end
2011-10-04
Dan Carpenter
*new* s
m
atch_sc
r
i
p
t
s
/fo
l
l
ow_params
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpenter
hooks: remov
e
some co
m
mented out c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpenter
sql: snprin
t
f
(
) nul terminat
e
s its strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Ca
r
penter
d
b
:
move buf_size
t
o the new
add_
d
efinition_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
p
ente
r
db: introd
u
ce
a
d
d_defi
n
ition_db_
c
allback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpenter
db:
s
tore the val
u
es of paramete
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpenter
db: make d
a
tabase code usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpent
e
r
*
n
ew* min_t
(
)
c
asting that tru
n
cates the values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpenter
*
new* rosenbe
r
g: check for infor
m
ation leaks fr
o
m the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Ca
r
p
e
nter
f
l
o
w
: tweak th
e
->pos settin
g
fo
r
fake a
s
signm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
C
arpenter
flo
w
: whitespa
c
e changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Da
n
Carpenter
flow:
p
a
ss c
o
ndition as
s
ignm
e
nt
s
t
o
c
lients
with ASS
I
GNMEN
T
_
H
OOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Ca
r
pen
t
er
no_effect: ad
d
some
more te
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Carpenter
d
e
re
f
_
c
heck: check
_
deref: print
both line numbe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Da
n
Carpent
e
r
core:
set
p
osition earlier i
n
sm
a
t
ch_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Karel Zak
sm
a
t
c
h
:
add
-
-da
t
a=<dir> optio
n
commit
|
commitdiff
|
tree
2011-09-12
Dan Ca
r
pen
t
er
s
l
ist
:
p
reserve the
-
>line value correc
t
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan
Carpenter
overflow: print
m
o
re helpful i
n
fo when th
e
d
ata file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
an Carpenter
gen_array_bou
n
ds: filter out bogus lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
D
a
n Carp
e
nter
buf_size:
s
i
lence a gcc false positive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpenter
use PTR_
I
NT
(
)
and
I
NT_P
T
R() to silence cast war
n
in
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
C
a
rpe
n
t
er
slis
t
: make all
o
c_sm_state() stati
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carp
e
nter
slist: remove so
m
e dead
c
ode
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
an C
a
rpenter
core: clong_sm() s
h
ould preserve the ->
l
ine value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
C
a
rpenter
up
d
ate smatch_data/
fo
r
l
i
nux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Da
n
Carpenter
*
n
ew* bo
g
us_loops: w
a
rn o
n
bogu
s
f
or
l
oops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan
Carpente
r
ex
t
ra: use get_implie
d
_valu
e
() i
n
st
e
ad
o
f get_va
l
ue
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan Ca
r
pe
n
ter
implied: handle assignm
e
n
t
s inside conditions
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
an C
a
rpenter
overflow: che
c
k sprintf() and snpri
n
tf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Car
p
enter
smatch_f
l
ow
:
fix compile error caus
e
d
b
y upstream change
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Diego Elio Pettenò
Fix build with GC
C
4
.
6 s
e
ries
.
commit
|
commitdiff
|
tree
2011-06-17
Dan
C
arpe
n
ter
ov
e
rflow: cut down on false po
s
itives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
sm
a
tch_
d
at
a
: update
for 3
.
0
kern
e
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Ca
r
penter
g
en_no_retu
r
n_fu
n
cs:
a
lways kee
p
the default
n
o return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan C
a
rpenter
In a couple place the origin
a
l checke
d
f
or
--spam
m
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
f
l
ow: handle kno
w
n
s
witc
h
st
a
t
e
m
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*new
*
r
e
turn_negativ
e
_var: returning po
s
itive va
l
ues
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carp
e
nter
*
n
ew* m
e
mset: ch
e
ck for memset(x, y
,
0
); ty
p
os
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan C
a
r
p
enter
Support
__builti
n
_unreachable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-05-23
Tets
u
o Handa
Fix build error with o
l
der package
.
commit
|
commitdiff
|
tree
2011-05-23
Randy MacLeod
Fix
grammatical errors in REA
D
ME-sm
a
tch
commit
|
commitdiff
|
tree
2011-01-26
Dan Ca
r
pent
e
r
overf
l
ow: format_strings: put s
o
me verbose messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Da
n
Carpenter
buf_size: put some guesses behind --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan
C
arpenter
ex
t
ra
:
handle
c
ount down for lo
o
ps
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Car
p
ent
e
r
a
d
d RAW_ASSIGNME
N
T_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpenter
Merge g
i
t://git
.
kernel
.
org/pub
/
scm/devel/spars
e
/
c
hris
l
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Carp
e
nter
signed: don
'
t complain about
p
utting 0xff
i
nto a signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpenter
lo
c
k
i
ng: add _
r
aw
_
spin_lock_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Car
p
enter
intro
d
uce
S
ELECT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carp
e
nter
*
n
e
w
*
ch
e
ck_sele
c
t
: r
e
tur
n
ret
<
0
?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
an Carpent
e
r
*
new* input_
f
ree_device:
don
'
t
call t
h
is after input_unregis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Car
p
enter
*new*
c
heck_container_of: container_of() doesn't return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpent
e
r
creat
e
c
h
ec
k
_list_local
.
h which
i
s for untrac
k
ed local
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
Carpenter
lock
i
ng: _ato
m
ic_dec_a
n
d_lock()
i
s
a
s
pin
l
ock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
f
iles: cleanup
open_fi
l
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Da
n
Carpenter
add def
a
ult no_return_func
s
if no pro
j
ect i
s
specif
i
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
updat
e
smatch_data/ for 2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan Carpent
e
r
*new*
c
heck_ac
c
ess_ok_mat
h
: po
t
entia
l
integer overflo
w
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpent
e
r
ho
o
ks: int
r
oduce
ASM_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Car
p
enter
t
e
mp
o
rary
h
ac
k
to solv
e
crashing
b
u
g
in fs/re
i
serfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Dan Carpenter
l
o
cking:
a
d
d
_
_raw_spin_unlock_i
r
q(
)
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
Dan Carpe
n
te
r
err_ptr_d
e
ref:
fix assignm
e
nts inside co
n
di
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan
C
a
rpent
e
r
l
ocking:
a
dd arch_lo
c
al_
i
rq_save()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Da
n
Carpenter
check_typ
e
: warn about kfr
e
e()
v
s
free_
n
et
d
ev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpe
n
ter
type:
i
mprov
e
h
andling of array types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Ca
r
penter
ex
t
ra: move some
s
t
u
ff into smatch_dinfo
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an Carpenter
buf_
s
ize: oops
.
.
.
r
e
move debug output!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an Carpenter
wh
i
te
s
pace_only: don't error
ou
t
handling
.
h files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
Carpente
r
*
n
ew* get_user_ove
r
flo
w
: check for intege
r
over
f
low
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an Carpenter
s
m
atch_db: don't c
o
mplain if
th
e
db doesn't exi
s
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
arpenter
buf_size: do c
r
oss function
analysis
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*new* uncapped_
a
l
l
o
c
: print plac
e
s w
h
ere
t
he user dec
i
des
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
Carpenter
*new* smat
c
h
_
d
b: use and sq
l
ite dat
a
base for c
r
oss
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
param_m
a
pp
e
r
: updat
e
cop
y
right
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
an
Carpenter
smatch_scripts/gen_
e
xpects_err_ptr
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpent
e
r
smatch_da
t
a/k
e
rnel
.
a
r
ray
_
b
ound
s
: array
b
oundary data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpent
e
r
expects_err_ptr:
make a list
o
f function
s
which a
c
cept
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan
C
ar
p
enter
unw
i
n
d
:
a
d
d
m
ore unwind func
t
i
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
an Car
p
enter
upda
t
e smatch_data
/
f
o
r
2
.
6
.
36-rc2 (
p
art
2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
a
n
Carpenter
overflow: fixup
c
ross
function overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Da
n
Carpenter
remove dead no_le16 cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
D
a
n
Carpen
t
er
unwind: add
m
ore
u
nwind f
u
nctio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
D
a
n Carpenter
r
emove check_l
e
16
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
D
a
n Carpe
n
ter
Update sma
t
ch_data to 2
.
6
.
36-rc2 [patc
h
1 of
m
or
e
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan
C
arpenter
kern
e
l: container_
o
f() returns a
n
o
n-NULL pointer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpent
e
r
I
ntroduce add_macro_as
s
ign
_
hook(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Dan Carpenter
fix out of memory handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan
Carpenter
New fu
n
ctions ret
u
rns_unsig
n
e
d() an
d
retur
n
s_pointer()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpent
e
r
*new* ch
e
ck_info_leak
.
c: pla
c
e
s
that pass un-zeroed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan
C
arpe
n
ter
*new* check_retur
n
_enome
m
: c
o
mpla
i
n about returning
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
D
a
n Carpenter
*
new* platform_d
e
vice_pu
t
() v
s
platform_device_del()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
unwi
n
d: lite
r
a
ls highe
r
than zer
o
are
n
ot a
n
error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
D
a
n Carpenter
implied: only print the
n
r
_
chi
l
dre
n
mess
a
ges i
f
ther
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpe
n
ter
unwin
d
: r
e
gister unwind
f
unctions that unwind ev
e
r
y
t
h
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Da
n
Carp
e
nter
u
nwind:
u
pd
a
te
e
quivale
n
t states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
ex
t
ra: clean up
unused varia
b
les
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
Carpen
t
er
equiv
:
update val
i
d
ation t
e
st
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
D
a
n Carpen
t
e
r
extra: h
a
ndle WARN_ON(func(&set_this_pointer));
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
D
an Carpent
e
r
buf_si
z
e: I broke initializer handl
i
ng by mistake
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
oops
.
fix compile error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next