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
err_ptr: use the actual values to silence false positives
2015-07-31
Dan
Ca
r
penter
e
r
r_
p
tr:
u
se the actual valu
e
s
to s
i
lence f
a
lse positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
c
o
m
par
i
son: fix
an oops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpe
n
ter
fix
u
p_k
e
rnel
.
sh:
track kmalloced() vs
.
text data
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n Carpe
n
te
r
ex
t
ra: d
o
n't tr
y
t
o record the
s
tate f
o
r lit
e
rals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
flo
w
: ad
d
a ->
p
arent member to s
t
a
t
ement structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Ca
r
p
ente
r
ran
g
es: don't allow so many
i
nver
t
ed
r
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
Carpenter
type: improve g
e
t_me
m
ber_type_from_key()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Ca
r
penter
extra: handle arrays bett
e
r
using the chun
k
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carpenter
type:
m
ake type_to_st
r
()
han
d
le arrays bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan
C
arpenter
hel
p
er:
tiny cle
a
nup in get_complic
a
tion_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
implied: fix
b
ug handl
i
ng un
m
at
c
hed im
p
lications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
extra: fix
c
hunk h
a
ndl
i
ng a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
D
a
n
Carpenter
validation: fix a test a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Car
p
e
n
ter
d
eref_ch
e
ck
:
silence some false pos
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Da
n
Carpenter
de
r
e
f
_check
:
remo
v
e unn
e
cessary call
t
o get
t
ing_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
D
an Carpente
r
fixup_kernel
.
sh:
f
i
x
the
r
tlwif
i
h
a
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-25
Dan Carpenter
unconst
a
nt_macros: add MAP_UNINITI
A
LIZED
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
Dan Carpe
n
ter
ptrlist: rea
d
in
g
deleted items in
N
EXT_PTR_
L
IST
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
r
a
nges: fi
x
how some ranges are joined together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan
Carpenter
ranges: avoid a possible in
t
eger overflo
w
problem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan C
a
rpente
r
poin
t
er_
m
ath:
ALIGN is not byt
e
s, but o
f
f
s
e
tof()
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
poin
t
e
r_math:
d
on't complain if a
poi
n
ter mat
h
o
p
era
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
D
an Ca
r
pe
n
ter
pointer_math: silence false a
t
on
of false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
D
a
n Ca
r
penter
c
h
unk: improv
e
expr_to
_
chunk_sym
_
vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carp
e
nter
helper
:
improve
g
et_c
o
mp
l
ica
t
i
o
n_
s
core()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan C
a
rpenter
helper:
export get_com
p
l
ication_s
c
ore()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Ca
r
penter
type: e
x
port is_loca
l
_variable(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpent
e
r
chunk: c
h
ange the
A
PI a bi
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Dan
Carpenter
e
xtra: st
a
rt trackin
g
"chunks" instead of just variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan
C
arpenter
math: give
u
p
if calculating
a val
u
e is too
c
ompl
i
cat
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpenter
imp
l
ied: turn of
f
debug mes
s
a
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
check_list
.
h: move stored_co
n
d
i
t
ion_l
i
n
k
s next to stored_
c
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
D
an Carpenter
flo
w
: ignore arrays with over a 1000
elemen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Dan Ca
r
pen
t
e
r
db/fix
u
p_kern
e
l
.
s
h: hack ar
o
u
n
d
slow r
t
lwifi tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
Carpen
t
e
r
capped:
u
se FOR_
E
ACH_M
Y
_SM()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Ca
r
penter
user_d
a
t
a
2:
a
dd skb_network_
h
eader()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Car
p
ent
e
r
user
_
da
t
a
2: handle pointe
r
s to
u
ser da
t
a better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Ca
r
penter
user
_
data: a
d
d
kma
p
_atom
i
c()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carp
e
nter
user_data: s/kmemd
u
p
_user/memdup_user/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
an Carpenter
test_bit: add set_bit
(
)
a
nd cle
a
r_bi
t
() functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
check_deref: remove call to getting_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
D
a
n
C
a
r
penter
esta
t
e:
m
a
k
e c
l
one_est
a
te() t
a
ke a
N
ULL pointe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpen
t
e
r
w
hite
s
p
ace: cha
n
ge some spa
c
es t
o
tabs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
debug:
a
dd some tools for developing the
d
b
p
a
r
s
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan C
a
rp
e
nte
r
buf_si
z
e:
i
mprove resizable str
u
ct handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Ras
m
us Villemo
e
s
elimi
n
at
e
some ca
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
db: fix
a
bug in split retur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpent
e
r
ex
t
r
a
: introduc
e
ge
t
_ex
t
ra_s
t
ate
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan
Carpen
t
er
smat
c
h: cha
n
g
e
al
l
remai
n
ing refere
n
ces
from w
a
rns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasm
u
s Vill
e
moes
prefi
x
smatch
generated files by smat
c
h_
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasm
u
s Villemoes
test_
k
ernel
.
sh:
c
lean up
.
c
.
smatch
f
i
les after cat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
R
asmus Villemo
e
s
Doc
u
me
n
tation: make me less confused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
V
i
l
lemoes
t
r
ace_params
.
pl:
fix hash/hash refe
r
enc
e
confusion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Car
p
enter
kernel
.
igno
r
ed_macros: add SN
I
C_BUG_O
N
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan C
a
rpent
e
r
unreachable
:
ig
n
ore list_for_each_e
n
try_c
o
nti
n
ue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
extra: han
d
le
x = (
u
8)y
;
correct
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
impli
e
d:
f
ix a l
e
a
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carp
e
n
ter
type:
hand
l
e type
o
f()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan C
a
r
penter
math
:
handle
_
_smat
c
h_implied(&foo->bar)
a
little
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
assign
e
d
_
e
xpr: store it late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpente
r
function_hooks: fix vali
d
at
i
o
n
/sm_compare15
.
c handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
Carpenter
l
ocking: a
d
d
new down_timeout() func
t
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
smatch_address: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan
C
a
r
pent
e
r
fixup_ker
n
el
.
sh:
i
g
nore some __vfs_wr
i
te() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n Carpenter
fixu
p
_kerne
l
: update type
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
F
iro
Yang
Makefile: eliminate a l
l
vm
-
config bu
i
ld warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan C
a
rpenter
debug: improve __smatch
_
states() output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan Ca
r
penter
flow:
ig
n
o
r
e parenthesis in prev_
e
xpression_is
_
getting_add
r
e
ss()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Dan Car
p
enter
unreachable
:
i
gnore netdev_f
o
r_eac
h
_lower_d
e
v
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpenter
flo
w
: clea
n
up
prev_exp
r
ession_
i
s_getting_address()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
D
an Ca
r
penter
flo
w
: "&foo->
b
ar" is not a dereferen
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
s
ma
t
ch_add
r
es
s
:
s
eparate thing
s
out int
o
.
bss
a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*new
*
check_tes
t
_bit: check for test_bit(BIT(0),
&
foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpente
r
type: speed up get_t
y
p
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Ca
r
pen
t
er
type:
i
m
p
rove get_binop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Dan Carpenter
flow: add
a
new expr->parent struct member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpe
n
ter
fix
u
p_ke
r
nel: hard cod
e
__
s
pi
_
sync() returns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
D
an
Ca
r
penter
fixup_kern
e
l: kmalloc
(
)
c
a
n allocate
m
o
r
e d
a
ta
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Droki
n
check_locking
.
c
:
Fix annoyin
g
invisible
r
e
a
d_un
l
ock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpent
e
r
s
matc
h
_
addre
s
s: sort pointers into d
i
ff
e
rent ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
D
a
n C
a
r
penter
extra: r
e
move some unused functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
smatch
.
h: add
t
h
e
comp
a
rison hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan Ca
r
penter
t
y
pe_to_s
t
r: fix a crashing b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
F
i
ro
Y
ang
smatch
.
h: ad
d
est
a
te_g
e
t_single
_
v
alue()
declaration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
D
an Carpen
t
er
igno
r
e
_si
d
e_effect
s
: g
e
t_c
h
ild
_
rcu()
d
ouble evaluat
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpe
n
t
er
imp
l
i
ed:
use com
p
arison informatio
n
for implicati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
sm
a
t
ch
.
h:
move stree_stack declaration from smatch_
s
list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Dan Ca
r
penter
ros
e
nber
g
:
a
d
d __builtin_me
m
set/memcpy()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Ca
r
pen
t
er
user_data2: handle ret
u
rne
d
st
r
uct memb
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
pent
e
r
comparison: update
a co
m
ment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpen
t
er
smd
b
.
py: upd
a
t
e
to ref
l
ect LI
M
IT/FILTER chang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
unw
i
nd: ad
d
some
n
ull checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
type: include smatch
_
slist
.
h to prevent a
s
egf
a
ult
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
extra: don't set states to unknown
a
t
the begin
n
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
extra: don't
s
et true false states if
they
are the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
function_hook
s
: add a h
a
ck around i
n
compare_db
_
r
eturn_
s
tat
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
e
n
ter
li
s
t: add
a
comm
e
nt
a
bout register_implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpe
n
ter
param_
l
imit: han
d
le
struct membe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpenter
states: wh
i
te space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
conditions: ignore known/implied c
o
nd
i
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next