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: prevent divide by zero bugs
2010-04-05
Dan Ca
r
penter
math: p
r
event divide by ze
r
o bu
g
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan
Carpenter
check_lock:
add m
o
re loc
k
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
Dan Carpenter
new:
check_pro
c
_create() c
h
ec
k
for world
writable proc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
math: teach
s
ma
t
ch to unders
t
an
d
const values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n
C
a
r
pe
n
ter
check_ove
r
f
l
ow: fix theoretical mem
o
ry
le
a
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpen
t
e
r
core: fix pro
b
lem in handli
n
g select stateme
n
t /
O
Ring
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carp
e
n
t
e
r
clea
n
up: r
e
name sm
_
states to "sm" inst
e
a
d
of "state"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Ca
r
penter
get_var
i
a
ble_from_expr
(
): if it in
v
olves a numb
e
r it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
d
ebug: prin
t
more
u
sef
u
l information ab
o
u
t c
o
nditi
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: handle s
p
in
_
trylock
_
irq()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
Carpe
n
ter
locking: handl
e
spin_l
o
ck_irqsave_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
lo
c
king: handle raw_s
p
in_unloc
k
_irqre
s
t
o
re()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
Carpen
t
er
locking: make "sometimes l
o
cked" messages
de
p
end on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
Me
r
g
e
branch
'
d
ev
e
l
' into devel_
e
quiv
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
a
r
penter
equiv:
if a vari
a
b
l
e is only equivalent to itself
set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpente
r
e
x
tr
a
: use
t
he fake assignments instead of the
i
nitialize
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan C
a
rpenter
e
quiv:
ne
v
er set SMATCH_EXTRA values d
i
rectly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
equiv: eliminate
b
ogus call
to
set_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan C
a
rpenter
i
ntroduce __smatch_debug_on()
a
nd __smatc
h
_debug_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carp
e
nter
locking: make
spinlock_irqsave() w
o
rk for my config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
l
ocking
:
whi
t
e spac
e
fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
loc
k
ing:
add more
s
tanda
r
d
locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan C
a
rpenter
che
c
k_lock
i
ng: clean
u
p li
s
t of ker
n
el locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
an
C
arpent
e
r
h
a
n
d
le selec
t
a
ssign
s
: foo
= a ? b
: c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpen
t
e
r
core: fake
cur_slist more compl
e
tely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core: r
e
w
rite select statement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpent
e
r
s
t
ates:
v
erif
y
tha
t
the stacks are empty at the end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
Rename
funct
i
ons: __pop_foo(
)
=
>
_
_discar
d
_foo(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Car
p
enter
sma
t
ch
_
states: renam
e
some functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carpe
n
ter
r
e
leas
e
_resource
:
Doh
.
It
'
s
looking
for the wrong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan C
a
rpenter
fix select
s
tatement han
d
l
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
core: cleanup
.
dele
t
e
fake condition st
a
c
k code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Ca
r
penter
core: m
a
ke fake cur
_
slists stac
k
able
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan
C
arpenter
sli
s
t: make set_state_stack() return the new sm_stat
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carp
e
nter
*new*
c
heck_release_
r
esource
.
c:
c
h
ec
k
that we rele
a
se
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan
Carpenter
flow: split asm clob
b
ers, inputs and outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpe
n
ter
white_spac
e
only:
allow header f
i
les
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new
*
strip_whitespace
.
p
l: r
e
mo
v
es all the whitespac
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan
C
arpenter
*new*
check_r
e
so
u
rce_size
(
): prod people to
u
s
e re
s
ource_size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan
Carpenter
e
xtra:
a
s
sum
e
impossible
things are im
p
ossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Car
p
ent
e
r
err_ptr: fix btrfs false positi
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
e
r
r_
p
t
r
:
h
andle
when an err_p
t
r is reas
s
ign
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
*new* check_db_i
n
f
o
.
c
print
s
out stu
f
f
that
will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
c
leanup: mov
e
stuff from smatch_extra
.
c to smatch_
m
ath
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
nter
whi
t
espac
e
changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpe
n
ter
e
q
uiv: fix
crashin
g
bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpent
e
r
check_
o
verflow:
m
a
l
l
oc() =>
_
_alloc_smatch_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
s
match
.
c:
d
on't leak
t
hose 10 bytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
nter
assigned_expr: fix memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpent
e
r
k
erne
l
: f
r
ee_area() doesn
'
t call kfr
e
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Ca
r
penter
*new* check_
r
eturn
.
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
rpente
r
math:
m
ak
e
g
e
t_implied_value()
w
ork
f
o
r
pointers better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
C
a
rpenter
math: cleanup:
cr
e
at
e
s
e
p
arate _get_imp
l
ied_value(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an
Carpenter
math: handl
e
modulus '%' o
p
erations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
a
rpen
t
e
r
math
:
handle
E
XPR_POSTOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
math: c
l
eanup: ma
k
e handlin
g
bi
n
op
s
a switch() stat
e
ment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpente
r
math: cleanup create s
e
p
a
rate
hand
l
e_binop() function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
m
ath:
cleanup
.
use cast_to
_
type()
i
nste
a
d of re-implimen
t
ing it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpenter
m
ath: cleanup
.
s
e
parate h
a
ndle_pr
e
op
(
) into it's
o
wn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
r
p
ent
e
r
equi
v
: fix
crashing bug introd
u
c
e
d in
8c358883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
Create separate smat
c
h_math
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carp
e
nter
update smatch_data/ for
2
.
6
.
3
4-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
pen
t
er
i
mplied: clean up ma
k
e
a separa
t
e
handle_z
e
ro_comparison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpente
r
equiv: handl
e
compariso
n
s with
z
ero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: cleanup separate set_extra_true_false(
)
into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carp
e
n
ter
equiv, im
p
lied:
f
ix hand
l
in
g
b
orrowed
impl
i
c
a
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n Carpenter
i
mplied: don't update t
h
e equivel
e
nt
states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
rm vali
d
ation/smatch_closet
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpenter
equiv:
don't overwrite the implica
t
ion information
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rename __set_
s
tate() => __set_s
m
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n Carpe
n
t
er
re
n
a
m
e clone_state(
)
=
> clone_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
rp
e
nter
equiv: preserve ->e
q
uiv ac
r
oss merges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carp
e
n
ter
Use the
e
quiva
l
ent varia
b
le code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpente
r
r
e
move
t
r
a
ckers from -
>
eq
u
i
v
w
hen th
e
y are no lo
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Fix cra
s
hing bug cau
s
e
d by last
co
m
mit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
store inform
a
tion in the new dinfo->equiv thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
introduce a
d
d_tracker_
e
xpr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carp
e
nt
e
r
make
s
et_state() and friends
re
t
urn
th
e
new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Carp
e
nt
e
r
intr
o
duce
clone_t
r
acker_li
s
t()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Carpenter
add
"
e
quiv" field to struct data_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carpenter
move the alloc_dinfo() fun
c
tions to sm
a
t
ch_ex
t
ra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpente
r
ch
e
c
k
_signed:
w
a
r
n
a
bout comparing (unsigned v
a
riabl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Car
p
enter
update
v
al
i
d
a
tion/sm_
c
asts
2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*ne
w
* smat
c
h_scripts/show_errs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an Carpe
n
t
er
*new* smat
c
h
_
sc
r
ipts/whitespase_onl
y
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
add -no-li
n
eno
o
ption to spar
s
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
val
i
dation/sm_re
d
u
ndan
t
_check
.
c n
o
w it's
"info" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Ca
r
pe
n
ter
check_preced
e
nce: print
o
ne warning message instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
c
heck
_
signed:
handle unsi
g
n
e
d
64 bit variables
b
etter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carp
e
n
te
r
g
et
_
va
l
ue() hand
l
e some more m
a
th
o
per
a
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
D
an
C
a
r
pe
n
ter
make redunda
n
t null checks before kfr
e
e() an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpe
n
ter
c
h
eck_signed: E
l
i
minate some f
a
lse
p
o
siti
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
prec
e
dence:
check
f
or && vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
implications: improve handling of comparisons with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
use
impli
c
ations from POS
T
OPs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
condi
t
ions: parse EXPR_P
O
S
T
O
P
s
after eval
u
a
ting the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpe
n
ter
check_over
f
low:
r
emove
fal
s
e positives caused by prin
t
k
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carp
e
nter
flow:
improve
hand
l
ing of w
h
ile(i--) { l
o
o
ps
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carp
e
n
t
e
r
remov
e
stran
g
e loop me
s
s
age
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpenter
kpatch
.
sh: ask about alloc() failures specifically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next