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, db: record the struct member values in the database
2010-04-28
Dan Ca
r
penter
delete check_nul
l
_deref
.
c and clean up vali
d
ation/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan
C
arpenter
flo
w
: the nex
t
s
tatement should never be the c
u
r
rent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
D
a
n
C
arp
e
nter
*new*
check_check_
d
eref
.
c
:
c
h
ecking for
n
ull inconsistent
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
*new* check_no_e
f
fect: print warnings stateme
n
ts t
h
at
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan
C
a
rpen
t
er
setup
default
m
o
d
ifi
c
ation
h
o
oks in set_true_f
a
lse_state
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Car
p
ente
r
introdu
c
e
i
n_macr
o
() which ret
u
r
n
s true if we're in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-25
Dan
C
arpen
t
er
i
ntroduce: in_expression_statement() and rename get_bl
o
ck_th
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-24
D
a
n
C
a
rpe
n
ter
churn:
rena
m
e __split_statements() =>
__s
p
lit_stmt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpent
e
r
e
x
tra
:
handle
i++ a
n
d i
+
=
2
b
etter outside l
o
ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpe
n
ter
filter_kerne
l
_der
e
f_
c
heck
.
sh
:
print the fun
c
tion names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpe
n
ter
Ad
d
STRI
N
G_H
O
OK
f
or examining strings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan C
a
rpenter
*new* ch
e
ck_ker
n
el
.
c: hand
l
e tomoyo_memo
r
y_ok() and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Ca
r
penter
core: f
i
x handl
i
ng o
f
switch s
t
at
e
ments w
i
t
h
u
n
r
e
achable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpen
t
e
r
b
a
i
l out e
a
rlier if function
s
get
t
o
o
difficult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpe
n
ter
i
n
clude static functions
i
n list of
f
un
c
tions which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan C
a
rpente
r
*new* freeing_
n
ull: calling free f
o
r a
v
a
r
iable
that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan
C
ar
p
enter
eq
u
iv: call remove_from_equiv() on as
s
ignment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpen
t
er
mat
h
: prevent
d
ivide by ze
r
o bugs
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 Carpenter
n
e
w: c
h
eck_proc_create
(
) check for world wr
i
table proc
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
mat
h
: teach smatch
t
o
underst
a
nd
c
o
n
st values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Car
p
enter
check_o
v
erflow: fi
x
theoretical memory le
a
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpente
r
co
r
e
:
fix pro
b
l
e
m in handling select statement / O
R
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
C
arpe
n
ter
c
l
ean
u
p: rename sm_stat
e
s to
"sm" i
n
st
e
ad of "state"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
arp
e
nt
e
r
get_variable_f
r
om_expr()
:
i
f
it involves
a
nu
m
ber it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n
C
a
rpen
t
er
d
ebug: prin
t
mo
r
e
useful i
n
for
m
ation about co
n
ditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpenter
locking: handle spin_tryloc
k
_irq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
l
o
c
king: handl
e
spin_lo
c
k_irqs
a
ve
_
nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking:
h
an
d
le r
a
w_spin_unlock
_
irqres
t
ore()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Carpenter
l
o
cking: make "
s
o
m
etimes locked" messages depend
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpent
e
r
Merge
bran
c
h 'd
e
vel' into devel_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan
Car
p
enter
eq
u
i
v:
if a variable
is only equiva
l
e
n
t
to i
t
s
elf set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Ca
r
pen
t
er
extra: use the fake assignments i
n
stead
o
f t
h
e ini
t
ializer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n Carpenter
equiv: never set SM
A
T
C
H_EXTRA val
u
es directly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
an C
a
rpe
n
t
e
r
equiv
:
eliminate bogus
c
all to set_
s
ta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Ca
r
penter
introduce __s
m
atch_debug_o
n
()
and __smatch_debug_off(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpente
r
locking:
m
ake
s
p
in
l
o
c
k_irqsave() work for my c
o
n
fig
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carp
e
nt
e
r
locking: white space fixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpe
n
ter
locking: add
more standard locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
D
a
n Carpe
n
ter
c
h
eck_locking: clean
u
p lis
t
of ker
n
el lo
c
ks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n
C
arpenter
handle
s
ele
c
t assigns:
fo
o
= a
?
b : c;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
D
an Ca
r
p
enter
core: fake cur_slist mo
r
e com
p
l
e
tely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan C
a
rp
e
n
t
er
core:
rewrite select statement handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
states: verify that the st
a
cks a
r
e empty
a
t the end
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
an Carpent
e
r
Rename functions:
__pop_
f
oo(
)
=> __
d
iscard_foo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
a
r
pe
n
ter
smatch_states: rename som
e
functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Ca
r
penter
release_resource: Doh
.
I
t's looking for the
wrong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n Ca
r
penter
f
i
x selec
t
statement hand
l
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
an
C
arpen
t
e
r
core: cl
e
anup
.
delete fake
c
o
n
dition stack code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan
Carpente
r
core: ma
k
e
fake cur
_
s
lists stackable
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
slist: make set_s
t
ate_stack() ret
u
rn the new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*
n
ew* check_re
l
ease_resource
.
c: check that we rele
a
se
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
flow: split as
m
clobbers,
inputs and outputs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan C
a
rp
e
n
t
er
white_spaceonl
y
: allo
w
header files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new* strip_whitespace
.
pl: re
m
oves all the whitespace
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan
C
arpent
e
r
*n
e
w*
c
hec
k
_
r
e
source_size
(
): prod
pe
o
ple to u
s
e resource_size()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra: assume
imp
o
ssible
t
hin
g
s
a
re
i
mpossible
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Da
n
C
arpenter
e
rr_
p
tr: fix btrfs false pos
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
D
an Carp
e
nter
err_p
t
r:
h
andle when an err_ptr is
reassigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpenter
*new* check_db_info
.
c prints out stuff th
a
t will b
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
cleanu
p
:
move stuff from smatch_extr
a
.
c to smatch
_
ma
t
h
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpenter
whi
t
espace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Ca
r
penter
equiv: fix crashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Ca
r
p
ent
e
r
check_ove
r
flow: ma
l
loc
(
) => __alloc_sma
t
ch_s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
nter
smatch
.
c: don't leak those 10 bytes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
e
nter
assigned_exp
r
:
fix memory lea
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpent
e
r
kernel: free_area()
doesn't call kfree()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*new
*
c
h
eck_return
.
c: co
m
plain
i
f you d
o
n't
che
c
k the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpen
t
er
m
ath: mak
e
get_implied_v
a
lue() wor
k
f
o
r
poin
t
ers better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpent
e
r
math: cl
e
a
n
u
p: creat
e
se
p
arate _get
_
implied_value(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math
:
handle modulus '%' o
p
e
rations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math: handl
e
EXPR_POSTOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rp
e
nter
math: cleanup: make h
a
ndling b
i
nops a switc
h
() stat
e
ment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: clea
n
up
cre
a
te separa
t
e handle_
b
inop() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an Car
p
ent
e
r
math: cleanup
.
use cast_to_type() inste
a
d of re-im
p
l
i
menting it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
math:
clean
u
p
.
separate han
d
le_pre
o
p() into it's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
C
a
r
pent
e
r
e
q
uiv: fix crashing
bug int
r
oduced in 8c358883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
pe
n
ter
C
reate
s
e
p
a
r
a
te sm
a
tch_mat
h
.
c
file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
update smatch
_
d
a
ta/ for 2
.
6
.
34
-
rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpe
n
ter
implied: clean up make a separa
t
e
handle_zero_comparis
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpenter
equiv: handl
e
c
omparisons with zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv:
cle
a
n
u
p separate
s
et_ext
r
a
_
true_false() into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carpenter
eq
u
i
v
, im
p
lied
:
fix handling borrowed i
m
plicatio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Car
p
enter
impl
i
ed:
d
o
n
't update t
h
e equi
v
el
e
nt s
t
ates
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Ca
r
penter
rm validation/smat
c
h_
c
l
o
s
et/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n
C
arpe
n
t
er
equiv: don't overwrite the implication
information
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Car
p
enter
rename
__
s
et_state() => __set_sm
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n Carpenter
renam
e
clone_s
t
ate() => clone_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carpenter
equiv: p
r
eser
v
e
->equiv across merges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n Carpenter
Use
the equivale
n
t
variable code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rem
o
ve t
r
ac
k
ers from ->eq
u
iv when
t
h
e
y are no lo
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
arpenter
Fix
c
rashing bu
g
c
a
u
s
ed
by
l
ast commi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carp
e
nter
s
t
ore information
i
n t
h
e new dinfo
-
>equiv thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
introd
u
ce add_tracker_exp
r
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Car
p
enter
mak
e
set_s
t
a
t
e()
and friends return the new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
i
ntro
d
uce clone_tracker_lis
t
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
an C
a
rpent
e
r
add "equiv" fi
e
ld to struct data_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Carpenter
move the alloc
_
d
i
nfo(
)
fun
c
tio
n
s to smatch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpenter
c
h
eck_
s
igned: warn ab
o
ut comparing (unsigne
d
variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
en
t
er
up
d
a
t
e vali
d
ation/
s
m_ca
s
ts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next