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
Start merging the kernel locking and wine locking checks
2009-12-05
Dan Carp
e
nter
S
t
art merging the kernel locking and wine
l
o
cking checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Car
p
enter
handle i
f
(*ptr == 5)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
arpente
r
decla
r
e c
h
ar* as const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carp
e
nter
Mo
r
e r
a
nge
fixes
.
(
D
elete and merge du
p
licates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Da
n
Carpenter
Pop
th
e
p
r
e_condi
t
ion_stack at th
e
correct
p
oint
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpe
n
te
r
fix issue with
rang
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n Carpenter
Fix get_implied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Da
n
Carpe
n
t
er
Fix negate bug
.
(D
e
r
eferencing
undef
i
ned f
a
lse posit
i
v
e
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan
C
arpenter
Up
d
ate
c
o
m
me
n
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan C
a
rpent
e
r
wine
:
w
i
n
e
_
c
hecke
r
.
sh f
o
r ch
e
c
k
ing
i
ndividu
a
l
f
il
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
w
i
ne: add
m
ore functi
o
ns that
don
'
t r
e
turn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
revert part
of f4
a
459292e339
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n
C
a
rpenter
smatch_extra: imp
r
o
ve and fix
ass
i
g
n
m
ent handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arp
e
nter
scop
e
d_s
t
ate() make t
h
e p
a
rameter
o
rder mat
c
h everything
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
check
s
:
remove some sho
w
_
spec
i
al
(
)
calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpe
n
ter
smatch_helper
.
c r
e
move many calls to s
h
ow_special()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpenter
sma
l
l clean
ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Car
p
e
n
ter
fix b
u
g w
i
th function
impl
i
ca
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
exit
and ExitPr
o
c
e
s
s
don't ret
u
rn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpen
t
er
smatch_extra
.
c: rem
o
ve some show_spec
i
al() calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
check_deref_chec
k
: g
e
t rid of some
false
p
o
s
itives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
a
r
pe
n
ter
spelling: me
m
ery => me
m
o
ry
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Da
n
Carpenter
disgustin
g
hack to
stop fal
s
e p
o
sitive bu
f
fer ov
e
rflow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
Fi
x
+= and -= handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
wine: fix
s
om
e
lock names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
an Carpe
n
ter
wine: R
p
cRa
i
seException never returns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
ad
d
o
p
tion --full-pa
t
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Mic
h
a
e
l Stefaniuc
F
i
x a typo
.
commit
|
commitdiff
|
tree
2009-11-26
Dan
C
arpenter
wine: ch
e
ck for
locking bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carp
e
nter
Fix some
r
eversed if c
o
n
ditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
free c
a
n handle nul
l
p
oin
t
ers: if (foo
)
free(f
o
o);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
wine: check for WtoA cross c
a
lls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
Add INVALID
_
HANDLE
_
V
A
LUE check for
wine
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
recompi
l
e
a
l
l the ch
e
cks if smatch
_
e
xt
r
a
.
h changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an C
a
rpe
n
ter
[
patch 9/9]
last
patch to
r
emove UNDEFINE
D
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpenter
[
p
a
t
c
h 8/many
]
deal with variable
_
non_zero() (UN
D
E
F
I
NED)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carp
e
nter
[patch 7/many] no UNDEFINED f
r
om
get
_
v
alue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
penter
[pat
c
h 6
/
many]
re
m
ove U
N
DEFINED from last
_
st
m
t_val()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 5/man
y
] get r
i
d
of a few more UN
D
E
F
INEs smatch_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
p
ent
e
r
[
patch 4/many]
get rid of UNDEFINED in smatch_
r
anges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
[patch 3/many] remove U
N
DEFINED from
g
et_implied_(min
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an C
a
rpenter
[patch 2/many]
g
et_implied_
v
alue()
s
hould
not return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
p
e
nter
[pa
t
ch
1/many
]
get rid of
UNDE
F
INED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
A
d
d v
a
lidati
o
n
test fo
r
check_h
e
ld_dev
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an Car
p
e
nter
Make som
e
ke
r
nel speci
f
ic
s
t
u
f
f depend on -p=kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Add a
n
ew (soon to
b
e mandat
o
ry)
--
p
roj
e
c
t= option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Da
n
Car
p
enter
Make
sma
t
ch installa
b
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n Carp
e
nter
try
h
an
d
le do {}
while (i
-
-
>
0
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
try h
a
ndle ++ and
-- better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan
C
arpe
n
ter
Improve
h
andlin
g
:
do {} while
(--continue
>
=
0)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan C
a
r
pe
n
ter
Sma
l
l
clean
u
p
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpen
t
er
kf
r
e
e
_skb() warnings a
r
e not
sp
a
mmy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
D
a
n C
a
rpenter
Handle derefer
e
n
c
es like *foo n
o
t just foo->ba
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan
C
arpenter
Get rid of
the bitwise or check
.
It didn't find bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-20
Dan Carpenter
a
dd __raw_spin_lock/unlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-18
Da
n
Carpe
n
t
e
r
Make r
a
nge
d
functions
p
ass t
h
e assignment expression
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-17
Dan Carpenter
Make v
a
r
i
able initializ
a
tio
n
into ass
i
g
nme
n
t
st
a
tements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-16
Dan Carpenter
Delete check_ini
t
ializer_
d
eref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-14
Dan Carpente
r
Modify the
r
eturn
h
ook to p
a
ss an expression instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
D
a
n Carpent
e
r
Do c
l
ear the range
i
nfo s
o
early
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
int
r
o
duc
e
i
s
_
e
r
ro
r
_return
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carp
e
n
ter
ma
k
e funct
i
o
n
decla
r
a
t
i
on static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-12
D
a
n
Carpenter
D
o
not acciden
t
a
ll
y
delet
e
.
h
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
D
a
n
Carpen
t
e
r
New mi
s
si
n
g dev_put() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Dan
C
a
rpenter
H
a
n
dle if (
(
dev = f
o
o()) == NULL) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpen
t
er
silly false
p
ositive:
retu
r
n foo; <- foo
p
ossibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
Update
s
matc
h
_
d
a
ta to 2
.
6
.
3
2-rc6
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
D
an Carp
e
nter
Add some comments and copyright not
i
ces
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
sm
a
l
l
cle
a
n
up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
D
an Carpente
r
Fix segfault
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpente
r
A
l
l
o
w people to use kchecker file
.
o
as we
l
l as
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carp
e
n
ter
Ini
t
ialize va
l
ues properly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Ca
r
penter
Turn the tw
o
pass
s
ys
t
em off by default
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-10-25
Dan Carpenter
Optimiz
a
tion:
prepend(
)
-
>
ap
p
e
n
d
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-09-06
Dan Carpen
t
e
r
P
r
int an er
r
or f
o
r this:
if (a | b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpent
e
r
Dual pass
s
yst
e
m [
p
atch #2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpenter
Dual pass system [pat
c
h #1]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
arpente
r
clean up:
move DIMPLIED() to smatch_im
p
l
i
ed
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
code churn: rename SM_DEBUG() to sm
_
debug()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Ca
r
penter
co
d
e churn:
rename smatch_ms
g
() to sm_msg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Ca
r
penter
mov
e
my_id param
e
ter [part 2 of 2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
arpente
r
Move my_id parame
t
er
.
[part 1 o
f
2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpen
t
e
r
Improve che
c
k_err_ptr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpenter
f
unc
t
ion was supposed to be
s
t
atic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpe
n
ter
disable smatch_
c
ontain
e
rs
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
D
an
Carpenter
Random u
g
ly c
h
anges to check_overflo
w
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Stop printing so much info al
l
the time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Car
p
en
t
er
New
option: --spa
m
my
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
D
an
Car
p
enter
Remove optimization
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan
Car
p
enter
Add check
_
a
s
signed_expr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Car
p
enter
fix calculat
i
ng sizeof()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan C
a
r
p
e
nter
r
eturn UNDEFINED
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
a
rpenter
Talk
ab
o
u
t
smatch_
s
c
r
ipts/kchecker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Da
n
C
a
rpente
r
Improve
g
e
t_implied_val
u
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Da
n
Carpenter
corre
c
t
format
.
warn
i
ng: => warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
arpenter
Add some
st
r
ip_expr()
c
a
l
ls to the function h
o
oks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Improve buffer
o
ver
f
low check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-01
Da
n
Carp
e
n
ter
i
n
troduce smat
c
h_containers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-31
Dan
Carpenter
introd
u
ce set_state_
e
xpr
(
)
a
nd frie
n
d
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
D
an Carpenter
add che
c
k_
d
eref_che
c
k
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next