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
fix issue with ranges
2009-12-03
Dan Carp
e
nter
f
ix issue wit
h
ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix ge
t
_
implied_
v
al
u
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carp
e
nter
Fix negate bug
.
(
Dereferencing und
e
fined fal
s
e
p
o
sitive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Ca
r
pent
e
r
U
pdate comm
e
nt
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpent
e
r
wi
n
e
:
w
ine_chec
k
e
r
.
sh for
chec
k
in
g
individual files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine: add more functions that
d
on't ret
u
r
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpenter
revert part o
f
f4a4
5
9292e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
sm
a
t
c
h
_extra: im
p
rove and fix assignm
e
nt handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpenter
scoped_state() make the parameter order match
everything
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an C
a
rpenter
checks: remove some show
_
special() calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
sm
a
t
ch_
h
elper
.
c remove many
c
alls t
o
sh
o
w_sp
e
c
ial()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
ter
small clean up
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
fix bug with function implic
a
t
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
C
a
r
p
en
t
er
ex
i
t
and
E
xitPr
o
cess don
'
t re
t
urn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
smat
c
h_extra
.
c: remove
some show_s
p
ecial
(
) calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
ter
check_d
e
ref_chec
k
: ge
t
ri
d
of
some false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
spelling:
m
emery => memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Da
n
Carpenter
disgusting
h
a
ck to sto
p
fals
e
pos
i
tive
buffer ove
r
flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpen
t
er
Fix
+
= a
n
d
-
= handl
i
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
wine: fix
so
m
e
lock names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpe
n
t
e
r
wine: RpcRais
e
Excep
t
ion
n
ever returns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
add option -
-
f
u
ll
-
path
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Mic
h
ael St
e
faniuc
Fix a typo
.
commit
|
commitdiff
|
tree
2009-11-26
Dan C
a
rpenter
win
e
: c
h
ec
k
for locking bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan C
a
rpent
e
r
Fix some reve
r
sed if condi
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
fr
e
e ca
n
han
d
le
n
ull po
i
nters:
i
f
(foo)
f
ree
(
fo
o
);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpe
n
ter
wine: check for
W
toA cross calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arp
e
nter
Add INVALID_HANDLE_VA
L
UE check fo
r
wine
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
recompile all the
c
hecks if smatch_extra
.
h changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Car
p
enter
[
pat
c
h 9/9] l
a
st p
a
tch to
r
emove UNDEFINE
D
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
pe
n
ter
[pa
t
ch 8/many] deal with variable_non_z
e
r
o()
(
UNDEFINED)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[pa
t
ch 7
/
m
a
ny] no UNDEF
I
N
E
D from
get_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rpen
t
er
[patch 6/ma
n
y] re
m
ove
U
ND
E
FINED fr
o
m last_stmt_va
l
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Car
p
enter
[patch 5/many]
g
e
t rid o
f
a few more U
N
D
E
FINEs
smat
c
h_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
[patch 4/
m
a
ny] get r
i
d
o
f
UNDEFINED i
n
smatch_ra
n
ges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patc
h
3/many]
re
m
ov
e
UNDEFINED from
get_
i
mplie
d
_(min
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
Carpenter
[patch 2
/
m
a
n
y] get_impl
i
ed_value()
shou
l
d not return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[pa
t
ch 1
/
m
any] g
e
t rid of UNDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
A
dd valid
a
tion test f
o
r check_h
e
ld_dev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpe
n
t
e
r
M
a
ke s
o
me ker
n
e
l
spe
c
i
f
ic stuff depend on
-
p=kernel
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
A
dd a new (soon to be ma
n
datory) --project= option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpente
r
Make
s
mat
c
h ins
t
a
llabl
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
an C
a
rpenter
try handle do
{
}
whi
l
e
(i-- > 0
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
try hand
l
e ++ a
n
d -- better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n Carpenter
Impr
o
ve handl
i
ng: do
{} while (--continue
>
= 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
Small cleanu
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n
Carpen
t
er
kfree_sk
b
() wa
r
ni
n
gs a
r
e no
t
sp
a
mmy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpenter
Handle
dereferences like *foo
n
ot
jus
t
f
oo-
>
bar
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
D
an
C
arpenter
Get r
i
d of the bit
w
i
s
e or check
.
It
d
idn't find bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
Da
n
Car
p
en
t
er
a
d
d
__raw_spin_lock/
u
nlock()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
Dan Carpenter
M
ake ran
g
ed funct
i
ons p
a
ss the
a
s
s
i
gnment expressi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
Dan
C
arpenter
Make variable in
i
tialization
i
nto assignmen
t
statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-16
Dan Carpenter
Delete chec
k
_ini
t
ia
l
i
z
er_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-14
Dan C
a
rpente
r
Modify the
retu
r
n hook to pass
a
n expre
s
s
i
on ins
t
ead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carp
e
nter
D
o
clear the range info so early
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpente
r
introduce is
_
error_r
e
turn()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
m
ake f
u
ncti
o
n de
c
larat
i
on static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-12
Dan Carpenter
D
o not
accidentally
d
elete
.
h
f
i
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpenter
N
e
w
miss
i
n
g
dev_put()
check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpente
r
Handle
if ((de
v
= foo()) == NULL)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
sil
l
y f
a
l
se positi
v
e: re
t
urn
foo; <- f
o
o p
o
s
s
ibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
D
an Carp
e
nter
Update smatch_data
to 2
.
6
.
32-rc6
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
D
an
C
arp
e
nter
Add som
e
comments
a
n
d copyr
i
ght notices
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpe
n
ter
small cle
a
n up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
D
an Carpenter
F
i
x se
g
f
ault
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carp
e
n
ter
Allow
peop
l
e
to use kchecker fil
e
.
o as w
e
ll as
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpent
e
r
Initialize values properly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Car
p
enter
Tu
r
n
t
he two pass system
o
ff by def
a
u
lt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-10-25
Dan Carpente
r
Op
t
i
m
ization: prepend(
)
-> append()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-09-06
Dan C
a
r
pen
t
er
Prin
t
an
error f
o
r
thi
s
:
if (a | b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan
C
arpe
n
ter
Dual p
a
ss
s
ystem [pa
t
ch #2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpen
t
e
r
Dual
p
ass
system
[pat
c
h #1]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
clean
up:
move DIMPLIED() to
smatch_implied
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
D
an Carpenter
co
d
e chu
r
n
: r
e
n
ame SM_DE
B
UG() to
sm
_
d
e
bug
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
arpenter
code
c
hurn: rena
m
e smatch_msg() to
s
m
_
msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carp
e
nter
m
ove my_i
d
p
arameter
[
p
a
r
t 2 of 2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
Move
my_id
pa
r
am
e
ter
.
[part 1 of 2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan Car
p
enter
Improve ch
e
ck_er
r
_pt
r
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
D
an
C
a
rpente
r
fun
c
tion was
s
u
ppo
s
ed
t
o be static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpe
n
ter
disabl
e
smatch_c
o
ntainers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
D
a
n
Car
p
ente
r
Ran
d
om u
g
ly changes
t
o
check_over
f
l
o
w
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
D
a
n
Ca
r
penter
Stop prin
t
i
ng so much info al
l
the time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carp
e
nter
N
e
w o
p
tion:
--spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Re
m
ove optimization
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpen
t
er
Add check_assigned_expr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Da
n
Carpenter
fix
c
a
lculat
i
ng sizeof()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
D
an Car
p
e
nter
r
eturn
U
ND
E
FINED
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Da
n
Carpenter
Talk
about smatch_scripts/kchecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
D
a
n
C
arpenter
Improve get_implied_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
D
an Carpenter
cor
r
ect format
.
warning: => warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpen
t
er
A
d
d some s
t
rip_expr() call
s
to
t
he fun
c
tion
h
ooks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Improv
e
buffer ov
e
rflow che
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-01
Dan C
a
rpe
n
ter
intr
o
duce smatch_containers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-31
Dan Carpe
n
t
er
introduce set_state_expr() and fri
e
nds
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
add c
h
eck_deref_check
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
added check_init
i
alizer_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
n
ew hoo
k
:
add_mod
i
f
i
ca
t
i
o
n_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan
C
arpenter
m
ove
some declarations out
o
f
s
match
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-21
D
a
n Carp
e
nter
U
p
date
s
ma
t
ch_data for
2
.
6
.
31
-
pre3
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carpenter
Impr
o
ve the displ
a
yed variable names
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next