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
sparse: Add '__vector_size__' to ignored attributes
2012-06-16
KOSAKI Motohiro
sp
a
rse: Add '__
v
ec
t
o
r
_
s
ize__' to
ignored
a
ttribute
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
enter
M
erge
g
i
t
:
//git
.
kernel
.
org/pub/scm/
d
eve
l
/spa
r
se/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
O
r
vs and: warn
about bitwi
s
e ANDs th
a
t
a
l
ways give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs and: if (foo & ZER
O
) is
nonsense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan C
a
rp
e
nter
functi
o
n
_
hash: make it easi
e
r
to handle a file with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Ca
r
penter
sign
e
d: unbreak the check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
over
f
low:
u
pdate
va
l
idation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
Carpenter
flow: handl
e
struct i
n
it
i
alizatio
n
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
fl
o
w:
handle EXPR_O
F
FSETO
F
and EXPR_ALIGN
O
F
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Car
p
enter
o
verflow: i
g
nore "x = &foo[ARRAY_SIZE(foo)
]
;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n
C
arpenter
overflow
:
w
hite space cle
a
nup
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
implied:
the
b
ase sli
s
t is not sp
e
ci
a
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
an Car
p
e
n
ter
slist: change for
m
a
t for debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpent
e
r
e
x
p
r
essions: introdu
c
e some more
e
xpression alloca
t
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
D
an C
a
rpenter
v
a
l
i
dation:
u
pda
t
e
d
eref
e
ren
c
e check output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan C
a
rp
e
nter
implied: certain states
s
houl
d
b
e
left as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n C
a
rpenter
s
l
ist:
p
u
t the
s
m_sta
t
e
its
e
lf in
t
o ->possi
b
l
e
no
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Da
n
Ca
r
p
e
nter
sli
s
t:
c
leanup merge_hooks
A
P
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
extra: don't
c
r
e
ate a new merged estate if ->right
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
e
states: reuse
s
ame estate
for ex
t
r
a
_und
e
fined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: get r
i
d o
f
add_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpenter
c
o
n
s
traints: r
e
mov
e
s
o
me dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpe
n
t
e
r
constraints
:
fix s
e
t_eq
u
iv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nter
constraints: add_related() should take
a r
e
lated
_
li
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
p
enter
c
o
nstr
a
ints
:
sort the -
>
rel
a
ted list proper
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpe
n
ter
co
n
strai
n
ts: replace get_common
_
re
l
ationship() with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nter
slist: mov
e
add_poo
l
() t
o
sm
a
tch_implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
D
a
n Carpenter
bit_
s
hift: add test_bit
(
) fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpenter
f
lo
w
:
s
i
lence false positives c
a
used by ha
i
ry f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
penter
i
mpl
i
e
d: ren
a
me ->my_pool
t
o
-
>
p
oo
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carp
e
nter
slist:
rename
a
dd_possible()
=
>
c
opy_possi
b
l
e
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
ter
or_vs_and: ignore *p++ || *p++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
tracker: fix a
small memory lea
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
enter
modificatio
n
:
rem
o
ve
calls to delete
_
st
a
t
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carp
e
nter
check_derefe
r
ence: enable this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
an Carpenter
db: store
wh
e
ther f
u
nctio
n
s ar
e
gl
o
bal or static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Car
p
e
n
ter
tra
c
ker: remove unus
e
d clo
n
e_tracker_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpenter
sli
s
t
: buffer overf
l
ow
i
n debuggin
g
cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpenter
user_dat
a
: fix NULL d
e
re
f
erence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db:
w
h
ite
s
pace cleanup
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan C
a
rpenter
db: move parameter_implicati
o
ns i
n
to the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan C
a
rpenter
ranges
:
add possibly_true/false_
r
a
n
g
e
_
li
s
ts_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
ov
e
rflow: auto
m
atically lis
t
fun
c
tions that
t
ake
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
modification_hooks: complete rewrite
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpenter
d
b:
p
rint the
S
QL queries when --
d
ebug i
s
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
an Car
p
enter
c
l
eanup: use v
a
lid_ptr_min
/
m
a
x
.
g
et rid o
f
POINT
E
R_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Carpente
r
ex
t
ra
:
de
r
efer
e
ncing
a
po
i
nter means it is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Ca
r
pen
t
er
i
m
p
l
ied: cleanup deb
u
g ou
t
put
a
little
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Ca
r
pe
n
ter
s
list:
pu
l
l show_sm() into a separate function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
check
_
kernel: ERR_PTR() retur
n
s
non-
N
ULL (mostly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
dereference check
s
:
use the cro
s
s function inf
o
fro
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*
new* check_der
e
ferences_
p
aram: list functions
that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carpenter
*
n
e
w* retu
r
n
s: merge all slists from
a
ll returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
rpenter
db: add ca
l
l_implies
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
flow: pr
i
nt a different filename when --info optio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
de
r
e
f
: fi
x
a
typo in the err
o
r message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Car
p
e
nter
u
s
er_
d
ata: track u
s
er data that is
r
et
u
rned t
o
o
ther
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Car
p
enter
bool_implicatio
n
s
:
remov
e
debug
g
ing output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan
Carpenter
fix compile
o
n Ubun
t
u
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
D
an Carpenter
generis
i
ze
.
p
l
: strip all strings
n
ot just
the first
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
bu
f
_si
z
e:
Add a
NULL check t
o
get
_
arr
a
y_si
z
e_b
y
tes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan
Carpen
t
e
r
*ne
w
* sizeof_pointer: using sizeof
(
p) wher
e
si
z
eof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
arpen
t
er
over
f
low: c
h
eck memcpy() to see i
f
we're compar
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Car
p
enter
extra: don
'
t reset
&arguments until
t
h
e
o
ther checks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n
Carpenter
flow
:
c
h
ange how "for
(
i
= 0; ; i++) {
.
.
.
"
i
s ha
n
d
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n
Carpenter
*new* or_vs
_
and: compl
a
i
n a
b
ou
t
i
f (
x
!=
3 || x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpen
t
e
r
spar
s
e: in
t
roduce get_expression_v
a
lue_nomod(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan
C
a
r
penter
type:
introduce i
s
_pointer()
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Car
p
enter
e
xtra: fro
b
(f
o
o) resets
t
he value o
f
*
f
oo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Ca
r
penter
extra: foo(
(
void *)&x)
w
rites to x probably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
rang
e
s: introduc
e
i
n
v
e
rt_ra
n
ge_list(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan C
a
r
pente
r
m
ath: h
a
ndle __smatch_implie
d
(
&
x
);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
ran
g
e
s
: commit range_lists_
e
quiv() so th
a
t bo
o
l_im
p
lication
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
an Carpe
n
ter
smdb
_
param_buf_size
.
s
h: ask db what size buffers are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Car
p
enter
extra: get_i
m
plied
_
range_list() should handle conditions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Carp
e
nter
buf
_
size:
s
tor
e
buffer sizes in db
(
t
u
rned of
f
by de
f
au
l
t)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpen
t
er
db: don't
d
ie
o
n SQL
e
rrors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
penter
bool_implications: make a list of implications
f
or
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpenter
ma
t
h
:
h
andle
l
og
i
cal expressio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carp
e
nter
core: prin
t
sm_msg()s before parsing starts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan C
a
rpenter
parameter_implications
:
gene
r
ate
list of
func
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpe
n
ter
d
b: mat
c
h
_ret
u
rn()
s
houldn't re-implement get
_
implied_range_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpen
t
er
math: sort of handle conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math:
s
i
m
p
lify
i
mplied_cond
i
tion_t
r
ue
/
false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
ma
t
h: simplify know
n
_conditio
n
_true/
f
alse
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n
Carpent
e
r
math: handl
e
__smatch
_
implied(({frob(); 2;}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
ma
t
h:
h
an
d
le foo = !2
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Car
p
ent
e
r
e
xtra, m
a
th: mov
e
k
n
own
_
conditon_
t
r
u
e
/false() etc f
r
om
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
D
an C
a
rpenter
project:
fix
p
arameter imp
l
icat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
helper: intr
o
d
u
ce get_me
m
ber_n
a
me(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
d
b
: p
r
int all return values at end
o
f
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
D
an Car
p
enter
db: add
some smdb_ scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpenter
fill_
d
b
_
return_info: fix out dated parsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
penter
extra: alw
a
ys ini
t
ializ
e
the range in
ge
t
_impl
i
ed_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ext
r
a:
f
i
x
get_imp
l
i
ed_range() for f
u
nction calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
check_macr
o
s: c
l
eanup: use position
s
_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
enter
m
a
cro: take a str
u
ct position
,
not a pointer to a struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
implied: cleanup: move d
u
b
u
g printfs to their own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carpen
t
er
r
a
nge
s
:
g
et rid o
f
possibly_(true/f
a
l
se)_range_lis
t
_ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an
Carpenter
ranges: cle
a
nup: move true_comparison_
r
ange_lr() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next