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
sval: update smatch_flow.c
2012-10-29
Dan Carpenter
sv
a
l: update smatc
h
_flow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
a
rpenter
sval: upd
a
t
e
smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: r
e
move
t
ype_min/max()
w
hich are not used any
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: chan
g
e type_min
/
max()
=
> sval_type_
m
in/max(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan C
a
rpenter
sval: debug: fix reverse
d
if condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
val:
u
pd
a
te
che
c
k_sign
e
d
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: ad
d
sv
a
l_type_min
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpente
r
sval: fix s
v
al_
t
o_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval:
update check_snprintf
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Ca
r
pen
t
er
sval: update check
_
overflow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval
:
update
smatch_bu
f
_size
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Car
p
enter
sval: implement parse_c
a
ll_m
a
th_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
v
al: create a couple sval allocators
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpe
n
t
e
r
sv
a
l: update check_unwind
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
arp
e
nte
r
s
v
al: upda
t
e check_template
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update check_
s
izeof_pointer
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
an
Carpenter
sval: update validation/sm
_
propagate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update check_re
t
urn
_
enomem
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
ar
p
enter
sva
l
: update chec
k
_
r
eturn
_
e
f
a
ult
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
arpenter
sval: up
d
ate ch
e
c
k
_p
r
opagate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Car
p
enter
sval: upda
t
e c
h
e
ck_proc_cr
e
ate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval
:
update chec
k
_p
r
ec
e
d
e
nce
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carpente
r
sval: update check_
p
aram_range
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
a
rpenter
sv
a
l: update check_or
_
v
s
_and
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
p
e
nter
sval
:
update
check_
m
od
_
timer
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
an Carpenter
s
v
a
l
: update check_memset
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n
Carpe
n
t
er
sval: update check_logical_instead_of_bitwise
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpenter
sval: up
d
ate
c
heck_kmalloc_wrong_size
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: upd
a
t
e
check
_
gfp_dma
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arp
e
nter
sva
l
:
u
pdate check_get_us
e
r_o
v
erflow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpent
e
r
sval: u
p
d
ate check_freeing_null
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Ca
r
penter
sval: up
d
ate ch
e
ck_err_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpenter
sva
l
: update check_deref
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carpenter
sval: update check_debug
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
r
p
enter
sval:
update c
h
ec
k
_bool_implications
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Carp
e
n
ter
sval: update c
h
eck_b
o
g
us_loop
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval:
update check
_
b
o
gus_irqrestore
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update check_bit_shift
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Car
p
enter
sval: u
p
date check_assign_vs_com
p
ar
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
s
v
al: update check_alloc
a
t
ion_funcs
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Carp
e
nter
sval: update access_ok_m
a
th
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
an Carpenter
sval: c
l
ean up s
o
me naming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpenter
sval
:
implemen
t
t
h
e _s
v
al versio
n
s
of
a
bunch
o
f functi
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carpente
r
s
v
al: dele
t
e
get_absolu
t
e_max
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carpen
t
er
sval: update get_a
b
so
l
ute_max() call
s
to use sva
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carpe
n
t
e
r
math: m
o
ve
smatch_
m
ath
.
c to use
sva
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
t
ype: support some more
types i
n
get
_
type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Car
p
enter
type:
introduce sval_type_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Car
p
enter
sval: creat
e
a
n
ew basic storage for storing t
h
e value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carp
e
nter
unwind
:
only enable with --spammy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-25
Dan
Carpe
n
ter
db: don't turn RaiseError
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-25
Dan Carpenter
dev_
q
ueue_xmi
t
: t
u
rn on by d
e
f
a
u
lt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Da
n
C
a
r
penter
db: add
a
co
m
m
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
D
a
n
Carpenter
s
i
gne
d
: tiny whit
e
space
fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
absolute: fix parame
t
er info co
u
n
ting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpente
r
a
b
solute: fix how mo
d
ificatio
n
s are
h
andled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
D
an Carpe
n
t
er
deb
u
g: fix
c
u
t
and paste bug in print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
type: fix get_binop
_
type() f
o
r
b
it shif
t
o
p
erations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan C
a
rpenter
whitespace: add a newline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
D
an
C
a
r
penter
absolute:
t
rack th
e
ab
s
olute limits
that vari
a
bles
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Da
n
C
a
rpent
e
r
m
a
t
h
:
i
m
p
rove ho
w
get_a
b
s
o
lute
_
min/
m
ax() work
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
D
a
n Carp
e
nter
math: i
m
prove how known logical operations a
r
e
ha
n
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpenter
type: simplify get_bin
o
p
_typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
Da
n
Carpe
n
ter
typ
e
: improve han
d
ling of type promotion on binary
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan
C
arp
e
n
ter
extra: dele
t
e some debug
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
ra
n
ge
s
: parse
t
he ranges list corr
e
ctly if it o
n
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Carpenter
math
:
k
n
o
wn conditions a
r
e equal t
o
one
or zer
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carp
e
n
ter
math
:
handle select
s
tatem
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
D
an
Carpe
n
ter
helper:
i
m
pro
v
e printe
d
messages
a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Car
p
enter
extra: handle asm ex
p
ress
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
d
e
references_p
a
ra
m
: hand
l
e
s
trcmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpente
r
ran
g
es:
k
ill t
h
e "Err
o
r invalid r
a
nge mess
a
ge"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Da
n
Carpent
e
r
assigned_expr:
i
g
nore += assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n Car
p
enter
function_hook
s
: white space
f
ix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Car
p
enter
funct
i
on_
h
ooks: use the st
r
ipp
e
d
function
c
al
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
db, buf_
s
ize, parse_call_math: track
the size of
r
et
u
r
n
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
C
arpenter
get_implied_
r
a
nge_list:
u
se the new function h
o
oks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpente
r
implied_val
u
e: don't get confused
b
y
c
a
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Ca
r
p
e
nter
db/retur
n
_
s
tates: fix
r
eturn
v
alues fo
r
USER_DATA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
fun
c
tion_ho
o
ks: clean
u
p
some na
m
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
function_hooks: i
n
troduce get_im
p
li
e
d
_r
e
t
urn()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Da
n
Ca
r
penter
misc: whitespace cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db_cal
l
er_info: a
d
d
some
c
omments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
D
an C
a
r
p
enter
db, func
t
ion_hooks:
pass as
s
i
gnme
n
t e
x
p
r
essio
n
to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Dan
Carp
e
nter
buf_si
z
e: introduce get
_
a
rray_si
z
e_bytes
_
m
i
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Carpenter
c
apped: fix how th
e
min()
macro is
h
andle
d
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_size: db: Use
t
he --s
p
a
m
my option to fill
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_size:
m
e
r
g
i
ng two same size buff
e
rs giv
e
a same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_
s
i
ze: record stat
i
c
v
a
riables in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n
Carpente
r
proc_cre
a
te: fix a whitespace
i
ssue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Dan Carpenter
b
uf
_
s
ize, db: if a struct m
e
mber si
z
e
is set in
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpenter
che
c
k_kernel: fix
ERR_
P
TR
(
) false positi
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan
C
arpenter
l
ogica
l
_ins
t
e
ad_of_bitwise
:
fo
o
=
(1
<<
x)
&
& y; is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
D
an Ca
r
penter
l
oc
k
ing: _bh lock functions are nestable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
xtra: in
t
rod
u
ce filter_rang
e
_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
ker
n
el: handle I
S
_
E
R
R() properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpente
r
db_info: remove unused print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
extra,
f
un
c
tion
_
ho
o
ks, db: chan
g
e
c
ross function analysis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Car
p
enter
db
:
remov
e
the
r
eturn_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
smat
c
h_d
a
ta: upd
a
te
t
he da
t
a direc
t
or to the latest
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next