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
*new* check_dereferences_param: list functions that dereference parameters
2012-05-15
Dan C
a
rpen
t
er
*new* check_de
r
eferences_param:
list functions
t
hat
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
enter
*new* returns:
merge all
slists from all returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carp
e
nter
db: add call_implie
s
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an Car
p
ente
r
flow: pri
n
t a diff
e
re
n
t file
n
am
e
whe
n
--info
o
ption
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpenter
der
e
f: fix a typo
in the error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan
Ca
r
penter
use
r
_
d
ata: tra
c
k u
s
er data that
is r
e
tu
r
ned t
o
other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan
C
arpente
r
bool_implic
a
tions: r
e
move debugging out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan
Carpenter
fix compile on Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
D
an Car
p
enter
generisize
.
pl: strip all
s
tring
s
not ju
s
t
the first
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
buf_
s
ize: Add a NULL
c
heck
t
o
get_
a
rray_size_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*n
e
w
* s
i
z
e
of_point
e
r: using size
o
f(p) where
s
izeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carp
e
nt
e
r
overflow: check memcpy() to
see
if we
'
re
c
omparing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
ext
r
a: d
o
n't re
s
e
t
&argu
m
e
nts until
the other
c
he
c
ks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
flow: c
h
ange
how "
f
or (i =
0
;
;
i++) {
.
.
.
"
is
h
andled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*
new* or_v
s
_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 Carpenter
sparse: introduce
get_expressi
o
n_value_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
type: int
r
oduce i
s
_point
e
r() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extra: fr
o
b(f
o
o) rese
t
s
the va
l
u
e
o
f *foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan
Carpent
e
r
e
xt
r
a: foo((
v
oid *)&x) wri
t
es
to x probably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carp
e
nter
r
a
n
ges: i
n
troduce invert
_
r
ange
_
l
ist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math
:
han
d
le __smatch_im
p
lied(&
x
);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
arpenter
ranges: commit
r
ang
e
_lists_equiv() so th
a
t boo
l
_implicat
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
s
m
db_param_b
u
f_size
.
s
h: ask db what size
b
uffers
a
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Carpenter
extra: get_implied_range_
l
ist() should
h
andle condit
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
buf
_
siz
e
: store
b
uffe
r
sizes in
d
b (turned off
by def
a
ult)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
rpenter
db: don't
die on SQL erro
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Carpe
n
t
e
r
bool_im
p
lications: make a list
o
f implications for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
D
a
n Carpenter
m
a
t
h: handl
e
logical
e
xpre
s
sion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
core: print sm
_
msg()s b
e
fo
r
e
p
arsing start
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
param
e
t
e
r_impl
i
cations
:
generate
li
s
t of functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
db:
m
atch_r
e
tu
r
n
() shouldn't
r
e-implemen
t
get_impli
e
d_rang
e
_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
rpenter
math:
sort of
handl
e
condi
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpen
t
er
math: simplify implied_conditi
o
n_t
r
ue/false
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
ar
p
enter
math: s
i
m
plify kno
w
n_co
n
dit
i
on_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math:
h
andle __s
m
atch_implied(({f
r
ob(); 2;
}
));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpen
t
er
math: handl
e
foo
= !2
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpent
e
r
extra, math:
m
ov
e
known
_
c
ond
i
ton_true/
f
alse() e
t
c
f
rom
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Car
p
ente
r
project: fix parameter implicatio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan
Carpenter
h
e
lper:
i
ntrodu
c
e ge
t
_membe
r
_
n
ame()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
db: print
a
ll return values at
e
n
d
of function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan Ca
r
penter
d
b
: add some sm
d
b_ scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carp
e
nter
f
ill_db_return_info: fix out dat
e
d parsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpent
e
r
e
x
t
ra: alw
a
ys ini
t
ialize the rang
e
in
get_implied_range_list(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Car
p
en
t
er
extra: fix g
e
t_implied_range() for functi
o
n
c
alls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carpenter
check_
m
acros: cle
a
n
u
p:
u
se positi
o
ns_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
macro:
take a
struct posi
t
io
n
, no
t
a pointer to a s
t
r
u
ct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
implied: cleanup:
m
ove dubug
p
rintfs
t
o their ow
n
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
enter
ranges: get rid
of possibly_(true
/
f
a
lse)_range_list
_
ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carpente
r
r
a
n
ge
s
:
cleanup: move tr
u
e_comparis
o
n_range_lr() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
extra: add par
a
m
eter
i
m
p
lications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Car
p
e
nter
ranges: intro
d
uc
e
clon
e
_permanent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Carpente
r
ranges
:
initialize the poi
n
ter in get
_
val
u
e_ra
n
ges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db: ignore
functio
n
s
which ar
e
c
a
l
led a lo
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
type: expor
t
get_r
e
al_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Car
p
enter
db: add
c
ode to hack up the database with project s
p
ecif
i
c
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carp
e
nter
conditions: preserve |= as the a
s
sign op in fo
o
|=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
type: s
i
zeof() is
u
nsigned long
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
c
o
nd
i
tio
n
s: sparse never
se
e
m
s
t
o
use SPECIAL_U
N
SIGNED_GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Dan
C
arpe
n
ter
help
e
r: intr
o
duce positions_eq(pos1, pos2) func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpenter
build_k
e
r
n
el_data
.
sh: m
a
ke i
t
ex
e
cutabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Da
n
Carpenter
macro_side
_
effects: silence false po
s
it
i
ves inside
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpent
e
r
test_kernel
.
sh:
create
a bak
.
s
m
atch at the
b
e
ginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpen
t
er
*new* chec
k
_m
a
cro_
s
i
d
e_e
f
fe
c
ts: macros whi
c
h evaluate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
D
an Carpenter
f
l
ow:
ignore _
_
builtin_constant_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan
Carpent
e
r
sparse:
s
et the scop
e
->token member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan C
a
rpenter
call_tree
.
pl: This was s
t
i
l
l usi
n
g th
e
old fo
r
mat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
build_
k
ernel_dat
a
.
sh: a
d
d
--call
-
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
lock
i
n
g
: ignore un
r
eachable unlo
c
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n Car
p
enter
locking:
w
hite
s
pace changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Da
n
Carpenter
new_bugs
.
sh: fix
it
f
o
r
gcc and s
p
arse w
a
rnin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan
C
arpenter
locking: ton
s
of
locks were
i
g
n
o
red becaus
e
of c
h
anges
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-10
Da
n
Carpenter
to
k
e
n_store: creates a position -
>
t
oken mapping
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-08
D
a
n
Carpent
e
r
M
erge bra
n
ch
'
devel2'
commit
|
commitdiff
|
tree
2012-03-08
Dan
C
arpenter
*new
*
check_bit_shi
f
t
.
c
: (foo
& BAR) vs (foo & (1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-06
Dan Carpenter
*n
e
w* pointer_
m
a
t
h
: com
p
lain about p
t
r
+ s
i
zeof() where
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-05
Dan Carpenter
ty
p
e:
ex
p
ort get_pointer_typ
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-02
Dan C
a
rpenter
type: e
x
port get_pointer_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Da
n
Carpenter
flow: fix segfaul
t
on
parse
error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
D
a
n
Carpenter
hooks: add CAST_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Da
n
Ca
r
penter
type: a
d
d
n
r_b
i
t
s(stru
c
t express
i
on *
e
xp
r
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan
C
arpe
n
ter
e
x
t
r
a
: de
l
et
e
the get_range_lis
t
() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan C
a
rpenter
new: smatch_scr
i
pts/build_kernel_data
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Da
n
C
a
rpenter
new:
s
match_scripts
/
test_kernel
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
D
an
C
arpenter
r
a
nges: make possibly_tru
e
/
f
alse() tak
e
expre
s
sion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Da
n
C
arpenter
express
i
o
n
s: ne
w
file smatch
_
e
x
p
r
essions
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Car
p
e
n
te
r
tree wid
e
: don't
p
rint offset into fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan C
a
rp
e
nter
generize
.
p
l
: make it work for sparse w
a
rnings as
wel
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
estate: d
o
n't reuse extr
a
_undefi
n
ed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
D
a
n
Carpent
e
r
con
t
raints:
add
optio
n
--debug-
r
elated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
enter
constraints: mak
e
set
_
equiv() take a
n
express
i
on pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Carpenter
extra, c
o
nstraints: move set_equiv() from extra to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
debug: add _
_
sm
a
tch_dump
_
relat
e
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
enter
implied: use
ad
d
_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
es
t
ate, ranges
:
mo
v
e
whol
e
_range from e
s
tate to ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
arpenter
extra:
cleanup
is_whole_rang
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
an
Carpenter
ra
n
ges: make
po
s
sibly_true_range_list_r
l
() tak
e
an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpen
t
er
r
anges: re
n
ame
g
e
t
_single_value_from_dinfo() => es
t
a
t
e_get_s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpenter
i
m
plied: use new
esta
t
e
_
rela
t
ed()
f
unc
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpente
r
c
onstraints:
use new
e
s
tate_related() functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Carp
e
nter
con
s
trai
n
t
s: ma
k
e get_commo
n
_r
e
lation
s
hip(
)
ta
k
e an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next