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
new script: show_ifs.sh
2010-01-07
D
an
Ca
r
penter
n
ew script: show_ifs
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Ca
r
penter
i
ntroduce
g
etting_addr
e
ss()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
update
s
mat
c
h
_
s
cripts/ becaus
e
of --inf
o
f
ormat
c
h
anges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
a
rpenter
che
c
k offset after use: ignore foo =
&
array[bar];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
nte
r
c
heck_overflow: move some
m
ore stuff
under th
e
--info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
C
ar
p
enter
clea
n
up output:
warning: => warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpe
n
ter
modificati
o
n_hook: -- and ++ are modifica
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan Carpenter
It
m
akes sense to
c
heck an array off
s
e
t if i
t
has been
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Da
n
C
arpenter
c
h
ec
k
_overflow: s
e
parat
e
the two types of states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan
C
arpe
n
t
e
r
Fix precedence/crashi
n
g bug c
h
e
c
k_
o
ver
f
lo
w
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpent
e
r
ch
e
ck_o
v
e
rflow: ch
e
ck for limiting offset aft
e
r
using it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
D
a
n Carpenter
introduce alloc_state_num
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpent
e
r
cleanup: rename alloc
_
state()
=> alloc_sm
_
s
tate(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
introduce
g
et
_
f
u
zzy_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan C
a
rpenter
c
a
ll_
t
ree
.
pl: make it an interactive pro
g
ra
m
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpe
n
te
r
create get_impli
e
d
_ra
n
ge_list
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpen
t
er
sm_info: fi
x
form
a
tt
i
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carp
e
nter
c
a
ll tree: init
i
al
u
p
l
oad
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpent
e
r
dm
a
on stack
:
mov
e
data to
smatch_
d
ata/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carp
e
nter
t
r
ace_para
m
s
.
pl: rewrote so it'
s
fast
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpent
e
r
add -
-
pa
r
a
m
-mappe
r
back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n
Carpenter
cleanup
u
p op
t
i
o
n parsing
a l
i
t
t
le
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
rpenter
add op
t
ion: --info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
redo how options are pa
r
sed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arp
e
n
ter
cleanup
:
deb
u
g_i
m
plied_states => option_
d
ebug_implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpente
r
cleanu
p
: debug_stat
e
s => optio
n
_debug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n
Ca
r
penter
param_mapper: add
-
-param-m
a
p
p
er op
t
io
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpente
r
d
m
a
on stack
:
eliminate
s
ome false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpen
t
er
A
dd dm
a
f
u
nctions that map to us
b
_c
o
ntrol_msg(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add smatch_script
s
/trac
e
_par
a
ms
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
param_m
a
pper: initial comm
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Carpenter
d
m
a_on_st
a
c
k
: &fo
o
mea
n
s it's an error too
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
update sm
a
tch_data to 2
.
6
.
33-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
D
an Carpe
n
ter
check_overf
l
ow: fix crashing bug (divi
d
e by ze
r
o)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Ca
r
p
enter
check_overflow: fix crashin
g
bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpenter
add a check for passing
stack vari
a
bles to dma fu
n
cti
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpenter
check_u
s
ed_r
e
turns: igno
r
e
inb, in
w
, and inl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
update valid
a
t
i
on
tests
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Da
n
Carpen
t
er
check_ove
r
flow: handle
a
rrays
inside structs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan
C
a
r
penter
Fix
c
ra
s
h
i
ng b
u
g: func(a
&
b);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan
C
arpen
t
er
warn about if(x); ty
p
e code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpente
r
precedence: w
a
rn about:
i
f (!a & b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
D
a
n Ca
r
pe
n
ter
err_ptr:
i
t
's perfectly ok to return both nu
l
l an
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
w
h
ite space c
h
anges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
arpenter
Remove ha
c
k for handl
i
n
g Steve Roste
d
t
'
s if conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Da
n
Carpenter
check
_
unused_ret
.
c:
fix
check f
o
r lo
c
al varia
b
l
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n Carpent
e
r
check_unu
s
e
d
_ret
.
c: ignore un
r
eachab
l
e assi
g
n
m
ents
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
arpe
n
ter
If --debug is pas
s
ed the m
e
ssages from the fi
r
st pass
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
D
an C
a
rpenter
Add
a
check for unused assi
g
nments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Ca
r
penter
simple check for format string vuln
e
rability
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpe
n
ter
Handle EXP
R
_FO
R
CE_CAST in __spli
t
_exp
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[patch 2/2] redefine
SYM_HOOK entirely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan
C
a
r
p
e
nter
[
p
atch 1/2
]
Chang
e
d
e
finition o
f
SY
M
_HOOK
in smat
c
h_hook
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpente
r
&
(
f
o
o
-
>bar) is not really
a derefere
n
ce
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Car
p
enter
c
hang
e
expression
_
stack
to expression_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n Carpent
e
r
cl
e
an up
.
DEREF_H
O
OK handlin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpente
r
check_sig
n
ed: make it dep
e
n
d on
--spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carpente
r
check_locks:
add r
a
w_local_irq_
e
nable()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
e
nter
a
dd check for precedence erro
r
s
like if
(
x & y =
=
0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpen
t
e
r
f
i
x select handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
enter
changes t
o
comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpe
n
t
e
r
add __smatch_n
o
te(
"
hello worl
d
")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
arpente
r
pat
c
h up the new check_l
o
cking
.
c re
p
la
c
e
m
ent
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpenter
mo
v
e
chec
k
_win
e
_
l
ocking
.
c over c
h
eck_lockin
g
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpenter
de
l
e
t
e
the old check_locking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
an Ca
r
p
e
n
t
e
r
Fix crashing
b
ug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carp
e
nt
e
r
s
eparate out
t
he *_bh() l
o
ck han
d
ling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
D
a
n Carpenter
f
i
xes for unified
w
in
e
& kern
e
l loc
k
i
ng
s
c
ript
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpe
n
t
er
g
e
t_type() ret
u
rn pointer for &foo typ
e
expr
e
ssio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
D
a
n
Ca
r
penter
print
message on
false
c
ompares because of signe
d
vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Ca
r
p
enter
supp
r
es
s
gcc wa
r
ni
n
g
.
whitespace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpenter
Merge branc
h
'
m
aster' of /home/dc
a
rpenter/pr
o
g
s
/sparse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan C
a
rpenter
clean up
kfree_s
k
b() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
add __smat
c
h_cur_s
l
ist
(
)
d
ebug function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carp
e
nter
id
i
s supposed to be unsi
g
ned sh
o
rt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
an Ca
r
penter
fix crashi
n
g
b
u
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
St
a
r
t
caring abo
u
t the types a l
i
ttle
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
a
rpent
e
r
cleanup: uses ARRAY_SIZ
E
() ma
c
ro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
an Carpente
r
Print
n
ame instead of ID in debug output
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Ca
r
pen
t
er
A
d
d -
-
pro
j
ect=kernel to kchecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
S
t
art merging
the kernel
locking
a
n
d
w
ine lo
c
king checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
handle if
(*ptr == 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
d
e
clare char* as const
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan
C
arpenter
M
or
e
range fixes
.
(De
l
ete and merge
d
uplica
t
es
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Car
p
enter
Pop the
pre_conditi
o
n_s
t
ack a
t
the
c
o
r
rec
t
p
o
int
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpenter
fix
issue with ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix get_imp
l
ied_valu
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n Carpenter
Fix
n
ega
t
e bug
.
(Dereferenc
i
ng undefin
e
d f
a
ls
e
positi
v
e)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Car
p
e
n
ter
Update c
o
mment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Car
p
enter
wine: wine_che
c
ke
r
.
sh f
o
r checking indi
v
idua
l
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpente
r
wine: add mo
r
e functions that don't
r
eturn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
ter
r
evert p
a
rt of f4a
4
59292e33
9
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Ca
r
penter
sm
a
tc
h
_extra:
i
mprov
e
and fix ass
i
g
n
ment handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
scoped_state() mak
e
the parameter order
m
atch everything
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
a
rpent
e
r
checks: remove so
m
e s
h
ow_specia
l
()
c
a
lls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Ca
r
p
e
n
ter
smatch_hel
p
er
.
c re
m
ove
m
any calls to show_special()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Ca
r
penter
small clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpenter
fix
b
ug
with function
i
m
plicat
i
o
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
r
p
e
nter
exit and E
x
itProcess don't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carp
e
nt
e
r
s
match_extra
.
c
:
remove some sho
w
_spe
c
i
a
l() call
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next