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
type: simplify get_binop_type()
2012-06-13
D
a
n Car
p
enter
buf_size: us
i
n
g ->bit_si
z
e
doesn't work f
o
r vo
i
d pointers
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
b
u
f_size: use get_stored_s
i
z
e
_bytes
(
) dir
e
ctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_siz
e
: m
a
ke get
_
s
tored_size
_
bytes() a separate f
u
n
ct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
r
p
ent
e
r
b
u
f
_
s
i
ze:
p
ull
bytes_to_el
e
ments() in
its own
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: calculat
e
bytes
per element better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_si
z
e: add a basic validation tes
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf_size:
if the size is var
i
able pic
k
the larger one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size:
m
ove
g
et_size_f
r
om_strlen() into
it'
s
own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Carpenter
buf_size: pull get_size_from_
i
nitializer() into
separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size:
m
o
ve get
_
stored_siz
e
() out of
ge
t
_arr
a
y_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpente
r
buf_size: pull handling of n
o
rmal
arrays into se
p
arate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Car
p
ent
e
r
b
uf_size: move some fu
n
ctions around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Ca
r
penter
buf_size: add m
o
dificat
i
on hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
d
e
bug:
a
dd
a way to
d
ebug bu
f
fer sizes __sma
t
ch_buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
O
r vs and: warn ab
o
ut bitwis
e
A
NDs that always give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
D
a
n Carpenter
Or
v
s and: i
f
(foo & Z
E
R
O) is nonsense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
function_hash: make i
t
easier t
o
handle
a file with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carp
e
nt
e
r
signed: unbr
e
ak the c
h
eck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Ca
r
pen
t
er
over
f
l
ow:
u
pdate vali
d
ati
o
n test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carp
e
nter
flow: ha
n
dle stru
c
t
initiali
z
ati
o
n b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpe
n
ter
flow: handle EXPR_OF
F
S
ETOF and EX
P
R_AL
I
GNOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Car
p
enter
ov
e
rflow: igno
r
e "x = &foo[ARRAY_S
I
ZE(foo)]
;
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n
C
ar
p
enter
overflow: white s
p
ace
c
leanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpe
n
t
e
r
implied: the base
s
l
i
s
t
i
s not special
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n Carpe
n
ter
s
l
ist: change forma
t
f
o
r
d
e
bu
g
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
express
i
o
ns
:
intr
o
duce some more expression allocat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan
C
arpenter
v
alidation: update dereference chec
k
o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Car
p
e
n
ter
implied: certain states should be left a
s
is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slist: put
t
h
e sm_
s
t
a
te itself into ->possible not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Car
p
enter
slist: cleanup
me
r
ge_
h
oo
k
s API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n Carpen
t
er
extra:
don't
c
reate a new
merged
esta
t
e if ->right
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
a
r
pe
n
ter
e
s
tates
:
reuse same estate for
e
x
t
ra
_
undefined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpent
e
r
c
o
nstraints:
g
et
rid o
f
add
_
equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpe
n
t
e
r
co
n
s
t
raints: remove some dead co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nter
co
n
straints: fix set_
e
q
uiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Ca
r
penter
constra
i
nts
:
add_related()
s
ho
u
ld t
a
ke a related_
l
ist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpenter
constraints: so
r
t the ->related list
p
roperl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpent
e
r
c
o
nstraints: repla
c
e get_common_relationshi
p
() wi
t
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nter
slist: mov
e
a
d
d
_pool() to smatch_implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpenter
bi
t
_shift: add test_bit()
f
unct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Dan C
a
rpenter
flow: silence
f
a
l
se positives c
a
used by hairy funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
r
pente
r
implied: rename -
>
my
_
pool to ->pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
slist: renam
e
ad
d
_possib
l
e() =>
copy_possibles()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpe
n
ter
or_vs_and:
ignore *p+
+
|
|
*p++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpe
n
t
er
tracker: fix a small memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Ca
r
penter
modi
f
ication
:
remove c
a
l
ls to delet
e
_stat
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpe
n
ter
c
h
e
ck_
d
erefe
r
ence: e
n
able
this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n
C
arpenter
db:
s
t
o
re whe
t
her func
t
i
o
ns are
global or
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
tracker
:
remove
unused
c
lone_tracker_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
sl
i
st: buffer overflow
i
n debugg
i
n
g
c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
user_data: f
i
x NU
L
L dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Da
n
Carpenter
db: white space cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan C
a
r
p
en
t
er
db:
m
o
ve parameter_implications into
t
he database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n Carpenter
ranges: add
pos
s
ib
l
y
_true/f
a
l
s
e_range_lists_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
over
f
low: automatically list funct
i
ons that
take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
modification_hooks:
comple
t
e rew
r
i
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpente
r
d
b
:
prin
t
the SQ
L
queries
when --deb
u
g is
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpente
r
cleanu
p
:
u
s
e valid_
p
tr_min/max
.
get rid of POINTER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpente
r
extra: de
r
eferenc
i
n
g a
p
ointer means it
is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpen
t
er
implied: cleanup d
e
b
ug
output a li
t
tle
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n
Carp
e
n
t
er
slist: pull show
_
sm()
into a s
e
parate functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpenter
check_kernel: ERR_PT
R
() returns
n
o
n-NU
L
L (m
o
stly
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n
C
arpen
t
er
derefer
e
n
c
e checks: us
e
the cross
function info
f
rom
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
*
n
ew* c
h
ec
k
_d
e
refer
e
nces_param: list functions that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
nter
*new* r
e
turns: merge all
slists from all r
e
turns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carpenter
db: add call_implies table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpen
t
er
f
low: pri
n
t a d
i
fferent fil
e
name when --info option
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpent
e
r
deref: fix a typo i
n
the
e
rror mess
a
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpente
r
user_dat
a
: track user data that is re
t
urned to oth
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
boo
l
_impli
c
ations: remove debug
g
i
ng
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan
C
arpe
n
ter
fix compile
on Ubun
t
u
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
generisize
.
pl
:
strip a
l
l string
s
no
t
just t
h
e
f
irst
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Da
n
Carpe
n
te
r
buf_size: Add a N
U
L
L
ch
e
ck to get_a
r
r
ay_si
z
e_b
y
tes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
C
arpenter
*
n
e
w
* sizeof_pointer: using
s
iz
e
of(p) where
s
izeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpen
t
er
over
f
low: ch
e
ck m
e
mcpy() to
s
ee if we're
c
omparing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
arpen
t
er
extra: don't reset &ar
g
uments until t
h
e o
t
her checks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carpe
n
ter
f
l
ow: c
h
ange how "for (i = 0; ; i+
+
) {
.
.
.
" is han
d
le
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*new* or_vs_and: complain
about i
f
(x != 3
||
x
!=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpe
n
ter
spa
r
se: introd
u
ce get_expr
e
s
s
ion_v
a
lue_nomod(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
type: introduce i
s
_po
i
nte
r
(
) fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan
C
ar
p
enter
extr
a
: frob(foo) res
e
t
s
the value of *fo
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan
Carpenter
extra:
foo((void
*
)&x) writes to x prob
a
bly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
ran
g
es
:
introduce invert_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carp
e
nter
math: hand
l
e
__smatch_implie
d
(
&x)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
arpe
n
ter
ranges:
c
omm
i
t
ran
g
e_l
i
s
ts_e
q
u
iv
(
) so
t
hat bool_impl
i
cations
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpen
t
er
smdb_param_buf_size
.
sh:
ask d
b
what size b
u
ffers
a
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
arpenter
extra:
g
et_
i
mplied_range_
l
ist() should handle
conditions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
an Carpenter
buf_size: s
t
ore buffer sizes in
d
b (turned
o
ff by de
f
ault)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Car
p
ent
e
r
db: don't die on SQL errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Carpenter
b
o
o
l
_implications:
make
a list
of
i
m
plications for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
D
an Carpe
n
ter
math: han
d
le
l
ogical expre
s
sion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpente
r
core: print s
m
_ms
g
()s before parsing star
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
Carpenter
p
arameter_implications: gen
e
rate lis
t
of functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
D
an C
a
rpenter
db: m
a
t
ch_retur
n
(
)
shouldn't re-imple
m
ent get_im
p
lied_ran
g
e_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
p
e
nter
math: sort of handle
con
d
itions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
penter
math: si
m
plify i
m
plied_condition_true
/
false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpenter
math: simplify know
n
_cond
i
tion_true/false
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpen
t
er
math: ha
n
dle __smatch_implied(({frob();
2;}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpen
t
e
r
ma
t
h: han
d
le
foo =
!
2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
extra,
m
ath: move known_condi
t
on_tr
u
e/false() etc from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next