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
n
ter
*new* check_der
e
ferences_param: list functions that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpenter
*new* r
e
turns: me
r
ge all slists fro
m
all returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
db: add call
_
implie
s
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
C
a
rpenter
flo
w
: p
r
i
n
t a
diffe
r
ent filename whe
n
--info 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
message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Car
p
enter
use
r
_da
t
a: track user da
t
a that is r
e
turned to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Da
n
C
a
rpe
n
t
e
r
bool_i
m
p
lications: remove debugg
i
n
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpenter
fix
c
ompile on Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Ca
r
penter
gen
e
risize
.
pl: strip all
s
tr
i
n
g
s n
o
t just the first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan
C
arpenter
b
uf_
s
ize: Add a NUL
L
chec
k
to get
_
array_size_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*new*
s
izeo
f
_p
o
inter: using si
z
eof(p
)
w
here sizeo
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
overflow: check memcpy() to see if
w
e'
r
e c
o
m
paring
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
extra: don
'
t r
e
se
t
&argume
n
ts until the other ch
e
cks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
penter
f
low: change
h
ow
"
for (i = 0; ; i++) {
.
.
.
" is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*new*
o
r_vs_and: co
m
plain ab
o
ut i
f
(x != 3 || x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpente
r
sparse: in
t
roduce get_expres
s
ion
_
value_n
o
mod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan
C
arpenter
ty
p
e: introduce is_pointer() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
e
x
t
r
a: frob(foo) resets t
h
e value of *foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carp
e
nter
ext
r
a
: foo((voi
d
*
)
&
x
) writes to x probably
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpent
e
r
ranges: introduce invert_ra
n
ge_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan C
a
rpenter
math: handle __smatch
_
imp
l
i
ed(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
rpen
t
e
r
rang
e
s
:
comm
i
t r
a
nge
_
lists_equiv() so tha
t
bool_imp
l
ica
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Carpenter
sm
d
b
_par
a
m_buf_size
.
sh
:
ask db what s
i
z
e
buffers are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpent
e
r
extra:
g
e
t_imp
l
ied_r
a
nge_list
(
) should
handle conditi
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Carpenter
buf_s
i
ze: store buf
f
er
s
izes
in db (t
u
rned of
f
by d
e
fault)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
penter
d
b: don't
die on SQL errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
bool
_
implication
s
: make
a
list of
i
mpl
i
cations
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpenter
math
:
handle logical express
i
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
D
an Car
p
en
t
er
co
r
e:
print sm_msg
(
)s before parsing s
t
arts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
arpenter
p
a
r
ameter_
i
mplic
a
tion
s
: generate
list of functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpente
r
db: match_re
t
urn()
sh
o
u
l
dn'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 handle cond
i
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n
C
arpente
r
m
ath:
s
implify implied_
c
ondition_true
/
false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
penter
math: simpl
i
f
y
known_condi
t
i
on_t
r
ue/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: handle __
s
match_implied(({f
r
ob(); 2;}));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math
:
handle foo = !2;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpe
n
ter
extra, math:
m
ove known_co
n
di
t
on_tr
u
e/false()
e
t
c
f
r
om
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
D
an Carpenter
pr
o
ject: fix pa
r
a
meter
implicati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Ca
r
pent
e
r
he
l
per
:
introduce
get_membe
r
_name(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
db
:
print
all
r
eturn val
u
e
s
a
t
e
nd of func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
D
an Carpente
r
db: add
so
m
e
s
m
d
b
_ scripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
a
r
p
ente
r
fill_db_return_info: fix out dated parsing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpent
e
r
extra: always initialize the range in g
e
t_implied
_
range_
l
ist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: fix g
e
t
_
implied_ran
g
e
(
) for func
t
ion
c
a
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpen
t
er
check
_
macr
o
s: clean
u
p
:
use pos
i
tio
n
s_e
q
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
enter
macro:
take a s
t
ruct position,
n
ot
a
pointer to a s
t
ruct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carpent
e
r
implied: cleanup
:
move dubug
p
ri
n
tfs
to their own func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carp
e
n
ter
ranges: g
e
t rid
o
f possib
l
y
_
(true/f
a
ls
e
)_range_list_ls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpente
r
r
anges: cle
a
nup: move true_compar
i
son_
r
a
n
ge_lr()
into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan
Carpenter
extra: add param
e
t
e
r implication
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpe
n
t
e
r
rang
e
s: introd
u
ce clone_
p
ermanen
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpenter
ranges: initia
l
ize the
p
o
i
n
t
er
in
g
et_value_ranges()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Ca
r
pente
r
db: ignore fun
c
tions which
are called
a lot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n
C
a
r
penter
type: e
x
p
o
rt
ge
t
_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 code to h
a
ck up the da
t
abase w
i
th proj
e
ct speci
f
ic
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpen
t
er
c
o
n
diti
o
ns: preserve |= as the assign op
i
n foo
|
=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carp
e
n
t
e
r
t
y
p
e
: sizeof()
i
s
u
n
signed long
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Da
n
Carpent
e
r
co
n
ditions:
s
parse ne
v
e
r se
e
ms to us
e
SPECIAL_UNSIGNED
_
GT
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
Dan Car
p
enter
helper: introd
u
ce positions_eq(po
s
1, pos2) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpe
n
ter
build_ke
r
n
el_data
.
sh:
m
a
ke i
t
executable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan C
a
rpenter
ma
c
ro_side_eff
e
cts:
si
l
ence
false positives inside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpen
t
er
tes
t
_kernel
.
sh: create
a
bak
.
sm
a
tc
h
at
th
e
b
eginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan C
a
rpenter
*new*
check_macro
_
s
ide_effects: macros
which evaluate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan
C
arpen
t
er
flow:
ig
n
ore __builtin_
c
onstant_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan
C
arpenter
sparse: set the sc
o
p
e
->token me
m
ber
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
D
a
n C
a
r
p
en
t
er
call
_
tree
.
pl: This
w
as still using the old format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpe
n
t
er
b
u
ild_k
e
rne
l
_data
.
sh
:
add --cal
l
-tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan
Carpenter
locking: ignor
e
unr
e
achable un
l
ock
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan C
a
rpenter
locking: wh
i
te spac
e
change
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Car
p
en
t
er
new_bugs
.
sh: fix
it for gcc
a
n
d sparse
warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan
C
arpen
t
er
locking: tons of locks w
e
re ignored because of cha
n
ges
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-10
D
an Carpe
n
ter
token_store
:
creates
a position -> token ma
p
pin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpente
r
Merge
b
ranch '
d
evel2'
commit
|
commitdiff
|
tree
2012-03-08
Dan Carp
e
nter
*ne
w
* check_
b
it_shift
.
c: (foo & BAR) vs
(foo
&
(
1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-06
Dan Carpenter
*ne
w
* pointe
r
_math:
c
omplain about ptr + sizeof() where
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-05
Dan Carpenter
t
y
pe:
e
xport get_poin
t
er_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-02
Dan Ca
r
penter
type: export get_po
i
nt
e
r
_type
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
flow: fix
s
egfault on parse er
r
or
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
an Carpente
r
hooks: add CAST_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan
Carp
e
nter
t
y
pe: add nr_bits(struct e
x
p
r
e
ss
i
on *ex
p
r)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
extra: delete the get_r
a
n
g
e_l
i
st
(
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Dan C
a
rpent
e
r
new: smatc
h
_scripts/
b
uild_kern
e
l_data
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpenter
new: smatch_scr
i
pts/tes
t
_
k
erne
l
.
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpenter
ranges: make possibly_true/false() take
e
xpression
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
D
a
n
Carpen
t
er
exp
r
e
s
s
i
ons: new file smatch_express
i
ons
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan
C
arp
e
n
ter
tree wide
:
don't print offset into fun
c
t
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpent
e
r
generize
.
p
l
: make
i
t
w
ork fo
r
sparse war
n
ings as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpe
n
ter
estate: don't reuse
extra_undefined(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
contraints: add
option --debug-rela
t
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpenter
c
onstraints: make set_equiv() tak
e
an expres
s
ion po
i
nter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
extra, c
o
nstr
a
i
n
ts
:
move set_equiv() from
e
x
tra to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
enter
debug: add __s
m
atc
h
_dump_related()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
Ca
r
penter
im
p
lied: use
a
d
d_ran
g
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Carpenter
est
a
te, r
a
nges: move whole_rang
e
from estate to ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
C
a
rp
e
nter
extra: cle
a
nup
i
s_whole
_
rang
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
arpenter
ranges: make possibly_true_range_li
s
t_rl(
)
ta
k
e
an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n Carpenter
ranges: rename get
_
single_va
l
ue_from_
d
i
n
fo(
)
=
>
estate_get_s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpente
r
implie
d
: use new estate_related() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carp
e
nter
constrain
t
s: u
s
e new estat
e
_
r
ela
t
ed(
)
functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
e
n
t
e
r
c
ons
t
raint
s
: make get_c
o
mmon_relationship() take an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next