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
D
a
n
Carpenter
in
t
roduce: get_di
n
fo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpe
n
ter
chec
k
_overflow: handl
e
addr
e
sses diff
e
rent
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
s
m
a
tch
_
extra: clean up
.
state can never be &merged
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
arpente
r
check_overflow: i
g
nore the last member of stru
c
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan
Carpenter
smatch_e
x
tra:
I don't li
k
e
e
mp
t
y ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
ad
d
sm
a
tch
_
scripts/gen_array_bounds
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpent
e
r
s
match_data/ker
n
el
.
array_bounds
.
remo
v
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpen
t
e
r
che
c
k_overfl
o
w
: an an
"
error
:
"
prefix t
o
a prin
t
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
Carpenter
s
m
a
t
ch_scripts/show_
u
n
r
eac
h
a
b
le
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
n
ew script:
s
how_ifs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpente
r
introduce
gett
i
ng_address()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
an Ca
r
penter
update
s
m
atch
_
sc
r
ip
t
s
/ b
e
c
ause
of --
i
nfo
f
or
m
at changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
check
o
f
fset afte
r
use: ignore foo =
&
array[bar
]
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
check_over
f
low: move some more stuff under
the --info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
clean up output:
w
a
r
ning:
=> warn
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
ar
p
enter
modification_
h
oo
k
: -- and ++
a
r
e
mod
i
fi
c
a
t
i
on
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan Carpenter
It make
s
sense to check
an
a
rray offset
i
f
it has been
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
D
an Carp
e
nter
check_overflow: separate the two typ
e
s
of s
t
ates
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Car
p
e
nt
e
r
F
i
x precedence/crashing bug check
_
overflow
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
D
a
n Carpenter
check_overflow: che
c
k
for
li
m
iting
offset af
t
er
u
s
i
n
g
it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carp
e
nter
introduce alloc_state_
n
um()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
D
an Carpenter
cleanup: rename alloc_
s
t
ate() =
>
alloc_sm_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Da
n
Ca
r
pente
r
introduce g
e
t_f
u
zzy_max
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
D
an
C
arpen
t
er
call_tree
.
pl:
m
ake it
a
n interac
t
ive pr
o
g
ram
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
create get_implied_r
a
ng
e
_l
i
s
t
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan
Carpenter
sm_info
:
fix formatting
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpenter
c
a
ll tree: initial upload
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Da
n
C
a
r
penter
dma on stac
k
:
move data to smatch_
d
ata/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpenter
trace_params
.
pl: rewrote so it
'
s f
a
ster
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add --param-mappe
r
bac
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpent
e
r
c
l
e
anup
u
p o
p
tion
parsing a l
i
ttle
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
nter
add op
t
ion: --
i
n
fo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
red
o
h
o
w option
s
are parsed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpe
n
ter
clea
n
u
p: debug_im
p
lied_states =
>
op
t
ion_debug_implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
cle
a
nup: debug_state
s
=> o
p
tion_debug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpen
t
er
p
a
ram_mapper: a
d
d -
-
param-mapper option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Carpe
n
t
e
r
dma on
sta
c
k: eliminate some false pos
i
tives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpenter
Add dma f
u
ncti
o
ns that map to u
s
b_
c
ontrol_msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n
Carpenter
a
d
d smatch_scr
i
p
t
s/tr
a
ce_params
.
p
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpenter
param_mapper: i
n
itial c
o
mmit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
dma_on_
s
t
a
ck: &foo means
i
t's an err
o
r too
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan
Carpen
t
er
update
s
match_
d
ata to 2
.
6
.
33-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpe
n
ter
check_overflow: fix cra
s
hing bug (d
i
vide b
y
z
ero)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
check
_
overflo
w
: f
i
x crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpenter
ad
d
a check for passing
s
t
ack variables
to dma functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Da
n
Carpe
n
ter
chec
k
_used_retu
r
n
s
:
ign
o
re inb,
inw, and in
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan
C
a
rpenter
upda
t
e val
i
dation tests
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpent
e
r
check_overflow: hand
l
e
arrays inside stru
c
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Car
p
enter
Fix
c
ras
h
i
ng
b
u
g: func(a & b);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpe
n
ter
w
arn a
b
out if
(
x); ty
p
e c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
D
an Carpenter
p
r
ecedence: warn
a
bout: i
f
(!
a
& b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
err_pt
r
: it's p
e
r
fectly ok to
r
eturn both null and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpe
n
ter
whi
t
e s
p
ace ch
a
nges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpente
r
Rem
o
v
e hac
k
for ha
n
d
ling Stev
e
R
o
s
t
edt
'
s
if conditio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpente
r
check_unused_ret
.
c: fix chec
k
for lo
c
al variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n Carpent
e
r
check_unused_re
t
.
c: ign
o
re un
r
eachable assignments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
If --deb
u
g is passed the
messages f
r
om
the
f
irst
p
ass
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Ca
r
penter
A
d
d
a check for unused
assig
n
ments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
D
a
n Carpenter
s
i
mple
ch
e
ck for form
a
t string vulner
a
bilit
y
commit
|
commitdiff
|
tree
2009-12-17
Da
n
Ca
r
penter
Handle EXPR
_
FORCE
_
CAS
T
in __split_expr
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
D
an C
a
rpenter
[patch 2/2] redefine S
Y
M
_
H
O
O
K ent
i
r
ely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Da
n
C
a
r
p
e
nt
e
r
[
p
atch 1/2] Change
d
e
finition
o
f
S
YM_HOOK in sm
a
tc
h
_
hook
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carpenter
&
(foo
-
>bar)
is not r
e
ally a dereference
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
chang
e
ex
p
r
e
ssion_stack to exp
r
ession_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Car
p
enter
clean up
.
D
EREF_HOOK handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
check_si
g
ned: make
it depend on --spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
c
h
eck_locks: add raw
_
loc
a
l_irq
_
e
n
able()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
enter
add check for precedence er
r
ors like if (x & y == 0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
fix
s
e
lect ha
n
dling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
change
s
to
comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpe
n
te
r
add __s
m
atch_
n
o
te("hel
l
o world
"
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
p
a
t
c
h up the new check_locking
.
c replacement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
move check_wine_lockin
g
.
c o
v
e
r check
_
lockin
g
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
delete t
h
e old check_locking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
a
rpenter
Fix crashing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
D
a
n Carpenter
sepa
r
at
e
out the *_bh() l
o
ck handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
fixes f
o
r
unified wine &
kernel l
o
c
king scri
p
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
g
et_ty
p
e
() return pointer for &foo typ
e
expres
s
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
D
a
n Carpen
t
er
print message on false compa
r
e
s b
e
c
au
s
e
o
f signed
v
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpente
r
suppress gcc warning
.
whitespace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
an Carpenter
Me
r
ge branch 'maste
r
'
o
f
/home/dcarp
e
nter/progs/s
p
arse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
clean up
k
free_skb
(
)
c
heck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
add __sm
a
tc
h
_cur_slist()
debug function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
an Car
p
e
n
t
er
id i
s
supp
o
se
d
to be unsigned short
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
fix
crashing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
S
t
art caring about the types
a little
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
C
arpenter
cleanup: uses ARRAY_SIZE(
)
ma
c
ro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
arpenter
Pri
n
t
nam
e
instead of I
D
in debug output
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Add --project=kernel
to kchecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n
Carpenter
Start
m
erging
th
e
k
er
n
el lo
c
king and wine
l
oc
k
ing checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpente
r
h
an
d
le
i
f (*ptr == 5
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
Carpe
n
ter
declar
e
char* as const
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Car
p
ente
r
More ra
n
g
e
fix
e
s
.
(Delet
e
and merg
e
duplicates)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
D
an Carpenter
Pop the pre
_
condition_stack at the correct point
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan C
a
r
p
e
nter
fix
i
ssue wit
h
ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix get_im
p
lied
_
value
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
D
an Carpenter
Fix neg
a
te b
u
g
.
(
D
erefer
e
n
c
ing unde
f
i
n
e
d
false posi
t
ive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan
C
arpenter
Update co
m
m
e
nt
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
D
a
n Carpent
e
r
wine: wine_ch
e
ck
e
r
.
sh for checking indivi
d
ual files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
w
i
ne:
add more func
t
ions that
d
on't
r
et
u
rn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next