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
Or vs and: if (foo & ZERO) is nonsense
2012-06-11
Dan Carpenter
Or
v
s and: if (foo
&
ZER
O
) is nonsense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
fu
n
cti
o
n
_
hash:
make i
t
e
a
sier
t
o handl
e
a file
w
ith
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
D
a
n Carp
e
nter
signed: unbre
a
k the ch
e
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Ca
r
penter
overflow: update
v
ali
d
ation
t
est
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
fl
o
w
: handle struct ini
t
ialization bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flo
w
: han
d
l
e
EXPR
_
OFFSETOF and EXPR_ALIG
N
OF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpen
t
er
o
verflow
:
ign
o
re "x
=
&fo
o
[ARRAY_SIZE(f
o
o)];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
ove
r
flow: white space
c
lean
u
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
impl
i
ed: the ba
s
e slis
t
is
not special
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpe
n
ter
slist: change format
for debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
arpenter
ex
p
ressions: introduce some
m
o
re exp
r
essi
o
n allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
validation: update
dereference check output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan C
a
rpenter
implied: certain
s
t
ates should be left a
s
is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slis
t
: put
the sm_state it
s
e
lf into -
>
possible n
o
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpente
r
slist:
cleanu
p
m
e
rge_ho
o
k
s API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan
Carpent
e
r
extra:
don't c
r
eate
a
new me
r
g
ed
estate
if -
>
ri
g
ht
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpenter
estates: reuse same estate for extra
_
undefi
n
ed
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpe
n
ter
constrain
t
s: get rid o
f
add_equiv(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
con
s
traints: remove some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpenter
c
o
nstraint
s
:
f
i
x
s
et_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Ca
r
pent
e
r
c
o
n
s
train
t
s: add_rela
t
e
d() shoul
d
take a
r
e
l
ated_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Car
p
enter
c
o
nstraints: sort the ->r
e
lated lis
t
pro
p
er
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
ar
p
e
n
te
r
constra
i
nts: rep
l
ace get_comm
o
n_
r
elationship() with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
slist
:
mo
v
e
a
dd
_
pool() to
smatch_implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpenter
bit
_
shift: add tes
t
_bit() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpenter
flow: sil
e
nce f
a
lse positives caused by hair
y
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
penter
implied:
rename
->
m
y
_pool
t
o ->pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
sli
s
t
: rena
m
e add_p
o
ssibl
e
() => copy_possibles()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpente
r
o
r
_vs_
a
nd: i
g
nore *
p
++ || *p++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
nter
tracke
r
: fix a smal
l
m
e
mor
y
l
e
a
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
m
o
dification
:
r
e
move calls t
o
delete_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpenter
check
_
de
r
eferenc
e
:
enable
this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
db:
store
whether functions
a
r
e
global or static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
tracker
:
remove unus
e
d clon
e
_tracker_li
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
C
a
r
penter
slist: buffer o
v
erf
l
ow in
d
eb
u
gging code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Ca
r
penter
u
s
er_data: fix NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n Carpenter
db: white sp
a
ce cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpent
e
r
db
:
move parameter_im
p
licati
o
ns into t
h
e
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carp
e
nter
range
s
:
a
dd possibly_true/fa
l
se_
r
ange_lists_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Da
n
Carpen
t
er
o
v
e
rflow: aut
o
matically list functions
that take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Ca
r
penter
m
odification_hooks: complete rewrit
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carp
e
nter
db: pri
n
t the
SQL queries when
--d
e
bug is on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
cleanup:
use valid_ptr_m
i
n
/
max
.
ge
t
rid of POI
N
TER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpe
n
t
er
extr
a
: der
e
ferencing
a
p
ointer mean
s
it is
valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
implied:
cleanup debug outpu
t
a
little
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carp
e
nt
e
r
slist: pull sh
o
w_sm() into a s
e
par
a
te function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
che
c
k_kernel:
ERR_PTR()
returns non-NULL (most
l
y)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
enter
dereference che
c
ks:
u
se
the cross funct
i
on info from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
en
t
er
*new* check_dereferences_param: list fu
n
ctions
tha
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an
Carpenter
*new* r
e
turns: merge a
l
l
s
lists
fr
o
m a
l
l returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
n
t
er
db: add call_im
p
lies table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
flow: print a
different filename
when --info
o
ption
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Car
p
e
n
ter
d
e
r
ef: fix
a
ty
p
o in the error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
user_data: trac
k
u
s
e
r
data t
h
at is retur
n
e
d
t
o
other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan
C
arpenter
bool_implications: remove debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpenter
fix
c
om
p
ile on Ubunt
u
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
gene
r
isize
.
pl: stri
p
a
l
l
strings not just the f
i
rst
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan C
a
rpenter
buf_size: Add a NULL che
c
k to
g
et_array_size_bytes
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Carpent
e
r
*new* s
i
zeof_pointer: usin
g
sizeof(
p
) w
h
ere
sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carp
e
n
ter
overf
l
ow: check memcpy(
)
t
o
s
ee if we'
r
e comparing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
ent
e
r
extra:
d
on't
r
eset &arguments until the other checks
.
.
.
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 handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*new* or_vs_and: compl
a
in
a
b
o
u
t i
f
(x != 3 || x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
D
an Carpenter
sparse
:
introduce get_expression_
v
alue_nom
o
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpente
r
type:
i
n
t
ro
d
uce is_pointer() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extra: fr
o
b(fo
o
) re
s
ets
t
he value
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((voi
d
*)&
x
) writes to x p
r
ob
a
bl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
r
a
nges: introduce invert_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Car
p
enter
math
:
handle __smatch_implied(
&
x)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carpenter
ra
n
ges: com
m
i
t
range_l
i
sts_equ
i
v
(
) so tha
t
b
ool_imp
l
icatio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nt
e
r
smdb_param_buf_size
.
sh: ask
d
b
what
s
ize
b
uf
f
ers are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
extra: get_i
m
p
l
i
ed_range_list()
s
hould handle
condition
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Carpenter
b
uf_si
z
e: store buffer
s
i
z
es in db (turned off by default)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
db: don
'
t
die on SQL errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
bool_implications: make a lis
t
of im
p
l
ication
s
for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpent
e
r
math: han
d
l
e
l
o
gical
e
x
p
r
essions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
Carpenter
core: print
s
m
_
m
sg()
s
befor
e
pars
i
n
g
starts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
ar
p
enter
p
arameter_imp
l
ications:
generate
l
ist of functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carp
e
nter
db: match_ret
u
r
n
() shouldn't re-imp
l
ement
get
_
implied_range_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
rpenter
mat
h
: sort of ha
n
dle conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n
Carpenter
math: simplify implied_condition_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math:
s
implif
y
known_
c
o
ndition_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Carpenter
m
a
th: ha
n
dle __smatch_impl
i
ed(({fro
b
();
2
;
}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
C
a
rpenter
math: handle f
o
o
=
!2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
rpenter
extra, math: move k
n
own
_
conditon_
t
r
u
e/fal
s
e() e
t
c
from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan
C
arpente
r
p
r
oject: fix parameter im
p
licat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Ca
r
penter
h
elper: introduce get_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
db: print all retu
r
n
v
alu
e
s at end of function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpenter
db: add
som
e
smdb_ scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carpenter
fill_
d
b_ret
u
rn_in
f
o: fix out dated
p
arsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra:
always initia
l
ize the ra
n
ge in get_i
m
p
li
e
d_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
rpenter
extra: f
i
x get_i
m
plied_ra
n
ge()
f
or
f
u
nction ca
l
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpen
t
er
c
h
eck_m
a
cro
s
: cleanup: use positions_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
macro: t
a
ke a struct position,
n
ot a
poi
n
ter
t
o
a
struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpen
t
er
implied: cleanup: move du
b
ug
print
f
s to their own fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
pe
n
t
er
ran
g
es: get rid o
f
possibly_(
t
ru
e
/fals
e
)_range_list_ls(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Car
p
e
n
t
e
r
r
a
nges: cleanup: move true_comparison_range_lr
(
)
int
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpenter
extra
:
ad
d
para
m
eter implicat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
r
anges:
introduce
clo
n
e_per
m
anent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ranges: initial
i
ze the pointe
r
in get_value_range
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next