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
introduce in_macro() which returns true if we're in a macro
2010-04-27
Dan Carpenter
introduce in_macr
o
() which returns true if
w
e're in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-25
Dan Ca
r
pent
e
r
intro
d
uce: i
n
_
expression_statem
e
nt() and
rename
g
et_bl
o
c
k
_th
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-24
Dan Carpenter
churn: rename
__split_statements() =
>
__split_stmt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpente
r
ext
r
a: handle i++ and i += 2 better outside loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
filter
_
kerne
l
_deref_check
.
sh: print t
h
e functio
n
names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
Add STRI
N
G
_HOOK for
e
xamining strings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Da
n
C
arpenter
*new* check
_
k
e
r
nel
.
c: hand
l
e tomoyo_memor
y
_
o
k() and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
cor
e
: fix
h
a
n
dlin
g
of swi
t
ch statement
s
with unr
e
achable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
b
ail out earlier if
f
u
n
ctions get
t
o
o difficult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Car
p
enter
i
n
cl
u
de sta
t
ic
f
unctions
i
n list
o
f functions
w
hich
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
D
a
n Carp
e
nter
*n
e
w* f
r
eeing_n
u
ll: c
a
lling free for a variable t
h
a
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
equiv
:
c
a
ll remov
e
_fro
m
_equiv() o
n
a
ssignment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
math: p
r
event divi
d
e
b
y zero bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Ca
r
penter
check_l
o
ck: add more
l
ocks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
D
a
n Car
p
enter
n
e
w: check_p
r
oc_create() che
c
k for world writ
a
b
l
e pr
o
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
a
r
penter
math
:
tea
c
h
s
match to unders
t
and const values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
check_o
v
erf
l
ow: fix theoretical memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
an Carpenter
cor
e
:
f
ix p
r
oblem in hand
l
i
n
g se
l
ect
s
tatement / O
R
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
an Carpen
t
er
c
l
eanu
p
: rename s
m
_s
t
ates to "sm" instead of "state"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpe
n
ter
get_var
i
a
b
le_from_expr(): if
it involves a number it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpe
n
t
er
debug
:
print
m
ore useful info
r
ma
t
ion about conditio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpent
e
r
l
ocking:
h
a
n
d
le
spin_
t
rylock
_
irq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan
Carpe
n
ter
l
o
c
king: handle spin_lock_
i
rqsave_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking:
h
andle raw_spin
_
unlock_ir
q
restore()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Car
p
e
nte
r
loc
k
i
n
g:
make "some
t
imes locked" messa
g
e
s
de
p
e
nd o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
Merge branc
h
'deve
l
' into devel_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan
Carpenter
equiv: if a
variabl
e
is only equi
v
a
l
ent to itself set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
extra
:
u
se the fa
k
e
a
ss
i
gnments instead of
the initia
l
izer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n
Carpenter
eq
u
iv: n
e
v
e
r set SM
A
TCH_EXTRA val
u
es directly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
an Carpenter
e
q
uiv: elimi
n
a
t
e bo
g
us
c
all to set_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
Carpenter
i
n
troduce __sm
a
tch_de
b
ug_on() and __smat
c
h_debug_o
f
f
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
l
o
c
ki
n
g: make spinlock_ir
q
save()
w
ork f
o
r my config
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Da
n
Ca
r
pente
r
loc
k
ing: white space fixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Da
n
Ca
r
penter
l
o
c
k
ing: add
m
o
r
e
standard lo
c
ks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carp
e
n
te
r
check_loc
k
i
ng: clean up list
of kernel locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan C
a
rpenter
hand
l
e select
a
ssigns: 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 m
o
re co
m
pletely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan
C
arpe
n
t
er
core: r
e
write select
s
tate
m
ent
h
andlin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carpenter
states
:
ve
r
ify that the stacks ar
e
empty at the
e
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carp
e
nter
Rename functio
n
s: __p
o
p_f
o
o(
)
=> __disc
a
r
d
_f
o
o
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carpenter
s
match_states: rename so
m
e
f
uncti
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
release_resour
c
e
: Doh
.
It's loo
k
ing f
o
r
the wrong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpen
t
er
fix select s
t
atement ha
n
dling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n Carpenter
c
o
re: cle
a
nup
.
delet
e
f
a
k
e condition
stack c
o
d
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan C
a
rpe
n
ter
core:
make
fake c
u
r_slists s
t
ac
k
a
b
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
slist: make set_state_stack() return t
h
e
n
ew sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*new*
c
h
ec
k
_release_resou
r
ce
.
c: check that we relea
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Da
n
Carp
e
nter
flow: split asm c
l
obbers, inputs and o
u
tp
u
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carp
e
n
ter
white_spaceonly: allow header files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
D
a
n Carpenter
*new* strip_w
h
ite
s
pace
.
pl
:
removes all the whitesp
a
ce
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new* check_
r
esour
c
e_size(): prod
p
eop
l
e to use reso
u
rce_size()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra: as
s
ume
im
p
ossible things
a
re
impos
s
ible
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
D
an Carpe
n
te
r
err_ptr: fix btrfs false p
o
sitives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
e
r
r_ptr: handle when an
err_ptr is
r
ea
s
s
igned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
*new* c
h
ec
k
_d
b
_info
.
c
pr
i
nts out stuff
that
w
i
ll be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
a
r
penter
cleanup: move stu
f
f
from sm
a
t
ch_extra
.
c
to smatch
_
mat
h
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
whitespace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
nter
e
q
ui
v
: fi
x
c
rash
i
n
g bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
check_overflow: malloc(
)
=> __alloc_smatch_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpenter
smatch
.
c: don't l
e
ak thos
e
10
b
y
t
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
assign
e
d
_
expr
:
fix mem
o
ry leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
D
a
n
Carpenter
kernel: fre
e
_area() doe
s
n't call kfree()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Car
p
enter
*new
*
chec
k
_return
.
c: complain if you
don't check the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n C
a
rpent
e
r
math: make get_implied_value() work for
p
ointers b
e
tter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math: cleanup: crea
t
e separ
a
te
_get_impli
e
d_value
(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpe
n
te
r
math: h
a
ndle mod
u
lus '%' operati
o
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpenter
m
a
th:
handle EXP
R
_POSTOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpenter
math: cleanup: make han
d
ling bino
p
s a swi
t
ch() statement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
m
a
t
h: clea
n
up create separate han
d
le_binop() func
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
math: cleanup
.
u
s
e
cast_to_type() instead
o
f
re-im
p
lim
e
nting
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpe
n
ter
math: cleanu
p
.
separate ha
n
d
le_preop(
)
i
n
t
o
it's
own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Ca
r
penter
equiv:
fix crash
i
ng
b
ug
introduc
e
d
in 8c358883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
Create separate smatch_math
.
c
file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
a
r
penter
update smatch_dat
a
/ fo
r
2
.
6
.
34
-
rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpent
e
r
implied: clean
up make a sepa
r
at
e
h
andl
e
_zero_
c
ompa
r
ison
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpen
t
er
e
quiv: handle comparisons with zer
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
e
q
uiv: cleanup sep
a
rate
s
et_extra_tru
e
_false() into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv, i
m
plied: fi
x
ha
n
dling b
o
rrowe
d
i
m
plication
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpen
t
er
implied: don't
u
pd
a
te
the equiv
e
lent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Car
p
en
t
er
r
m validation/smatch_closet/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n Carpenter
equiv: don't overwrite the impl
i
cation
in
f
ormation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rename __set_state() => __set_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
rpen
t
er
ren
a
me clo
n
e_state() => clone_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
equi
v
:
pre
s
erve ->equiv acros
s
mer
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Car
p
ente
r
Use the equivalent
v
ariable code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
penter
remove trac
k
ers from
-
>equiv whe
n
they
a
r
e no long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
rpenter
F
i
x crashing bug caused by last commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpent
e
r
store
information in the new dinfo->equiv
t
hi
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Ca
r
pe
n
ter
introduce add
_
tracker_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
ma
k
e set
_
state() and f
r
i
ends return the new sm_sta
t
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpe
n
t
er
introd
u
ce
c
lone_
t
racker
_
lis
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Ca
r
pe
n
t
e
r
add
"equ
i
v" field to
struct
d
ata_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpente
r
move the alloc_din
f
o() fu
n
ctions to
s
match_e
x
tra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Car
p
enter
check_signed:
w
ar
n
a
bout
c
o
m
paring (unsigned variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
er
u
p
d
ate validati
o
n/sm_
c
asts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
e
r
*new* smat
c
h
_
s
cri
p
ts/
s
how_errs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpenter
*new
*
smatc
h
_scripts/whitesp
a
se_only
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpenter
add -no-linen
o
option to
s
parse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Carp
e
n
t
er
validation/sm_redund
a
nt_check
.
c now it's "in
f
o" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan C
a
rpent
e
r
check
_
precedence
:
p
r
i
n
t one warning
message inste
a
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next