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 Carpente
r
I
nit
i
alize values
p
r
o
per
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Ca
r
penter
Tu
r
n the t
w
o pass system
of
f
b
y default
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-10-25
D
an Carpen
t
er
Optimiz
a
tion: pre
p
end
(
) -> append()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-09-06
Dan Ca
r
pente
r
Print an error for this: if
(
a
| b)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
D
a
n
Carpente
r
Dual
pass system [patch #2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpe
n
t
er
Dual pass sy
s
tem [
p
atch #1]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpente
r
clean up
:
move
D
IMPLIED
(
)
to
smatch_implied
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan C
a
r
p
enter
code chu
r
n:
r
ename SM_DEBUG() to sm_debug()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpe
n
ter
code churn:
r
e
n
a
me smatch_m
s
g() to sm_msg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan C
a
r
penter
move my_id
p
a
r
am
e
ter
[part 2 of 2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
D
an
C
arpe
n
ter
Move my
_
id parameter
.
[part 1 of
2
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Da
n
C
arpente
r
Impr
o
ve chec
k
_er
r
_ptr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpenter
func
t
ion was s
u
pposed
t
o
be static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpe
n
te
r
disable smat
c
h_
c
o
n
taine
r
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Random ugly changes to check_o
v
erflow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan
C
arpenter
S
to
p
printing so muc
h
info a
l
l
the time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
D
a
n C
a
rpenter
New opt
i
on: --spamm
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carp
e
nte
r
Remove optimization
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpen
t
er
A
dd
check_assigned_expr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
fix c
a
lcula
t
i
n
g sizeof()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Ca
r
p
e
n
t
er
retu
r
n UNDEFINED
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Talk
about
smatch_scripts/k
c
hecker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan
Carpe
n
ter
Improve get_implie
d
_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Da
n
C
a
r
p
enter
correct
format
.
warning: => war
n
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan C
a
rpen
t
er
Add some strip_expr() calls to the funct
i
on hooks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpen
t
er
Improve buffer ove
r
flow c
h
eck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-01
Dan Car
p
e
n
ter
introduce smatch_containers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-31
Dan Carpenter
int
r
oduce
s
e
t_state_expr() an
d
friends
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan
C
arpenter
add check_deref_check
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Ca
r
pente
r
a
dded check_initializer_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan
C
arpenter
new h
o
o
k
:
add_modifi
c
ation_hook
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
move so
m
e declarations out
o
f smat
c
h
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-21
Da
n
C
a
r
penter
Update smatch
_
data
f
or 2
.
6
.
31-pre
3
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
Dan
C
a
rp
e
nter
Improve the displa
y
ed variable na
m
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carpente
r
fix
bu
f
fer ov
e
r
f
low
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-15
Da
n
Carpente
r
Add
chec
k
_balanc
e
d
.
c and smatch_data/ke
r
n
el
.
balanced_f
u
ncs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan C
a
rpente
r
PTR_ER
R
(ERR_PTR(-42)) i
s
n
o
n zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan Car
p
enter
check_memory
.
c:
u
se t
h
e add_
s
cope_h
o
ok()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
D
a
n Carpenter
Add scoped_state(
)
and add_
s
cope
_
h
o
ok()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carp
e
nter
s
m
atch_impl
i
ed: only pr
i
nt
t
he nr_c
h
ildren message
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
sma
t
ch_extra: fix (fo
o
!= 42) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan
C
a
r
pente
r
Fix
o
ver
l
a
pping ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
check_me
m
ory
.
c: fix rever
s
ed if statem
e
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
D
a
n Carpe
n
ter
Fix another bug caused by f
u
nny tmp_
r
a
nge_lis
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
D
an Carpenter
Merge br
a
n
c
h '
n
e
w
_implicat
i
ons' in
t
o devel2
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpente
r
Fix crashing bug ca
u
se
d
by
th
e
switch changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
D
a
n Carpenter
debugging: print the line numbers i
n
m
e
r
ge_
s
m_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Da
n
Car
p
ent
e
r
M
ake switch sta
t
ements work again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan C
a
r
penter
c
l
e
an up
.
use tru
e
/fals
e
_
comparison_range_l
r
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Ca
r
penter
code churn: r
e
name ->pre_left => ->left,
-
>pr
e
_right
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Car
p
e
n
ter
P
ut a
ca
p
on
impli
c
at
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan
C
a
r
penter
I
m
pro
v
e debugging
.
Don't over
w
rite sm->line
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan
Carpenter
M
i
c
r
o optimization
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpen
t
er
c
lean up in merge_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
D
an
Carpenter
check for out_of_
m
emory
(
) les
s
of
t
en a
n
d
only a
f
ter
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
Better debu
g
ging fo
r
c
heck_memory
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Add switch t
e
sting test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
D
a
n Carpenter
Doh
.
T
oo
m
any im
p
l
i
ed states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpent
e
r
Remove cl
o
ne_
s
list_and_state
s
()
and merge
_
s
l
ist_clone()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carp
e
n
t
e
r
Rem
o
ve
s
witch clon
i
ng complex
i
ty
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Ca
r
penter
two is always non-null
t
h
e
se days
.
don'
t
check it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpe
n
ter
remove
u
n
u
sed merge_
p
ools() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n
Carpe
n
ter
don't pr
i
nt
"
list" variab
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpenter
Make
m
y_pools
=>
m
y_poo
l
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
an
C
a
r
penter
introduce clone_po
o
l_h
a
v
ers()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
clone_state()
doesn't copy my_p
o
ols
.
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carpe
n
ter
R
e
work
i
mplications to u
s
e
-
>pre_lef
t
and ->pre_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Car
p
en
t
e
r
t
w
o
is always non-null thes
e
days
.
don't check it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Da
n
Carpen
t
er
In
t
roduce
-
>
pre_left and ->
p
re_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Ca
r
penter
Make the RAM limit mo
r
e
a
ccurate and fl
e
xib
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpenter
Only clon
e
the states
if it is
a
s
witch s
t
atement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Don't clo
n
e the
false
s
ta
t
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Don't c
l
one all the states fo
r
every case
s
tatement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
M
a
ke the validation test ha
r
der
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Prevent
s
o
me e
n
dless loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
an C
a
rp
e
nter
Putting parens around
s
om
e
thing d
o
esn't
m
ake
i
t undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Fix memory
l
eak
.
free_
s
list(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
arpenter
Make struct sm_sta
t
e more
c
o
mp
a
ct
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpent
e
r
smatch_slist
.
c n
o
longer need
s
any function
s
from s
m
at
c
h_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpe
n
t
e
r
Del
e
te all th
e
a
nding compound condit
i
ons code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
check debug is useful fo
r
d
e
bugging
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
Carpenter
p
o
t
ential
b
u
g fix fo
r
gotos wit
h
imp
l
ications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
enter
Make validation t
e
st
h
arder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpe
n
ter
Rework smatch imp
l
ied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan
C
a
rpe
n
ter
get_value(): hand
l
e
a cou
p
l
e
more bit operato
r
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpe
n
ter
Set things in sm
a
t
c
h extra instead of
s
matc
h
implied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Handle switch sta
t
ements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
R
e
vert "Don't the
implicati
o
ns
for the state determini
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpenter
R
e
v
ert "Here is a bug in
h
andling comp
o
und
c
o
n
ditio
n
s
.
"
commit
|
commitdiff
|
tree
2009-04-21
Da
n
C
a
rpenter
handle if((fo
o
= down_tr
y
lock()) < 0
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
D
a
n Carpenter
a
d
d
_is_merged_h
o
ok()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
D
eref
e
rencing a variable doesn'
t
make it undef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpe
n
ter
Redo c
h
ecking fo
r
ou
t
of range args to ERR_
P
TR
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan
C
arpenter
Here
i
s
a
b
ug
in
h
andling compound co
n
d
i
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
D
a
n
Carpenter
Han
d
le
s
traight forward
compariso
n
s
to ze
r
o
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
D
a
n C
a
r
penter
Store the imp
l
icati
o
ns for return
_
implies_state(
)
assignments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan C
a
rp
e
nter
Add: return_implies_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpenter
Rename smatch
_
ext
r
a_
h
elper
.
c
t
o
smatch_r
a
nges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
E
l
iminate se
t
_cond
_
states() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpenter
S
m
all clean up
.
Allocati
n
g filter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next