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
math: cleanup: get rid of IMPLIED_SINGLE
2010-04-28
Dan Carp
e
nter
ma
t
h
:
clea
n
up:
g
et rid of IMPL
I
ED_SINGLE
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
an Car
p
enter
d
e
lete
check_null_deref
.
c and clean up validat
i
on/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
Carpe
n
ter
f
low: the next state
m
ent should never b
e
the cu
r
re
n
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Car
p
enter
*new* che
c
k_c
h
eck_dere
f
.
c: checking for null in
c
on
s
i
s
te
n
tl
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan
Ca
r
penter
*n
e
w* check_no_effec
t
: print
warnings statements
t
hat
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
setup default modif
i
cation hooks in set_true_false_state
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpen
t
er
intr
o
duce in_macro()
w
hich re
t
urns true if we're in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpenter
int
r
o
duce: i
n
_expression_stat
e
ment() and
rename get_block_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
Dan Carpenter
churn:
r
ename __split_statements()
=
> __
s
plit_stmt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
extra: ha
n
dl
e
i++
and i += 2 better o
u
t
side loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
an Carpenter
f
ilter
_
kernel_deref_chec
k
.
sh: print the f
u
nc
t
ion
names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n C
a
rp
e
nter
Add STRI
N
G_H
O
OK for e
x
amining
s
trings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpen
t
er
*new
*
check_kerne
l
.
c
: handle
t
omoyo_m
e
mory_ok()
and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Ca
r
pente
r
cor
e
: fix h
a
ndling of switc
h
stat
e
ments with u
n
reach
a
bl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
D
an Carpen
t
er
bail o
u
t earlier if functions get too dif
f
icu
l
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
D
an Carp
e
nter
include st
a
tic
functi
o
n
s in list of fu
n
ctions w
h
ich
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Da
n
Carpenter
*new* freeing_nu
l
l:
ca
l
ling free fo
r
a
var
i
ab
l
e
that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Ca
r
penter
e
q
u
iv: call r
e
move_from_equiv() on
a
s
s
i
gnme
n
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
math
:
pre
v
e
nt divide by zero bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Da
n
C
a
r
p
e
n
t
er
c
h
eck_lock: add more lock
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
Dan Ca
r
penter
ne
w
:
c
h
e
ck_pro
c
_create() check for wor
l
d writable pr
o
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
m
a
th: teach smatch
t
o u
n
derstand c
o
nst values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
check_overflo
w
:
fix theoretica
l
memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n
Ca
r
pe
n
ter
core
:
fi
x
problem in handling select stateme
n
t / ORin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
cleanup: r
e
n
ame sm_sta
t
es to
"
sm"
ins
t
ead of "sta
t
e"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
get
_
var
i
able_from_expr():
if it in
v
olves a number
i
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpe
n
t
er
d
ebug: prin
t
more useful info
r
mati
o
n about conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
arpenter
locking: han
d
le spi
n
_trylock_irq()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
a
rpen
t
er
l
o
cki
n
g: h
a
ndle spin_lock_irqsa
v
e_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
arpenter
locking:
h
andle raw_spin_un
l
ock_irqrestore()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Car
p
enter
lock
i
ng: ma
k
e
"som
e
t
i
me
s
locked"
m
essages
depend on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
C
a
rp
e
n
ter
Merge
branch 'deve
l
' into de
v
el_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
equi
v
: if
a
var
i
able is only equivalent to itse
l
f se
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpent
e
r
e
xt
r
a
:
u
s
e the fake assignments instead of the initializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan
Carpenter
equiv:
n
ever set SMATCH_EXTRA va
l
ues
d
ir
e
c
tly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
e
q
uiv: eliminate bogus call to
s
et_s
t
a
t
e(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
in
t
roduce __smatc
h
_de
b
ug_on() an
d
_
_
s
m
atch_
d
ebug_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
l
ocki
n
g
:
make spinlock
_
irqsave(
)
work for my c
o
nfig
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Ca
r
penter
l
oc
k
in
g
: white space fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carp
e
nter
lo
c
k
ing: add mo
r
e
standard l
o
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carp
e
nter
check_locki
n
g: clea
n
up
l
i
st of ke
r
nel locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpent
e
r
handle select ass
i
gns: foo = a ? b
:
c
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core: fake cur
_
slist more compl
e
tely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n
Carpenter
cor
e
: r
e
write se
l
e
c
t state
m
ent
h
andlin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpente
r
s
tates:
veri
f
y that the stacks are e
m
pty at
the
e
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
Rename fun
c
t
i
o
ns: __pop_foo() => __discard_foo
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Ca
r
p
enter
smatch_states
:
r
ename some functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpen
t
er
release_resource: Doh
.
It's
looking f
o
r
t
he wron
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Ca
r
pe
n
ter
fix select
s
tatement handl
i
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
core: cleanu
p
.
dele
t
e
f
ake condi
t
ion st
a
ck code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
an C
a
rpen
t
er
core: m
a
ke fake cur
_
slists stackable
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
s
list: make set_st
a
t
e
_
stack() r
e
t
u
rn the ne
w
sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*
new* check_r
e
lea
s
e_resou
r
c
e
.
c: ch
e
c
k
that we relea
s
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan
Carpenter
f
l
ow: spli
t
asm cl
o
bbers, in
p
uts and outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carp
e
nte
r
w
hite_spaceonly
:
allow
heade
r
files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new* strip_whitespace
.
pl: removes all
t
he whitespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan C
a
rp
e
n
ter
*n
e
w
*
ch
e
ck_
r
esource_size():
p
rod pe
o
p
le to use reso
u
r
ce_
s
ize()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Da
n
C
a
rpent
e
r
extra: assume imp
o
ss
i
ble things are impo
s
s
i
bl
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_
p
t
r: fix btrfs
false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
e
r
r
_p
t
r: hand
l
e
w
h
e
n a
n
err_ptr is reassig
n
ed
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
*new*
check_db_info
.
c prints o
u
t s
t
uff that will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
clean
u
p: move
s
tuff from smatch_e
x
tra
.
c to smatch_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpen
t
e
r
w
hite
s
pace
c
han
g
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
equ
i
v:
fix crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpent
e
r
che
c
k_
o
verflow: malloc(
)
=> __allo
c
_smat
c
h_st
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
smat
c
h
.
c: don't lea
k
t
hose 10 bytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
assigned_expr: fix
memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
D
a
n Carpenter
kernel: free_area(
)
doesn't call
k
free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*new*
check_return
.
c: complain if you d
o
n'
t
c
h
e
c
k the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: make
g
e
t
_
i
m
plied_
v
alu
e
() work f
o
r poi
n
t
e
rs better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpenter
m
ath: cle
a
nup:
create separate _ge
t
_implied_value(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: h
a
ndle m
o
dulus '%' o
p
erati
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an
Carpenter
m
a
th:
handle
E
XPR_POS
T
OP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Ca
r
penter
m
a
t
h
:
cleanup: make handling bi
n
o
ps a switch() statement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: c
l
e
a
nup
cr
e
ate separate handle_binop() function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
enter
math: cleanup
.
u
s
e
cast_to_type() instead of re
-
implimenti
n
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
.
separate handle_pr
e
op() into it's own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpenter
equiv:
f
i
x
c
r
as
h
ing bug i
n
trod
u
ced in 8c358883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n
Carpen
t
er
Create se
p
arate smatch_math
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpenter
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 Carpente
r
imp
l
ied: c
l
ean
up make a
s
eparate handle_zero_compa
r
ison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpen
t
er
e
q
uiv: handl
e
co
m
p
a
risons with
zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
an
C
a
rpen
t
er
equiv: cleanup separate
set_extra_true_false() into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpenter
equiv, i
m
plied: fix handling
b
orrowed implica
t
i
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
imp
l
ied: don't updat
e
t
he equivelent states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
D
an Carpe
n
t
e
r
rm val
i
da
t
ion/smatch_closet/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan
Carpe
n
te
r
eq
u
iv:
don't
ov
e
rwrite the implication i
n
fo
r
m
ation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
ar
p
enter
rename __set_state()
=> __
s
et
_
sm(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
r
e
name clone_state() => clone_
s
m()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
a
rpe
n
ter
equiv:
pre
s
erve
-
>
e
qu
i
v acros
s
merges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
C
a
rpe
n
t
er
Us
e
the eq
u
i
v
alent
var
i
able
c
ode
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n C
a
rpenter
r
e
mov
e
trackers from
-
>e
q
uiv
w
hen they
a
re
no long
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
rpe
n
ter
Fix crashing bug caused by l
a
st commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
C
a
rpenter
sto
r
e infor
m
ation in th
e
new di
n
fo->e
q
u
iv thin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
introduce ad
d
_t
r
acker_expr
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n
Carpenter
make set
_
state() and frie
n
ds return t
h
e new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
an C
a
rpenter
int
r
oduce
clo
n
e_track
e
r_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carp
e
nter
add
"
equiv"
field to struct
d
a
ta_inf
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Ca
r
penter
mov
e
the alloc_dinfo() fu
n
ctions to smatch_extra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpenter
check_s
i
gned: warn about comparing (u
n
si
g
ned va
r
iable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next