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
introduce: get_dinfo()
2010-01-08
Dan Carpenter
introduce: g
e
t_d
i
nfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n Car
p
enter
che
c
k_overf
l
o
w: handle a
d
dresses d
i
fferently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carp
e
nter
smatch_extra: clean up
.
state ca
n
n
ev
e
r be &me
r
ge
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Carpenter
check_overf
l
o
w: ignore
t
he
l
ast member of
s
tr
u
cts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
C
a
rpenter
sma
t
ch_extra: I
don't
like empty ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan C
a
rp
e
nter
a
d
d
smatch_scripts/ge
n
_ar
r
ay
_
bounds
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan C
a
rp
e
nter
sm
a
tch_dat
a
/kernel
.
array_bounds
.
r
emove
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
ar
p
e
nter
ch
e
ck_overflow: an an "error
:
" prefi
x
to a printf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
smatch_
s
cripts/s
h
ow_unreacha
b
le
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
a
rp
e
nter
new script: show_ifs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
introduce gettin
g
_a
d
d
r
ess
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpe
n
ter
update smatch_scripts/ because of
--
i
nfo format changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpen
t
er
chec
k
offset aft
e
r use: ignore foo =
&
array
[
bar];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
Carpenter
check_
o
verfl
o
w: move some more
s
tu
f
f u
n
der
t
he --inf
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
an Carpenter
clean up ou
t
put: warn
i
n
g: => warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
ar
p
enter
m
o
dification_hook: -- and ++ are modificat
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
D
a
n
C
arpenter
It
makes
sense t
o
check an
a
rr
a
y off
s
et
i
f
i
t has been
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan C
a
r
p
enter
check_overflow:
s
e
p
arate
t
he two types of
s
tates
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
Fix precedenc
e
/crashing b
u
g chec
k
_
o
ver
f
low
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Car
p
enter
c
h
eck_overflow:
c
he
c
k for limi
t
ing offset after us
i
ng it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
D
an
Carpenter
int
r
od
u
ce alloc_
s
tate_num()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carp
e
nter
c
lea
n
up:
rename a
l
loc
_
state()
=> alloc_sm_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Da
n
Carp
e
nter
i
ntroduce get_fuz
z
y_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Ca
r
pente
r
call_t
r
e
e
.
pl: make
i
t an intera
c
tive program
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Ca
r
p
enter
create get_implied_ra
n
ge_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
D
a
n Carpenter
sm_info:
f
ix
formatting
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpent
e
r
call tre
e
:
initial
upload
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carp
e
n
ter
d
m
a
on sta
c
k
:
move data t
o
sm
a
tch_d
a
ta/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpent
e
r
t
r
ace_
p
arams
.
pl:
r
ewrote so i
t
's faster
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
C
arpenter
add --para
m
-map
p
er back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpenter
cleanup
u
p o
p
tion pars
i
n
g
a
little
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
e
n
ter
a
d
d
option: --info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
red
o
how options are parsed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpente
r
cle
a
nup
:
deb
u
g_implied_states => o
p
tion_debug_implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
c
le
a
nup: debug_s
t
ates => opti
o
n_deb
u
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
param
_
mapper: add --param-mapper opti
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dma
o
n s
t
ac
k
:
eliminat
e
some false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Car
p
enter
Add dma functio
n
s
t
hat
map
to us
b
_control_msg(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carp
e
nter
add smatch
_
scripts/t
r
ace_params
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
pa
r
am_
m
apper: initial commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpent
e
r
dm
a
_on_stack
:
&f
o
o m
e
ans it's an
error too
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carp
e
nter
update smatch
_
d
a
t
a to
2
.
6
.
33
-
r
c
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan
Car
p
ente
r
che
c
k_over
f
low: fix crashing bug (divide by zero)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
D
an Carpent
e
r
check_overf
l
ow:
f
i
x crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpenter
add a chec
k
fo
r
passing
sta
c
k v
a
riables
t
o
dma
funct
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan C
a
rpenter
check_u
s
ed_re
t
u
r
n
s
:
ignore inb, inw, and
i
n
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpente
r
u
p
date validation te
s
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carp
e
nter
check_overflow: hand
l
e arr
a
ys inside str
u
cts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Da
n
Car
p
ente
r
F
i
x crashi
n
g bug: func(a & b);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
warn
a
b
o
ut if(
x
)
; type
c
ode
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan
C
arpenter
precedence: warn about: if (!a
&
b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Ca
r
pent
e
r
er
r
_
p
t
r: it's perfect
l
y ok to retu
r
n both null and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpente
r
white spac
e
chan
g
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
Rem
o
ve hac
k
for handling
Steve Ros
t
edt
'
s if
c
onditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
arpe
n
ter
check
_
u
n
us
e
d_ret
.
c
:
f
i
x check for local var
i
ab
l
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpent
e
r
c
h
e
ck_unus
e
d_ret
.
c: ignore unreachab
l
e
a
ssignme
n
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpente
r
I
f --debug is passe
d
the
m
essages
from
t
h
e f
i
rst pa
s
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
D
a
n Carpenter
Add a
c
heck for u
n
used assignmen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Car
p
enter
simpl
e
check for format st
r
ing vu
l
ner
a
bili
t
y
commit
|
commitdiff
|
tree
2009-12-17
Dan Ca
r
pent
e
r
Ha
n
dl
e
E
X
P
R_FORCE_CAST
in __split_
e
xpr(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan
Ca
r
pent
e
r
[patch
2
/
2
] redefine SYM_HOOK entirel
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
D
an
C
arpen
t
er
[patch 1/2] Ch
a
nge definition
of SYM_
H
OOK
i
n s
m
atch_hook
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
&(f
o
o->bar) is not r
e
ally a dereference
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
D
an Carpenter
change expres
s
ion_stack to e
x
pression_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
c
lean up
.
DEREF_HOOK handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpente
r
check_si
g
ned: make it de
p
e
n
d on --spam
m
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
check
_
locks: add ra
w
_
local_irq_enable()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
p
ent
e
r
add ch
e
ck
f
or precede
n
ce errors like if
(
x & y =
=
0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
fix select handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpenter
changes to comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpent
e
r
add __smatch_note("he
l
lo wo
r
ld")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
r
penter
patch up the new
check_locki
n
g
.
c
r
ep
l
ace
m
ent
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
move check_wine_loc
k
ing
.
c
o
ver c
h
eck_lockin
g
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n
C
a
r
penter
delete the old check_lockin
g
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
Fix crashing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
separat
e
out the *_bh() lock handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Ca
r
pent
e
r
fixes for unifi
e
d wine
& kernel l
o
cking script
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpe
n
ter
get_type() return poi
n
ter for &foo
t
ype expr
e
s
sions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Da
n
Carpente
r
print
m
ess
a
ge on false compares because
of s
i
g
ned vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
D
a
n Car
p
enter
sup
p
ress
g
cc
w
arning
.
whitespace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpe
n
ter
Mer
g
e bra
n
ch 'master' of /hom
e
/dc
a
r
p
e
nter/progs/sp
a
r
se
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpen
t
e
r
clean up kfree_skb() ch
e
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
add __
s
m
a
t
c
h_cur_slist
(
)
d
ebug function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpenter
id is supposed to be
u
nsigned
short
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
fi
x
cra
s
hin
g
b
u
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpen
t
e
r
Start caring abo
u
t the types a
littl
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpenter
cleanu
p
: uses
ARRAY_SIZE() m
a
cro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n
C
arpenter
Print name instead of ID in de
b
u
g
o
u
tput
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
A
dd
--project=kernel to
k
c
hecke
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Ca
r
penter
Start mergi
n
g t
h
e
k
ernel l
o
ckin
g
an
d
w
i
ne
l
ocki
n
g ch
e
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
h
a
ndle if (*ptr == 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
de
c
la
r
e
char* as const
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
D
a
n
Carpent
e
r
More ran
g
e fixes
.
(
Delete and
merge duplicates)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
D
a
n Ca
r
p
enter
Pop the pr
e
_condition_stack at the correct point
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
D
a
n Carp
e
nt
e
r
fi
x
is
s
ue with ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix get_i
m
plie
d
_
valu
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Car
p
enter
Fi
x
negate bug
.
(Derefe
r
enci
n
g undefined
fal
s
e positive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Up
d
ate commen
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan
Car
p
e
n
ter
wi
n
e: wine_checker
.
sh
for check
i
ng
individual
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpente
r
wine: add m
o
re fun
c
tions
t
hat
don't retur
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next