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: don't complain about checks after use, inside a macro
2011-06-17
Dan Carpenter
smatch
_
flow: fix compile error cause
d
b
y
upstream changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Diego Elio
P
e
t
tenò
Fix b
u
ild with GCC 4
.
6 seri
e
s
.
commit
|
commitdiff
|
tree
2011-06-17
D
an Carpenter
overflow: cut do
w
n on fal
s
e
positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan
C
ar
p
en
t
er
smatc
h
_data: update
for
3
.
0 kern
e
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpente
r
gen_no
_
r
e
tu
r
n_funcs
:
always keep the default no
r
et
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
In a
c
o
u
pl
e
place the ori
g
inal checked for --spammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan
Ca
r
penter
flow: handle known
s
witch statem
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*new* return_negati
v
e_va
r
:
returning
positive values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Car
p
enter
*new*
memset: check for mems
e
t(x, y, 0); t
y
pos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan Carp
e
nter
Supp
o
rt __
b
uiltin_unrea
c
hable
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-05-23
Tetsuo Handa
Fix
b
uild error with olde
r
package
.
commit
|
commitdiff
|
tree
2011-05-23
Randy MacLeod
Fix grammatic
a
l erro
r
s
in README-smatch
commit
|
commitdiff
|
tree
2011-01-26
D
an Carpenter
ove
r
flow
:
format_strings:
p
ut some verbose messag
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan Carpenter
buf_siz
e
: put some gu
e
sses behind
-
-spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
extra: handle
count down for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Car
p
enter
add
R
AW_ASSIG
N
MENT_
H
OOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan Ca
r
penter
Merge git://git
.
k
e
rnel
.
or
g
/pub/scm/devel/spa
r
se/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpenter
signed: don'
t
complain about putti
n
g 0x
f
f into a s
i
gn
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpenter
lo
c
king: ad
d
_raw_sp
i
n
_
lock_neste
d
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
introd
u
ce
S
ELECT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
*new* check_select:
r
eturn r
e
t < 0 ?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*new* inpu
t
_f
r
ee_device: don't call this
af
t
er inpu
t
_
unregi
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*
n
e
w
* check_co
n
tain
e
r_of: container_of(
)
doesn't return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
an Carpenter
create c
h
eck_list_l
o
c
al
.
h which is for untracked loc
a
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
l
ock
i
ng
:
_
ato
m
i
c_dec_a
n
d_lock() is a spinlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
files: cleanup open_file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Car
p
enter
add default no_ret
u
rn_func
s
if no project is s
p
ecifie
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
u
p
d
a
te smatch
_
data/ for
2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan Carp
e
nter
*
new* check_acc
e
ss_ok_ma
t
h: poten
t
ial integer overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Car
p
enter
hooks: introduce ASM_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpe
n
ter
temporary hack to sol
v
e c
r
ash
i
ng bug in fs/
r
eiserfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Dan Carpenter
locking: ad
d
__raw_spin_
u
n
l
ock_i
r
q() func
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
Dan Car
p
ent
e
r
er
r
_ptr_deref: fix assign
m
ents
i
nside conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan Car
p
ente
r
lo
c
king: add arch_local_i
r
q_save()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpente
r
chec
k
_type: wa
r
n about
k
fre
e
() vs free_netdev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
D
a
n Carpente
r
type: improve
h
and
l
ing of array typ
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpente
r
extra: move some stuff
into smatch_dinfo
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
buf_size: oops
.
.
.
r
e
mov
e
debug
o
utput!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan C
a
rp
e
nter
w
h
ite
s
pace_o
n
ly: don't error ou
t
h
a
nd
l
ing
.
h
f
i
l
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*new* get_user_overflo
w
: check fo
r
i
n
te
g
er ove
r
f
l
ows
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan C
a
r
p
enter
smatch_db: don'
t
complain if the db d
o
e
sn't exist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an C
a
rpe
n
ter
buf_s
i
z
e
: do cross f
u
nction
a
nalys
i
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*
new
*
u
n
c
a
pped_alloc:
p
rint places wh
e
re the us
e
r decides
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*new* sm
a
tch_db: use
and sqlite d
a
tabas
e
for cross
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n Ca
r
penter
pa
r
am_mapper: update copy
r
igh
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Car
p
en
t
er
smatch_scripts
/
g
en_expects_err
_
ptr
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
smatch_
d
ata/kernel
.
array_bounds: ar
r
a
y
boundary data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
e
x
pect
s
_err
_
ptr: make a li
s
t
of functions which
accept
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpen
t
er
unwind: add mor
e
unwind f
u
n
ctions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
a
n Carp
e
nter
up
d
ate smatch_data/
f
or 2
.
6
.
36
-
rc2 (pa
r
t
2
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
overflow: fixup cross
fun
c
tion overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carpenter
r
emove d
e
a
d no_l
e
16 cr
u
ft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carpenter
unw
i
nd: a
d
d more unwi
n
d
f
unctio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan
C
arpenter
remove check
_
le16
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
Update smatc
h
_data
t
o 2
.
6
.
36-rc2 [
p
atch 1 of more]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Ca
r
p
e
n
t
e
r
kerne
l
: container_of()
r
eturns a non-NULL pointer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
Introduce a
d
d_macro_assi
g
n_hoo
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Dan C
a
r
pente
r
fix out of
me
m
ory ha
n
dl
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
D
a
n
C
arp
e
nt
e
r
New functions
retu
r
ns_
u
nsigned
(
)
and returns_
p
oin
t
er()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Da
n
Carpenter
*new* c
h
eck_
i
nfo_
l
eak
.
c: p
l
aces th
a
t
pass
un-zeroed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan
Carpe
n
te
r
*new* check_re
t
urn_enomem:
c
omplain
about
returning
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
D
a
n Carpenter
*new*
platform_devi
c
e_put() vs
p
lat
f
orm_device_del
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
u
n
wind: literals hig
h
er than zero are not
a
n error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
D
a
n Ca
r
p
enter
implie
d
: only print the nr_children mes
s
ages
if there
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan C
a
rpente
r
unwind:
register
unwind
f
unct
i
ons that unwind everything
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
unwind: upda
t
e equivalent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
extra: cl
e
an up unuse
d
variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpente
r
equi
v
: update valid
a
tion t
e
st
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpent
e
r
ext
r
a: han
d
le W
A
RN_ON
(
fu
n
c(&set_this_po
i
nter));
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Car
p
enter
buf_size
:
I broke
initializer h
a
n
d
ling
b
y
m
istake
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
Carpenter
o
ops
.
fix compile erro
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Car
p
ente
r
bu
f
_si
z
e: remove
me
m
set() a
n
d memm
o
v
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carp
e
nt
e
r
implied_
n
ot_eq
u
al: handl
e
l
iterals
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan
C
a
r
pen
t
er
resour
c
e: crashing
bug o
n
i
n
c
o
rrect i
n
put
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
arpenter
buf
_
size: ignore dyna
m
ically sized arr
a
ys
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Ca
r
penter
buf_size: add support for memdup(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Ca
r
pente
r
b
u
f_size
:
ad
d
su
p
port for strndup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carp
e
nt
e
r
buf_size
:
use strcpy() to determine the size
o
f the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
arpenter
b
uf
_
size: use
strncpy() a
n
d
f
riends to s
e
t the buf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size: whitespace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
overflow:
r
emove unused functio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
Carpenter
buf_size: use
a
lloc_state_num() instead of
custom vers
i
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
b
uf_
s
i
ze: remove unused
definiti
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
overflow: make a
r
ray
si
z
e
tr
a
c
k
in
g
int
o
a
l
ibrar
y
f
u
n
c
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-30
Da
n
Car
p
enter
unw
i
nd
:
a
d
d
pc
i
_
i
omap() and pc
i
_
iounmap()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Dan Carpenter
*new
*
check_kmalloc_
t
o_bugon
:
don't ca
l
l bug_on() for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Dan
C
arpenter
*new
*
check_unwind: check
t
h
at
module_init function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan Carpenter
core: proce
s
s inl
i
ne stateme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan Carpen
t
er
flow:
h
a
ndle asm statements correctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpenter
Me
r
ge g
i
t://git
.
kernel
.
org/pub/s
c
m/devel/spars
e
/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
Dan Ca
r
penter
ad
d
ubifs_
a
ssert() to list of ass
e
rt macros that call
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpente
r
check_dma: add a check for foo = kmalloc(sizeof(*f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-14
Dan Carpenter
signed: uns
i
g
n
ed variables are al
l
owed t
o
do math with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Dan Carpenter
overf
l
ow:
h
an
d
le "if (strlen(foo) <
1
0) {
.
.
.
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
D
an Carpenter
overfl
o
w
: add
su
p
p
o
rt for strlen()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Tilman Sauerbeck
Warn
if random pointers a
r
e used as source buff
e
rs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Dan Carpenter
leaks: replace check_memor
y
.
c with a r
e
write check_leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
D
a
n Ca
r
pe
n
ter
ge
t
_variable_from_expr_com
p
l
e
x()
:
r
eturn proper symbol
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Tilm
a
n Sau
e
rbe
c
k
A
d
d
ed a test c
a
se for
t
he recently in
t
r
oduced exte
n
d
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
D
an
Carpen
t
er
M
ake
f
ile: small white
s
pace change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next