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: cleanup: rename do_comparison_range() => do_comparison()
2010-05-10
Dan Carpenter
ext
r
a: clean
u
p
: renam
e
do_comparison_range() => do_comparison
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
D
an
C
arpen
t
er
kno
w
n_condition_t
r
ue/f
a
lse(): handle expression statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-07
Dan Carpenter
*new
*
chec
k
_kunmap(): confu
s
ion bet
w
ee
n
k
m
ap()
and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-02
Da
n
Carpen
t
er
*new*
smatch_scripts/unlo
c
k
e
d_paths
.
p
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-01
Dan Carpenter
flow: cleanup:
m
a
ke spl
i
t
_function() it's
o
wn function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Ca
r
penter
de
r
ef_c
h
eck: use in_macro() to silence mos
t
o
f
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan
C
arpenter
math
:
intr
o
du
c
e get_absolut
e
_
min/max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan
Carpenter
math: cleanup: renam
e
get_implied_single
_
fuzzy_ma
x
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpente
r
m
a
th
:
c
l
e
anup: shuf
f
le some
f
unctions ar
o
und
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
D
an Carpenter
math: clea
n
up: get rid of the *discard thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpe
n
ter
math: cleanup: get rid of IMPLIED_SINGLE
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpent
e
r
delete chec
k
_null_
d
eref
.
c and
cl
e
an up valida
t
ion/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan
Carpenter
flow: the
next s
t
a
t
ement
should never be t
h
e
cu
r
r
e
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
D
an Carp
e
nt
e
r
*n
e
w*
c
heck_check_deref
.
c: check
i
ng for null inconsistently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carp
e
nte
r
*
n
ew*
c
h
eck_no_effect: print warnings stat
e
ments
t
hat
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
setup d
e
fault modificati
o
n
hooks in set_true_false_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
i
n
t
roduce in
_
ma
c
ro() which returns true if we're in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-25
Dan
C
a
r
p
enter
introduc
e
:
in_expressio
n
_statem
e
nt() and rename get_bl
o
ck_th
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-24
D
an Carpent
e
r
churn: r
e
name __sp
l
i
t_statement
s
(
)
=> __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: hand
l
e i++ and i += 2 bette
r
outside l
o
ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan C
a
rpen
t
er
fi
l
ter_kernel_deref_
c
heck
.
sh: print the
f
unction
n
ames
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpent
e
r
Ad
d
STRING_HOOK
fo
r
examining
strings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
an Ca
r
pe
n
t
e
r
*ne
w
* ch
e
ck_kernel
.
c: handle tomoyo_memory_ok() and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carp
e
nt
e
r
co
r
e: fix han
d
ling
of switch statem
e
nts wi
t
h unre
a
chable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Ca
r
pe
n
ter
bail
o
ut e
a
rlier i
f
fu
n
ct
i
o
n
s get too difficult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
D
an
Carp
e
nter
inc
l
ude static functio
n
s in
list of functions
w
h
ich
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan
C
a
r
p
e
nter
*new* fr
e
eing_null: calling free fo
r
a v
a
riab
l
e that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Da
n
Ca
r
pent
e
r
equiv
:
call remove_from_eq
u
iv
(
) on
a
ssignmen
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Ca
r
penter
ma
t
h:
p
r
e
vent divide by zero
bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan
C
a
r
penter
c
h
ec
k
_lock: add mo
r
e l
o
cks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
Dan
Carpente
r
n
e
w
: check_proc_create() check for world writable p
r
oc
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carp
e
nter
math: teach smat
c
h to unde
r
stand con
s
t va
l
ues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Car
p
e
nt
e
r
check_o
v
e
rflow:
fi
x
theor
e
tical memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n Carpenter
core: fix p
r
oblem in handling
select statement / OR
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
arpenter
clea
n
up: rename
sm_
s
tates to "sm" instead of
"
state"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpenter
get_variab
l
e_fr
o
m
_
e
x
pr(): if i
t
involves
a
n
umber
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
debug: p
r
int more useful
infor
m
a
tion
a
bo
u
t condit
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Carp
e
n
ter
locking: ha
n
dle spin_trylock_irq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
D
an
C
arpen
t
er
lock
i
ng: handle
s
pin_lo
c
k_irqsav
e
_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: h
a
ndle raw_spin_unlock_irqrestore()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Ca
r
pent
e
r
lo
c
k
i
n
g
: ma
k
e "sometimes locked" messag
e
s
dep
e
nd
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Car
p
enter
Merg
e
b
ranch 'd
e
vel' into dev
e
l_equ
i
v
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
eq
u
iv: if
a variable is only eq
u
iv
a
lent
t
o itself
set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carp
e
nter
ext
r
a: u
s
e
t
he
f
a
ke assignments instead of
t
he initial
i
zer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan
C
arpenter
equi
v
: never
s
et SM
A
TCH_EXTRA values di
r
ectly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpen
t
er
equiv: eliminate bogus ca
l
l to
set
_
s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan
C
a
r
pent
e
r
intr
o
du
c
e __smatch_
d
ebu
g
_on
(
) and __
s
ma
t
ch_debug_off()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: m
a
ke spinlock_i
r
qs
a
ve() work for m
y
con
f
ig
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpen
t
er
locking:
w
hite space fixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Da
n
C
a
rpe
n
t
e
r
l
o
c
k
i
ng: add mo
r
e standard loc
k
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan Ca
r
pen
t
er
check_locking: clean
u
p
list of
k
ernel locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
h
andle select ass
i
gns:
foo = a
? b :
c;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpe
n
ter
core: fa
k
e cur_slist more comp
l
etel
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Da
n
Car
p
enter
core: rewr
i
te select statement han
d
ling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
stat
e
s: verify that the
s
t
a
c
ks are
e
mp
t
y at the end
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpenter
Rename
f
u
n
ctions: __pop_foo
(
) => __
d
iscar
d
_fo
o
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
a
rpenter
smatch
_
s
t
a
tes
:
rename some functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Ca
r
penter
release_
r
esource:
D
oh
.
It
'
s loo
k
ing for the wron
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Car
p
enter
fix
sele
c
t
s
tat
e
ment
ha
n
d
l
in
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carp
e
nter
core
:
cleanup
.
del
e
te
fake condition stack code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan
Carpent
e
r
co
r
e:
make fake cur_sli
s
ts sta
c
kab
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Car
p
enter
s
list: make set_stat
e
_stack() retur
n
the ne
w
sm_stat
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpent
e
r
*new* c
h
eck_release_resourc
e
.
c: ch
e
ck that
w
e re
l
ease
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpe
n
ter
flow: sp
l
it asm clobber
s
, inputs and outputs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan
C
a
r
p
enter
wh
i
te_spaceonly
:
allow hea
d
er files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
D
a
n Carp
e
nter
*new* st
r
ip_whi
t
espace
.
pl: removes all the whit
e
space
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new* check_reso
u
r
ce_size(): prod
p
eople to use re
s
ource_
s
ize()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Da
n
C
a
rpent
e
r
extra
:
a
s
s
ume
i
mpos
s
ible thin
g
s
are im
p
ossible
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
e
rr_ptr: fi
x
btrfs false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Car
p
enter
err_
p
tr: handle when an
e
rr_ptr is rea
s
si
g
ned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpent
e
r
*new* check_d
b
_info
.
c
p
rints out stuff that w
i
l
l be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carp
e
nt
e
r
cleanup: move stuff from s
m
atch_ext
r
a
.
c to smatch_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
r
p
enter
whi
t
espace
c
hanges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpenter
equiv: f
i
x
cr
a
shing bu
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
an
C
arpenter
check_overflow:
m
alloc
(
) => __alloc_smatch_
s
tate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpen
t
er
smatch
.
c: d
o
n
't leak those
1
0
b
ytes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpen
t
e
r
as
s
i
gn
e
d_exp
r
: fix m
e
mor
y
leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan C
a
rpenter
kernel: free_ar
e
a()
do
e
sn't ca
l
l kf
r
ee
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan
C
a
r
pent
e
r
*new* ch
e
ck_return
.
c:
c
omplain if you don't check the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
ma
t
h: m
a
k
e
g
et_
i
m
pli
e
d
_
value() work for
p
ointers
b
ette
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup: cre
a
te separa
t
e _
g
et_
i
m
p
lied_v
a
l
u
e(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpe
n
ter
math: handle m
o
dulus '%' op
e
rat
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpent
e
r
m
a
th: handle EXPR_POSTOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
Carpenter
ma
t
h
:
cleanup: make handling
binops a switch() statement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math
:
cle
a
nu
p
cre
a
te separ
a
te handle_binop() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
n
t
e
r
math: cleanup
.
use cast_t
o
_typ
e
() ins
t
ead of re-im
p
limen
t
i
ng i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
math
:
cleanup
.
separa
t
e handl
e
_preop() into it
'
s
own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
an C
a
r
p
ente
r
equiv:
fi
x
crashin
g
bug in
t
rod
u
ced in 8c35
8
8
8
3a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpenter
Create s
e
p
ar
a
te smatch_ma
t
h
.
c file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
pe
n
ter
upd
a
te smatch_data/ fo
r
2
.
6
.
34-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpent
e
r
impl
i
ed: clean up make
a
separate handl
e
_zero_c
o
mpari
s
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carpenter
equi
v
:
h
a
ndl
e
c
o
m
paris
o
ns with zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpente
r
e
quiv: cleanu
p
s
e
parate set_e
x
tra_true_fa
l
se() i
n
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
r
p
e
nter
equiv, implied: fix handling
borrowed
imp
l
ications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan C
a
r
p
enter
implied: don'
t
update
the equ
i
velent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan
C
ar
p
enter
rm valida
t
io
n
/smatch_close
t
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpe
n
ter
equiv:
d
on't ov
e
r
w
rite
the impli
c
ation information
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carp
e
nte
r
rename __set_state(
)
=> __set_
s
m
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n
C
ar
p
enter
re
n
ame clone_state(
)
=>
c
l
o
ne_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpenter
equiv: pres
e
rve ->equiv across m
e
rges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next