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
math: improve how known logical operations are handled
2012-06-13
Dan Carpenter
b
u
f_siz
e
: if the
size i
s
variable
pick
the
larger one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpenter
buf_siz
e
: move
get_si
z
e_from_strlen() into it's own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_
s
ize:
p
u
l
l get_size_from_initializer() into
s
eparate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpenter
b
uf_s
i
z
e
:
move
ge
t
_stored_s
i
z
e() out of get_a
r
r
ay_
s
i
z
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carp
e
n
t
er
buf_s
i
ze:
p
ull handling of normal a
r
rays into separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carpenter
buf
_
s
ize: mov
e
s
ome fun
c
tions around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpent
e
r
buf_
s
iz
e
: add modi
f
ication hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
penter
deb
u
g: add a way to
debug buffer
siz
e
s _
_
s
match_buf_si
z
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs and: warn about bitwise ANDs that a
l
wa
y
s
g
i
v
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan
Car
p
ent
e
r
Or vs an
d
:
if
(
foo & Z
E
R
O
)
is nonsense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Da
n
Car
p
enter
functi
o
n
_hash:
m
ake it eas
i
er
t
o
h
andle a fil
e
with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
D
a
n Carpent
e
r
signed: unbreak
the check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan C
a
rpenter
overflow: update va
l
idation t
e
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
an Carpen
t
er
flow: handle struct initialization bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Da
n
Carpen
t
er
flow: h
a
ndle EXPR_OFFSET
O
F and EXPR_ALI
G
N
OF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
overflow: i
g
nore "x =
&
foo[ARRAY_SIZE(f
o
o)
]
;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
ov
e
rflow:
w
hite space cle
a
nups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpent
e
r
i
mplied: the base slist i
s
no
t
s
p
ecia
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Car
p
e
nter
s
list: ch
a
nge f
o
rmat for debug
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
expressions:
introduce some mor
e
e
x
pression alloc
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
v
a
l
i
d
at
i
on: upd
a
te
derefere
n
ce check output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
D
a
n Carpen
t
er
implied: certain
s
t
a
te
s
should b
e
left as is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan C
a
rpenter
slis
t
: p
u
t
th
e
sm_
s
tate
i
tself into ->po
s
s
ible
not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slist: cleanup merge_ho
o
ks
API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
extr
a
: do
n
't
create a
new merged
estate if ->ri
g
ht
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
penter
est
a
te
s
: reuse sa
m
e estate for ex
t
ra_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
co
n
stra
i
nts: g
e
t
rid of add_e
q
u
i
v
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
penter
cons
t
rain
t
s:
remove
s
ome dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: fix se
t
_
equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Car
p
enter
cons
t
raints: add_relat
e
d(
)
should ta
k
e a related_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Ca
r
pent
e
r
con
s
traints: sort the ->related list prope
r
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carpenter
constraints
:
repla
c
e get_c
o
mmon_
r
elationship()
w
i
th
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
slist: move add
_
pool(
)
to smatch_implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Dan Ca
r
penter
bit_shif
t
: add test_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
l
s
e positive
s
caused by
hairy funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
i
m
pl
i
ed: re
n
ame ->my_po
o
l to ->pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Car
p
enter
slist: renam
e
add_poss
i
b
l
e() => copy
_
possible
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpe
n
ter
o
r
_vs_and:
i
gnore *p++ |
|
*p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
tracker: fix a s
m
al
l
mem
o
r
y
leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpenter
modific
a
t
i
on: remove calls to delete
_
state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an Car
p
e
nte
r
check_
d
er
e
fere
n
ce: en
a
ble this
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpenter
db
:
s
t
ore w
h
ether fu
n
ctions are
g
lobal or static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arp
e
nt
e
r
t
r
acker: remove unused clone_tracker_
l
ist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpen
t
er
slist: bu
f
fer overflow
i
n d
e
buggi
n
g code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpente
r
user_da
t
a: fix NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpe
n
ter
db:
w
h
i
te spa
c
e c
l
e
a
nups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Ca
r
p
enter
db: move
par
a
meter_implicatio
n
s into
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carp
e
nter
ranges:
a
d
d possibly_tru
e
/f
a
ls
e
_range_lists_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Da
n
Carpenter
ove
r
flow
:
auto
m
a
tically list functio
n
s that
t
ak
e
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carp
e
nter
mod
i
f
i
cation_ho
o
k
s: compl
e
te rewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan C
a
r
p
ent
e
r
d
b: print
t
he SQL q
u
eries when --de
b
ug is on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Car
p
enter
cl
e
a
nup:
u
se valid_ptr_mi
n
/max
.
g
et rid of P
O
INTER_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
extra
:
de
r
efer
e
n
c
ing a p
o
int
e
r means it is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Car
p
en
t
er
implied: cleanup
d
ebu
g
o
u
t
p
u
t a
l
ittle
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
a
rpen
t
er
slist: pull
show_sm() into a separat
e
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
Carpenter
check
_
kernel:
E
RR_PTR(
)
re
t
urns non-
N
ULL
(mostly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpente
r
dereference checks:
use the cros
s
function info from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* check_dereferenc
e
s_par
a
m: list functions that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
te
r
*new* returns:
merge a
l
l slists fro
m
all ret
u
r
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
e
nt
e
r
db: ad
d
call
_
imp
l
ies table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
flow: print
a
dif
f
eren
t
filename when --info optio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
an
C
arpenter
deref: fix
a typ
o
in the error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan
C
a
rpent
e
r
use
r
_data: track
u
ser data that is return
e
d to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
D
a
n
Carpenter
bool_implications:
r
emove d
e
bugging outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
D
an Carpen
t
er
f
i
x co
m
pile on U
b
unt
u
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Car
p
enter
generisize
.
pl: strip all string
s
not j
u
st the
f
irst
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpent
e
r
buf_
s
ize: 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
Dan Car
p
e
n
ter
*new* sizeof_p
o
inter: using sizeof(p) where siz
e
of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carp
e
nter
o
v
er
f
l
o
w:
c
heck m
e
mcpy()
t
o see i
f
we're co
m
p
a
r
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
enter
extra: don't reset &arguments u
n
til the other checks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
C
a
r
p
ent
e
r
flow: chan
g
e
h
ow
"
fo
r
(i = 0; ; i++) {
.
.
.
" is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
an Car
p
enter
*new* or_vs_and: complain about if (x != 3 || x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Da
n
Carpent
e
r
sparse: in
t
roduce get_expr
e
ssion_value_nomod(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan C
a
rp
e
nter
type: introduce is_pointer()
funct
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extra
:
frob(foo) resets
t
he value of *
f
oo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Da
n
Carpente
r
extra: foo((void *)&
x
) writes to
x
probably
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
ranges: introd
u
ce invert_r
a
nge_l
i
st()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
m
a
t
h
:
handle __smatch_
i
mplie
d
(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpe
n
te
r
r
a
n
ges
:
commit
range_lists_equiv() so that
b
ool
_
implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpent
e
r
smd
b
_param_
b
uf_s
i
ze
.
sh: ask db what size buffe
r
s are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
e
xtra: get_impli
e
d_
r
ange_l
i
st()
s
hould handle conditi
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nte
r
buf_size: store buffer s
i
zes in db
(
turne
d
off by defau
l
t)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
an 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_implic
a
tions
:
make a list o
f
implicat
i
on
s
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
D
an Carpenter
m
ath
:
handle logical exp
r
e
ssion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Ca
r
pe
n
ter
core: print sm
_
msg
(
)
s
b
e
fore pa
r
sing starts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan C
a
rpenter
p
a
rameter_implicati
o
ns: generate
l
ist of functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan C
a
rp
e
n
t
er
d
b
:
mat
c
h_return() should
n
't
r
e-implement get_implied_ran
g
e_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
pe
n
t
e
r
math:
s
ort of h
a
ndle condit
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpent
e
r
math:
s
implif
y
i
m
plie
d
_condition_t
r
ue/
f
alse()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
arpenter
ma
t
h: s
i
mp
l
ify
known_co
n
diti
o
n_true/
f
alse()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
m
a
th: handle __smatch_im
p
lied
(
({fro
b
(); 2;}));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
pen
t
er
ma
t
h: handle
f
oo = !2;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
extra, mat
h
: move kn
o
wn_co
n
diton
_
true/fals
e
() etc from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpe
n
ter
project: fix p
a
rameter impli
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan C
a
rp
e
nter
h
e
lp
e
r: introduce get
_
memb
e
r_nam
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan
C
arpente
r
db
:
print all re
t
urn
values a
t
e
nd of funct
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpenter
d
b: add some smdb_ s
c
ripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
fill_db_return
_
info:
f
i
x
out
d
ated parsing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra:
a
l
w
ays initialize
t
he range in get_impli
e
d_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next