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
D
a
n Carpenter
Start
m
e
r
ging the kernel locking and wine loc
k
ing checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
r
penter
handle if (*ptr == 5)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
d
e
clare
c
har* as const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpent
e
r
More range fixes
.
(Delete and
m
erge
duplicates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
Pop
the pre_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
nter
fix issue with ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n Carpenter
Fix get_
i
mplied
_
val
u
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Ca
r
penter
F
ix negate b
u
g
.
(Dereferencing
undefin
e
d false po
s
i
tive
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n Carpent
e
r
Update c
o
mment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
D
a
n
C
a
rpenter
wine: wine_ch
e
cker
.
sh for checking individual fil
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine: add more
f
unc
t
ions
that don't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
r
e
v
e
rt
part of f4a459292e
3
39
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carp
e
nter
smatc
h
_extra: improve and fix assignment hand
l
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpen
t
er
scoped_state() make the pa
r
ameter
o
rde
r
match every
t
hing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
ar
p
enter
chec
k
s: remove some
s
how
_
special(
)
calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatch_helper
.
c
r
e
move many calls
t
o
s
how_special()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
s
m
all
c
lean
u
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
fix bug
wi
t
h func
t
ion imp
l
i
c
a
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an
Ca
r
pe
n
ter
exit and Ex
i
tPro
c
ess don't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
sm
a
tch_extra
.
c: remove s
o
me
show_special
(
)
ca
l
ls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Ca
r
penter
check_
d
eref_chec
k
: get rid of some f
a
ls
e
p
o
s
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
spelling: mem
e
r
y =>
memory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
disgusting hack to
stop fals
e
p
o
sitive buffer overfl
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
Fix += and -=
handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Car
p
enter
wine: fix some lo
c
k n
a
mes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Da
n
Carpente
r
wine: RpcRaiseE
x
c
e
ption
n
e
v
er returns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
an Carp
e
nter
ad
d
op
t
ion --full-
p
ath
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carp
e
nter
wine: check f
o
r
locking b
u
gs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan C
a
rpen
t
er
Fi
x
some
reversed if c
o
ndit
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
e
r
fre
e
can handle null poi
n
ters: if (foo) free(foo
)
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
Carpenter
w
i
ne:
c
h
eck
for WtoA cro
s
s calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carp
e
nter
Add INVALID_HANDLE_VA
L
U
E
c
h
e
c
k for wi
n
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpen
t
er
recompi
l
e a
l
l the check
s
i
f
smatch_extra
.
h changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[pa
t
ch 9/9] last pa
t
ch
to remov
e
UNDEFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
[patch 8/man
y
] deal with variable_no
n
_zer
o
() (UNDEFINED)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpent
e
r
[patch 7/
m
any] n
o
UNDE
F
INED f
r
om
g
et_value
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
er
[patch 6/many] remove
UNDEFINED from last_stmt_
v
al()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Car
p
enter
[patch
5/ma
n
y]
g
e
t
rid of
a few more UNDEFINEs smatch_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpenter
[patch 4/many]
g
e
t
rid of
U
N
DEF
I
N
E
D in
smat
c
h_r
a
nge
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpenter
[patch 3/many] rem
o
ve UNDEFINED from get_implied_(min
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
[p
a
tch 2/many] get_impl
i
e
d
_value() should not return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 1/many]
get rid of U
N
DEFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpe
n
ter
Add
v
alidation
test
f
or c
h
eck_held_d
e
v
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpenter
Mak
e
s
ome kernel specifi
c
stuff d
e
pe
n
d on -
p
=kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Add a n
e
w
(soo
n
t
o
be ma
n
datory) --
p
roject= option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Da
n
Carpenter
Make smatch
i
nstal
l
able
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
t
ry handl
e
do {} whi
l
e (i--
> 0
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n
Carpenter
try handle ++ and -- better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpen
t
er
Impr
o
v
e
handling:
do {} while (--
c
ontinue >= 0
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan
Carpen
t
er
Small cl
e
anup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpen
t
er
kfree_skb() warn
i
n
gs are not spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Car
p
enter
Ha
n
dle
dereferences like *foo not
j
ust foo->bar
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
f
ind bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-20
D
an
Carpent
e
r
add __
r
aw_spin_lock/unlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-18
Dan Carpenter
Ma
k
e ranged f
u
nc
t
ions pass
t
he
assi
g
nment expr
e
s
s
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-17
Dan
Carpenter
Make variable
initial
i
zation int
o
assignm
e
nt statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-16
Da
n
Ca
r
pente
r
Delete check_initi
a
l
i
zer_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-14
Dan Carpenter
Mo
d
ify the retu
r
n hook to pass an exp
r
essio
n
instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
Do clea
r
the range info
so early
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
D
a
n
Carpenter
introduce is_error_return(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
D
a
n Carpenter
make
function declaration stat
i
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-12
Dan Carpen
t
er
Do not accid
e
ntally dele
t
e
.
h fi
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Da
n
Carpenter
N
e
w missing dev_put
(
) check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
D
a
n Carpenter
Handle if
((dev
=
foo()) == NULL
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan
C
ar
p
e
n
ter
silly fa
l
se positive: return
f
o
o; <-
foo
p
ossibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan
Carpenter
Update
s
match_data
to 2
.
6
.
3
2-r
c
6
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
A
dd so
m
e comments and copyright notices
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Da
n
Carpenter
small clea
n
up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpen
t
er
F
i
x segfault
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Allow
people to use kchecker
fil
e
.
o as
we
l
l as
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Initialize value
s
pro
p
erly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Turn th
e
tw
o
pass
system off
by default
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-10-25
D
a
n
Carpenter
Optimization: prepend()
-
>
append()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-09-06
D
an Ca
r
p
ente
r
Print an error fo
r
this: if (a | b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpenter
Dual pass sy
s
tem [pa
t
ch #2
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpent
e
r
Dual pa
s
s system [
p
atch #
1
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carp
e
nter
clean up
:
m
o
ve DIMPLIED() to
sma
t
ch_implied
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
arpen
t
er
code
c
hurn: rename SM_DEBUG()
to sm_debug()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
D
an
C
arp
e
nter
code churn
:
rename smatch_msg() t
o
sm_msg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Da
n
Carpenter
move my_id para
m
eter [part 2 of 2
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
arpe
n
t
er
Mov
e
my_id param
e
te
r
.
[part 1 of 2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpen
t
er
I
m
prove che
c
k_e
r
r_ptr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpenter
function was
s
up
p
o
s
ed
to be s
t
atic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
D
an Carpent
e
r
disab
l
e sm
a
tch_conta
i
ners
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan
Carpen
t
er
Random
ugly
cha
n
ges to chec
k
_o
v
erflow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan
C
arpent
e
r
Stop printing so
m
uch info all the time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan
C
a
r
pen
t
er
New opti
o
n: --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Remove op
t
imi
z
at
i
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan
C
arpenter
Add check_assigne
d
_expr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
arpenter
fix ca
l
culat
i
n
g si
z
e
of()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
D
an Carpenter
r
e
t
u
rn UNDEFINED
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Talk about sm
a
tc
h
_scripts/kcheck
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Improve get_implied_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Da
n
Carpen
t
er
correct for
m
a
t
.
warni
n
g
:
=> warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan
Carpenter
Add some strip_expr
(
) calls to the fu
n
ction ho
o
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
D
an Carpenter
Improve buffer overf
l
ow che
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-01
Dan Car
p
ente
r
int
r
oduce
sma
t
ch_
c
ontainer
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-31
D
a
n
Ca
r
pen
t
er
i
n
troduce se
t
_sta
t
e_expr() and f
r
iends
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpen
t
er
add
check_
d
eref
_
che
c
k
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
D
a
n Carpenter
added che
c
k_initializer_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next