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 Carp
e
nter
*new* check_dere
f
erences_param: list f
u
nctions t
h
at
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* ret
u
rns:
merge all slist
s
from all returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpenter
db: add call_
i
mplies table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carp
e
nt
e
r
f
low
:
pr
i
nt a d
i
fferent file
n
ame when --
i
n
f
o
option
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
deref: fix
a
typo in the erro
r
m
essage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan
Car
p
enter
user_data: tr
a
ck user data that is retur
n
ed t
o
o
t
her
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carp
e
nt
e
r
bool_
i
mplic
a
tions: remove debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
D
an Carp
e
nter
fix compile on Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
D
a
n
Carpenter
generisize
.
p
l
:
s
t
rip
a
ll strings not just the
f
i
rst
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpe
n
ter
buf_siz
e
: Add
a NULL
c
h
eck to get_array_size_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Car
p
enter
*
n
ew* sizeof_pointer
:
using sizeof(p) where s
i
zeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Carpente
r
overflow: ch
e
ck m
e
mcpy() to see if
we're comparing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpent
e
r
extra: don't reset &arguments until the other ch
e
cks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpente
r
flow: change h
o
w "for (i = 0;
;
i++)
{
.
.
.
" is handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpen
t
e
r
*new* or_vs_and: compl
a
in a
b
ou
t
if (x !
=
3 |
|
x !
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpenter
s
p
arse:
introduce g
e
t_express
i
on_val
u
e_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan
Carpenter
typ
e
: introduce is_pointer() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpe
n
ter
extra:
f
rob(foo) rese
t
s the value of *foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
D
an Carp
e
nt
e
r
ext
r
a: foo((
v
oid *)&x) writes
to
x
p
r
obably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
D
an Carpenter
ranges: introduce
i
nvert_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan
Carpenter
m
a
th: handle
__smatch_impl
i
ed(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Carpenter
ranges: commit range_lists_equiv() so that bool_impl
i
ca
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Car
p
enter
smd
b
_param_buf_size
.
sh:
ask db what size bu
f
fe
r
s are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
an Carpenter
extra: ge
t
_implied_ran
g
e_list
(
)
shou
l
d h
a
n
dle condit
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Carpenter
bu
f
_size:
s
tore buffer sizes in
d
b (turned off b
y
default)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
arp
e
nt
e
r
db: do
n
't
die o
n
SQL errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpe
n
ter
bo
o
l_
i
mplicatio
n
s
:
make
a
list of im
p
licat
i
ons
f
or
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpenter
math: handle logica
l
exp
r
e
s
s
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
arpenter
cor
e
: pri
n
t sm_m
s
g()
s
b
efore
p
arsing starts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
Ca
r
pen
t
er
parame
t
er
_
impl
i
c
a
t
ion
s
: generate li
s
t
of fun
c
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
db: match_
r
et
u
rn() shouldn't re-implement get_implied_range_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpent
e
r
math: sort
o
f
hand
l
e c
o
nditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpent
e
r
math: s
i
mpli
f
y
i
m
p
lied_conditi
o
n_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
r
p
e
n
t
er
math:
s
implify known_con
d
it
i
on_true/false
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpente
r
ma
t
h: handle __smat
c
h_i
m
plied(({frob(); 2;}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpenter
m
a
th
:
handle foo
= !2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n C
a
r
p
ente
r
extra, m
a
th: move known_co
n
d
i
ton_true/false()
e
tc
from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpen
t
e
r
project: fix
pa
r
amete
r
implicati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
helper: introduce get_member_
n
am
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan C
a
r
p
e
n
ter
db: pri
n
t all return values
a
t
end of function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
D
an Carpenter
db: add s
o
m
e
smdb_ scrip
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carpenter
fill_db_return_
i
nfo:
f
ix out
da
t
ed
p
arsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: alway
s
i
nitialize the
range in get_implie
d
_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpenter
ext
r
a: f
i
x
get_impl
i
ed_
r
ange()
f
or functi
o
n call
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
rpenter
che
c
k_m
a
cros: cle
a
nup: use positions
_
eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
m
a
cro:
take a stru
c
t
position, no
t
a pointer to a str
u
ct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpe
n
ter
implied:
c
l
eanup:
m
ove
dubug printfs to their ow
n
func
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpenter
ranges: ge
t
rid
o
f po
s
sibly_(true/
f
alse
)
_ran
g
e_list_ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an
C
arpenter
ran
g
es: cl
e
an
u
p:
m
o
ve true_comp
a
rison_
r
ange_lr() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n C
a
rp
e
nter
extra: add paramete
r
implic
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
C
a
rpenter
ra
n
ges: introduce clone_permanent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ranges
:
in
i
tialize th
e
p
o
i
nter in get_va
l
u
e_
r
anges
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
d
b
:
ignore fu
n
cti
o
ns w
h
ich are ca
l
led a lot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpente
r
type: expo
r
t get_real_base_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpente
r
db:
a
d
d co
d
e to
hack up the database
w
i
th p
r
o
j
ect spec
i
fic
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
D
a
n Carpenter
condition
s
:
p
reserv
e
|
=
as the assign op in foo |=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Ca
r
p
e
nter
type
:
size
o
f(
)
is
u
n
signed l
o
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan
Carpenter
conditi
o
ns: sparse never seem
s
to us
e
S
P
ECIAL_UNSIGNED_GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Dan Car
p
enter
h
e
l
per: i
n
troduce posi
t
ions_eq
(
pos1, p
o
s2)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carp
e
nte
r
build_kernel_data
.
sh: make it executabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
D
a
n
Carpenter
macr
o
_side_effects: silence false pos
i
tives ins
i
de
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
t
e
s
t
_kernel
.
s
h
: create a bak
.
smatch at
t
h
e
b
e
g
i
n
ning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carp
e
n
t
er
*n
e
w*
c
h
e
ck_macr
o
_s
i
de_effects:
m
acr
o
s which
e
valua
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan C
a
rpe
n
ter
flow: ignore __b
u
il
t
in_constant_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
sp
a
rs
e
: set the
scope-
>
token member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carp
e
nter
call_
t
r
ee
.
pl: This was
still using the old for
m
at
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan C
a
r
p
enter
build_kernel_data
.
sh: add --call-tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n Carpe
n
ter
locking: ignore unreach
a
ble unlock
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
locking: white
s
pac
e
changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
n
e
w_b
u
gs
.
sh: fix it
f
or
gcc and spa
r
se
w
arnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Ca
r
penter
l
o
c
k
i
n
g: t
o
ns
of locks were ignored because of chang
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-10
Dan Carpenter
token_store: create
s
a position
-
>
token ma
p
ping
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-08
Dan
Ca
r
penter
M
e
r
g
e branch 'devel2'
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpenter
*new* check_bit_shif
t
.
c
:
(foo & BAR) vs (foo & (1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-06
Dan C
a
rpenter
*new* p
o
i
nter_math: complain abou
t
ptr + sizeof() where
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-05
Dan Carpenter
type
:
e
x
po
r
t get_p
o
inter
_
t
ype()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-02
Dan C
a
rpenter
type: e
x
port get_po
i
n
t
er
_
typ
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Da
n
C
arpenter
fl
o
w:
f
ix s
e
g
fault on parse error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpe
n
ter
hook
s
: add
CAST_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
D
an Carpen
t
er
type
:
add
n
r_
b
its(struct expression *expr)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpente
r
extra: delete
the get_range_list() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan
Carpenter
new: sm
a
tch
_
scr
i
pts/build_kernel_data
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan C
a
rpenter
ne
w
: smatch_
s
c
ripts
/
test_k
e
rne
l
.
s
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
D
a
n
Car
p
ent
e
r
r
anges:
make possibly_
t
ru
e
/false()
ta
k
e
e
xpression
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan
C
arpenter
expressi
o
n
s: new file smatch_expressi
o
n
s
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Car
p
en
t
er
tree wide: don't
pr
i
n
t offset into function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
ge
n
eri
z
e
.
pl: make it work
f
or sparse war
n
ings as we
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Da
n
Ca
r
pent
e
r
esta
t
e: d
o
n't reus
e
extra_u
n
defined
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Da
n
C
a
r
p
ent
e
r
co
n
tra
i
nts:
a
dd option --de
b
ug-related
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
c
o
ns
t
raint
s
: make set_equiv() take
a
n expression
p
o
inter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
enter
e
xtra, constraints: move set_equiv(
)
fr
o
m
e
xt
r
a to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Ca
r
pen
t
er
d
ebug: add _
_
s
match_du
m
p_related()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
implied:
u
se add_ra
n
ge()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Carpenter
estate,
r
anges: move whole_range fr
o
m
e
state to ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
extra: cl
e
anup is_whole_
r
ange()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
ranges: make pos
s
ibly_true_range
_
list_rl(
)
take
an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carp
e
nte
r
ranges: renam
e
get
_
single_value_from_dinfo()
=
>
estate_get_s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan
Car
p
e
nter
i
m
plied:
use new estate_related() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n Carp
e
nt
e
r
constrai
n
ts:
u
s
e
new estate_related() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
constraints: m
a
ke get_common_relation
s
hip() ta
k
e
an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next