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
flow: handle struct initialization better
2012-06-04
Da
n
Carpente
r
f
l
ow
:
handle
s
tr
u
ct
initializat
i
on be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n C
a
rpenter
flow: handle EXPR
_
OFFSETOF and EXPR_ALIGNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carp
e
nter
overflow: ignore "x =
&
foo[ARRAY_SIZE(foo)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Da
n
C
a
rpenter
overflow:
w
hite
s
pace cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
impl
i
ed: the base sli
s
t
is not special
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpe
n
t
er
slist:
c
h
ange format for debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Car
p
ent
e
r
e
x
pressions: introduce some
more
e
xpre
s
s
io
n
allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan
Carpenter
v
alidati
o
n: update dereference check output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Da
n
Carpenter
i
m
plied: certain states should be
l
eft
a
s is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
sl
i
st:
p
ut the sm_state itself int
o
->
p
o
s
sib
l
e no
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slist: cleanup m
e
rge_h
o
oks A
P
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpen
t
er
extra: don'
t
create a n
e
w merged esta
t
e i
f
->ri
g
ht
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpenter
estate
s
: reuse s
a
me estat
e
for extra_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
C
arpenter
constraints
:
ge
t
r
i
d of add
_
equi
v
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carpenter
constraints: remove som
e
dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
C
arpente
r
constraints:
f
ix set_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
C
arpen
t
er
constraints: add_related() should take
a related_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
pe
n
ter
co
n
stra
i
nts
:
sort
th
e
->rela
t
ed list p
r
operly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
onstraint
s
: replace get_com
m
on_relationship() with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
an C
a
rpenter
slist: m
o
v
e
a
dd_pool()
to smatch
_
implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
D
a
n Carpenter
b
it_shift: add test_b
i
t() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan
Carp
e
nter
flow: silence false
p
o
sitives caused b
y
ha
i
ry
f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpenter
impl
i
ed: ren
a
me ->my_
p
ool to ->pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
slist: rename add_
p
ossible(
)
=> copy_po
s
s
i
b
l
es()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
or_vs_and: ignore *
p
++ || *p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
ter
track
e
r: fix
a
small me
m
o
r
y leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpente
r
modi
f
i
cati
o
n: remove c
a
lls to delete_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpenter
chec
k
_dereference: enable this
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
ter
db: store whether functions are global or st
a
t
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpenter
tr
a
cker: rem
o
ve unused clone
_
tra
c
ker_list(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n
Carpenter
slist: buffer overflo
w
in debugging code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
user_data: fi
x
N
U
LL
d
ereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Ca
r
pent
e
r
db: white
s
pace cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan
Car
p
enter
db: m
o
ve param
e
te
r
_implication
s
into the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carp
e
nt
e
r
ranges: add
possibly_true/false_range_lis
t
s_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
D
a
n Ca
r
penter
overflow
:
automat
i
cally
l
ist
functions that take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan
C
ar
p
ent
e
r
m
odificati
o
n_hooks: complete rewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carp
e
nter
db: print the SQL
queries when -
-
d
ebug is on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Carp
e
nter
cle
a
nup:
u
se vali
d
_p
t
r
_
min/max
.
get rid of POINTER_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpe
n
te
r
extra: derefere
n
c
i
n
g
a pointer means i
t
is v
a
l
i
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Car
p
ente
r
imp
l
ied: cleanup debug output a little
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
C
a
r
penter
slist: p
u
ll show
_
s
m() into a separate function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
check_kern
e
l: ERR_PT
R
() r
e
turns non-N
U
LL (mo
s
tly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
penter
d
ereferenc
e
checks: use the cross f
u
n
ction info from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
p
e
nter
*
new*
chec
k
_dere
f
eren
c
es_
p
a
r
am: l
i
st
f
unc
t
ions that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* re
t
u
rns: mer
g
e a
l
l
slists from all returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpen
t
er
d
b: a
d
d call_implies table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
flo
w
:
p
rint a dif
f
erent filename w
h
en -
-
info option
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpen
t
er
deref:
f
ix
a
typ
o
in
t
h
e err
o
r me
s
sage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
D
a
n Car
p
e
nte
r
user_data:
t
rac
k
u
ser data that is returned
t
o oth
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan
Carpenter
bool_implicati
o
ns: remove de
b
u
g
ging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
D
an Car
p
enter
fix compile
on U
b
untu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
D
a
n
Carpenter
ge
n
erisize
.
pl:
s
trip all strings not just th
e
first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Da
n
Carpen
t
er
buf_size: Add a NULL chec
k
to get_array_size_b
y
t
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
arp
e
nt
e
r
*new* sizeof_pointer: us
i
ng
sizeof(p) w
h
ere sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
Carpenter
overf
l
ow: che
c
k memcp
y
(
)
to see if w
e
're comparin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpe
n
ter
extra: don't reset &argum
e
nts 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: chang
e
h
ow "for
(
i = 0; ; i++) {
.
.
.
" is hand
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Car
p
enter
*new* or_vs_and: com
p
lain about i
f
(x
!= 3 || x
!
=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
D
an
Carpente
r
sparse: in
t
roduce get_exp
r
ess
i
on_value_nomod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
type: introduce i
s
_po
i
nter() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
D
a
n
Ca
r
penter
extra:
frob(foo) resets the value of *
f
oo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpen
t
er
extra: foo((void *)&x)
w
rites to
x
probably
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpent
e
r
ranges: intr
o
duce invert_range_l
i
s
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpente
r
math: hand
l
e __smatch_i
m
pl
i
e
d
(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
rpente
r
r
ang
e
s: commit range_lists_equiv() so that bool_im
p
lications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n
Car
p
enter
smdb_
p
aram_buf_si
z
e
.
sh: ask db what size buffers are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
r
p
enter
extra: get_implied_range_list(
)
should handl
e
conditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Carpente
r
buf_size: store buffer
s
izes in db (turn
e
d off by default)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
db:
d
on't die on SQL err
o
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpente
r
bool_i
m
plications: make a
l
is
t
of impl
i
c
a
tions fo
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
D
an
C
arpenter
m
ath:
handle logi
c
al expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
D
an Carpenter
core: pri
n
t sm_
m
sg()s befor
e
parsing s
t
arts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan C
a
rpenter
parameter_implicat
i
ons: gen
e
rate list of
f
unctions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
db:
m
atch_retur
n
() shouldn't re-implem
e
nt get_impl
i
ed_ran
g
e_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Ca
r
penter
math: s
o
rt of hand
l
e conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpenter
math
:
s
imp
l
ify impl
i
ed_condition_
t
r
u
e
/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpent
e
r
math: simplify know
n
_c
o
ndit
i
on_true/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n
Carpenter
math: handle __smatch_i
m
p
l
i
e
d(({frob(); 2;}));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Carpente
r
math:
ha
n
dle foo = !
2
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n
Carpenter
extra, ma
t
h
: mo
v
e known_
c
on
d
i
t
o
n_true
/
false() etc fr
o
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carp
e
n
t
er
pr
o
j
e
ct: fix
p
arameter
implica
t
ion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan
C
a
rpen
t
e
r
helper: intr
o
duce get_me
m
ber
_
name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan
C
arpenter
db: prin
t
all
r
etur
n
values at end o
f
func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpenter
db
:
add some
s
mdb_ scripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
an C
a
rpe
n
t
e
r
fil
l
_db_r
e
tur
n
_info: fix o
u
t
dated parsing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: always init
i
ali
z
e
the range
in get_implied
_
range_list
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: fix get_implied_ra
n
ge() for function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
check_m
a
c
r
os:
c
leanup: use positions
_
eq
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ma
c
ro: take a struct pos
i
tio
n
,
not a pointe
r
to a s
t
ruct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carp
e
nter
im
p
lied
:
cleanup: move dubug
printf
s
t
o
th
e
ir own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
r
p
enter
ranges: ge
t
rid of possi
b
ly_
(
true/false)_r
a
nge_list_ls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
enter
r
anges
:
c
l
e
a
nup
:
m
ov
e
true_
c
ompar
i
s
o
n
_
ra
n
g
e_lr() into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
extra:
a
dd
p
a
r
a
meter impl
i
cations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan C
a
rpent
e
r
ran
g
e
s
: intro
d
uce clone_perma
n
ent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ranges: initialize the pointer in get
_
value_rang
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Carpent
e
r
db: ignore fun
c
tions
w
hich
a
re called a lot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpe
n
ter
typ
e
: exp
o
r
t get_
r
e
al_b
a
s
e
_
type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpe
n
ter
d
b
:
a
d
d code to ha
c
k up
th
e
database with p
r
oject sp
e
c
i
f
ic
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
condition
s
: pr
e
serve |=
as the assign
op in foo |=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next