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 Carpente
r
introduce in_macro() which r
e
turns true if we're in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpe
n
t
er
introduc
e
: in_
e
xpression_st
a
tement() and rename ge
t
_block_th
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-24
Dan Ca
r
pent
e
r
c
hurn: renam
e
__split_statements()
=
>
__sp
l
it_stmt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carp
e
n
t
er
ext
r
a
: handle i++ and i += 2
better outside
l
o
o
p
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Ca
r
penter
f
i
lter_k
e
rne
l
_deref
_
c
h
eck
.
sh:
p
r
i
nt t
h
e function
names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n C
a
rpenter
A
dd STRING_HOOK f
o
r e
x
a
m
i
ning strings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpen
t
e
r
*new* check_ke
r
nel
.
c: ha
n
dle tomoyo_memory_ok() a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
co
r
e
:
f
i
x
handling of sw
i
tch statem
e
nts with unreacha
b
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Ca
r
penter
bail out ear
l
i
er if functions g
e
t
too di
f
ficult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
include static funct
i
o
n
s in li
s
t of functions
which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
*
n
e
w* freeing
_
null: calling
f
re
e
for
a
va
r
ia
b
l
e
that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Da
n
Carpenter
equi
v
:
call
r
emove_fr
o
m_equiv()
o
n assignm
e
n
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan C
a
rpenter
math: pr
e
vent divi
d
e b
y
z
e
ro bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan C
a
rpente
r
check_
l
ock: add more locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
Dan Carpent
e
r
n
ew: check_proc_create(
)
c
he
c
k for worl
d
w
r
itable proc
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Car
p
enter
math: teach
s
match to understan
d
con
s
t
v
alu
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
c
h
eck_ove
r
flow:
f
i
x
th
e
or
e
t
i
cal memory
leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carp
e
nte
r
co
r
e: fix problem in han
d
ling
s
elect statement /
ORing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carp
e
nter
cleanup
:
rename sm_
s
tates to "s
m
" instead of
"state"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n Carpenter
get_variable_from_expr(): if it
in
v
olves a n
u
mb
e
r it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
a
r
penter
d
e
bug
:
pr
i
nt more us
e
ful
i
nformation about conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
loc
k
ing:
h
a
n
dle spin_trylock_irq(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpen
t
e
r
locking: handle
s
pin_lock_irqsave_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpent
e
r
locki
n
g: ha
n
dle raw_s
p
in_unl
o
ck_irqrestore()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Ca
r
pent
e
r
l
ocking: make "so
m
etimes locked" mes
s
ages depend
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpenter
Mer
g
e
branch
'devel'
into de
v
el_equi
v
commit
|
commitdiff
|
tree
2010-03-31
D
a
n Carpenter
equiv: if a variable is only equivale
n
t
t
o i
t
s
elf set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpen
t
e
r
ext
r
a: us
e
the fake as
s
ign
m
ents inst
e
ad of the in
i
tializer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n
Carpenter
equ
i
v
: never s
e
t
SMATCH_EXTRA values directly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n Car
p
enter
e
quiv: eliminate
b
ogus c
a
ll to set_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpente
r
introduce __smatch_de
b
ug_on() a
n
d _
_
sma
t
ch_debug_off()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
arpenter
locking: mak
e
spi
n
lock_irqsa
v
e()
w
ork for my conf
i
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
arpen
t
er
lock
i
ng: white space fixe
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
D
an Carpe
n
ter
lock
i
ng: add mo
r
e standard
l
ock
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpent
e
r
check_locking: clean up list
o
f kernel locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
h
a
n
dle
s
e
lect assig
n
s
:
foo = a ?
b :
c
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan
C
a
r
p
enter
core: fake
c
u
r_sli
s
t
more c
o
mp
l
etel
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Ca
r
penter
c
o
re: rewrite
select
statement handli
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
an
Carpenter
state
s
: verify that
t
he stacks are empty a
t
t
h
e end
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
arpenter
Re
n
ame functions: __pop_fo
o
() => __discard_foo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpente
r
smatch
_
states
:
rename s
o
me
f
unctions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
releas
e
_resou
r
ce: Doh
.
I
t
's l
o
oking for
the wr
o
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n Carp
e
n
ter
f
i
x
select stat
e
ment handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
Carpenter
c
o
r
e
: cleanup
.
delete fake con
d
itio
n
stack code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
c
ore: make fake c
u
r_s
l
ists s
t
a
c
k
abl
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
an Ca
r
p
e
n
ter
s
list: make set_stat
e
_stack() return the new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan
C
a
rpenter
*new
*
chec
k
_release_
r
esource
.
c: check tha
t
we
release
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpe
n
ter
flow: sp
l
it asm c
l
obbers,
inputs and
outp
u
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan
C
arpenter
white_spac
e
only: allow
h
eader fi
l
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan
C
ar
p
enter
*
n
ew* strip_whi
t
espace
.
pl:
r
emov
e
s a
l
l the
w
h
itespace
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new* c
h
e
ck_
r
esourc
e
_size(): prod
p
eople to use re
s
o
u
rce_siz
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan Ca
r
pente
r
e
x
tra
:
assume
i
m
possible thing
s
are i
m
p
o
ssible
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
D
an Carpenter
e
rr_ptr: f
i
x bt
r
fs false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
D
an Carpenter
err_ptr
:
handle when an err_ptr is
r
eassigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
pen
t
er
*new* check_db_in
f
o
.
c
p
r
ints
o
ut st
u
ff t
h
at will be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n
Carpent
e
r
cleanu
p
: move s
t
uff
from
s
ma
t
ch_e
x
tra
.
c t
o
s
m
atch_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
an
C
a
rpenter
w
h
itespace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpe
n
ter
equiv: fix crash
i
ng bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
an Ca
r
pe
n
t
e
r
check_overflow: malloc() =>
__alloc_smatch_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
sma
t
ch
.
c: d
o
n
't leak those 10 bytes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
assigned_
e
xpr: fix
me
m
ory l
e
ak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Car
p
enter
kernel
:
f
ree_area() doesn't c
a
l
l
kfre
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpent
e
r
*new* ch
e
c
k
_return
.
c: c
o
mplain if you don't check the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
r
pe
n
ter
math:
make ge
t
_implie
d
_va
l
ue() wo
r
k
for pointers better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup: c
r
eate separate _
g
e
t_implied_value(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpenter
math: handl
e
modul
u
s '%' operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
r
pen
t
e
r
math: handle EXPR_POSTO
P
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carp
e
nter
math:
c
l
e
a
nu
p
: m
a
ke handling
bin
o
ps a switch() st
a
tement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpenter
ma
t
h: c
l
eanup create separate
handle
_
b
inop() f
u
n
c
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math:
c
le
a
nup
.
use cast_to_type() inste
a
d of re-implimenting
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpen
t
er
mat
h
:
cl
e
an
u
p
.
separate handl
e
_preo
p
()
i
nto it's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carpenter
equiv
:
fix crashing bug intro
d
uced in 8c358883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
C
a
rp
e
nter
C
r
eate separa
t
e smatch_math
.
c file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpente
r
u
pdate 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
arp
e
nt
e
r
implied: clean up make a
s
eparate handle_
z
ero_comp
a
riso
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
e
q
u
iv: h
a
ndle
comparisons with zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpen
t
er
e
q
uiv:
cleanup s
e
parate set_e
x
tra_true_false
(
) into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv, implied: fix handling
borrowed implicat
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpente
r
implied: don't
u
p
date the equiv
e
lent st
a
tes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpen
t
er
rm
v
alidation/smatch_c
l
o
s
et/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carp
e
nt
e
r
equiv: don't
o
verwrite
t
he
implication information
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 Carpenter
renam
e
clone_state() => clone_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpe
n
ter
equiv:
p
reserve ->equi
v
across mer
g
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Use the equivalen
t
v
ariable code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
Carpenter
remove
t
rackers fro
m
->
e
q
u
iv whe
n
they are no long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n
Carpenter
Fix cras
h
ing bug c
a
us
e
d by la
s
t c
o
mm
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Ca
r
pen
t
er
s
tore inform
a
tio
n
in the new dinfo->eq
u
iv thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carpenter
introduce add_
t
racker_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
an C
a
rpenter
make set_state()
a
nd friends return the new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
introduce
clone_tracker_lis
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
an
Ca
r
pe
n
ter
add "eq
u
iv"
f
ield to struct d
a
ta_
i
nfo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
move the al
l
oc_d
i
nfo() functions to smatch
_
ex
t
ra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan
C
arpenter
check_signed: war
n
about
c
omp
a
ring
(
u
nsigned variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nt
e
r
u
p
d
a
te val
i
da
t
ion/sm_cast
s
2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new* s
m
a
tch_scri
p
ts/sho
w
_e
r
r
s
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Ca
r
pent
e
r
*new
*
smatch_
s
cripts/wh
i
tespase_only
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Car
p
enter
add -no-lineno option to spars
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpenter
validation/sm_redu
n
dant_ch
e
ck
.
c now it's "info" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Ca
r
penter
c
h
eck_prec
e
d
e
n
ce
:
p
rint one warning me
s
sage instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next