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
cleanup: use valid_ptr_min/max. get rid of POINTER_MAX
2012-05-16
Da
n
C
a
rpent
e
r
cleanup: use valid_ptr_min/max
.
get r
i
d
o
f
POI
N
TER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n
C
a
rpenter
extra: deref
e
rencing a point
e
r means it is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
impli
e
d: cleanup debug ou
t
p
u
t a little
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
s
l
i
st: pull s
h
ow_sm()
in
t
o
a separate fu
n
ctio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
chec
k
_kern
e
l: ERR_PTR() re
t
urns non-NULL (
m
ostly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpen
t
er
dereference checks:
u
se the
c
ross functi
o
n inf
o
from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an
C
arpenter
*new* ch
e
ck
_
d
e
references_param:
li
s
t f
u
nct
i
ons that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
rp
e
n
ter
*
n
ew*
r
eturns: merge all s
l
ists from all returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
db: a
d
d cal
l
_imp
l
ies
t
a
bl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpenter
f
l
ow: print a different f
i
lena
m
e
when -
-
info option
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
rpente
r
deref: fi
x
a typo in
t
he e
r
ror message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
D
an
C
arpenter
user_data: track
u
ser
d
ata t
h
a
t
is retu
r
ne
d
to other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan
C
arpenter
b
o
ol_implications: rem
o
ve debuggin
g
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
D
an
C
arpenter
fix compile o
n
Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
D
a
n
Car
p
enter
gener
i
size
.
pl: strip al
l
st
r
ings
n
ot
ju
s
t th
e
first
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Da
n
Carpenter
buf_
s
ize:
A
dd a NULL
check to get_
a
r
ra
y
_size_b
y
tes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan C
a
rpenter
*n
e
w* sizeof_pointer: using sizeo
f
(p) where
s
i
z
eof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
an Ca
r
pe
n
te
r
overflow: c
h
eck memcpy() to see if we're comparing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carpente
r
e
xtra: don't
reset &arg
u
me
n
ts until
t
h
e
o
ther
c
hecks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carpen
t
er
flow: change
how "for (i = 0; ; i++)
{
.
.
.
" is h
a
ndled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
an Carpen
t
e
r
*
n
e
w
* or_vs_and: compl
a
in about if (x
!= 3 ||
x
!=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpent
e
r
sparse: in
t
rodu
c
e get_e
x
pression_value_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
type:
i
ntroduce is_pointer
(
)
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpent
e
r
extr
a
: frob
(
foo) r
e
sets the v
a
lue of
*foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
D
a
n Carpe
n
te
r
extra: foo(
(
v
oid *)&x
)
writes t
o
x p
r
obably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Da
n
Carpenter
ra
n
ges:
introduce invert_
r
ange_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carp
e
nter
math: handle __sma
t
ch
_
implied(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
a
rpenter
ranges:
c
om
m
it range_lis
t
s_equ
i
v() so that bool_
i
mplications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
smdb_param_buf_size
.
sh
:
ask d
b
w
h
at size bu
f
fers are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
ext
r
a: get_implied_
r
ange_list() should handl
e
condit
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpente
r
buf_size: sto
r
e buf
f
er si
z
e
s
i
n
db (turne
d
off by defau
l
t)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
db: don't
die
o
n SQL
e
rrors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpent
e
r
bo
o
l_implica
t
ions: mak
e
a list of i
m
plicatio
n
s for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
D
a
n Carpenter
math: han
d
le logi
c
al expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpen
t
er
core
:
prin
t
sm_ms
g
()s before parsi
n
g
s
tarts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan C
a
rpenter
paramete
r
_impli
c
atio
n
s: gene
r
ate list of fun
c
tions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
db: match_return(
)
shouldn't re-implement get_implied_range_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpenter
math: sort of
h
and
l
e condit
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n
C
arpe
n
ter
math: simplify
implied_cond
i
t
i
on_true/f
a
l
se()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n
C
a
r
penter
math: simplify
k
nown_co
n
dition_tr
u
e/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
pe
n
ter
math: handle __smatch_implie
d
(({frob(); 2
;
}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carp
e
nter
math: handle foo =
!
2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carp
e
nter
e
xtra, mat
h
:
move known_
c
ondi
t
on_true/false() etc from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
D
a
n C
a
r
pen
t
er
project:
f
ix par
a
mete
r
i
mplicatio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Ca
r
penter
helper: introduce get_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpen
t
er
db:
p
r
int
all
ret
u
rn
v
alues at end of fu
n
cti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Da
n
Carpenter
db: add some
smdb_ scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpen
t
er
fill_
d
b_ret
u
r
n
_info:
fix out dated
p
arsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: always ini
t
i
alize
t
h
e
range in get_implied_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
a
rp
e
nter
extra: fix get_implied_range() for fun
c
tion cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an
C
arpenter
check_macr
o
s
:
cleanup:
u
se pos
i
t
i
on
s
_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpenter
macr
o
:
tak
e
a struct positio
n
, n
o
t a pointer to a struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Ca
r
pent
e
r
implied
:
cle
a
nup: move
d
u
b
ug
p
rintf
s
to their
own
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
p
enter
ra
n
ges: ge
t
r
id of p
o
ssi
b
ly_(true/false)_range_list_ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpe
n
ter
ranges:
cleanup
:
move true_comp
a
rison_range_lr() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
extra: add paramete
r
imp
l
ications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ranges: i
n
troduce
c
lone_perma
n
ent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
range
s
: i
n
it
i
alize the
pointer in get_value_ranges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carp
e
nter
db: ignore funct
i
ons which are called a lot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
C
a
rpente
r
type: ex
p
or
t
g
et_real_base_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
Car
p
enter
db: add co
d
e to hack up the da
t
a
base with
p
r
oject spe
c
ific
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan C
a
r
p
enter
c
ond
i
tions: prese
r
ve
|= as the assi
g
n op in foo |=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
D
an Car
p
ente
r
type: sizeof() is un
s
igned l
o
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan
C
arpenter
conditions:
s
pa
r
s
e
never seem
s
to use
SP
E
CIAL_UNSIGNED_GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Dan Carpenter
helper: in
t
roduce pos
i
tions_eq
(
pos1, pos2
)
functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
D
an Carpenter
build_kernel_
d
ata
.
sh: make it exec
u
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Car
p
enter
macro
_
side_
e
ffects: silence
f
a
l
se positives i
n
s
ide
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
D
a
n Carpen
t
er
test_kernel
.
sh: creat
e
a bak
.
s
m
a
t
c
h at the beginnin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpente
r
*new* ch
e
ck
_
macro_side_effect
s
: ma
c
ros wh
i
ch evaluate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
flow:
ignore
_
_builtin_constant_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan
Carpenter
sparse: s
e
t the scope->to
k
e
n member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Car
p
enter
call_tree
.
p
l
: Thi
s
wa
s
still using the old format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Car
p
enter
build_kernel
_
data
.
sh
:
add -
-
c
a
ll
-
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Car
p
e
n
ter
locking: ig
n
o
re u
n
re
a
ch
a
ble unlo
c
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Da
n
Carpenter
locki
n
g
:
white space change
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carp
e
nte
r
new_bu
g
s
.
sh: fix it fo
r
gcc and sparse warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
l
oc
k
i
n
g
: tons
o
f
locks were ignored because
of chan
g
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-10
Dan Carpenter
t
o
ken_
s
tore: creates a position -> token mapping
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpenter
Merge branch 'devel2'
commit
|
commitdiff
|
tree
2012-03-08
Dan
C
arpenter
*new
*
check_bit_shif
t
.
c: (f
o
o
&
BAR)
vs (foo
& (1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-06
D
an Carpe
n
t
e
r
*new* pointer
_
math: complain a
b
out
ptr + sizeof
(
) where
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-05
Dan
C
arpenter
type:
export ge
t
_po
i
nter_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-02
Dan Car
p
ente
r
type: exp
o
rt
get_pointer_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
D
an Carp
e
nter
flow: fi
x
segfau
l
t on p
a
rse
error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
ho
o
ks: add CAST
_
HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
type: a
d
d nr_bits(struct expres
s
i
o
n *
e
x
pr
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpen
t
e
r
e
x
t
ra
:
delete t
h
e get_r
a
n
ge
_
list() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpe
n
ter
new:
s
match_
s
c
r
ip
t
s/buil
d
_ke
r
nel_
d
ata
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan
Carpe
n
t
er
new:
s
match
_
scripts/test_kernel
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Da
n
Carpenter
ranges: mak
e
po
s
si
b
l
y_
t
rue/false() take e
x
p
ression
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan
C
a
rp
e
n
t
er
expres
s
ions: new file sma
t
ch
_
exp
r
essi
o
ns
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Car
p
en
t
er
tree wid
e
: do
n
't prin
t
offset into function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
D
an
Carpenter
ge
n
eriz
e
.
pl: make it work for sparse warn
i
ngs a
s
well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
estate: don't reuse extra_u
n
defi
n
ed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Da
n
Carpenter
contraints: ad
d
option
--debug-related
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
constra
i
nts: mak
e
set_equ
i
v() take
an e
x
pre
s
sion
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpe
n
ter
extr
a
, con
s
traints: m
o
v
e set
_
equiv() fro
m
extra to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carp
e
nter
debug: add __smatch_dump_rela
t
ed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan
Carpen
t
er
impl
i
ed: use add_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
enter
estate, ranges: move whole_ra
n
ge from
e
state to ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next