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
deref: fix a typo in the error message
2012-05-15
Dan Carpente
r
deref: fix a
t
ypo in the erro
r
message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
u
ser
_
data: track user data that i
s
returned t
o
o
t
he
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan
Carpenter
bool_implications: remove
debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpen
t
er
fix
c
o
m
p
ile on Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carp
e
nter
generisi
z
e
.
pl: strip
a
ll string
s
n
ot just the first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan
C
arpente
r
b
uf_size
:
Add a
N
ULL check to get_a
r
ray_size_b
y
tes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
an
Carpe
n
ter
*new
*
sizeof_pointer: using sizeo
f
(
p) wher
e
sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
overfl
o
w: chec
k
m
e
mcpy() to see
i
f
we're comparing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
a
r
penter
e
x
t
r
a
: don'
t
reset &argume
n
ts u
n
til th
e
o
t
her checks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
ar
p
e
nter
flow: c
h
a
n
ge how "for (i = 0; ; i++) {
.
.
.
" is handle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
arpente
r
*new* or_vs_an
d
: complain about if (x != 3 || x !
=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpent
e
r
sparse: in
t
roduc
e
get_expressio
n
_
value_nomod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
t
y
pe: introduc
e
is_pointer() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Da
n
Carpenter
ex
t
ra:
f
rob(f
o
o) re
s
ets the val
u
e of *foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
D
an C
a
rpen
t
er
extra: foo((void *)
&
x)
w
rites to x probabl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan
C
a
r
p
e
nter
ranges: in
t
ro
d
uce invert_
r
ange
_
l
ist(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Da
n
Ca
r
penter
math:
handle __smatch_impl
i
ed(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpe
n
te
r
ranges: commit range_list
s
_equiv() so th
a
t b
o
ol_im
p
lication
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
smdb_para
m
_
buf_size
.
sh:
a
s
k
db
what si
z
e buffers ar
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Car
p
ente
r
e
xtra: get_impli
e
d_range_
l
ist() should handle condi
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Car
p
enter
bu
f
_size:
store buffer
sizes
in d
b
(
turned off by de
f
ault)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carpenter
d
b
: don'
t
die on SQL
e
rrors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
bool_imp
l
icati
o
ns: make
a list of i
m
plication
s
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpenter
math: handle
logi
c
al expre
s
s
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
arpenter
c
ore: print sm_msg()s before parsing starts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Car
p
e
n
t
e
r
p
ara
m
e
ter_implications
:
generate list of functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
d
b:
matc
h
_return() shouldn't re-implement get_
i
mplied_range_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math:
s
ort o
f
h
a
ndle condi
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpen
t
er
math: simplify implie
d
_c
o
ndition_true/fa
l
se
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math:
s
implify k
n
o
w
n_cond
i
t
i
on_tru
e
/
f
alse()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carp
e
n
ter
math: handl
e
__smat
c
h_
i
mpli
e
d(({
f
rob(); 2;}
)
);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
penter
math
:
h
a
ndle foo = !
2
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
extra, math: move kno
w
n_co
n
d
i
ton_true/false() etc from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan
Carpe
n
ter
project: f
i
x parameter
implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
D
a
n Car
p
ente
r
help
e
r: int
r
oduce get_m
e
mber_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
d
b
:
p
rint all ret
u
rn
values at e
n
d of function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
D
a
n Ca
r
penter
d
b
:
add som
e
s
m
db_ scripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpe
n
ter
fill_db_r
e
turn_info: fix out
dated pa
r
sing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpenter
extra
:
a
lw
a
ys initialize th
e
range in get_implied_rang
e
_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carp
e
nt
e
r
e
x
tra
:
fix get_implie
d
_range() for function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carp
e
nter
ch
e
ck_macro
s
: cleanup: use p
o
s
itions_eq()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carpenter
macro: take a
s
truct p
o
sition, no
t
a pointer to a struct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
implied: cleanup: mov
e
d
u
b
u
g prin
t
fs to their
o
w
n
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
rpe
n
t
er
ranges: g
e
t rid of po
s
sibl
y
_(true/f
a
l
s
e)_ra
n
ge_list
_
ls
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpenter
ranges: cleanup: m
o
ve tr
u
e_comparison_ra
n
ge_l
r
() into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
an Car
p
ente
r
extr
a
: ad
d
parame
t
er impli
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
an Carpenter
ranges: introduce clon
e
_per
m
ane
n
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan
Carpen
t
er
ranges: initialize t
h
e po
i
nte
r
i
n get_value_r
a
nges()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
an Carpe
n
ter
db: ignore func
t
i
o
ns wh
i
ch are called a lot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
t
yp
e
: export get_
r
e
a
l_base_typ
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
d
b: add code
t
o hack
u
p t
h
e d
a
ta
b
ase with
p
roject specific
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
c
onditi
o
ns
:
preserve |= as the assign op in foo |=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
type: s
i
zeof() is uns
i
gned long
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
con
d
i
t
i
o
ns: sparse never
seems
to u
s
e SPECIAL_UNSIGNED_
G
T
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
D
a
n Carpenter
helper: intro
d
uc
e
pos
i
t
i
ons_e
q
(pos1, pos
2
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpent
e
r
build
_
kernel_d
a
ta
.
sh
:
make it ex
e
cutable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Da
n
C
a
rpenter
m
acro_side_effects: silence fal
s
e posi
t
i
v
es
inside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Da
n
Carpenter
test_kern
e
l
.
sh:
c
r
e
at
e
a bak
.
s
m
atch at t
h
e be
g
inning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
D
a
n Carpenter
*new*
c
h
e
ck_
m
ac
r
o_side_effect
s
: m
a
cros
w
hich evalu
a
te
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carp
e
nter
flow: ignore __buil
t
i
n_const
a
nt_
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Car
p
en
t
er
sparse: set the scope->token
m
ember
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
call
_
tree
.
p
l
: This was st
i
l
l
using the old format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
build_kern
e
l_data
.
sh: add --call-tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n Ca
r
penter
locking: igno
r
e un
r
ea
c
hable unlocks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
l
o
cking: white space changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpent
e
r
new_
b
ug
s
.
sh:
fix i
t
f
or
gcc a
n
d spars
e
wa
r
nings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n Carpen
t
er
loc
k
ing: tons of lo
c
ks wer
e
ignored because of cha
n
ges
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-10
Dan Carpenter
to
k
en_store: creates a p
o
sition -
>
to
k
en mapping
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-08
Dan
C
arpenter
Merge branch 'devel
2
'
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpenter
*ne
w
* che
c
k_bit_shift
.
c: (foo & BAR) vs (foo & (1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-06
Dan Carpenter
*new
*
po
i
nter_mat
h
: c
o
m
p
lain
a
bout
ptr + siz
e
of() where
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-05
D
a
n Carpenter
type: export
get_po
i
nter_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-02
Dan C
a
rpe
n
ter
type:
export
g
et
_
p
ointer_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
an
Carpe
n
ter
flow: fix
s
egfault on parse error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan
C
a
rpe
n
ter
hooks: add CAS
T
_
H
O
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpen
t
er
type
:
ad
d
n
r
_bit
s
(struct e
x
pression *exp
r
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan
C
arpenter
extra: delete t
h
e get_r
a
n
ge_list() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
A
rtem Bityuts
k
i
y
Makefile: d
o
not
i
nst
a
ll
s
parse
a
nd cgcc
commit
|
commitdiff
|
tree
2012-02-28
D
a
n
Carpente
r
new: smatch_scripts/build_
k
e
r
nel_data
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpente
r
new:
smatc
h
_scr
i
p
t
s/test_kernel
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpenter
ranges:
m
ake possibly_tru
e
/false() take expression
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
D
a
n Car
p
enter
e
x
pr
e
ssions: new
file smatch_express
i
ons
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Car
p
e
nter
t
ree wide: don't
print offset into function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
D
an Carpen
t
er
gene
r
ize
.
p
l: make
it w
o
rk for sparse
wa
r
nings as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
estate
:
do
n
't reuse extra_undefined(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpent
e
r
c
o
n
tra
i
nts:
add
o
ption --debug-related
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Ca
r
penter
cons
t
r
a
ints: make
s
et_equiv() take
a
n
expression pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Carpenter
ex
t
r
a
, cons
t
rai
n
ts:
move set_equiv() f
r
om
e
xtr
a
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
d
ebug: add __smatch_dump
_
related
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpenter
implied: use a
d
d_r
a
nge()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Ca
r
pe
n
ter
estate, ranges: mov
e
whole_range
from estate to ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n
C
arpenter
e
x
tra
:
cleanup is_whole_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
ranges:
m
ake poss
i
b
l
y_tr
u
e_r
a
ng
e
_list_rl() take an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Ca
r
penter
ranges: rename ge
t
_single_va
l
ue_from_dinf
o
() => estate_get
_
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
im
p
l
ied
:
use ne
w
esta
t
e_related()
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpe
n
t
er
co
n
straint
s
: use new
e
s
t
a
te_related() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
ar
p
enter
constraints: make
g
et_commo
n
_relationship()
t
a
k
e an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Car
p
enter
estate: i
n
troduce e
s
tate
_
min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Ca
r
pente
r
estate
:
introduce
estate
_
r
e
la
t
ed()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
rp
e
nter
estate:
int
r
oduce estate_
r
anges() helper function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next