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
extra: handle i++ and i += 2 better outside loops
2010-04-23
Dan
C
arpe
n
ter
extra: handle i++ and i += 2 better o
u
tside
l
oops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan C
a
rpe
n
ter
filter
_
kernel_de
r
e
f_
c
heck
.
s
h:
p
rint the function
names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n Carpente
r
Add
ST
R
ING_HOOK
f
or examini
n
g string
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
*new* check_kernel
.
c
:
handle
t
o
moy
o
_memory
_
ok
(
) and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Da
n
Carpenter
cor
e
: fix handling of
switch s
t
ate
m
ent
s
w
ith
u
nr
e
achab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Da
n
Carpenter
b
a
i
l out earlier if
fu
n
ct
i
ons get
t
oo difficul
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
include stat
i
c
f
uncti
o
ns i
n
list o
f
functions
w
hich
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan
C
a
rpenter
*new* freein
g
_null: calling
f
ree
f
or
a v
a
r
i
able that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Ca
r
pe
n
ter
equiv: call remove_f
r
om_e
q
uiv() o
n
assignment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
D
an Carpenter
math: pr
e
v
e
nt d
i
vide
b
y zero bug
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Da
n
Carp
e
nter
check_lock:
ad
d
more locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
D
a
n Carpenter
ne
w
: check_proc_cr
e
ate() che
c
k for wor
l
d writa
b
le proc
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Car
p
ent
e
r
math:
t
each smatch to understand const values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rp
e
nt
e
r
c
h
e
ck_ov
e
rflo
w
: fix th
e
oretical memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
Carpenter
cor
e
:
fix problem in ha
n
dl
i
ng sel
e
ct
s
tatement / ORing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
c
l
eanup: rename s
m
_states to "sm" instead of "state"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpe
n
ter
get_variab
l
e
_
from
_
expr(): if
i
t invol
v
es a number it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n Carpenter
deb
u
g
: pr
i
n
t
m
ore use
f
ul i
n
f
o
rmation about
co
n
d
i
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
D
an Ca
r
pe
n
ter
locking: handle s
p
in_tr
y
lock_irq
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
arpenter
locking: handle spin_lock_irqsave_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
C
a
rpenter
lockin
g
: h
a
ndle r
a
w_spi
n
_
u
n
l
ock_irqrestore()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
lock
i
n
g: mak
e
"sometimes
l
ocked" me
s
sages depend on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
Merge
branch 'devel
'
i
n
to dev
e
l_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
arpenter
equi
v
: if a variable is only equivalent to itsel
f
set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n Carpenter
ext
r
a: us
e
the fa
k
e as
s
ignments
i
n
stead of the ini
t
i
a
lizer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Car
p
ente
r
equiv: ne
v
er set SMATCH_E
X
TRA
v
alues
directl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan
C
arpenter
equiv: eliminate bogus c
a
ll to set_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpent
e
r
intro
d
uce __
s
match
_
debug_on() and
__smatch_debug_off()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: make spinlock_i
r
qsave() wor
k
for my
config
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
D
an Carpente
r
loc
k
ing: w
h
ite
s
pace fixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
arpenter
l
ocking: add more standard locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
check_l
o
cki
n
g:
cle
a
n up list o
f
kernel lo
c
k
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
handle
s
elect a
s
sig
n
s
:
foo = a ?
b
: c;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpen
t
er
core: fake cur_slist more
c
ompletely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan
Carpe
n
ter
core: rewrite
s
elect stateme
n
t
handli
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
states
:
verify
t
hat th
e
stacks are empty at t
h
e e
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan C
a
rpen
t
er
Rename f
u
nctio
n
s: __pop_fo
o
() => __discard_foo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
an C
a
rpenter
sm
a
tch_s
t
ates: r
e
name so
m
e functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpenter
release_resource: Doh
.
I
t'
s
looking for
the wrong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan C
a
rpenter
fix
sel
e
ct st
a
tement handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan
Carpenter
core: cl
e
an
u
p
.
delet
e
f
a
ke con
d
ition sta
c
k
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan
C
a
rp
e
nter
core: make fake cur_slists stack
a
ble
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Ca
r
penter
slist: make set_state_st
a
ck() return the new sm_s
t
ate
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*n
e
w* check_r
e
lease_r
e
source
.
c: check
that we release
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpent
e
r
flow: sp
l
it asm clobbers, inputs and o
u
t
p
u
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpenter
white_spac
e
onl
y
:
a
llo
w
h
e
ader f
i
les
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpe
n
ter
*new
*
s
trip_whitespa
c
e
.
pl: r
e
mo
v
e
s
all t
h
e w
h
itespac
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new*
c
heck_resource_siz
e
()
:
prod people
to use resourc
e
_s
i
ze()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
ext
r
a:
assume im
p
ossibl
e
th
i
ngs are im
p
ossible
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpen
t
er
e
r
r_ptr: fix bt
r
fs fals
e
posit
i
ves
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Da
n
Carpenter
e
rr
_
ptr: hand
l
e whe
n
an er
r
_ptr is
r
eass
i
gne
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpenter
*new* check_db_i
n
fo
.
c prints o
u
t stuff
t
hat will be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
a
rp
e
nter
cleanu
p
: move st
u
ff from smatch_e
x
t
ra
.
c
to
s
m
a
tch
_
math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
penter
whitespace change
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
equi
v
: fix
c
rashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
c
heck_overflow
:
malloc() => __alloc_s
m
a
t
ch_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpenter
smatc
h
.
c: don't leak t
h
ose 10 b
y
t
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
assigned_e
x
pr: fix memory l
e
ak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
k
e
r
nel:
f
r
e
e_area
(
) doe
s
n't c
a
ll kfree()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
D
an Carpent
e
r
*new*
c
he
c
k_return
.
c:
c
omplain if you don't ch
e
ck the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
enter
math: make get_impli
e
d_va
l
ue() work for pointers bet
t
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
penter
math: cl
e
anup: create separat
e
_
g
et
_
implied_valu
e
(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
ma
t
h: hand
l
e
modulus '%' operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math:
handle
EXPR_POS
T
OP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math:
c
leanu
p
: make handling bi
n
op
s
a
switch()
s
tatement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math
:
clea
n
up
c
reate separate handle_b
i
n
o
p(
)
f
unction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carp
e
nter
math: c
l
eanup
.
use cas
t
_to_type(
)
instead of re-impl
i
me
n
ting it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carpent
e
r
math: cleanup
.
separate hand
l
e_preop(
)
into it's
own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpe
n
ter
equiv: fix cras
h
ing bug introduced
i
n 8c358883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpenter
Create s
e
parate
s
mat
c
h_math
.
c file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carp
e
nte
r
update
smatch_data/ for 2
.
6
.
3
4
-rc
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpent
e
r
imp
l
ied: clean up make a separate handle_ze
r
o_com
p
arison
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpe
n
te
r
e
q
uiv: handl
e
compari
s
ons with zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: c
l
eanup separa
t
e set_extra_true_fa
l
s
e
() into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpente
r
equiv, implied:
fix handl
i
n
g borrowed im
p
licat
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n
Carp
e
nter
im
p
l
i
e
d: don't
u
pdate
t
h
e
eq
u
ivelent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpente
r
rm validation/smatch_closet/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
D
an Carpent
e
r
equiv: do
n
't over
w
rite the i
m
plication information
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpente
r
rename
_
_se
t
_
s
t
a
te() => __set
_
sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
penter
rename clon
e
_state() =>
clone_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
ar
p
enter
e
q
uiv: pres
e
rve ->equiv across merges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Use the e
q
uivalent variable c
o
de
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
rpen
t
er
r
emove tra
c
kers
f
rom ->equiv whe
n
they are no long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpent
e
r
Fi
x
crashing bug caus
e
d by la
s
t commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
s
tore informa
t
ion in t
h
e new dinfo-
>
equiv thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpenter
introduce
add_tra
c
ker_e
x
p
r
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carpenter
make set_s
t
ate() and friends
return the ne
w
sm_
s
tate
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
introd
u
ce
c
lo
n
e_tracker_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carpenter
add "equiv" field to
s
truct data_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpente
r
move the alloc_d
i
nfo() functions to smatch
_
extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpenter
check_signed: w
a
r
n
about
comparing (u
n
s
i
gned var
i
able
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
te
r
update v
a
lidation/sm
_
casts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new* smatch_scri
p
ts/sho
w
_
errs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Carpenter
*new* smatch
_
s
c
r
i
pts/whitespase_o
n
ly
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpent
e
r
a
dd -no-l
i
ne
n
o o
p
tion to sp
a
rse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Carpe
n
t
er
validation/sm_r
e
dundant_check
.
c
now it's "info
"
no
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
a
rpe
n
ter
check
_
precede
n
ce: print one warnin
g
message
i
nst
e
ad
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpenter
check_signed:
han
d
le unsigned 64 b
i
t varia
b
les
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan
Carpenter
get_va
l
ue(
)
h
a
n
d
le some more math operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carp
e
nter
make redunda
n
t
nu
l
l
c
hecks before kfree() an "inf
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next