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
buf_comparison: split the code up and move it around
2015-08-19
D
a
n Carpenter
buf_com
p
arison: split the
code up
and move
i
t around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-18
D
a
n Car
p
enter
extra, db: don't
use
P
ARAM_VA
L
UE for return states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
D
a
n
C
arpenter
buf_size
:
add kmap()
a
n
d get
_
zeroed_pa
g
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carpenter
buf_si
z
e, s
t
rlen: don't use
strlen() to de
t
ermine the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carpenter
strlen: cl
e
anup in get_im
p
lied_
s
trlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan
C
arpenter
buf_size, strle
n
:
m
ove strlen() handlin
g
to smatch_
s
trlen
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carpenter
extra: track
a
rray
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan Car
p
en
t
e
r
sto
r
ed_conditons
:
store
the chunk as well as
the
var_sym_list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan
Carpente
r
ranges:
a
dd a missi
n
g c
a
st in add_range
_
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
D
an Carpenter
valid
a
tion: d
o
n't use uninitia
l
i
zed d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan C
a
rpenter
m
o
d
i
ficat
i
on_hoo
k
: re
c
ord t
h
e modification expression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-12
S
udip Mukherj
e
e
k
c
hecke
r
:
build already built directory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
D
an Carpen
t
er
smatch: remov
e
the
"loop c
o
u
l
d
be rep
l
aced
w
ith if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
D
an Carpenter
buf_size: unbrea
k
this feature
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan
C
arpenter
t
e
st_ke
r
nel
.
sh: print w
h
er
e
the w
a
rnings are s
a
ved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
D
a
n Carpent
e
r
buf_size, db: only store type_size i
f
i
t
is a po
i
nte
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan Car
p
enter
stored
_
co
n
ditions, im
p
li
e
d
:
use i
m
pli
c
at
i
o
ns of previou
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpenter
implied: re-or
d
e
r wher
e
we calculate i
m
plic
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-08
D
an
Carpenter
overfl
o
w
: silence glibc strcmp fa
l
se positives with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carp
e
nter
i
m
plied, rang
e
s: use t
y
pe promotion
f
or
c
ompar
i
s
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Da
n
Carpenter
ran
g
es: u
s
e NU
L
L instead of zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-04
Dan
C
ar
p
enter
deref_check
,
c
h
ec
k
_
der
e
f:
only
consider point
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan
C
arpenter
st
o
red_con
d
itions: r
e
name match_modi
f
y() to match_link_modi
f
y(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan
Carpenter
m
ath: fix an out of memo
r
y
issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpenter
m
ath
:
return
a
bit ear
l
ier in handle_b
i
nop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpenter
implied: w
e
h
a
ve to make the f
a
l
s
e states match as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
D
an Carpenter
er
r
_ptr: us
e
the actual
values to s
i
lence false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
c
o
m
p
aris
o
n: fix an oops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
fixup_kernel
.
sh:
t
r
ack k
m
alloce
d
(
)
vs
.
text
data b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
Carpenter
ex
t
ra:
d
on't try to reco
r
d the stat
e
for
l
it
e
rals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpen
t
er
flow:
a
d
d a ->parent m
e
mb
e
r to statement structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpente
r
ranges: don
'
t allow so many inver
t
ed ra
n
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan C
a
rpenter
type
:
im
p
rove get_membe
r
_ty
p
e_from_key()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpent
e
r
extra: h
a
ndle arrays be
t
t
e
r using the chunk c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
D
an Carpenter
ty
p
e: m
a
ke type_to_str() handle arrays bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
D
an Carpen
t
er
h
e
lper:
t
iny
cleanup i
n
get_co
m
plicat
i
on_scor
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Ca
r
penter
im
p
lied
:
fix
b
ug hand
l
ing
u
nmatc
h
ed i
m
p
l
i
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan C
a
rpenter
extra: fix ch
u
nk handling a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan
C
a
r
penter
validation: fi
x
a test a bi
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
D
a
n Carpenter
deref_check: silence some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Car
p
enter
deref_
c
he
c
k: remove
u
nnec
e
ssary ca
l
l
t
o getting_addr
e
ss()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan
C
arpenter
fixup_kernel
.
sh: fix
the rtlw
i
f
i
hack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-25
D
an Carpent
e
r
unconstant_macros: a
d
d MAP_UNI
N
ITIALIZED
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
D
a
n
C
arpenter
ptrlist: reading de
l
e
t
ed i
t
ems in NEXT_PTR_
L
IST()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n Carpenter
ranges: fix
h
ow some rang
e
s are joined toget
h
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
Carpenter
ranges:
a
vo
i
d a possible
in
t
e
g
er overflow pr
o
bl
e
m
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
Carpenter
point
e
r_math: ALIGN is not
b
y
te
s
, but offset
o
f() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan
C
arpenter
po
i
n
ter_mat
h
: do
n
't com
p
la
i
n if a po
i
nt
e
r
math op
e
ration
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan C
a
r
p
enter
pointer_mat
h
: silence false a ton
o
f f
a
l
s
e positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
chunk: i
m
pr
o
ve expr_to_chunk_sym_v
s
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpen
t
er
hel
p
er
:
i
m
prove get_complica
t
i
o
n_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carp
e
nter
helper: expo
r
t get_complication_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan
Carpenter
typ
e
: export i
s
_loca
l
_
variable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpent
e
r
ch
u
nk: cha
n
ge the
A
PI a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpe
n
ter
extra: star
t
tra
c
king "chunks" ins
t
ead
o
f jus
t
variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
D
an Car
p
enter
math
:
g
i
ve u
p
if calculating a value is too complicate
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
D
a
n
Carpen
t
e
r
implied: t
u
rn off deb
u
g
m
essages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
c
heck_lis
t
.
h: move stored_
c
ondition_links next to stored_con
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
flow: ignore arrays wit
h
ove
r
a
1000 e
l
e
ment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carpenter
db/fixup_kernel
.
sh: hack a
r
ou
n
d
s
l
ow rtl
w
ifi tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpenter
ca
p
ped: use FOR_EACH_MY
_
SM()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
a
rpe
n
te
r
user_data2: add sk
b
_network
_
he
a
d
e
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpente
r
u
ser_data2: handle
p
ointers t
o
user data better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_data
:
ad
d
k
map_
a
tomic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
ar
p
ent
e
r
us
e
r
_
data: s/kmem
d
u
p
_user/me
m
d
u
p_user
/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpe
n
ter
te
s
t_bit: add set_bit
(
) and c
l
ear_bit(
)
f
u
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
check_dere
f
:
remove cal
l
to get
t
ing_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan
Carpenter
es
t
ate: make
c
lone_es
t
ate() take a NULL po
i
nter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
D
an Carpenter
w
hit
e
s
pace: change some sp
a
ces to tabs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Ca
r
penter
debug: add some tools for
d
eveloping the db par
s
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
buf_s
i
ze
:
improve resizable struct
ha
n
d
l
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Rasm
u
s Villemoes
e
l
imin
a
t
e
some
c
ats
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n Car
p
enter
db: fix a
b
ug in split returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Da
n
Car
p
en
t
er
extra: in
t
roduce get
_
e
xtra_sta
t
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n Carpenter
s
match
:
change a
l
l remaining
references f
r
om
w
arns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
R
asmus Villemoes
prefix smatch genera
t
ed file
s
by smatch_
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
test_ke
r
n
el
.
sh: clean up
.
c
.
smatch files after c
a
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vill
e
moes
Documentation: make me less confused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Ra
s
mus Villemoes
tra
c
e_
p
ar
a
ms
.
pl: fix hash
/
hash reference confusion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpenter
kernel
.
ig
n
o
re
d
_
m
a
c
r
o
s
: add SNIC_
B
U
G_ON(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
u
nreach
a
ble: ignore list_for_each_entry
_
continue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan
C
arpenter
extr
a
:
h
andle x
= (u
8
)y; c
o
r
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
an
Carpenter
implied:
fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
arpenter
type: handle typeo
f
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carpenter
math: h
a
n
d
l
e __smatch_im
p
lied
(
&foo->bar) a litt
l
e better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n C
a
rpenter
assigned_expr: store
it late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n
C
a
rpenter
function_hook
s
: fix valida
t
ion/sm_compare15
.
c hand
l
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
Carpent
e
r
loc
k
ing: add new down_timeout() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Ca
r
penter
smatch
_
address: fix co
m
pile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
f
i
xup_k
e
rnel
.
sh: ignore some __vfs_write() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
Carpenter
fixup_kernel: update
t
ypes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
Firo Y
a
ng
Makef
i
le: eliminate a llvm-confi
g
bu
i
ld war
n
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpenter
debug: improve __smatch_sta
t
es() o
u
tpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
D
a
n Carpenter
flo
w
: ignore pare
n
th
e
sis
i
n prev_e
x
press
i
on_is_getting_ad
d
ress()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Dan C
a
rpenter
unreachable: ignore netdev_for_each_l
o
w
e
r_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carp
e
nter
flow: cleanup prev_expression
_
is_g
e
tting_address()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan C
a
rpenter
fl
o
w: "&foo->bar" is not a
dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpente
r
smatch_address: s
e
pa
r
ate thing
s
out into
.
bss
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
D
an Carp
e
nter
*new* check_te
s
t_bit: chec
k
for test_bit(BIT(0), &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan
C
arpenter
type: speed up get_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next