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
flow: tweak the ->pos setting for fake assignments
2011-09-22
Dan Carpenter
flow: tweak t
h
e ->pos setting for fak
e
a
ssig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
an C
a
rpenter
flo
w
:
whitespac
e
c
hanges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
a
n Carpente
r
flow: pa
s
s
c
ondition ass
i
g
nments to cli
e
n
t
s wit
h
AS
S
IGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
no_e
f
fect:
add some more
t
ests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Carp
e
nter
d
e
ref_
c
he
c
k: ch
e
c
k
_deref:
p
rin
t
bo
t
h line nu
m
b
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Carpenter
core: set position ear
l
ier i
n
sm
a
t
c
h_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan
C
arp
e
nter
slis
t
: preserve
t
he ->line value co
r
r
ectly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
overflow: print more he
l
pful
info when the d
a
ta file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
g
en_arra
y
_bounds: f
i
lter ou
t
b
o
gus lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
D
a
n
Carpenter
buf_size: silence a gcc false positive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Car
p
enter
use P
T
R_IN
T
() and INT_PTR() t
o
s
ilence cast warn
i
ngs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Ca
r
penter
slist: m
a
ke al
l
oc_
s
m_state() st
a
tic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
slist:
remove s
o
me
dead
c
ode
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan C
a
rpenter
core: cl
o
ng_sm() should preserv
e
the ->line val
u
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
update smatch
_
d
at
a
/
for linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan
C
arpenter
*new*
b
ogus_loops: war
n
on bogus for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan C
a
rpenter
extr
a
: use
g
et_implie
d
_value()
instead of get_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan Carpenter
implied: hand
l
e ass
i
g
n
ments inside conditions better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
overflow: check spr
i
ntf() and
s
npri
n
t
f()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
a
n Ca
r
penter
s
match_flow: fix c
o
mpile error c
a
used by ups
t
ream changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpent
e
r
overflow
:
c
u
t do
w
n
on false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
sma
t
ch_dat
a
: upda
t
e
f
o
r 3
.
0
k
ernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Car
p
enter
gen_no_return_funcs: always k
e
ep
the default no
r
e
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
In a couple place
th
e
ori
g
inal
checked
f
or
--spammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
flow: handle known switch statem
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
D
a
n Carpenter
*n
e
w* r
e
turn_negative_var:
ret
u
rnin
g
positi
v
e va
l
ues
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
D
an Carpenter
*new* memset: check for
m
em
s
et(x,
y, 0); t
y
pos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan
Carpenter
Support __builtin_unreachable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-26
Dan Carpenter
ov
e
rf
l
o
w
: format_strings: put so
m
e v
e
rbose mes
s
ages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan Carpent
e
r
buf_size: put s
o
me guesses behind --sp
a
m
my
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
extra:
han
d
le count
down for loop
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
D
a
n
Carpen
t
er
add RA
W
_
A
SSIG
N
MENT_
H
O
OK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
D
an Carpenter
Merge gi
t
://
g
it
.
k
ernel
.
org/pub/scm/de
v
e
l/sparse/chr
i
sl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Da
n
Carpenter
sign
e
d: do
n
't complain about put
t
ing 0x
f
f
into a signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpe
n
ter
locking:
a
dd _
r
a
w_s
p
in_lock_nes
t
e
d()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
D
a
n C
a
rpenter
in
t
roduce SELECT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
*
n
ew*
c
heck_select:
return
r
et <
0
?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Ca
r
penter
*new*
i
npu
t
_free
_
device: don
'
t call
this after input_unreg
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Da
n
Carp
e
nter
*new* check_container_of:
c
ontainer_o
f
() doesn't return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpen
t
er
creat
e
check_list_lo
c
al
.
h which is for
u
n
tr
a
cked local
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
C
arp
e
nter
locking: _atomic_dec_and_lock
(
)
i
s a spinlock
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
an
C
arp
e
nter
files
:
cleanup open_file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
an
Carpenter
a
dd
d
efault n
o
_retur
n
_func
s
if n
o
p
ro
j
ect is speci
f
ied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
an
Carpente
r
update smatch_data/
f
o
r
2
.
6
.
3
7
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan Carpenter
*new* check_acc
e
s
s
_
ok_math: pot
e
ntial i
n
teger overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpen
t
er
hook
s
: intr
o
duce ASM_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpenter
t
e
mpo
r
a
ry hack t
o
solve crashin
g
bug in fs/
r
eise
r
fs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Dan Carpent
e
r
locking: add
_
_raw
_
spin_unlock_irq() func
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
Dan Carpenter
err_ptr_deref: fix assig
n
ments inside con
d
itions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan Carpent
e
r
lo
c
king: add arch_local_irq_save()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
D
a
n
C
a
rpent
e
r
check_
t
ype: warn a
b
out kfree() vs free
_
netdev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan
Carpenter
t
y
pe: improve handl
i
ng of array types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpen
t
er
extra: move
som
e
stuf
f
into sm
a
tch_dinfo
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Car
p
e
nter
b
u
f
_
size: oops
.
.
.
r
e
move debug output!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
wh
i
tespace_only
:
don't error out handling
.
h files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*
n
e
w* get_user_overflow: check for integer overflows
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpe
n
ter
smatch_
d
b
: don't compla
i
n if the
d
b
doesn't exist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
buf_size: do
c
ross functi
o
n analysis
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Car
p
enter
*new*
uncapped_alloc: p
r
int places wh
e
re the user de
c
ides
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpen
t
er
*new* smatch_db: use
and sqlite datab
a
se f
o
r
c
ross
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an Carpenter
para
m
_map
p
er:
update copy
r
ight
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-01
Dan
C
arpent
e
r
a
d
d
t
e
st-insp
e
ct to
.
gitignore
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
an Carpenter
smat
c
h_scri
p
t
s
/
g
en_expec
t
s
_
err_ptr
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
smatch_da
t
a/kernel
.
a
rray_bounds:
a
rra
y
bound
a
ry data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
expec
t
s_err_ptr:
make a l
i
st of
f
unct
i
ons which acce
p
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan C
a
rpenter
unwind: add
more unwind functi
o
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Ca
r
pe
n
ter
upd
a
te smatc
h
_d
a
ta/ for 2
.
6
.
36
-
rc2 (part
2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan C
a
rpenter
o
verflow: fixup
c
r
oss function overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carpen
t
er
remove d
e
ad n
o
_le16 cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
D
a
n
Carpe
n
ter
unw
i
nd: add more
unwi
n
d fu
n
ctions
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 Carpen
t
er
Updat
e
smatch_data
to 2
.
6
.
36-rc2 [patch 1 of more]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
k
e
rnel: conta
i
ne
r
_of()
r
eturns a non-NULL pointer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
D
a
n Carpen
t
er
Intro
d
uce add_macro
_
assign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Dan Carpenter
fi
x
out of memory handlin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
N
ew functions r
e
turns_unsigned() and returns_pointer()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpent
e
r
*new*
c
heck_in
f
o_leak
.
c: plac
e
s that pass un-zeroed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
D
a
n
C
arpente
r
*new*
check_return_eno
m
em:
c
o
m
plain ab
o
u
t retur
n
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
Dan
C
arpent
e
r
*new* pla
t
form_devic
e
_put
(
)
vs
p
latform_
d
ev
i
ce_de
l
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
u
nwind: literals
h
i
g
her than zero a
r
e not an
error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan
Carpenter
i
mplied:
o
n
ly pr
i
nt the n
r
_children mes
s
ages if
t
here
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Car
p
e
nter
unwind: registe
r
unwind functi
o
n
s that unwind ev
e
rything
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpente
r
u
nwind
:
u
p
date equi
v
al
e
nt st
a
t
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
extra:
clean up unus
e
d variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
D
an Carpent
e
r
equ
i
v: update
validation test
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
D
a
n
Carpenter
extr
a
: handle WARN_ON
(
func(&s
e
t_this_p
o
inter))
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Car
p
enter
buf
_
size: I broke initializ
e
r
ha
n
dling b
y
mista
k
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
oops
.
f
i
x compile error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
buf_siz
e
:
re
m
ove memset(
)
a
nd memmove(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpenter
implied_not_equal: handl
e
li
t
erals
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpenter
resourc
e
: crashing
b
ug on i
n
corre
c
t inp
u
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size: ig
n
ore dynamically si
z
e
d
a
rra
y
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
Carpenter
bu
f
_si
z
e
:
a
dd sup
p
o
rt
f
or
m
emdup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpent
e
r
buf_size: add s
u
pport for st
r
ndup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpente
r
buf_size: use strcpy() to determine the si
z
e of t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpen
t
er
buf_size: u
s
e strnc
p
y()
a
nd
f
ri
e
nds
t
o
set th
e
buf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpe
n
t
e
r
buf_
s
ize: whitespa
c
e cha
n
ges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpent
e
r
overf
l
ow: remove unused functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpent
e
r
buf_size: use alloc_stat
e
_num() instead of custom versio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
ar
p
enter
buf_size: remove u
n
used
def
i
nition
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next