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
bail out earlier if functions get too difficult
2010-04-07
Dan Ca
r
pe
n
t
er
bail out ea
r
l
ier if functio
n
s ge
t
t
o
o difficult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Da
n
Carpenter
include st
a
ti
c
f
un
c
t
ions in list of fun
c
tions whi
c
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpe
n
ter
*new* freei
n
g_null:
c
a
lling free for a va
r
ia
b
le
that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
equ
i
v: call r
e
move_from_equiv() o
n
assignment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
math
:
prevent divide by zero b
u
gs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
check_lock: add more locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
Dan Carpente
r
new: check_proc_c
r
eate() check for world writable proc
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n
Carpenter
math: teach sma
t
ch to understand const values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Car
p
enter
c
h
ec
k
_ove
r
fl
o
w: fix theoretical
memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
core:
fix p
r
oblem in h
a
ndling se
l
ect s
t
atement
/
ORing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n Ca
r
penter
cleanup: rename sm_
s
tates to "
s
m" instead
of "stat
e
"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Ca
r
penter
ge
t
_variab
l
e_
f
rom_expr(
)
: if i
t
involv
e
s a number it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n
Carpente
r
d
ebug: print mo
r
e useful information a
b
out conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Ca
r
penter
locking: ha
n
dle
s
pin_t
r
yloc
k
_irq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpen
t
er
l
ocking:
handle
s
pin_lock
_
irq
s
ave_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locki
n
g
:
handle raw_
s
p
in_unlock_i
r
qrestore()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
arpente
r
l
ocking:
m
ake
"
sometimes locked" me
s
s
ages depen
d
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpe
n
ter
M
erg
e
branch 'devel' into
d
e
vel_equiv
commit
|
commitdiff
|
tree
2010-03-31
D
an Carpenter
equi
v
:
if a vari
a
bl
e
i
s only
e
quivalen
t
to itself set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
e
xtra:
use the fake assignments instead of the ini
t
ial
i
zer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan C
a
rp
e
nter
equiv: never set SMATC
H
_EXTRA values
directly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Car
p
enter
equi
v
: e
l
imina
t
e
bo
g
us call to
s
e
t_
s
tate(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
introduce __smatch_debug_o
n
() and __smatch_debug_off
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
D
a
n
C
a
rpenter
l
o
cking: mak
e
spinl
o
c
k_
i
rqsave() work for my config
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpe
n
ter
lock
i
ng: white
s
pace fix
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpent
e
r
lockin
g
: add m
o
re standard
lo
c
ks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan
C
a
r
penter
check_lock
i
ng: clean up list
of
k
erne
l
locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpe
n
ter
h
a
ndle select ass
i
gns: foo = a ? b :
c;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Car
p
en
t
e
r
c
o
re: fa
k
e cur_sl
i
st
more
completely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carp
e
n
t
er
co
r
e: rewrite
s
elect
statement h
a
ndling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Car
p
e
n
t
e
r
state
s
: verify that the stacks are empty at the e
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
arpent
e
r
Rename functions: __po
p
_foo(
)
=> __di
s
card_foo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carp
e
nter
smatch_states: rename s
o
me f
u
nct
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpenter
r
elease_resource: Doh
.
It's looking for the wr
o
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Ca
r
p
e
n
t
er
fix se
l
ect sta
t
ement h
a
n
d
ling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Ca
r
penter
core
:
cleanu
p
.
delete
f
a
ke
c
ondition
s
tack code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Car
p
e
n
t
e
r
c
ore:
m
ak
e
f
a
k
e cur_sl
i
sts
s
tack
a
ble
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan
Carpenter
slist:
m
ake set_sta
t
e_stack
(
) retu
r
n the new sm_st
a
t
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan
C
arpenter
*new* check_rel
e
ase_
r
eso
u
rce
.
c
:
ch
e
ck that
we rele
a
se
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
D
an Carpenter
f
low: split
asm clobbers, in
p
u
ts and outpu
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpenter
white_spaceonly: allow h
e
ader files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan
Carpenter
*ne
w
* strip
_
whitespa
c
e
.
pl: remo
v
es all the whitespace
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
D
an Carpenter
*ne
w
* che
c
k_resource_size(
)
:
prod people
to use
r
esource_size()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
D
a
n Carpenter
extra:
ass
u
me imp
o
ssible thing
s
are impossibl
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpen
t
er
er
r
_
ptr: fix
b
trfs false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
D
a
n
Car
p
ente
r
err_pt
r
: handle when an err_ptr
is reassigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpenter
*new* check
_
d
b_in
f
o
.
c prin
t
s out stuff
that will
b
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
penter
cleanup: mov
e
stuff from smatch_extra
.
c
to sm
a
tch_
m
a
th
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
whitespace chang
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
an C
a
rpenter
equiv: f
i
x
crashing
b
ug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
check_overf
l
ow
:
mall
o
c() => __al
l
oc_smatch_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n
Carpe
n
ter
smatch
.
c
: don'
t
leak those 10 bytes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpenter
assigned_expr
:
fix
m
e
mory le
a
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
k
er
n
el
:
free_area() doesn't call kfree()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*n
e
w* check_re
t
urn
.
c: com
p
lain if you d
o
n't check the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
Carpen
t
er
m
a
t
h:
m
a
k
e get_im
p
l
i
ed_valu
e
() wor
k
fo
r
p
ointers better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: c
l
eanup: create sep
a
rate _get
_
implied_val
u
e
(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an
C
ar
p
e
n
te
r
m
a
t
h: handle modulus '%' operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
m
a
th: handl
e
EXPR_P
O
STOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpenter
math: cleanup: make
handling binops a s
w
i
tch
(
) s
t
atement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
enter
math
:
cleanup c
r
eate
s
e
p
a
rat
e
handle_b
i
nop()
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an
C
a
r
penter
mat
h
: cleanup
.
u
s
e
cast_to_type
(
)
instead
of re-impli
m
enting it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanu
p
.
separate handle_preo
p
() into
i
t'
s
own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpente
r
equiv: fix
c
rash
i
ng bug i
n
troduce
d
i
n
8c358883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
penter
Create separate smatch_
m
ath
.
c file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpe
n
ter
update smatc
h
_
data/ for 2
.
6
.
34-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
an
C
arpenter
impli
e
d: clean up make a
se
p
arate handle_zero_comparison
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: ha
n
dle comparison
s
w
i
th zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carp
e
nter
equ
i
v: cleanup
s
e
parate s
e
t
_extra_true_
f
alse() into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv, i
m
plied:
fix handl
i
n
g
borr
o
w
e
d
imp
l
i
c
a
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan C
a
r
penter
im
p
lied: d
o
n't update
t
h
e equ
i
velent
states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpenter
r
m
validation/
s
match_close
t
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
equiv: don't ove
r
write th
e
implic
a
tion informati
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n Carpenter
rename __set
_
state
(
) => __set_
s
m
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
r
p
enter
rename clone_state() => c
l
one_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpente
r
equi
v
: preserve ->e
q
u
i
v
a
cross merge
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n
C
ar
p
enter
Use the eq
u
ivale
n
t v
a
riable co
d
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Car
p
enter
remove trackers
f
rom ->equiv when they are
n
o long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
pe
n
ter
Fix
c
rashi
n
g
b
ug caus
e
d by last
commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carp
e
nter
store info
r
mation
i
n the new dinfo->eq
u
i
v
thin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carpenter
in
t
roduce add_trac
k
er
_
e
x
pr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpenter
make
set_state() and frie
n
ds retu
r
n th
e
new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
introduce clon
e
_trac
k
er_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
add "equiv"
f
ield to s
t
ruct data_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
mo
v
e t
h
e alloc_dinfo(
)
fu
n
ctions
to
s
match_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Car
p
e
n
ter
check_signed:
warn about
c
omp
a
ring (unsigned variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nter
update validat
i
on/sm_c
a
sts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
*new* sma
t
ch_sc
r
i
pts/show_
e
rrs
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpenter
*n
e
w* smatch_scripts/whi
t
espase_only
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n
Carpe
n
t
er
add -
n
o
-
lineno opt
i
on to sp
a
rse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
validatio
n
/sm_redun
d
an
t
_c
h
eck
.
c now
it's "info" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
c
h
eck_
p
recedence: prin
t
on
e
w
arning message instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Carpen
t
e
r
chec
k
_
si
g
ned: handle unsigned
64 bit variables better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Da
n
Carpenter
g
et_va
l
ue() hand
l
e some more math operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Da
n
Carpe
n
ter
m
a
ke redundant null
check
s
be
f
or
e
kfr
e
e
()
an "in
f
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan
Carpenter
check_signed: Eliminate
some
f
alse
p
ositiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
D
a
n Carp
e
n
ter
preced
e
nce: check
for && vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
implications: imp
r
ov
e
handling of
c
omparisons with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
use
i
m
plication
s
from P
O
STOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carpen
t
er
condit
i
on
s
: par
s
e EXPR_POSTOPs after eva
l
uat
i
n
g
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next