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 Carp
e
nter
c
hec
k
_deref_check: get rid of some fa
l
se pos
i
t
i
ves
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpent
e
r
spelling: memery => memory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Car
p
enter
dis
g
us
t
ing hack t
o
stop false
posi
t
ive buffer overflow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
Fix +=
a
nd
-
= handl
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Ca
r
pent
e
r
wine: fix some l
o
ck names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
a
r
penter
wine: R
p
cRaiseE
x
ception neve
r
retur
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
add option --full
-
path
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
D
a
n Carpenter
wine:
c
heck fo
r
locking bu
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan Ca
r
p
e
n
t
er
Fi
x
s
ome rev
e
r
s
e
d if conditio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpenter
free c
a
n handle null poi
n
ters: if (
f
o
o) free(foo
)
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
wine: check for WtoA
c
ros
s
calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carp
e
nt
e
r
Add INVALID_HANDLE_
V
ALUE check for
w
ine
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpenter
recompil
e
all t
h
e checks
i
f smatch_extra
.
h changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpent
e
r
[pa
t
c
h
9/9] last
patch to remove UNDEFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
penter
[patc
h
8/many]
d
eal with variable_non_zero(
)
(UND
E
FINED)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Ca
r
penter
[patch 7/
m
any] no UNDE
F
I
NED from get_value(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[
p
atch 6/many] remove UNDEFINED from
l
ast_stmt
_
val
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
er
[p
a
tc
h
5/many] ge
t
rid of a few m
o
re
U
NDEFINEs
smatc
h
_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch
4/many] get
r
id of UNDEFINE
D
in sm
a
tch
_
ranges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Car
p
ente
r
[
p
a
t
ch 3/many] re
m
o
v
e
U
N
D
EF
I
NED
f
rom get_implied_(
m
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
p
e
nter
[patch 2/many] g
e
t_implied_va
l
u
e() should n
o
t
r
et
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
penter
[patch 1
/
many] g
e
t rid of UNDEFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
Add validation test for c
h
eck_held_de
v
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
ent
e
r
Ma
k
e some kernel
s
pec
i
fic
s
tuff d
e
pe
n
d on -
p
=k
e
r
n
el
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Car
p
enter
A
d
d a
n
ew
(
s
o
o
n to be mandato
r
y
)
-
-
proje
c
t
= optio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpen
t
e
r
Make smat
c
h installable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpe
n
ter
try handle do
{} while (i-- > 0)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
an Ca
r
pe
n
ter
t
r
y
handle ++ and -- better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan
Carpenter
Improve hand
l
ing:
do {}
w
h
ile
(--continue >=
0
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan
C
arpen
t
e
r
Small
c
l
e
a
n
up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Ca
r
p
e
nt
e
r
kfree_skb(
)
warnings
are
not spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Da
n
C
arpenter
Ha
n
d
le dereferen
c
es
like *
f
oo not
j
ust
f
oo->bar
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carp
e
nter
Ge
t
r
id of the
b
itwise or
check
.
I
t
didn't
f
ind
b
ugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-20
Dan Carp
e
nter
add __raw_spin_lock/unlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-18
Da
n
Carpent
e
r
Mak
e
ranged functio
n
s pa
s
s the assignme
n
t ex
p
r
ession
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-17
Dan Carpe
n
ter
Make variab
l
e initializa
t
ion
into assignment stat
e
m
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-16
Da
n
C
arpen
t
er
De
l
ete check_init
i
alizer_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-14
Dan Carpe
n
te
r
Modify the return hook t
o
pas
s
an expression in
s
tead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
Do cle
a
r the range info so early
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
int
r
oduce is_error_ret
u
rn
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Da
n
C
a
rp
e
n
ter
make function dec
l
ara
t
ion static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-12
Dan
C
ar
p
enter
Do not a
c
cidentally
d
elete
.
h
f
iles
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpenter
New m
i
ssing dev_p
u
t() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
D
a
n Ca
r
pen
t
er
Handle if ((dev
= foo()) == NULL
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpent
e
r
silly false posit
i
ve: return foo; <-
fo
o
possi
b
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
Upda
t
e smatch_d
a
ta to
2
.
6
.
32-rc6
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan
Carpenter
A
dd some comments and
c
o
pyright notices
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
small
clean up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Fix
segfaul
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan
C
arpenter
Allow
peo
p
le to
u
se kch
e
cker file
.
o as w
e
ll as
.
c fil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Car
p
enter
Initialize v
a
lues pr
o
perly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Turn th
e
two pass syst
e
m
of
f
by default
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-10-25
D
a
n
Carpenter
Optimization
:
prepend() ->
a
p
p
end()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-09-06
Dan Carpenter
Print a
n
error for t
h
i
s
: if (a | b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
D
a
n Carpenter
Dual pass system [patch #2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Dan
Carpenter
D
ual pass system
[patc
h
#
1
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpente
r
clean up: mo
v
e DIMP
L
IED
(
) t
o
sma
t
ch_imp
l
ied
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
arpen
t
e
r
c
ode ch
u
r
n
: rename
S
M_DEBUG() to
s
m_debug()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
a
rpen
t
er
code c
h
urn: rename
smatc
h
_msg() to
s
m_m
s
g(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan C
a
r
penter
move my_id parameter
[
part
2 of 2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
D
an Carpenter
M
o
ve
m
y_id
para
m
eter
.
[part 1 of
2
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Da
n
Carpenter
Impro
v
e
check_err
_
ptr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpent
e
r
fu
n
ction was
supposed to b
e
s
t
ati
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Car
p
enter
disa
b
l
e
s
m
atch_co
n
tainer
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Ca
r
p
e
nter
Rand
o
m ugly change
s
to check_overflow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Da
n
C
a
rpenter
Sto
p
printin
g
so much info all the time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
New o
p
ti
o
n:
--sp
a
m
m
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Remove optimization
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Add check
_
ass
i
g
n
ed_expr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
fix calculating sizeof()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
D
a
n Carpenter
retur
n
UNDEFINED
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Talk
about s
m
atch_scrip
t
s/kchecker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Improve
get_imp
l
ied_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
D
an C
a
rpenter
corre
c
t
f
ormat
.
warnin
g
: => warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Add
s
ome strip_expr() calls to t
h
e functi
o
n hoo
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Car
p
enter
Improve buffer overf
l
ow ch
e
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-01
D
an Carpenter
introduce smatch_containers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-31
Dan
C
a
r
penter
i
nt
r
o
duce
s
et_state_expr() and frien
d
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan C
a
rpenter
add
c
h
e
c
k_deref_check
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan
Carpenter
ad
d
ed ch
e
ck
_
initializer_d
e
ref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Car
p
ent
e
r
new hook: add_mod
i
fication_h
o
ok()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carp
e
nter
move some de
c
larations out of smat
c
h
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-21
Da
n
Carpenter
Update smatch_data for
2
.
6
.
3
1-pr
e
3
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
D
a
n Carp
e
nter
Improv
e
t
h
e d
i
splayed variable names
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carp
e
nte
r
fix bu
f
fer ov
e
r
flow
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-15
Dan
C
arpenter
Add check_balanced
.
c
a
n
d
smatch_d
a
ta
/
kernel
.
balanc
e
d
_funcs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan
C
arpenter
PTR_ERR(
E
RR_PTR(-42)) is non ze
r
o
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpenter
check_memo
r
y
.
c: u
s
e t
h
e add_
s
cop
e
_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpen
t
er
Add sc
o
ped_
s
ta
t
e()
and
a
dd_scope_
h
ook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
D
a
n Carpente
r
smatch_implied: only print the nr_children message
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
smat
c
h_extra:
fi
x
(foo !=
4
2) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Ca
r
pent
e
r
Fix ov
e
rlapping ra
n
ges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
D
an
C
arpenter
check_memory
.
c
:
fix rever
s
e
d
i
f
statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan Ca
r
penter
Fix
a
nother bug cau
s
ed by funny
tm
p
_rang
e
_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan
C
a
r
penter
Merge b
r
anch 'new_i
m
plications' into devel2
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Da
n
C
a
rpenter
Fix crashing bug caus
e
d
by the swi
t
ch
c
hanges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Car
p
ent
e
r
debuggi
n
g:
print the
line n
u
mbers i
n
merg
e
_sm_s
t
at
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan
C
arpenter
Make
s
witch
s
tate
m
e
nts
wo
r
k
a
g
ain
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
c
l
ean up
.
use true/false_comparis
o
n_range_lr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
code churn:
r
enam
e
-
>pre_left
=>
-
>left,
-
>
pre_rig
h
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next