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
ranges: add a missing cast in add_range_t()
2015-08-15
Da
n
C
a
rpenter
r
anges: add a missing cast
in add_range_t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan Carpenter
valida
t
ion: d
o
n
't use uninitialized data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Da
n
C
arp
e
nter
modifi
c
atio
n
_hook:
r
e
c
ord
t
h
e mo
d
i
f
ication expr
e
ssi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-12
S
udip Mu
k
herjee
kchecker: build already
built directory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Da
n
Carpenter
sm
a
tch
:
r
e
m
o
v
e
the "loop could be
replaced with if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
D
an Carpenter
buf_si
z
e:
unb
r
ea
k
t
his
feature
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Car
p
ente
r
t
est_kernel
.
sh: print where the warni
n
gs are sa
v
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
D
a
n
Carpenter
buf_s
i
ze,
db: o
n
ly s
t
ore typ
e
_si
z
e if it is
a
p
o
inte
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpenter
stored_condit
i
ons, imp
l
ied:
u
se imp
l
i
c
ations
of prev
i
ou
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
D
a
n
Carpenter
impl
i
e
d: re-order where we
c
alculate
impli
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-08
Dan Car
p
enter
ov
e
rflow: silence glibc st
r
cmp false positives w
i
th
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpenter
implied, ranges: use type promoti
o
n for
c
omparison
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpente
r
r
a
nges: us
e
NULL inste
a
d of zer
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-04
D
a
n Ca
r
penter
deref_check, check_deref: only c
o
n
sider pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpenter
s
tored_
c
o
nditio
n
s
:
rena
m
e
ma
t
ch_modify() to
ma
t
ch_link
_
mod
i
fy()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan Ca
r
penter
mat
h
: fix a
n
out of
m
emory issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan
C
a
rpenter
ma
t
h: r
e
turn a bit earlier in ha
n
dle_b
i
nop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
Dan Ca
r
p
enter
implied: we h
a
v
e to make the
f
alse st
a
tes match as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
D
a
n Carpe
n
ter
err_ptr: use the actual
v
al
u
e
s
to silence false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan C
a
rpe
n
ter
compar
i
son: fix an oops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan
C
a
rpenter
fixup
_
kernel
.
sh: t
r
ack kmal
l
oced() vs
.
t
ext data better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan
C
arpenter
extra
:
don't tr
y
t
o re
c
ord
th
e
s
t
a
te
for lit
e
rals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
Carpenter
f
l
o
w
: add a ->parent member to st
a
t
e
m
ent structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan
Carpent
e
r
r
a
nges: don't allow so many invert
e
d
r
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan C
a
r
penter
type: improve g
e
t_member_type_from_
k
e
y
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
D
an C
a
rpenter
ex
t
ra:
h
andl
e
arrays b
e
tter
u
s
i
ng the chu
n
k
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan Car
p
e
nter
type: make type_to_str() hand
l
e arrays
bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Da
n
Carpenter
hel
p
er: tiny cleanup in get_
c
omplication_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
D
an Car
p
enter
i
m
plied: fix bug
handling unmatched implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Car
p
ent
e
r
e
x
tra: fix ch
u
nk handling a
b
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carp
e
nter
validatio
n
:
fix a test a bi
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
deref
_
check: silence
s
ome false posit
i
v
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
d
eref_c
h
eck: remove unnecessary call to getting_addre
s
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Ca
r
pe
n
ter
fixup_kernel
.
sh
:
fix the rtlwifi hack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-25
Dan
Carpenter
unconstan
t
_
m
acros: a
d
d
MA
P
_UNINITIALIZED
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
Dan Carpent
e
r
ptrlist: reading d
e
leted i
t
ems in NEXT_PTR_LIS
T
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n Carpenter
r
ange
s
: fix how some ra
n
ges are joined togeth
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Ca
r
penter
rang
e
s:
avoid a possible integer o
v
erfl
o
w
p
roblem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n
C
a
rpenter
pointe
r
_math: ALIGN is
n
ot b
y
tes, but o
f
fsetof() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer_math:
don't complain if a pointer ma
t
h
operation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpe
n
t
er
po
i
nter_
m
ath: silen
c
e false
a
ton of false p
o
sitive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
c
hunk: improve expr_to
_
ch
u
nk_s
y
m
_
vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpente
r
helpe
r
:
im
p
rove get_com
p
l
i
cat
i
on_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpe
n
ter
helper: export get_co
m
plic
a
tion_s
c
o
r
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
D
a
n Car
p
ent
e
r
type:
e
xport is_local_variable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan C
a
rpenter
ch
u
nk: change
th
e
API a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carp
e
n
ter
extra: s
t
art tracking
"
c
hunks
"
instead
of
jus
t
va
r
iables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
D
an Carpenter
m
ath: giv
e
up i
f
calc
u
lating a val
u
e is
t
oo complicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
D
an Carpenter
implied: t
u
r
n
off debug messages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Car
p
e
nter
check_list
.
h: move
s
tored_condition_links
n
ext to st
o
red_con
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan
Carpenter
f
low: ignore arrays with ov
e
r
a 1
0
00 ele
m
ent
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carpenter
db/fixup_kernel
.
sh:
hack ar
o
und slow rtlwifi tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Ca
r
pent
e
r
capped: use
FOR_EACH_MY_SM()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user
_
d
a
t
a
2: add skb_ne
t
work_header()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Car
p
ent
e
r
user_data2: handle
p
ointers
t
o user data bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Car
p
enter
u
s
er_data: add k
m
ap_atomic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
u
s
er_data: s/
k
memd
u
p_user/memdup_user/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpenter
test_bit
:
add set_bit()
and clear_bit() func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carp
e
nter
c
h
e
c
k_d
e
ref: rem
o
ve call to gettin
g
_ad
d
ress()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan
Carp
e
n
t
e
r
esta
t
e: mak
e
clone_estat
e
() take a NULL
p
o
inte
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
wh
i
t
e
space:
change some spa
c
e
s
t
o t
a
bs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Ca
r
penter
d
ebug
:
add som
e
tool
s
for developing th
e
db parser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
buf_si
z
e: improve resizable s
t
ruct handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus V
i
llemoes
e
liminate some ca
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Car
p
enter
db: fix a bug in split return
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Da
n
Carpenter
ex
t
ra: intr
o
duce get_extr
a
_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n
Carpente
r
s
match: change
all rema
i
ning references
from warns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus V
i
l
lemoes
prefix
sma
t
ch
generate
d
files by smatch_
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
test_kernel
.
sh
:
clean up
.
c
.
smatch
fil
e
s
after
cat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Ras
m
us Ville
m
oe
s
D
o
c
umentat
i
o
n
:
make me less
confused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
R
a
smu
s
Ville
m
oes
trace_params
.
pl: fix h
a
sh/hash reference confusi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpe
n
ter
kernel
.
ignored_macros
:
add
S
NIC_BUG_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpen
t
er
u
n
r
e
achable
:
igno
r
e list_for_
e
ach_
e
ntry_co
n
tinue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan
Car
p
ent
e
r
extra:
h
andle x = (u8)y; corre
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Ca
r
penter
i
m
p
lie
d
: fix
a le
a
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpente
r
type:
h
and
l
e typeof()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carpenter
ma
t
h: ha
n
d
l
e __smat
c
h
_implied(&foo->bar)
a
little
b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
an Car
p
enter
assigned_expr:
s
tore it l
a
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpent
e
r
f
u
n
c
tio
n
_
h
ook
s
:
f
ix valida
t
i
on/sm_compar
e
15
.
c handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Car
p
enter
l
o
cking: add n
e
w d
o
wn_timeout() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n Carpenter
smatch_addres
s
:
f
ix comp
i
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Car
p
enter
fixup_kerne
l
.
sh: ign
o
re s
o
me _
_
vfs_write() call
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
f
i
x
up_kernel
:
u
pdate types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
Firo
Y
an
g
Makefi
l
e
:
e
liminate
a
llvm-config buil
d
w
arni
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpenter
deb
u
g:
i
mprove __s
m
atch_states()
o
utpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
D
an Carpenter
flow: ignore
parent
h
esis in prev_exp
r
ession_is_getting_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carpenter
u
nreachable: ignore netdev_for_
e
ach_lower_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpenter
flow:
cleanup prev_expressio
n
_
i
s_getting_address()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carp
e
nter
flow: "&foo->ba
r
" is not
a dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan
C
ar
p
e
n
t
er
sma
t
ch_address: sepa
r
ate things out into
.
bss
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
D
a
n
C
a
rpent
e
r
*new* check_test_bi
t
:
c
h
eck for test_bit(BIT(0), &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
D
a
n
Ca
r
penter
type
:
speed up get_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carp
e
nter
type:
i
mprove
g
et_binop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Dan
C
arpent
e
r
fl
o
w: add a new expr->parent
struct member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fixu
p
_kerne
l
:
h
ard code
_
_spi_sync()
returns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fixup_
k
ernel
:
kmalloc() can allocate
m
ore data
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Drokin
check_locking
.
c: Fix annoyin
g
invisible read_unlo
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpenter
smatch_address: sort poi
n
ters
i
nto different
ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carp
e
nter
e
x
tr
a
: rem
o
ve
some
unu
s
e
d functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Da
n
Carpenter
smatch
.
h: add t
h
e
co
m
pari
s
on h
o
ok
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next