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
sm_info: fix formatting
2010-01-02
Da
n
Carpenter
sm_
i
nfo: fix format
t
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Dan
C
a
rpen
t
er
call tree: init
i
al upload
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan
Ca
r
pente
r
dma on stack:
move da
t
a to smatch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpente
r
tra
c
e_par
a
ms
.
pl: rewrote so it's
faste
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
a
d
d --param-mapper
b
ack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpen
t
er
cle
a
nup up o
p
tion parsing
a little
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
add
o
ption: --
i
nfo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
redo
h
ow options
ar
e
parsed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Car
p
enter
cleanup:
debug_
i
mplied_stat
e
s =
>
o
ption_debug_implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
nter
cleanup:
d
ebug_states =>
opti
o
n_debug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
ter
param
_
map
p
er: add --
p
a
ram-
m
apper o
p
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
ar
p
enter
dma on stack: eliminate some fa
l
se
p
os
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
Add d
m
a functions
tha
t
m
a
p to us
b
_control_m
s
g
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpenter
a
d
d smatch_s
c
ript
s
/
trace_para
m
s
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
param_
m
apper: in
i
tial commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Ca
r
pente
r
dma_on_stack
:
&foo means it's an error too
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpen
t
e
r
u
pd
a
te
smatch_data
to 2
.
6
.
33-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan C
a
rpenter
check_overflow: fix crashing bug (divide by z
e
ro)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpe
n
ter
c
heck_overflow:
fix cras
h
ing bu
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpenter
add a
c
heck for pass
i
ng stack variables to
dma functio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
D
an Carpenter
check_used_r
e
turns: ig
n
ore inb, inw, and inl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpente
r
update validation te
s
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Da
n
Carpenter
check_
o
verflow: h
a
ndle arrays ins
i
de structs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan
Carp
e
nter
Fix cra
s
hi
n
g bug: func(
a
& b);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpente
r
wa
r
n
abo
u
t if(x); type code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
precedence:
w
arn
a
b
out: if (!a & b
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
err_ptr: it's perf
e
ctly ok to r
e
turn b
o
th null
a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
arpenter
white spac
e
c
h
anges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Car
p
e
nt
e
r
Remove hack for ha
n
d
li
n
g Steve R
o
s
tedt
'
s if condition
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Da
n
Carpenter
c
heck_unused
_
ret
.
c: fix che
c
k for local varia
b
les
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
check_unused_r
e
t
.
c: igno
r
e unr
e
achable ass
i
gnments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
If --de
b
ug is p
a
ss
e
d t
h
e messages fr
o
m th
e
first pas
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
Add a c
h
e
ck for unuse
d
as
s
i
gnments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
D
a
n C
a
rpe
n
ter
simple c
h
eck for format s
t
r
ing vulnera
b
ility
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
Ha
n
dle
EXPR_
F
ORCE_
C
AST in __split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Ca
r
penter
[patch
2/2]
r
edefine SYM_HOOK entirely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpente
r
[patch
1
/
2
] Change definition of SYM_
H
OOK
i
n
smatch_hook
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Ca
r
p
e
nter
&(fo
o
->b
a
r
)
is not
r
e
al
l
y a de
r
eference
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Car
p
e
n
ter
c
hang
e
expre
s
sion_stack to
expres
s
ion_list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n Carp
e
nt
e
r
c
l
ean up
.
DE
R
EF_H
O
OK handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
check_signed: mak
e
it de
p
end on --spam
m
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Car
p
enter
check
_
l
o
c
k
s: a
d
d
r
aw_local_irq_en
a
ble()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
a
rpenter
add check
f
or prec
e
d
ence errors like if (
x
& y
== 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpen
t
er
fix sel
e
c
t h
a
n
d
ling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpenter
cha
n
ges to co
m
ment
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
add __smatch_note("hell
o
world
"
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
e
nter
pat
c
h up the new check_lo
c
king
.
c replacement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
a
r
pent
e
r
move
check_wine_l
o
c
k
ing
.
c
over c
h
eck_
l
ocking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
delete the
o
ld ch
e
ck_lock
i
ng
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpen
t
er
Fix crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
D
a
n C
a
rpen
t
er
separate
o
u
t
t
he *_bh()
lock handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan C
a
rpenter
fixes for
unified wine
& kernel l
o
ck
i
ng
script
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
D
a
n
Carpen
t
er
get_ty
p
e(
)
r
eturn p
o
inter for &foo
t
ype expressions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
D
an Carpenter
pr
i
n
t
message on false c
o
mpares be
c
ause of signed vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan
Carpenter
suppress g
c
c warning
.
w
hitespace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Carpenter
Merge branch 'master' of /
h
o
m
e/dca
r
p
e
nt
e
r/progs/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
Carpent
e
r
cl
e
an up kfree_skb() ch
e
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Ca
r
pent
e
r
add
_
_
sma
t
ch
_
cu
r
_
s
list() deb
u
g function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpent
e
r
id
i
s
supposed to be
u
nsig
n
ed short
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
an Carpent
e
r
fix
c
r
a
s
hing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Start car
i
ng about th
e
types a littl
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
cle
a
nup: us
e
s AR
R
AY_S
I
ZE() m
a
cro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpenter
P
r
int
n
ame
instea
d
of
I
D i
n
d
e
bug out
p
ut
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpen
t
er
Add --proj
e
ct=
k
e
r
nel to
k
checker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpenter
Sta
r
t m
e
rging the kernel locking and wi
n
e
l
ocking che
c
ks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
an Carpenter
handle if (*ptr == 5)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpenter
declare
char* as const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
Mo
r
e ran
g
e fixes
.
(Delete
a
n
d
merg
e
duplicates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
D
a
n Car
p
ente
r
Pop the pre_condition
_
stack at
the correct
p
oint
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Da
n
Carpenter
fix i
s
sue wi
t
h
r
a
nges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Da
n
Carpente
r
Fix get_implie
d
_va
l
ue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carp
e
nter
Fix
n
egate bug
.
(De
r
eferencing undefined
f
alse
pos
i
t
ive)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpen
t
er
Update commen
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
D
a
n Carpenter
wi
n
e: wine_checker
.
s
h for che
c
k
ing individual files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine
:
add mo
r
e
func
t
ions th
a
t don't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpente
r
rev
e
rt p
a
rt of f4a459292e339
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpente
r
smatch_extra: improve a
n
d fix a
s
signme
n
t hand
l
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
scoped_
s
ta
t
e() make the
p
a
rameter order mat
c
h
e
ve
r
ything
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
te
r
checks: rem
o
ve some sho
w
_spec
i
a
l()
c
all
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpenter
s
ma
t
ch_helper
.
c remo
v
e
ma
n
y calls to sh
o
w_speci
a
l()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
small clea
n
ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
fix b
u
g
wi
t
h function implication
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
exit a
n
d ExitProcess do
n
't retur
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
s
m
atch_extra
.
c: remov
e
some sh
o
w_s
p
ecial() calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
c
hec
k
_deref_ch
e
ck:
g
et rid
of some fal
s
e positi
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
ter
spelling: m
e
m
e
ry
=>
m
em
o
ry
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
disgusting hack to stop false positive buffer o
v
erflow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpen
t
er
Fix += and -=
h
andling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpen
t
er
wine
:
fix some
lock names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpe
n
te
r
w
i
ne: RpcRai
s
eEx
c
eption
never r
e
turns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
a
dd option --full-path
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Mic
h
a
e
l
S
tefa
n
iu
c
Fi
x
a typo
.
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpen
t
er
wi
n
e:
check f
o
r lockin
g
bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpenter
Fix som
e
reversed if
c
o
nd
i
t
i
on
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
free can handl
e
null po
i
nte
r
s: if (foo) free(foo);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an
C
arpen
t
e
r
wine: check fo
r
WtoA cross calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
a
r
p
e
nter
Add INVALID_HANDLE_VAL
U
E c
h
eck for
w
ine
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
recompile all the
checks if smatc
h
_extra
.
h changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpent
e
r
[patch 9/9] last patch to remove UNDEFINE
D
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpe
n
ter
[patch 8/man
y
] d
e
a
l with vari
a
ble
_
non_zero() (UNDEFINED)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next