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
redo how options are parsed.
2009-12-30
Dan Ca
r
pent
e
r
redo
how opti
o
ns are parse
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
cleanu
p
: de
b
u
g_im
p
lied_
s
tates => option_debug_implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Ca
r
penter
c
leanup:
d
ebug_sta
t
es => opti
o
n_debug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
par
a
m_map
p
e
r:
add
-
-
p
a
r
am-mapp
e
r optio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpente
r
dma on stack
:
eliminat
e
some false
posi
t
ives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
Add dma
f
un
c
tions t
h
a
t
map to usb_control_msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
a
d
d smatc
h
_
s
cripts/trace_
p
a
rams
.
p
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
param_map
p
er:
initial
c
ommit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpenter
dm
a
_on_stack: &foo
m
ea
n
s
it's an error too
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan
Carpenter
update smatch_data to 2
.
6
.
3
3
-
r
c
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
D
an Car
p
enter
check_overflow: fix cra
s
hi
n
g
b
u
g (divide by zero)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
D
a
n
C
arpen
t
er
chec
k
_overflow:
f
ix crash
i
n
g
bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan Car
p
enter
add a c
h
ec
k
for
p
a
ssing stack va
r
iables to dm
a
functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Da
n
C
a
rpenter
check_used_returns:
i
gnor
e
inb,
inw, and inl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpent
e
r
u
pdate
v
alid
a
tion tests
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan
Carpente
r
che
c
k
_
over
f
lo
w
: handl
e
a
r
rays
ins
i
de
s
tructs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan C
a
rpen
t
er
F
ix c
r
ashing bug:
func
(
a & b);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan
Carpen
t
er
w
a
rn
a
bout if(x); typ
e
code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan C
a
rpen
t
er
pre
c
edence:
warn about: if (!
a
&
b
) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpen
t
er
e
rr_ptr: i
t
's per
f
e
c
tly
o
k
to return b
o
th
n
ull and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpente
r
w
h
ite s
p
ace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpe
n
ter
Remove
h
ack for han
d
l
i
ng Ste
v
e
Ro
s
tedt's if conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
check
_
unused_ret
.
c:
f
i
x
c
heck for local va
r
i
a
bles
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan C
a
rpen
t
er
check_
u
nus
e
d_ret
.
c:
ignore unreacha
b
le assi
g
nments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
I
f
--debug is p
a
ssed t
h
e messages from the first pass
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpen
t
e
r
Add a
c
hec
k
f
o
r
unused assi
g
nmen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
simple check fo
r
f
o
r
mat strin
g
vulner
a
b
i
lity
commit
|
commitdiff
|
tree
2009-12-17
Dan
Carpen
t
er
Handle
E
XPR_F
O
RCE_CAST i
n
__split_expr
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[patch 2/2]
r
e
de
f
ine SYM_HOOK
e
n
tirely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Car
p
e
nter
[patc
h
1/
2
] Change definitio
n
o
f SYM_HOO
K
i
n
smatch_hook
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
&(foo->bar) is
n
o
t
really a d
e
reference
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carpenter
c
ha
n
g
e expressi
o
n_sta
c
k to e
x
pression_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
cle
a
n up
.
DEREF_HOO
K
handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n Carpente
r
ch
e
ck_
s
ign
e
d: make it
depend on --spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan C
a
rpenter
c
heck_locks: add
raw_local_irq
_
ena
b
l
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
add check for pr
e
cedence erro
r
s like if (x & y == 0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
penter
f
i
x select handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
pe
n
ter
changes to comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n
C
a
r
penter
add __smatch_not
e
("hello world")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpenter
patc
h
up
the new
c
heck_locking
.
c replaceme
n
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
move chec
k
_wine_l
o
cking
.
c ove
r
ch
e
ck_locking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpent
e
r
dele
t
e the old ch
e
ck_l
o
cking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carp
e
n
ter
Fix
c
r
ashing
b
ug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
D
a
n C
a
rpenter
separate out the *_bh() lock handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
fixes for u
n
ified wine & kernel locking
script
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
get_type() retur
n
p
o
inter for &f
o
o t
y
pe
expression
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
D
an Carpenter
print message on fals
e
compares because of
s
i
gned vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
suppress
g
c
c war
n
ing
.
whitespace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
C
a
r
pen
t
er
Merg
e
b
r
anch 'master' o
f
/
h
ome/dc
a
rpen
t
e
r/progs/sp
a
r
se
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Carpenter
clean up kfree_s
k
b() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpenter
add __sm
a
t
ch_
c
ur_s
l
ist()
d
e
b
ug fu
n
cti
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Carpent
e
r
id is
s
upp
o
sed to be
u
nsigned short
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpe
n
t
e
r
f
i
x c
r
ashing bu
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
Ca
r
penter
Sta
r
t
caring about the type
s
a little
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpente
r
c
le
a
nup: uses
ARRAY_SIZE() macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Carpenter
Print
n
a
me instead of ID
in d
e
bug ou
t
put
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpenter
Add --pr
o
ject=k
e
rnel to kc
h
ec
k
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpent
e
r
Start me
r
ging
the k
e
rnel lo
c
king a
n
d wine l
o
cking
c
hecks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Car
p
enter
handle
i
f (*ptr
== 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carp
e
nter
decl
a
re char*
a
s
c
o
nst
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Da
n
Carp
e
nter
M
o
r
e
rang
e
f
i
xes
.
(Delete an
d
merge duplicates)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
D
a
n
Ca
r
penter
Pop the
pre_con
d
ition_stack at the correct poi
n
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
D
a
n Carpenter
f
i
x issue with ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
F
i
x get_implied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
D
an Carpenter
Fix negate bug
.
(
Dere
f
erenci
n
g
undef
i
n
ed false positive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
U
p
date comment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine: wine_che
c
ker
.
sh for checking individual files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Ca
r
penter
wine
:
add more functi
o
n
s tha
t
don't re
t
urn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Ca
r
penter
revert part of f4a
4
59
2
92e3
3
9
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
t
e
r
sm
a
t
c
h_ex
t
ra: improve
a
nd
f
ix
a
s
signmen
t
h
a
ndling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
scop
e
d_state()
m
a
k
e th
e
parameter
o
rde
r
match e
v
erythi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpente
r
checks:
remove som
e
s
h
ow_spe
c
ia
l
() calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpent
e
r
s
m
atch_helper
.
c
remo
v
e many calls to sho
w
_special()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
ter
small cle
a
n
ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
fi
x
bug wi
t
h function i
m
pli
c
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
ex
i
t
and ExitProce
s
s don't retu
r
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
ter
s
m
atch_extra
.
c: re
m
ov
e
some show_special() calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
ar
p
e
n
t
e
r
check_deref_ch
e
ck:
g
e
t
rid of some false posi
t
ives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Ca
r
pe
n
ter
spel
l
ing: memery => memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
arpenter
disgusti
n
g hack t
o
s
t
op
false po
s
itive buf
f
er overflo
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
an Carpenter
Fix += and
-= h
a
ndling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
wi
n
e: fix som
e
lock
n
ames
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
an Ca
r
pen
t
er
wine:
Rpc
R
a
iseException neve
r
returns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Car
p
ente
r
add
o
ption
--full-path
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan
C
arpe
n
t
er
wine: check for
l
ocking b
u
gs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan Car
p
enter
Fix some reversed if conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
C
a
r
penter
free can handle nul
l
pointer
s
: if
(
f
oo)
free
(
f
o
o);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpen
t
er
wine:
c
heck for WtoA cross calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rp
e
n
ter
Add INVALID_HANDLE_
V
ALUE check for wine
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
t
er
recompile all the chec
k
s
if smatch_extra
.
h changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 9/9]
l
ast patch to
r
emove
U
NDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
r
p
enter
[patch
8/many] d
e
al with variable_non_
z
e
r
o(
)
(UNDEFINE
D
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpenter
[patch 7/ma
n
y] no UNDEFINED from get_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpen
t
er
[pat
c
h 6/many] remove UN
D
EFINED
f
r
o
m las
t
_stmt
_
val()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 5/ma
n
y]
g
e
t rid of
a f
e
w more
U
NDE
F
INEs smatch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
[patch
4/many] get rid of UNDEF
I
NED
i
n
s
matc
h
_r
a
n
g
e
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
C
ar
p
enter
[patch 3/man
y
]
remo
v
e UND
E
FINE
D
from get_im
p
li
e
d_(min
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
[p
a
tch 2/
m
any]
g
et_implied_valu
e
() shou
l
d
not
ret
u
r
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
ente
r
[patch
1
/
m
any]
ge
t
rid of UNDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpent
e
r
Ad
d
val
i
dation tes
t
f
o
r
check_held_dev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next