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
check_deref: remove call to getting_address()
2015-07-01
Dan
C
arpenter
c
heck_
d
eref: remove call to
ge
t
ti
n
g_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpente
r
estate: make cl
o
ne_es
t
ate
(
)
t
ake
a NU
L
L
poi
n
te
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan C
a
r
p
enter
w
h
i
tespac
e
: change
s
om
e
spaces t
o
ta
b
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
D
a
n
Carpenter
deb
u
g:
add some tools
f
or
d
eveloping the db parser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpente
r
buf
_
size: im
p
rove resizable struct handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Ca
r
penter
d
b
: fix a bug
i
n split returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan
Carpe
n
t
e
r
e
x
tra
:
introduce g
e
t
_extra_stat
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
D
an Ca
r
penter
smatch: cha
n
g
e all
r
ema
i
ning references from w
a
rns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
Dan Ca
r
penter
kernel
.
igno
r
ed_ma
c
ros: add
SNIC
_
BUG_ON()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
D
an Carpenter
unreachab
l
e: ignore list_for_eac
h
_entry
_
con
t
i
n
ue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carp
e
nter
e
xtr
a
:
ha
n
dle x = (u8)y;
correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
arpenter
implied: fix
a
leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Carpenter
t
yp
e
: handle ty
p
eof()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpente
r
m
ath:
handle __smat
c
h
_
impli
e
d(&foo-
>
bar) a littl
e
bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Carpenter
assigned_expr: sto
r
e it late
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carpenter
function_hoo
k
s
: fix vali
d
ation/sm_compare15
.
c handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
lock
i
ng: add new down_timeout() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan
C
arpenter
smatch_address: fix compil
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
D
an
C
arp
e
nter
fixup_kernel
.
sh: ignore som
e
__vfs_writ
e
(
)
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpe
n
ter
fixup_kernel:
u
pdate types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carp
e
nter
d
eb
u
g:
improve
_
_sma
t
ch_states() outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan Ca
r
p
enter
flow: ignore parenthesi
s
in prev_expre
s
sion_is_getting_a
d
dress()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
D
an Car
p
enter
unreachabl
e
: ignore n
e
t
d
ev_for_e
a
c
h
_lower_dev
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpent
e
r
flow: clean
u
p prev_expr
e
ssion_is_getting_address()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Ca
r
penter
f
low: "&
f
oo-
>
bar"
is no
t
a dereferenc
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Ca
r
pe
n
ter
smatc
h
_
a
d
d
ress: s
e
pa
r
ate th
i
ngs out into
.
bss and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan Car
p
enter
*new* check_test_
b
it: che
c
k fo
r
test
_
bit(B
I
T(0),
&
foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
type: speed up get
_
t
ype()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpent
e
r
t
y
p
e: improve get_
b
inop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Dan Car
p
enter
f
l
o
w
:
add a ne
w
expr->parent
s
truct mem
b
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Ca
r
pen
t
er
fixup_kernel:
h
ar
d
code __spi
_
s
ync()
r
e
t
urns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fix
u
p_kernel: kma
l
l
oc() c
a
n all
o
c
a
te more dat
a
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan
C
arpente
r
sma
t
ch_address: sort po
i
nters into di
f
ferent
ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
D
an Carpente
r
extra: remove
some unused
f
u
nction
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan
Carp
e
nter
smat
c
h
.
h
:
add the compar
i
son
hoo
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carpenter
type
_
to_
s
tr
:
fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carpente
r
ignor
e
_side_effects: get_child_rcu() d
o
uble
e
valuates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
im
p
lied: use co
m
par
i
son informatio
n
fo
r
i
mplications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
D
an C
a
rpent
e
r
sm
a
tch
.
h: move stree_stack declaration
f
rom smatch_slist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan
Carpen
t
er
rosenber
g
: a
d
d __bui
l
tin_memset/memc
p
y(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpent
e
r
us
e
r_data2
:
handle
re
t
urned
stru
c
t
member
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
comparison
:
update a
comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
r
p
enter
sm
d
b
.
py: update
to reflect LIMIT/FILT
E
R changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
unwind: add
some null
c
h
ecks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpente
r
t
ype
:
include smatc
h
_slist
.
h to prev
e
nt a
s
egfau
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
e
xt
r
a:
don't s
e
t state
s
to unknown a
t
t
h
e beg
i
nning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
e
xtra: don't
s
e
t true fals
e
sta
t
es if they are the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpent
e
r
f
unction_hooks:
a
dd a hack
a
round in co
m
pare_db_
r
etur
n
_stat
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
list: add a co
m
men
t
about
register_im
p
lications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpente
r
p
aram_limit: hand
l
e struct membe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
s
t
a
tes:
w
hite
s
pace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
conditions: ignore know
n
/implied co
n
d
itions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
s
t
rings: record string assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
str
u
ct_assignment: save a
l
o
t
more in
f
ormation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
en
t
er
param_lim
i
t
/
f
ilter: fi
x
a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
an Carpente
r
co
m
par
i
son: handle
c
anon
i
c
al for loop
s
wit
h
variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
a
rpent
e
r
comparis
o
n: unsigned can
n
ot be
l
ess t
h
a
n zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Car
p
enter
flo
w
:
set __cur_stmt
a
nd __prev_s
t
mt inside for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
Carpenter
c
o
m
p
arison: merging equivalent sta
t
es is not
u
nd
e
fin
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
C
a
r
penter
c
o
m
pari
s
on: fix an in
d
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpenter
f
u
nction_hooks: fix up db_comp
a
re_callb
a
ck()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an
C
arpen
t
er
function_h
o
oks, debug: pr
i
nt imp
o
ssib
l
e
returns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
pente
r
h
e
lper: don't str
i
p c
a
sting in get
_
array_off
s
et()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
links:
expor
t
m
erge_lin
k
_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
helper: make
expr_to_str
(
)
p
rint
f
orced casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpenter
type: make t
y
p
e
_
t
o_st
r
() return
a sn
a
me(
)
buf
f
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
enter
modification_hooks: set
a
variable
as modif
i
e
d
w
he
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
penter
u
ser_data2: tag it if a f
u
nctio
n
sets
parameters to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
st
a
ck: c
l
e
a
nup a fu
n
ction prototype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an
Carpent
e
r
der
e
f_chec
k
: i
g
n
ore arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
type: make sval_ty
p
e
_
max() default to "long long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
D
a
n
Carpent
e
r
typ
e
: don't retur
n
SYM
_
N
OD
E
types from get_real_ba
s
e
_
type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpe
n
t
er
side_effects: the
iterate_all_kinds()
m
acro has side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Car
p
enter
unreachable: don't compla
i
n
about iterate_all
_
kinds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan
Carpenter
f
low:
fix "foo += !ba
r
;
"
assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpenter
lib: handle
-
funsigned-char option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
D
an Carpenter
kernel
.
ignore_side_effects
:
a
d
d some mac
r
o
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n Carpenter
indent
i
n
g
: allow "break; case XX
X
:
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpent
e
r
user_data2: mark
s
scanf
(
)
o
utput as user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
m
a
th
,
rl: fix handing division invo
l
v
in
g
neg
a
tive
n
u
m
b
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
sval: fi
x
sva
l
_
b
i
nop_ove
r
flow
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan
Carpenter
p
re
c
edenc
e
: complain a
b
out "foo << bar -
baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpent
e
r
f
low: handle
struct ini
t
iali
z
a
t
io
n
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
estate: a
d
d a NULL check in estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Da
n
Carpenter
p
aram_used: st
o
re when
a
parameter is u
s
e
d
so
we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan
C
arpenter
extra: ignore more __in_
f
ake_assign data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
comparison
:
fi
x
a cra
s
hing
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n Carpenter
typ
e
:
a
d
d
an expr_s
i
gned() function th
a
t
m
atches expr_u
n
s
i
gned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Da
n
Carpenter
smd
b
.
py: ad
d
f
u
nctions to
s
how fu
n
c
tions
i
mplementing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan
Ca
r
penter
ext
r
a
:
hand
l
e
t
e
m
p
o
rary s
h
o
r
thand poi
n
ters better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n Carpenter
derefere
n
ces_par
a
m
:
look for p
o
inters us
e
d as
a
n
ar
r
ay
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n
Carpent
e
r
check_indenting:
wa
r
n abou
t
missing curl
y
braces
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Ca
r
penter
param_cl
e
a
red
:
add a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carp
e
nter
val
i
d
a
tion: correct
som
e
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
db: build
i
ndexe
s
faste
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Ca
r
penter
s
l
ist: fix compile breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n
C
a
rpent
e
r
k
ernel_
p
rint
f
: silence some false
positives
u
sing sma
t
ch_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Car
p
enter
stri
n
g
s
: record which
strings are bein
g
used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan
C
arp
e
nter
user_data2: turn on sk
b
->data taggin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpe
n
ter
db: re
n
ame FILTER
_
VALUE, LIMITED_VALUE, and ADDED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next