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
Add a new (soon to be mandatory) --project= option
2009-11-24
D
an Ca
r
penter
Add
a
new (soon to be ma
n
datory) --projec
t
=
o
ptio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Ca
r
penter
M
a
ke smatch in
s
t
a
llable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
tr
y
h
a
ndle do {} while (i-- > 0
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
try handle ++
a
nd -- b
e
tter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
Improv
e
handling: do {} while (--con
t
inue >= 0)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n
C
arpe
n
ter
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Ca
r
pent
e
r
k
fr
e
e_s
k
b(
)
warn
i
ngs are
n
ot spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
D
a
n
Car
p
enter
H
a
n
d
le dere
f
erences
l
ike *foo not just foo->ba
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpent
e
r
G
et
ri
d
of
t
h
e
bit
w
i
se or
check
.
It didn't fi
n
d
b
ugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-20
Dan
Ca
r
penter
add
_
_
r
aw_spin_lo
c
k/unloc
k
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-18
Dan Car
p
enter
Ma
k
e
rang
e
d f
u
nct
i
ons p
a
ss
t
h
e
assignment expres
s
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-17
Dan Carp
e
nter
Make v
a
r
iable initial
i
zation
into assignment s
t
at
e
ments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-16
Dan Carpenter
Delete
check_i
n
itialize
r
_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-14
Dan Ca
r
penter
Modi
f
y t
h
e
return hook to pass an expr
e
ssion instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
Do clear the ra
n
ge
info
s
o
early
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
i
n
tr
o
duce is_error_return()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
D
an Carpenter
make
fun
c
t
i
on declarat
i
on static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-12
Dan
C
arpen
t
er
Do no
t
acc
i
den
t
ally d
e
l
e
te
.
h files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
D
a
n C
a
r
p
enter
New missing
d
ev_put() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpent
e
r
H
andle i
f
((d
e
v
=
foo()
)
== NULL) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Ca
r
penter
silly false
p
osit
i
ve:
r
eturn foo; <- foo p
o
ssib
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
D
an Carpenter
Up
d
at
e
sm
a
tch_data to 2
.
6
.
32-rc6
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan
C
arpenter
Add so
m
e c
o
mments and copyri
g
ht n
o
tices
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Ca
r
penter
sma
l
l c
l
ean
up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan
Carpenter
Fix segf
a
ult
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Allow
p
e
ople to use
kchecker fi
l
e
.
o
as well as
.
c
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Initializ
e
values prop
e
rly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Turn th
e
two p
a
ss
s
ystem off by def
a
ult
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-10-25
Dan Carpenter
Optimi
z
at
i
on
:
prepe
n
d() -> append()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-09-06
Dan Car
p
enter
P
r
int an e
r
r
o
r for this: if (a
|
b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
D
a
n
Carpe
n
ter
Dua
l
pass
syst
e
m [pat
c
h
#2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Da
n
Carpenter
Dual pass
s
yst
e
m
[patch #1
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Da
n
Carpent
e
r
c
lean
up: move
D
IMPLIED()
to smatch_implied
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
D
an Car
p
enter
code c
h
u
r
n
:
rename SM_DEB
U
G() to sm_
d
ebug()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
code churn: rename smat
c
h_msg()
t
o sm_msg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Ca
r
pen
t
er
move
m
y_i
d
p
a
rameter
[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 parameter
.
[par
t
1 o
f
2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpenter
Improve check_err_ptr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Dan Ca
r
p
e
nt
e
r
f
un
c
t
i
o
n
was supposed to
be static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carp
e
n
ter
disable smatch_containers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
D
an
Carpe
n
ter
Rand
o
m
ugly
ch
a
nges t
o
c
h
eck_overflow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan
Carpenter
Stop printing
s
o much
info all the time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan C
a
r
p
e
nter
N
e
w opti
o
n
:
--s
p
ammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan
Carpe
n
t
er
Remove opti
m
iza
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Add
check_assi
g
n
e
d_expr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
D
a
n
C
arpenter
f
ix calculating s
i
zeof()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Da
n
Carpe
n
ter
return UNDEF
I
N
ED
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carp
e
nter
Talk about
s
m
a
tch_scripts/kchecke
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
a
r
pe
n
t
er
Improve get_implied_value
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpe
n
ter
correct
f
o
rmat
.
warning:
=
> wa
r
n:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Car
p
enter
Add some strip_expr() calls to the function hoo
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
D
an Carpenter
I
m
pr
o
v
e buffer
o
verflow
c
hec
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-01
Dan Carpen
t
er
introduce smatch_co
n
t
a
iners
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-31
Dan
Carpenter
i
n
troduce
set_sta
t
e
_
expr()
and friends
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
D
a
n
C
arpenter
a
d
d check_deref_check
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Car
p
ente
r
added
check_
i
nitializer
_
d
e
ref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpen
t
e
r
new hook: add_modifica
t
ion_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
mo
v
e s
o
me declarations out of smatch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-21
Dan C
a
r
p
enter
U
p
d
at
e
s
m
atch_data
for 2
.
6
.
3
1
-
pre3
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carpenter
Improve the displayed
variable n
a
mes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carpenter
fix buffer
overflo
w
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-15
D
a
n Carpenter
Add chec
k
_balanced
.
c
and smatch_data/kernel
.
balanced_f
u
ncs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpen
t
er
PT
R
_ERR(ERR_PTR(-42)) is n
o
n zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan
C
arpenter
c
h
eck_me
m
ory
.
c:
use the add
_
scope_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan Car
p
enter
Add
s
coped_state
(
) an
d
add_scope_
h
ook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
smatch_impli
e
d: only
p
rint the
n
r_chil
d
r
en
message
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpent
e
r
sm
a
tch_ex
t
ra:
f
ix (foo != 42) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
F
i
x overla
p
p
i
ng ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan C
a
r
p
enter
check_mem
o
ry
.
c: fix reversed if statem
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
Fix anoth
e
r bug caused by fun
n
y tmp_range_li
s
t
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan
C
arpenter
M
e
r
g
e bra
n
ch 'new_implications' into deve
l
2
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Fix cra
s
hing bug c
a
used by th
e
switch c
h
anges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
D
an Ca
r
pente
r
debugging: pri
n
t
the
line nu
m
b
e
rs in merge_sm_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpen
t
er
M
a
k
e
switch statement
s
work again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
D
an Ca
r
pent
e
r
clean up
.
u
s
e true/fal
s
e_
c
omparison_range_lr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Car
p
enter
c
ode churn:
rename ->pr
e
_left => ->l
e
ft,
-
>pre_r
i
g
ht
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
D
a
n Carpe
n
ter
Put
a cap o
n
impl
i
cations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
D
a
n Carpent
e
r
I
m
prove de
b
ug
g
ing
.
Don
'
t overwrit
e
sm->line
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpenter
Micro opti
m
izati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan
Carpenter
clean up
i
n merge_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpe
n
ter
c
h
ec
k
f
or out_of
_
memory() le
s
s o
f
t
e
n and o
n
ly afte
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
D
a
n Ca
r
penter
Better
debu
g
g
i
ng for
c
heck_mem
o
ry
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Car
p
ente
r
Add
s
w
i
tch
t
esting
tes
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan
Ca
r
penter
Doh
.
Too many implied sta
t
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
D
an Carpe
n
ter
Remove clone_slist_a
n
d_st
a
tes()
a
nd merge_slist_clo
n
e
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan
Carpent
e
r
Remov
e
swi
t
ch cloning compl
e
xity
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
two is always non-nu
l
l
t
hese days
.
don't c
h
ec
k
it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpent
e
r
r
emov
e
unused merge_pools() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
don't print "li
s
t
"
varia
b
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpenter
Make my_p
o
o
ls => my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
rpente
r
introduce cl
o
ne_pool_have
r
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpenter
c
l
one_st
a
te() doe
s
n't copy
my_poo
l
s
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
Rewo
r
k implications to use ->pre_
l
e
f
t and ->
p
r
e
_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
rpent
e
r
t
w
o
is a
l
ways non-null these days
.
don't check it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Da
n
Carpen
t
er
Introdu
c
e ->
p
re_left
and ->pre_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
D
a
n
Carpe
n
t
er
Ma
k
e
t
h
e
RA
M
limit mor
e
accurat
e
and flexib
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Dan
C
arpenter
Only clone the states i
f
i
t is
a switch s
t
a
tement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpen
t
er
Don't c
l
o
n
e t
h
e
fa
l
se states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
D
on'
t
clone all the
states for every case
state
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
Car
p
e
nter
M
ake the
validation test
harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next