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
precedence: don't complain about if foo is 0-1
2010-05-10
D
an Ca
r
penter
pre
c
edence: don't compla
i
n about if foo
i
s 0-1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
extra: cleanup:
rename do_compa
r
ison
_
range()
=> do_co
m
paris
o
n
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
kno
w
n_condi
t
i
o
n
_
true/false(): handle
expre
s
sion s
t
at
e
ments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-07
Dan Carpenter
*n
e
w* check_kunmap():
con
f
u
sion b
e
tween kmap() and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-02
Dan Carpenter
*ne
w
*
s
match
_
script
s
/unlock
e
d_paths
.
p
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
Dan Carpenter
f
low: cle
a
n
up:
m
ak
e
split_functio
n
() it's own functio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Da
n
Carpenter
d
e
ref_c
h
eck: us
e
in_macro
(
) to silence
most of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan
C
a
rpenter
math
:
i
n
troduce get
_
absolut
e
_min/max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Ca
r
penter
math: cleanup: rename get_implied_si
n
gle_fuzzy_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
math: clean
u
p
: shuffle
some fu
n
ctions around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n Carpenter
m
ath: cleanup:
get rid of the *
d
i
scard th
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
math: cleanup: ge
t
rid of IMPLIED
_
SINGLE
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n Carpente
r
dele
t
e
c
h
e
ck_null_
d
ere
f
.
c
and clean up validation/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n Carpenter
flow: the
next stat
e
ment should never be
t
he current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
a
n Carpenter
*ne
w
* check_check_deref
.
c: checking for null inconsisten
t
ly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
*n
e
w* c
h
e
ck_no_eff
e
ct:
p
rint wa
r
nin
g
s
st
a
tements th
a
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Da
n
C
arpe
n
ter
setup default modification hooks
i
n
set_
t
rue_f
a
lse_
s
t
a
te
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
intro
d
uce
i
n_macro() which
re
t
urns
true if we're in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
Da
n
Ca
r
pent
e
r
introduce: i
n
_expression_statement() and rena
m
e g
e
t_b
l
o
ck_t
h
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
Dan Ca
r
penter
churn: rename __split_stat
e
men
t
s() =>
_
_split_stmt(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
an
C
a
rpenter
extr
a
: handle i++ and i += 2 bet
t
er out
s
id
e
l
o
ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n Carpenter
filter_ker
n
el_deref_check
.
sh: print
the func
t
ion
names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Ca
r
p
e
n
t
er
Add STRING_HOOK for examining strings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
*ne
w
* ch
e
c
k
_kernel
.
c: h
a
n
dle tomoyo_memory_ok() and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n Carpenter
c
ore: fix handlin
g
of swit
c
h
statements with
unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan
Carpenter
bail out earlier if functions
get too d
i
f
f
i
c
ult
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
include static functi
o
ns in list of funct
i
ons which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Ca
r
penter
*new* fr
e
eing_null: calling fr
e
e
fo
r
a variable
that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan C
a
rpenter
equiv: call remove
_
from_equiv() o
n
assi
g
nment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan C
a
rpe
n
t
er
ma
t
h: p
r
event divi
d
e by zero
b
ugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan
Carpen
t
er
check_lo
c
k: add more locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
Dan Carpenter
new: check_proc_cre
a
te() check fo
r
world writable proc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Ca
r
p
enter
math: teach smatch
t
o u
n
dersta
n
d c
o
nst value
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Carpen
t
er
check_overf
l
ow:
f
ix t
h
eoretical memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
Carpent
e
r
core: f
i
x problem in
ha
n
dlin
g
select st
a
t
e
ment / ORing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
a
r
p
enter
c
l
eanup:
r
enam
e
sm_states
t
o "sm"
i
n
stead of "
s
ta
t
e"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
get_vari
a
ble_from_exp
r
(
)
: if
i
t involves a number it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Car
p
enter
debu
g
: prin
t
m
ore
u
seful information about c
o
n
d
i
t
i
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n C
a
r
penter
locking: handle sp
i
n
_
tr
y
lock_irq(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n Carpente
r
locking
:
handle sp
i
n_lock_irqsave_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
l
ocki
n
g: handle raw_spin_unlock_ir
q
restore()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n
Carpe
n
ter
lockin
g
: make "someti
m
es loc
k
ed"
mes
s
ages depend on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Car
p
enter
Me
r
ge branch 'devel' into devel_
e
qu
i
v
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
equiv:
if a variable i
s
o
n
ly equiva
l
ent to
i
t
s
elf set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n Carpente
r
extra: use the fake assignments in
s
t
e
ad of
the initia
l
izer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
Carpenter
equiv: never se
t
SMAT
C
H
_E
X
T
R
A val
u
e
s
directl
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
e
q
u
i
v: el
i
minate bog
u
s c
a
ll t
o
s
e
t_
s
tate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
D
an Carpenter
introdu
c
e
_
_smatch_
d
ebug
_
on()
a
nd __smatch_deb
u
g_off
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpent
e
r
locki
n
g: make
spinlock_irqsave()
w
ork
f
or
m
y
config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
a
rpenter
locking: white space fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
Carp
e
nt
e
r
lo
c
king: add more
stand
a
rd locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Ca
r
penter
c
h
e
ck_lo
c
k
ing:
c
lean up list of
kernel
l
o
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n Carpenter
handle select assigns: foo = a ?
b
: c
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n
Carp
e
nt
e
r
c
o
r
e: fake cu
r
_
slist
more comp
l
etely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Da
n
Carpe
n
ter
core: rewrite select statement ha
n
d
ling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpe
n
ter
st
a
t
es: verify that the st
a
cks a
r
e
empty at the end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carp
e
nte
r
Rename functions: __pop_foo() => __disc
a
rd_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carpenter
smatch_states:
r
ename some functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
arpent
e
r
release_resource: Doh
.
It
'
s looking
f
or the wron
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
an
C
a
r
penter
fix select statement han
d
l
i
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carp
e
nte
r
core: cleanup
.
d
elete fake condition stack code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan
Carpenter
core: make fake c
u
r_
s
lists stackable
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpent
e
r
slist: make set_state_sta
c
k
(
) r
e
turn t
h
e new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpente
r
*n
e
w* check_re
l
ease_
r
es
o
urce
.
c: che
c
k that we re
l
ease
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
flow: split asm clobbers, inpu
t
s
and
o
ut
p
uts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Da
n
Car
p
enter
white_spaceonl
y
: all
o
w header files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Car
p
enter
*new* strip_whitesp
a
ce
.
pl: removes
all t
h
e whit
e
space
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carp
e
n
t
er
*ne
w
* check_resource_size():
prod p
e
ople to u
s
e
resource
_
siz
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan
C
a
r
pe
n
ter
extra:
assume impossible thin
g
s are
impossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carp
e
nter
err_pt
r
:
fix
btrf
s
false positiv
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
D
an Carpente
r
err_ptr: h
a
ndle
w
hen
an err_ptr i
s
reass
i
gn
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rp
e
nter
*
new* ch
e
ck_db_in
f
o
.
c pr
i
nts
o
ut stuff
t
hat will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
nter
cl
e
anup: move stuff fr
o
m smatch_extra
.
c
t
o smat
c
h_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
ter
whitespace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpente
r
equiv: f
i
x crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
check_ove
r
flow: mallo
c
() =>
_
_alloc_sma
t
ch_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
sm
a
tch
.
c: don'
t
le
a
k
those 10
byt
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
pe
n
ter
assigne
d
_exp
r
:
f
ix m
e
mory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carp
e
nter
k
e
rnel:
free_are
a
() doesn't
call kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*new* check_return
.
c: c
o
mplain i
f
you don'
t
chec
k
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
pe
n
ter
math
:
m
ak
e
get_implied_
v
a
lue() work for po
i
nter
s
better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carpenter
m
ath: cle
a
nup: create separat
e
_get_impl
i
ed_
v
alue(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math: han
d
le mod
u
l
us '%' opera
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
m
a
th: handle EX
P
R_POSTOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
math: cl
e
anup: make handling bi
n
op
s
a switch() statement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
a
th: cleanup create separat
e
handle_b
i
nop() function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math
:
cleanup
.
u
s
e
ca
s
t_t
o
_type() instead of re
-
i
mpl
i
mentin
g
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpen
t
er
math: clean
u
p
.
separat
e
handle_preop(
)
into it's own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpe
n
ter
e
quiv
:
fix
crashing
b
ug introdu
c
ed in 8c358883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Ca
r
p
en
t
er
C
r
e
ate separate smatc
h
_ma
t
h
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpenter
upda
t
e smatch_data/ for 2
.
6
.
34-
r
c
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
a
rp
e
nter
implied: c
l
ea
n
up ma
k
e a separat
e
handle_z
e
ro
_
compa
r
iso
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Car
p
enter
equiv: handle comparisons with
zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpenter
equi
v
: cleanup sep
a
rate set_ext
r
a_true_false() into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
C
arpenter
equi
v
,
implied: fi
x
h
andling
borrow
e
d imp
l
icat
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan
Ca
r
pent
e
r
imp
l
ied: don't update t
h
e equivelent states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan
C
a
r
penter
rm validation/smatch_c
l
oset/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpe
n
ter
e
q
u
i
v:
don't over
w
rite the impl
i
ca
t
ion informatio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpente
r
ren
a
me __set_state() => __set_sm(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rename
c
lone_state() => clone_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next