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
show_unreachable: format changes fixup
2011-08-25
Dan Carpent
e
r
core: clon
g
_sm()
s
ho
u
ld
p
reserv
e
the ->line
v
alue
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
up
d
a
t
e smatch_data/ for
lin
u
x-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan Carpe
n
ter
*new*
b
ogus_loops: wa
r
n
on bo
g
us for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Carpenter
e
x
tra: use ge
t
_implied_value() in
s
tead of get_v
a
lue
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan
Car
p
e
nter
implied
:
handle assi
g
nments inside
c
o
n
di
t
i
o
ns bett
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carp
e
nter
o
v
erflow
:
check sp
r
intf() and snp
r
intf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan C
a
rpenter
smat
c
h
_
f
l
o
w
:
f
i
x co
m
pile error
c
au
s
ed by upstr
e
am chan
g
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Diego Elio Pett
e
n
ò
Fix
b
uild with GCC 4
.
6 series
.
commit
|
commitdiff
|
tree
2011-06-17
Dan Ca
r
penter
overflow: cut dow
n
on false po
s
itives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpent
e
r
smatch_da
t
a: upda
t
e for 3
.
0 kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Da
n
Carpenter
ge
n
_no_return_funcs:
alwa
y
s keep
t
he default no return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
a
n
Carpen
t
er
In a
couple
p
lace the origin
a
l che
c
k
e
d for --sp
a
m
m
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
flow: handle kno
w
n switch statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan
Carpenter
*new* return_negati
v
e
_
v
ar: ret
u
rning positi
v
e values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
D
an Carpenter
*new* mems
e
t: ch
e
ck
f
o
r
memse
t
(x, y, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan
C
ar
p
e
n
ter
S
u
pport
__bu
i
ltin
_
unreachable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-05-23
Tetsuo Handa
Fix build e
r
ror
with ol
d
e
r pac
k
a
g
e
.
commit
|
commitdiff
|
tree
2011-05-23
Randy M
a
c
L
eod
Fix
g
rammatical error
s
in README-smatch
commit
|
commitdiff
|
tree
2011-01-26
Dan Carp
e
nter
overflow: form
a
t_strings: p
u
t some verbose me
s
s
ages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan
Carpenter
b
u
f_size: put some guesses behin
d
--spa
m
m
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Ca
r
p
e
nter
ex
t
ra: ha
n
dle c
o
u
n
t down for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
add RAW_ASSI
G
NMENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpent
e
r
Merge git://g
i
t
.
ke
r
nel
.
org
/
pu
b
/scm/devel/spa
r
se/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Da
n
Carpe
n
t
er
sign
e
d: don
'
t com
p
lain
about putti
n
g 0xff into a sign
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
D
an Car
p
enter
locking:
a
dd _raw_spin_lock_nes
t
ed()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
int
r
oduc
e
SE
L
ECT
_
HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpen
t
er
*
n
ew* ch
e
c
k_select: retur
n
r
et < 0 ?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Car
p
en
t
er
*new* input_
f
re
e
_device:
d
on't cal
l
this after inpu
t
_unregis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*new*
check_c
o
nta
i
n
e
r_of: container_of() d
o
esn't return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
create che
c
k_list_local
.
h w
h
ich is for u
n
track
e
d local
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carp
e
nt
e
r
locking: _atomic_
d
ec_and_lock() is a sp
i
nloc
k
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n
Carpenter
f
i
le
s
: cleanup open_file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Da
n
C
a
r
p
e
nter
add
d
efault no_return_funcs
i
f no project i
s
specified
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Ca
r
penter
update smatc
h
_data/ for
2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan Carpen
t
er
*
n
ew*
c
heck
_
access_ok_math: potent
i
al
i
n
t
eg
e
r ove
r
flows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpenter
h
ooks
:
int
r
od
u
ce ASM_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan C
a
rpenter
temporary hack to so
l
v
e crashing bug in fs/reiserfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Dan
Car
p
e
nter
locking: add __r
a
w_spin_unl
o
ck
_
i
r
q
() funct
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
D
an Carpenter
err_ptr_deref: fix assignments
i
nside cond
i
t
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan Ca
r
penter
l
o
ck
i
ng: add arch_local_irq_save()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpen
t
er
ch
e
ck_ty
p
e: warn abo
u
t
kf
r
ee() vs
f
ree_netdev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan
C
arpenter
t
y
pe: improve handling
o
f array
types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
e
xt
r
a
:
m
ove
some st
u
ff into smatch
_
dinfo
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
buf_
s
ize: o
o
ps
.
.
.
remove debug outp
u
t
!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
whi
t
espace_only: do
n
't error out handling
.
h files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpent
e
r
*new* get
_
user_o
v
erfl
o
w: c
h
e
c
k for integ
e
r
overflows
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
sma
t
ch_db: don
'
t c
o
mplai
n
if the db
d
oesn't exist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n
Carpenter
buf
_
size: do cross function an
a
lys
i
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*ne
w
* uncap
p
e
d
_alloc:
p
rint places where t
h
e
user decides
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
Carpenter
*
new* smatc
h
_
d
b: use and
sqlite database fo
r
cross
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
p
aram_mapp
e
r: up
d
ate copyright
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
sma
t
c
h
_sc
r
ipts/g
e
n_expects_er
r
_ptr
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
s
m
atch_
d
ata/kernel
.
a
r
ray_bo
u
nds: array bou
n
dary data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
e
xpe
c
ts_err_ptr: make a li
s
t of functions wh
i
ch acc
e
pt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpente
r
unw
i
nd: a
d
d
mor
e
u
n
wind
f
unction
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
a
n
C
arpenter
update s
m
a
t
ch_data/ for 2
.
6
.
36-rc2 (part 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
a
n Ca
r
penter
ove
r
flow: f
i
x
up
cross function overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carpenter
remove dead no
_
le16 cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Ca
r
p
e
nte
r
unwind
:
a
d
d m
o
re unwind fu
n
ctions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
r
emove check_le16
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Da
n
Carpenter
Update smatch_data
t
o
2
.
6
.
36-rc2
[patch 1 o
f
more
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
kernel: conta
i
ner_of() returns a
n
on-NULL poin
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpen
t
er
I
ntroduce add_ma
c
ro_assign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Dan Carp
e
nter
fix
o
ut
of memory
handli
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Ca
r
penter
New functions ret
u
rns_unsigned() an
d
returns_poi
n
ter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan
Carpen
t
er
*new
*
check_info_leak
.
c: p
l
aces that pass u
n
-zeroe
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
*new* check_return_enomem: com
p
lain about ret
u
rning
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
D
a
n Ca
r
penter
*new* platfo
r
m_
d
ev
i
ce_p
u
t() vs platform_device_
d
e
l()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Ca
r
penter
unwind: literals higher than z
e
ro are not
a
n error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carp
e
nter
im
p
l
ied:
o
nly prin
t
the n
r
_chil
d
ren messages if
there
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
unwind: register u
n
wind
functions that unwin
d
eve
r
yt
h
i
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan
Carpenter
unwind: update
e
quival
e
nt states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Da
n
Car
p
enter
extra
:
clean
up
u
n
us
e
d
vari
a
ble
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
equiv:
u
p
date validation test
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpente
r
extra:
handle WARN_ON(func(&s
e
t
_
this_pointer)
)
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan C
a
r
penter
buf
_
size
:
I br
o
ke i
n
itializer handling by mis
t
ake
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Da
n
Carp
e
nter
o
o
ps
.
fix compile er
r
or
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
buf_size:
r
e
mov
e
memset() a
n
d
m
e
mmove()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carp
e
nter
implied_not_e
q
ua
l
:
hand
l
e litera
l
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
D
an Carpenter
r
e
sour
c
e: c
r
ashing bug on incorrect inp
u
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
b
u
f_size: ignore dynam
i
cally sized arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Da
n
C
arpenter
buf_size:
a
dd support for memdup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
b
u
f_size: add s
u
p
p
o
rt for st
r
ndup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
arpenter
b
uf_size: use strcpy() to determ
i
ne th
e
size of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Ca
r
p
en
t
er
buf_siz
e
: use strncpy() and friends
t
o set the buf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Da
n
Carpenter
buf_siz
e
: whi
t
esp
a
ce chan
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carp
e
nter
overflow: remove unused f
u
nct
i
on
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
a
n Carpenter
buf_s
i
ze: use allo
c
_state_num(
)
instea
d
o
f
custom version
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
bu
f
_size:
remove unused definiti
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
a
r
penter
o
ve
r
fl
o
w: make array size tra
c
ki
n
g
into a lib
r
ary fu
n
ction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-30
Dan Carpen
t
er
unwin
d
: add pci_iomap() a
n
d pci_iounmap()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
D
an Carp
e
nter
*new* check_kmalloc_to_b
u
gon: don't call bu
g
_on() for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
D
a
n
C
arpent
e
r
*new* check_
u
nwind: check that module
_
init function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan Carpenter
core:
p
rocess
i
nline st
a
tem
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan
C
arpenter
fl
o
w: h
a
n
dl
e
asm statements correctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
Da
n
Ca
r
p
e
nter
Merg
e
git://git
.
ke
r
nel
.
org/
p
ub/sc
m
/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
D
a
n Carpenter
add ub
i
fs_ass
e
rt()
t
o
l
ist of ass
e
rt
m
acros
t
hat call
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpenter
che
c
k
_dma:
a
dd a check for
f
oo =
k
malloc(sizeof(*foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-14
Dan C
a
rpenter
si
g
ned: unsigned variables
ar
e
allowed to do math with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
D
a
n
Ca
r
pente
r
overflow: handle "if (st
r
len(foo
)
< 10) {
.
.
.
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next