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
check_overflow: separate the two types of states
2010-01-05
Dan Carpente
r
check_o
v
erflow: se
p
a
r
ate the two
types of
s
t
ates
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
Fix precedenc
e
/crashi
n
g bug check_ove
r
flow
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Da
n
Carpent
e
r
check_o
v
erflow: check for
limiting offset a
f
t
e
r using it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
D
a
n
Carpente
r
introduc
e
alloc_sta
t
e_n
u
m()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Ca
r
p
enter
cleanup:
rena
m
e allo
c
_sta
t
e()
=> alloc_
s
m_sta
t
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
introduc
e
get_fuzzy_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpent
e
r
call_tree
.
pl: make it an
in
t
e
ra
c
tive program
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
D
a
n
Carpenter
create get_i
m
plie
d
_range_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan C
a
rpenter
sm_i
n
fo
:
f
i
x form
a
tt
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Dan
Carpenter
call tree
:
initial upload
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Da
n
Carpen
t
er
dma
o
n
stack: mo
v
e data to smat
c
h_
d
ata/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan
Car
p
enter
trace_par
a
ms
.
pl:
rewr
o
te so it's
faster
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add --param-m
a
pper back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
clea
n
up up option pa
r
sing a little
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n C
a
rpenter
add option: --info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpenter
redo
h
ow options are parsed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
ter
cl
e
anup: debug_implied_states => option_debug_implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Carpenter
cl
e
anup
:
debug_states => o
p
tion_debug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carp
e
nter
param_mapper:
add --pa
r
am-mapp
e
r o
p
t
i
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
nter
d
m
a on stack: eliminate some false positive
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
e
n
ter
A
dd
d
ma functi
o
ns that map to usb
_
contro
l
_
m
sg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add
s
match_scripts/trace_para
m
s
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an
C
ar
p
enter
param_
m
apper:
i
nitial commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an C
a
rpenter
dma_on_s
t
a
c
k: &foo means it's a
n
erro
r
too
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
update smatch_da
t
a to 2
.
6
.
33-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
D
an Carp
e
nte
r
check_
o
ve
r
flow: fix crashing bug
(divide by zero)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan C
a
rpenter
check_overflow: fix c
r
ashing
bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Da
n
Carpenter
a
d
d
a
c
heck for passing stack varia
b
l
es
t
o
dma
f
unctions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Car
p
e
n
ter
ch
e
ck_
u
sed_
r
eturns: ignore inb,
i
nw, and
i
nl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
upd
a
te validation tests
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpen
t
er
check_
o
verfl
o
w:
handle
arrays inside structs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
D
an Carpenter
Fix crashing bug: fu
n
c(a &
b);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpe
n
ter
warn
about i
f
(
x
); type code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan
C
arpenter
precedence
:
war
n
about: if (!
a
& b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpente
r
err_ptr: it's
perfectly ok to ret
u
rn
bo
t
h n
u
ll and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan C
a
rpenter
white space changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan C
a
r
penter
R
e
move hack
f
or handling S
t
e
v
e Ros
t
edt's if conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Ca
r
pe
n
ter
ch
e
ck_unused
_
ret
.
c:
f
i
x
ch
e
ck for local variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpent
e
r
c
heck_unu
s
ed_ret
.
c: ignore
unr
e
acha
b
le
assignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
If --debug is pa
s
sed
t
he messages
from the firs
t
p
ass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Da
n
Carpente
r
Add a
c
heck fo
r
u
n
used assig
n
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carp
e
nter
simple check for format string vulner
a
bility
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
Handle
EXPR_FORCE_C
A
ST in __spl
i
t_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan
Carpenter
[patch 2/2] redefine S
Y
M_HOOK ent
i
rely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[patch 1/2
]
Change d
e
f
i
nition of
S
YM_HOO
K
in
sma
t
c
h
_hook
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carpenter
&(foo->b
a
r) i
s
not
r
eally a dereference
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
change expressi
o
n_st
a
ck to ex
p
ressio
n
_
l
ist
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carp
e
nter
c
l
ean up
.
DEREF_HOOK
h
andli
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Car
p
enter
ch
e
ck_s
i
gned: make
it depend on -
-
sp
a
mm
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan
C
a
r
pent
e
r
check_locks:
a
dd
r
a
w
_local_irq_enable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpenter
add
c
h
eck for preced
e
nce
e
r
rors like if (x & y ==
0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpe
n
t
er
fi
x
select handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
en
t
er
cha
n
g
es
to
comme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpent
e
r
add __smatch
_
note("he
l
lo world")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpe
n
ter
pa
t
ch up the new c
h
eck_locking
.
c
rep
l
acemen
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpen
t
e
r
move check_win
e
_lockin
g
.
c over
check_loc
k
ing
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
pen
t
e
r
d
e
l
ete the
old check_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Car
p
enter
Fix crashing b
u
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan C
a
rp
e
nter
separa
t
e out t
h
e
*
_
b
h() l
o
ck
handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpe
n
ter
fixes f
o
r u
n
if
i
ed wine
&
kernel lock
i
ng scrip
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan
C
arpent
e
r
ge
t
_
t
y
p
e
(
) re
t
urn pointer for &fo
o
ty
p
e expressions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpent
e
r
p
r
int message on fa
l
s
e
compares
bec
a
use
o
f
signed v
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Car
p
e
n
ter
suppress gcc wa
r
ning
.
whites
p
a
ce
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpent
e
r
Merg
e
branch 'master' of
/
home/dcarpenter/pro
g
s/spars
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n
C
a
r
penter
clean up kfree_skb() chec
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
C
a
rpenter
add _
_
smat
c
h_cur_sli
s
t
(
) debug funct
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
i
d
i
s
su
p
posed to be unsigne
d
short
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
an Car
p
enter
fix crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Start caring about th
e
t
y
pes a l
i
t
tle
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Car
p
enter
cleanup: use
s
ARRAY_SI
Z
E
()
macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpente
r
Print name
instead of ID in de
b
ug outp
u
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Car
p
enter
Add --pro
j
e
c
t=kernel to
k
checker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
an Ca
r
pe
n
ter
Start merging the kernel lock
i
ng
a
nd wine lo
c
k
i
ng checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
handle
i
f (*ptr ==
5
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpenter
d
ecl
a
re cha
r
* as
c
onst
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan C
a
rpenter
More rang
e
fixes
.
(Del
e
te and merge du
p
li
c
ate
s
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Da
n
C
a
rpen
t
er
P
o
p
t
h
e
p
re_c
o
ndition_s
t
ack at th
e
correct
poi
n
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
D
an Carpenter
f
i
x issue wit
h
ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan C
a
rpenter
Fi
x
get_implied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Car
p
enter
Fix negate bug
.
(Der
e
feren
c
i
n
g undefined f
a
lse
positive)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Up
d
a
t
e c
o
mment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Car
p
enter
wine: wine_
c
hecker
.
sh for checkin
g
in
d
ividual file
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpente
r
wine: add more
f
un
c
tions that don't retu
r
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpent
e
r
r
evert part o
f
f4a459292e33
9
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatch_extra: im
p
rove
a
n
d
fix as
s
ig
n
ment handli
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
scoped_
s
tate() ma
k
e the p
a
ramet
e
r o
r
der mat
c
h eve
r
ything
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpenter
che
c
ks: remove so
m
e show
_
s
p
e
cial() ca
l
l
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpenter
smatch_helpe
r
.
c rem
o
ve ma
n
y c
a
l
ls
to show_s
p
ecia
l
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
sma
l
l clean
u
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpe
n
ter
fix bug with
f
unction
i
mpl
i
catio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpen
t
er
exit and E
x
itProcess d
o
n't
r
eturn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
smat
c
h_
e
xtra
.
c
:
remove
s
o
me
s
h
ow
_
special()
calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
che
c
k_deref_check: get rid of some fals
e
positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpenter
spel
l
ing: m
e
me
r
y => memo
r
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Ca
r
penter
disg
u
st
i
ng hack to sto
p
fa
l
se
positive buff
e
r overflo
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
Fix
+
=
and -= handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
wine: fix some lock
names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
a
rpenter
wine: RpcR
a
iseException
n
ever r
e
turns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
add option --full
-
path
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan
C
a
rpe
n
t
e
r
wine: check for locking bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next