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
Initialize values properly.
2009-11-07
Dan Ca
r
p
ent
e
r
Initialize values
p
rope
r
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan
C
a
r
penter
Turn the two
p
a
ss system off by default
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-10-25
Da
n
Carpente
r
Optim
i
z
ation:
p
repend() -> ap
p
end()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-09-06
Dan
C
a
rp
e
n
ter
Pri
n
t
a
n
error f
o
r
this: if (a | b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpenter
D
u
al pas
s
system [patch #2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpent
e
r
Dual pass syst
e
m [
p
atch #1]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan
Carpenter
clean
u
p
: move D
I
MPLIED() t
o
smatch_imp
l
ied
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan C
a
r
p
e
n
ter
c
ode churn: renam
e
SM_DEBUG() to
sm_debug()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
a
r
penter
co
d
e
c
h
urn
:
rename smatc
h
_ms
g
() to
s
m_ms
g
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Ca
r
penter
move m
y
_id parameter [part
2 of 2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan
Carpente
r
M
o
ve m
y
_id par
a
m
et
e
r
.
[part 1 of
2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpen
t
e
r
Improve check_
e
rr_ptr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan
C
arpenter
function
was suppos
e
d
to be stat
i
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Car
p
e
n
ter
disa
b
le
sma
t
c
h
_
c
ontain
e
r
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpente
r
Random ugly
c
hange
s
to check_overflow
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Sto
p
printing so much info all the time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan
C
arpent
e
r
New option:
-
-spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
D
an Carpen
t
er
Remov
e
o
p
timiza
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
A
dd check_a
s
signed_expr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Da
n
Ca
r
p
e
n
t
e
r
f
ix calculating siz
e
o
f
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
return UN
D
EFINED
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan C
a
rpente
r
Talk abou
t
smatch_scripts/kc
h
ecke
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Car
p
enter
Improve get_i
m
plied
_
v
alue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
arpenter
correct format
.
warn
i
ng
:
=
>
warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
A
dd some strip_ex
p
r()
calls to the
f
unct
i
on ho
o
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
I
mprove
buf
f
er ov
e
r
f
low check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-01
Dan Car
p
enter
intro
d
uce smatch_containers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-31
Dan Car
p
en
t
er
in
t
roduce
s
et_state_ex
p
r
(
)
and friends
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Da
n
Carpenter
add check_deref_chec
k
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
added chec
k
_init
i
alizer
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
new hook: add_modification_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Da
n
C
arpenter
m
o
ve
som
e
d
e
c
lara
t
io
n
s out of smatch
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-21
Dan
C
arpenter
Update smatch_data for 2
.
6
.
31-pre3
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carpenter
Improve the
displ
a
y
e
d
variable names
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
Dan Ca
r
penter
fix
b
u
ffer overflo
w
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-15
D
a
n
Ca
r
p
en
t
er
Add check_
b
a
l
a
nced
.
c
a
nd
s
match_da
t
a/kerne
l
.
b
ala
n
ced_funcs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan Car
p
enter
PTR_ERR(ER
R
_PTR(
-
42)) is non zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
D
a
n
Carpenter
check_memory
.
c: use the add_s
c
ope_hoo
k
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpente
r
A
dd
sc
o
ped_state() a
n
d add_
s
cope_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan Ca
r
pe
n
ter
smatch_i
m
plied:
only print the
n
r_chil
d
ren message
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
D
a
n Car
p
e
n
t
e
r
smatch_ext
r
a:
f
ix (f
o
o != 42
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan Ca
r
pe
n
t
e
r
Fix ov
e
r
lapping r
a
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
check_memory
.
c: fix reversed if
statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
Fix a
n
o
t
her bug ca
u
sed b
y
funny
tmp_
r
ange_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan
Car
p
ent
e
r
Merge br
a
nch 'new_implicatio
n
s'
i
nto devel2
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Ca
r
p
e
n
ter
Fi
x
crashing bug caused by th
e
switc
h
changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
debugging:
p
rin
t
t
h
e line
numb
e
rs
in merge_
s
m_state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
D
an Carp
e
nter
Make swi
t
ch stateme
n
ts work again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
clean up
.
u
se
tru
e
/false_comparison_range_
l
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Ca
r
penter
code churn: renam
e
->pre_le
f
t =>
-
>lef
t
,
->pre_right
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan C
a
rpen
t
e
r
Put a cap on i
m
pli
c
a
t
io
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpenter
Im
p
rove
d
ebug
g
ing
.
Don'
t
overwrite sm-
>
l
ine
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan Car
p
enter
Micro optimization
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
clean up in m
e
rge_
s
list
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
check for out_
o
f_memory() less often and onl
y
af
t
er
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Car
p
e
n
ter
Better
de
b
uggi
n
g
f
o
r
c
heck_memory
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpe
n
ter
Add s
w
itch test
i
n
g
test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
D
an Carpenter
D
oh
.
Too many implied
s
t
a
tes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpe
n
ter
Remove
clone_slist_and_st
a
tes() and
merge_slist_clone
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan
C
a
r
p
enter
R
e
m
o
v
e switc
h
cloning complexity
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
C
a
r
p
enter
t
wo is alw
a
ys non-null these days
.
don't c
h
eck it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan
Carpenter
remov
e
unused me
r
ge_pools() f
u
nct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
an Carpenter
don
'
t
p
ri
n
t
"
l
i
st" var
i
ab
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpent
e
r
Make my_pools => my
_
pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Car
p
e
n
ter
i
ntroduce
clone_pool_h
a
ver
s
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
clone_state()
doesn'
t
copy m
y
_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
Rework
impli
c
a
tion
s
to use ->pre_left and ->
p
re_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
an Carpenter
t
w
o
is always non-nu
l
l these days
.
d
o
n't
c
hec
k
it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
D
a
n C
a
rpe
n
t
er
Intr
o
duce -
>
pre_left and
-
>pre
_
righ
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan
C
a
r
pe
n
ter
M
ake th
e
RAM limit more accur
a
te a
n
d flexible
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
D
a
n Carpenter
O
nly cl
o
n
e
the sta
t
es if it is a switch statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan
C
arpenter
Don
'
t clone the fals
e
s
t
ates
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpen
t
er
Do
n
't
c
lone all the
states for
every case statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Make t
h
e valid
a
tion test hard
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Pr
e
vent
s
ome endle
s
s loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n
Carpenter
Putting p
a
re
n
s
ar
o
und something doesn't make it undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
Carpenter
Fix
me
m
ory le
a
k
.
free_sl
i
st()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpen
t
er
Make struct sm_state more compac
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpen
t
er
smatch_s
l
ist
.
c no longer
n
eeds any functions from smatch_ext
r
a
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
enter
D
elete all
the
a
nding compound condit
i
ons code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
an Carpenter
check deb
u
g
is usefu
l
for debug
g
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpen
t
e
r
pote
n
tial bug fix for
g
o
to
s
wi
t
h im
p
li
c
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan C
a
rpenter
Make valida
t
ion test harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpen
t
er
Rework smatch implie
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpente
r
g
e
t_value
(
)
:
handle a
c
o
uple more bit operato
r
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Set things
i
n smatch extra inste
a
d of smatch implied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Handle switch stat
e
ments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carp
e
n
ter
Re
v
ert
"
Don'
t
the i
m
pli
c
ation
s
for the
st
a
te
d
e
te
r
mining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Da
n
Carpenter
Revert "Her
e
is
a
bug in
han
d
ling
compound
c
o
nd
i
tion
s
.
"
commit
|
commitdiff
|
tree
2009-04-21
Da
n
Carpenter
handle
i
f((foo = down_trylock()
)
<
0) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan
C
a
r
penter
add_
i
s_merged_ho
o
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpent
e
r
Dereferencing a variable doesn
'
t make it undefi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpenter
Redo ch
e
cking for
o
u
t of range
arg
s
t
o
ER
R
_PTR()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
D
a
n Ca
r
penter
Here i
s
a
bug in handling compound c
o
ndi
t
io
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Da
n
C
a
rpen
t
er
Handle straight fo
r
w
a
rd
com
p
arisons
t
o ze
r
o
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Ca
r
penter
S
to
r
e the
i
mplication
s
for retur
n
_implies_st
a
te() assignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan
C
ar
p
enter
Add: r
e
turn_implies_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpente
r
Rename smatch_ex
t
ra_helper
.
c to smat
c
h_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arpenter
Eliminate
set_c
o
nd_states() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Sma
l
l
cle
a
n up
.
Allo
c
ating filter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next