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 'error' to ignored attributes
2012-06-16
K
O
SAKI Motohiro
s
parse: Add 'error' to ignored
a
ttributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI
M
otohiro
sparse: Add '__vec
t
or
_
s
ize
_
_' to
i
g
nored
a
t
t
ributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
enter
M
erge gi
t
://
g
it
.
kernel
.
org
/
pub/scm/dev
e
l/sp
a
rse/sp
a
rse
.
.
.
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
O
r
vs and: war
n
about
b
itw
i
se ANDs tha
t
a
l
ways give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpe
n
ter
O
r vs and
:
i
f (fo
o
& ZERO) is nonsens
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Da
n
C
arpenter
f
u
ncti
o
n
_has
h
: mak
e
i
t
easier to hand
l
e a f
i
le with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpent
e
r
signed
:
unbreak the chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
ar
p
enter
overfl
o
w: u
p
da
t
e validation
test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carp
e
n
t
er
flow: hand
l
e struct initi
a
liz
a
tion
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpe
n
ter
f
low: handle EXP
R
_OFFSETOF
a
nd
EXPR_ALIGNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n Carpente
r
overflow:
i
gnore "x =
&
foo[ARR
A
Y_SIZE(foo)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
over
f
low:
white s
p
ace cle
a
nups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
implied: the bas
e
slist i
s
not spe
c
ial
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpe
n
ter
slist: chang
e
fo
r
m
at for debug
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Da
n
Carpenter
expr
e
ssio
n
s:
introduce some more expression allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Da
n
C
arp
e
nter
validation: update dereference check ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpe
n
ter
implied: c
e
r
tain s
t
ate
s
should be left as i
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan
C
arpen
t
er
s
l
is
t
: put the sm_state
i
tse
l
f
i
n
to ->possible not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Da
n
Carpenter
slist: cleanup merg
e
_ho
o
ks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
e
xtra
:
don't cre
a
te a ne
w
m
erged es
t
at
e
if
-
>right
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
e
stat
e
s: reuse s
a
me estate f
o
r extra_
u
nd
e
fined
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
rpen
t
er
constraints: get
r
i
d o
f
add_eq
u
iv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
er
constraints:
r
emove s
o
me dead c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Car
p
enter
c
o
nstrain
t
s: fix set
_
equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
C
a
r
p
enter
constrain
t
s: add_
r
elated()
s
hou
l
d take
a
related
_
list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpent
e
r
constraints: s
o
r
t the ->re
l
a
ted
li
s
t properl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints
:
repla
c
e get_common_relatio
n
ship() with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carp
e
nt
e
r
slist:
move
add_p
o
ol() to
s
matc
h
_implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Dan
C
arpenter
b
it_shift
:
ad
d
test_bit
(
) fun
c
tio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
D
an Carpenter
flow: sil
e
n
c
e false positives caused
by hairy functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
implied: rename ->my_pool to ->
p
ool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an Carpenter
s
l
is
t
: re
n
ame add_p
o
ssib
l
e() => c
o
p
y_possibles
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an Carp
e
nter
or
_
vs_and:
ignore *p
+
+
|| *p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
C
a
rpenter
tracker: fix a small memo
r
y l
e
ak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
n
t
e
r
mod
i
fi
c
ation: remove calls to delete_stat
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Ca
r
penter
che
c
k_derefere
n
c
e: e
n
able t
h
is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
C
arpenter
db
:
store whether func
t
ions are glo
b
al o
r
stat
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
te
r
t
r
ac
k
er: remove unused clone
_
tracker_
l
ist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
slist: bu
f
fer overflow in debugging code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an Carpe
n
te
r
user_data: fix NUL
L
d
e
referen
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n
C
arpenter
db: white space clean
u
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
D
an Carpent
e
r
d
b
: m
o
v
e
p
a
ramete
r
_implicat
i
o
n
s into the d
a
tabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
ranges: add possibly_
t
rue/false_range_lists
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
overflow: automatically list functions
t
h
a
t take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Da
n
Ca
r
p
e
nte
r
mod
i
fi
c
ation_hook
s
: compl
e
te rewri
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan Car
p
enter
db:
p
rint the SQL quer
i
es when -
-
debug is on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan C
a
rpente
r
clean
u
p: u
s
e va
l
id_ptr
_
min
/
ma
x
.
get rid of POINT
E
R_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Carpe
n
ter
extra: deref
e
r
e
n
cing
a pointer means it is
valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n Carpenter
i
mp
l
ied: cleanup debu
g
o
utput a li
t
tle
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpe
n
t
er
slist: pull
show_
s
m() into a separate function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpent
e
r
check_ke
r
nel:
E
RR_P
T
R
() re
t
urns
n
on-NU
L
L (mostly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpent
e
r
deref
e
rence checks: u
s
e
the cross function info from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carp
e
nter
*new* c
h
eck
_
dereferences_param:
li
s
t functions t
h
at
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* re
t
urns: merge all slis
t
s from all r
e
turns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpen
t
er
db
:
add call_implies table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
f
l
ow: print a diffe
r
ent filename whe
n
--info option
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
deref: fix a typo in the
e
r
r
o
r
me
s
sag
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
D
a
n Carpenter
user_data: track us
e
r
data that
i
s returned to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
bool
_
implications: re
m
ove debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpenter
f
ix c
o
mp
i
le on Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
generisize
.
pl
:
strip all
stri
n
gs no
t
just
the first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Ca
r
pe
n
te
r
buf_s
i
ze: A
d
d a NULL check to ge
t
_a
r
ray_siz
e
_by
t
es
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*
n
e
w* sizeof_po
i
nter
:
u
sing sizeof(
p
) where sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
o
verf
l
ow: check m
e
mcpy()
t
o
see
i
f we're comparin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
ex
t
ra: don't
re
s
et
&a
r
gument
s
un
t
i
l
t
h
e othe
r
checks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Carp
e
nter
flow: change how "fo
r
(i = 0; ; i+
+
) {
.
.
.
" is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n C
a
r
p
e
nter
*new*
o
r
_
v
s_and: complain about if (
x
!= 3 || x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpenter
s
parse: introduce get_expression_value_
n
omo
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
D
a
n Carpenter
type: introd
u
ce is
_
pointer() fu
n
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extra
:
fr
o
b(foo
)
r
esets the value of *foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extra:
foo((void *)&x)
w
rites to x pr
o
ba
b
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
ranges:
intro
d
uce inv
e
rt_ra
n
g
e_li
s
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
D
a
n Carpenter
math: han
d
l
e __smatch_
i
mplie
d
(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Car
p
enter
ranges: commi
t
range_lists
_
eq
u
iv() so that
bool_impl
i
cations
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Car
p
en
t
er
smdb_p
a
ram_buf_size
.
sh: ask db what size buffers are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
p
en
t
er
e
x
tra: get_
i
m
p
lied_r
a
n
g
e_l
i
st() s
h
ould han
d
l
e
condition
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
buf_size: s
t
ore buffer s
i
zes
in
db
(t
u
r
ned of
f
by de
f
a
ult)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
db: don't die on SQ
L
errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
bool
_
imp
l
i
c
ations: mak
e
a list of
implicati
o
n
s
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Da
n
Carpenter
m
a
t
h: handle log
i
c
a
l expressio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
core
:
print sm_msg()
s
be
f
ore parsi
n
g starts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
Car
p
enter
parameter_i
m
plicat
i
on
s
: generate
l
ist of functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
db: match_return() shouldn't re-implement get_impl
i
ed_r
a
n
g
e_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
arpe
n
ter
math: sort
of
h
andle conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Car
p
enter
math:
s
imp
l
ify implied_
c
ondition_true/f
a
lse()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpenter
math: simplif
y
k
n
own_condition_true/fals
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carp
e
nter
ma
t
h
:
h
a
n
d
l
e __smatc
h
_implied
(
({frob
(
); 2;}));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carp
e
nter
math: handle foo = !2;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carp
e
nter
e
x
tra, mat
h
: move kno
w
n
_
conditon_true/false() etc from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
p
roje
c
t: f
i
x parameter implica
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpen
t
er
helper:
i
ntroduce get
_
member_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
d
b
: print all return
val
u
es at end of func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
D
a
n Carpenter
db: a
d
d s
o
me smd
b
_ scripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
fill_db_
r
eturn
_
inf
o
: fix out dated parsing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Car
p
ent
e
r
extra: al
w
ays initialize the range i
n
get_im
p
l
ied
_
range_lis
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Ca
r
penter
extra: fix
ge
t
_
i
mplied_r
a
nge() for function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpen
t
er
check_macr
o
s:
c
leanup: use positions_eq()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpenter
macro: take a struct position, n
o
t a p
o
inter to a st
r
uct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpente
r
impli
e
d
: cleanup: move dubug printfs
t
o the
i
r own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpen
t
e
r
ranges:
g
et r
i
d of poss
i
bly_(true/false)_r
a
n
g
e_list_ls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next