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
check_deref_check: get rid of some false positives
2009-11-28
Dan Ca
r
penter
che
c
k_
d
eref_check: ge
t
rid of
some fa
l
se positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
spelling:
memery
=
> memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n Carpe
n
ter
disg
u
sting hack t
o
s
top false pos
i
tive buffe
r
overfl
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
Carpenter
Fix += and -=
h
andli
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Da
n
Carpenter
w
ine: fix so
m
e lo
c
k names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
arpenter
wine: RpcRaiseExcep
t
i
on nev
e
r retu
r
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
Carpenter
add o
p
ti
o
n
-
-
f
u
l
l-
p
ath
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpe
n
ter
win
e
:
c
h
eck for locki
n
g
bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpent
e
r
Fix
s
ome reversed if condi
t
io
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
Carpenter
free c
a
n handl
e
null pointers: if (foo
)
f
r
ee(fo
o
);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
t
e
r
wine: c
h
eck for WtoA cross call
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpenter
Add
I
N
V
ALID_HAN
D
LE_VALUE che
c
k
f
o
r wine
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
C
a
rpenter
recomp
i
le all the c
h
ecks if smatch_extra
.
h changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rp
e
n
te
r
[patch 9/9] last patch
t
o
r
emo
v
e UNDE
F
INED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 8/many]
deal with variable_non_zero() (UNDE
F
INED)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpen
t
er
[
p
atch 7/many]
no UNDEFINED from
g
et_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 6/many] remove UNDEFINED fro
m
last
_
stmt_val
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
[
p
atch 5/many] g
e
t rid of a few more UNDEFIN
E
s smat
c
h_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 4/
m
any] get rid of UND
E
FINE
D
i
n smatch
_
ran
g
es
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an C
a
r
penter
[pa
t
c
h
3
/
many]
r
emove UND
E
FI
N
ED from g
e
t_im
p
lied_(min
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
a
rpenter
[patch 2/ma
n
y] get_impl
i
ed_va
l
ue() shou
l
d not r
e
t
u
rn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
[patch 1/m
a
ny] get r
i
d of UNDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpen
t
er
Add valida
t
i
on test for
check
_
hel
d
_dev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpenter
Make so
m
e
k
ernel specific stuff
depe
n
d
o
n
-p=kernel
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Add a new (soon to be mandat
o
ry) -
-
project= o
p
t
i
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Make smatch i
n
stallable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
an Ca
r
penter
t
r
y handle do {} wh
i
le (i-- >
0
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
t
ry han
d
le ++ and -- better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan
C
ar
p
e
nter
Improve hand
l
i
n
g:
do {} while
(
--continue >= 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
an
C
arpenter
Small
cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Ca
r
penter
kfree_sk
b
() warnings
ar
e
n
ot spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan Ca
r
pe
n
te
r
Hand
l
e der
e
ferences li
k
e *f
o
o not just
foo->bar
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan Car
p
enter
Get
r
id
of
the bitwise or
check
.
It d
i
dn't
f
ind
bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
Dan Carpent
e
r
a
dd __raw_spin_loc
k
/unlock()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
Dan
C
arp
e
nter
Make ran
g
ed functions pa
s
s
the ass
i
gnment expression
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
Dan Carpenter
M
a
ke variable initializa
t
ion into
assignme
n
t statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-16
Dan Carpenter
D
ele
t
e check_initia
l
izer_d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-14
Dan Carpenter
M
odify the return
h
ook to pa
s
s
an e
x
pres
s
i
o
n
instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
Do clear the rang
e
info so early
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
intro
d
uce is_err
o
r
_
return()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan
C
a
rpe
n
ter
make function decla
r
ation static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-12
Dan Carpenter
Do not acci
d
entally delete
.
h
f
iles
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
D
a
n Carpente
r
Ne
w
missing dev
_
put() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan C
a
rpenter
Handle if ((dev
=
foo()) == NULL) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpente
r
silly fa
l
s
e
po
s
itive:
r
eturn
f
o
o
; <- foo possibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan
Ca
r
penter
U
p
d
ate smatch_data to 2
.
6
.
3
2-rc6
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan
C
arpenter
Add some
c
omm
e
nts an
d
c
o
pyrigh
t
notices
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
sm
a
ll
clean up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Fix segfault
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpe
n
ter
Allow
p
eople t
o
use k
c
heck
e
r file
.
o
as well
as
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpent
e
r
In
i
ti
a
lize value
s
p
r
o
perly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpe
n
ter
T
urn the tw
o
p
ass
s
ystem off by defau
l
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-10-25
Dan Car
p
en
t
er
Optimizati
o
n: prepe
n
d()
-
> app
e
nd()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-09-06
D
an
C
arpenter
Prin
t
an er
r
or
for this:
if (a | b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Ca
r
penter
Dual pa
s
s system [patch #
2
]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan C
a
rpenter
Dual pass sy
s
t
e
m [p
a
t
ch #1]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
arpent
e
r
clean
u
p: move DI
M
P
LIED(
)
to smat
c
h_imp
l
ied
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpen
t
er
code
c
hurn: r
e
name S
M
_
DEBUG() to sm
_
debug(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
code churn: rename smatch_msg() to sm_
m
sg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Da
n
Ca
r
pen
t
er
move
m
y_id paramet
e
r
[p
a
rt 2 of 2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpen
t
er
M
o
ve
m
y
_
i
d parameter
.
[par
t
1 of 2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpenter
Improve che
c
k_
e
rr_ptr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpent
e
r
functio
n
was supposed to be
stat
i
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan
C
arpent
e
r
d
isable
smatc
h
_contain
e
rs
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpe
n
ter
Random ugly changes t
o
ch
e
c
k_overflow
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan
Car
p
enter
S
top printing so much inf
o
all
t
he time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan C
a
rpenter
N
e
w option: --spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Da
n
Ca
r
penter
Remove optimiz
a
t
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Add check
_
a
ssigned
_
e
x
pr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
arpenter
fix
c
al
c
ul
a
ting si
z
e
o
f()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan C
a
rpenter
return UNDEFINED
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Ca
r
penter
Talk
a
bout smatch_scri
p
ts/kchecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Im
p
r
o
ve get_
i
mplied_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
correct fo
r
ma
t
.
w
a
rning: =>
w
arn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Add some
s
tr
i
p_expr() calls to the
f
u
n
c
tion hooks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Improv
e
buffe
r
overflow check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-01
Dan Car
p
e
nter
i
nt
r
oduce smatch_c
o
n
t
ain
e
rs
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-31
Da
n
Carpenter
introduce set_state_expr()
a
n
d friends
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Ca
r
penter
a
d
d check_
d
e
r
e
f
_check
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan
C
a
rpenter
added check_init
i
alizer_de
r
e
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
n
ew h
o
o
k: add_mod
i
f
ication
_
h
o
ok()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
m
ov
e
some
d
eclarations out
of smatc
h
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-21
Dan
Ca
r
pe
n
ter
Update smatch_data for 2
.
6
.
31-pre3
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carp
e
nte
r
Improve
t
he
d
i
splay
e
d
v
ariable na
m
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
Da
n
Carpe
n
ter
fix buffer overfl
o
w
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-15
Dan Carpenter
Add
check_bala
n
ced
.
c and
s
match_data/
k
ern
e
l
.
balanced_funcs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
D
a
n C
a
rpenter
PTR
_
ERR(ERR_PTR
(
-4
2
))
i
s n
o
n z
e
ro
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpenter
check_m
e
mory
.
c: use the add_
s
cope_
h
o
ok
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan C
a
rpenter
Add scoped_st
a
te(
)
and
a
dd_scope_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan
C
arpenter
smatch_implied: only p
r
int the
n
r_childr
e
n message
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carp
e
nter
smatch_extra: fix (foo
!= 42) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan
C
arpenter
Fix
o
verlapping ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carp
e
n
t
er
check_mem
o
ry
.
c: fix reversed if statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan Ca
r
penter
Fix another bug caused by funn
y
tm
p
_ran
g
e
_
list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan
C
arp
e
n
t
er
Merge bran
c
h 'new_implicati
o
ns' into devel2
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Da
n
Carpenter
Fix crashing bug caused by the
switch chang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
D
a
n Carpenter
deb
u
g
gin
g
:
p
r
i
n
t
t
he line
numbers in
merge_sm
_
state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
M
ake switch
s
tatements wo
r
k
again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Ca
r
pe
n
ter
clea
n
up
.
use true/fa
l
se_comp
a
rison_range
_
l
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan C
a
rpenter
c
ode c
h
ur
n
:
r
ena
m
e ->pre_left =>
->left, ->pre_rig
h
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next