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
double_checking: allow if (foo) { ... } else if (!foo) { }
2015-08-20
D
a
n Carpenter
dou
b
le_checking: all
o
w i
f
(foo
)
{
.
.
.
}
else if (!f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-20
Dan Carpenter
zero_to_err_ptr
:
cal
l
ing PTR_ER
R
(NULL) is a
pr
o
bably
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-20
Dan Carpenter
smdb
.
py: update list of types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-19
D
a
n Carpenter
chec
k
_
kernel: registe
r
this later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-19
D
a
n Carp
e
nt
e
r
check_dma_mappi
n
g_error: The dma_map
p
ing
_
e
r
ror() function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-19
Dan Carpen
t
er
buf_comparison: s
p
l
i
t the co
d
e up an
d
mo
v
e it around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-18
Dan Carpen
t
er
ex
t
ra, db: don't use PA
R
AM_
V
ALUE for r
e
turn
state
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carpenter
bu
f
_size: add km
a
p() an
d
get
_
zeroed_page()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carpent
e
r
b
uf_size, strlen: don't u
s
e strlen() to
d
eter
m
ine the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan
C
arpenter
strlen: c
l
e
anup in ge
t
_implied_str
l
en()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carpenter
buf_size, strlen
:
m
ove strlen() handlin
g
to smatch_strlen
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carpent
e
r
extra: track
a
rray valu
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Da
n
Ca
r
p
e
nter
s
t
o
red
_
conditons: store the chu
n
k as well as
t
h
e
var_sym_li
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
D
an Carpenter
ranges
:
a
d
d a mi
s
sing ca
s
t in add_ra
n
ge_t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
D
an
C
arpenter
val
i
d
a
tio
n
: d
o
n't u
s
e uninitialize
d
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan Ca
r
p
enter
modification_hook:
recor
d
t
he modi
f
i
c
at
i
on
e
x
p
ression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-12
Sudip Mukherjee
kchecker: bu
i
ld alread
y
built directory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan
Carp
e
nter
smat
c
h: remove the "loop co
u
ld be replaced
w
i
t
h if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpenter
buf_size: unbreak
this feature
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpenter
test_kernel
.
s
h
:
print wher
e
the
w
arn
i
ngs are saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpente
r
bu
f
_size
,
db:
o
nly store type_size if it is a poi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan Ca
r
pe
n
ter
st
o
red_condition
s
, imp
l
ie
d
:
us
e
implications of
previou
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan C
a
r
p
enter
i
m
pl
i
ed: re-order wh
e
re we calculate implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-08
Dan Carpen
t
er
overflow: silence glibc
s
trcmp
false positives with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carp
e
nter
i
mplied, ranges: use type
p
romotion for compa
r
isons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan
Carpenter
r
a
ng
e
s: use
N
ULL
i
nstead of zer
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-04
D
an
C
ar
p
enter
deref_check, c
h
eck_de
r
ef: only
c
o
ns
i
der pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
D
a
n Carpenter
s
t
ore
d
_conditions: rename matc
h
_modify()
t
o
m
atch
_
link
_
mod
i
fy()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan
C
a
rpenter
math: fix an
o
ut of mem
o
ry i
s
sue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpen
t
er
math:
r
e
turn a bit earl
i
er in
h
andle_binop_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpen
t
er
implied:
w
e have to make t
h
e fals
e
sta
t
es m
a
tch as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
D
a
n
Carpenter
er
r
_ptr:
use the actual values
to
silence false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
co
m
parison: fix an oops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan
Carp
e
nte
r
fixup_ker
n
el
.
sh: track km
a
lloced() vs
.
text
data better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
e
xtra: don't try to
r
ecord the state fo
r
literal
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpen
t
e
r
flow: add a ->paren
t
member to statement
str
u
cts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
ranges: don't allow so many inverte
d
r
a
n
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Car
p
ente
r
ty
p
e: im
p
r
o
ve get_memb
e
r_type_from_key()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpen
t
er
e
xtra: handle arrays better
u
sing the chun
k
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
D
a
n Carpent
e
r
t
ype
:
make
t
y
pe_to_str() handle arrays be
t
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan
Carpenter
h
e
lper: ti
n
y
c
le
a
nup in get_comp
l
ication_sc
o
re(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
imp
l
ied:
fix bu
g
ha
n
d
l
in
g
un
m
atched imp
l
icatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Car
p
enter
e
x
tra: fix c
h
unk handl
i
ng
a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpe
n
ter
v
a
l
i
dat
i
on: fix a te
s
t a
b
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Da
n
Carpen
t
e
r
d
eref_ch
e
ck: silen
c
e some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
D
a
n C
a
rpe
n
ter
deref_che
c
k: remove unnecessary call
to g
e
ttin
g
_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
fixup_
k
ernel
.
sh
:
fix the rtlwifi hack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-25
Dan Carpenter
u
n
co
n
stant_macros: add MAP_UN
I
NITIALIZE
D
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
D
a
n Car
p
enter
ptrlist: reading del
e
ted items
in
N
EXT_PTR_
L
IST()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
Carpenter
ranges:
f
i
x how som
e
ranges are jo
i
ned together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan C
a
rpenter
ranges
:
avoid a
p
ossibl
e
i
n
te
g
er overflow problem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer_math
:
ALIGN is not
bytes,
b
u
t offsetof()
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointe
r
_mat
h
: don't complai
n
if a pointer math o
p
eratio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
D
an C
a
rpent
e
r
p
ointer_m
a
th
:
silence false a
t
on
of fa
l
se positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
c
h
unk
:
improve
expr_to_chu
n
k_sym_vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
helper: impro
v
e ge
t
_complication_
s
core()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan
C
arpenter
hel
p
e
r: expo
r
t get_c
o
mplic
a
tio
n
_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
typ
e
: export is_l
o
cal_varia
b
le()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
c
hunk
:
chan
g
e th
e
API
a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpent
e
r
extr
a
: sta
r
t
tr
a
cking "chunks"
in
s
tea
d
of just va
r
iables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan C
a
r
penter
m
ath: give up if
c
a
lcula
t
in
g
a
v
a
lue
is too compl
i
cated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
Dan Car
p
enter
i
mpli
e
d: turn o
f
f debug
message
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpent
e
r
check_list
.
h: move stored_conditi
o
n
_
l
inks n
e
x
t to sto
r
ed_con
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Da
n
Carpenter
flo
w
: ign
o
re arrays with o
v
er a
1
000 ele
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Da
n
Ca
r
penter
db/fixup_kernel
.
sh: hack around slow
r
tlwifi t
e
sts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
c
a
p
pe
d
:
use FO
R
_EACH_MY_SM()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_data2: ad
d
skb
_
n
e
t
w
or
k
_he
a
der()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_data2: han
d
le pointers
to use
r
d
ata better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Car
p
en
t
er
user_da
t
a
:
add kmap_atomic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_data: s/kmemdup_user/memdup_user/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arpenter
test_
b
it: a
d
d set_bit() and clea
r
_bit() f
u
nction
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpen
t
er
c
h
eck_der
e
f
:
remove call t
o
get
t
ing_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
estate: m
a
ke
c
lone_estate() take a NULL poi
n
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
whitespace: change
s
ome spaces to
tabs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Da
n
C
a
rpen
t
er
de
b
ug:
add some tools for dev
e
loping the db parser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpente
r
buf
_
siz
e
:
im
p
ro
v
e
resizable
s
t
r
u
c
t handl
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus
Vi
l
lemoes
elimi
n
ate
some c
a
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
d
b
: f
i
x a bug in spl
i
t returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpe
n
ter
extra
:
introd
u
c
e get_ext
r
a_stat
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
D
an Carpenter
s
m
at
c
h
: chang
e
a
l
l remaining referen
c
es fro
m
warns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
R
a
smus Vill
e
moes
pre
f
ix s
m
atch generated fil
e
s 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 files a
f
ter c
a
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmu
s
Villemoes
Docu
m
e
n
tation: mak
e
me
less con
f
u
sed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vil
l
emoes
trace
_
pa
r
am
s
.
pl: fix hash/hash reference
c
onfusion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpenter
kernel
.
ignored_macros: add
S
NIC_BUG_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
unrea
c
hable: ign
o
re
l
ist_for_each_
e
nt
r
y_contin
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
e
xtra:
handle x = (u8)
y
; cor
r
ectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Carpenter
implied: fix
a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
an C
a
rpenter
type:
h
an
d
le
t
ypeof
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpente
r
m
ath
:
h
andle _
_
smat
c
h
_
i
m
pli
e
d(
&
foo-
>
bar) a little better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan C
a
rpente
r
assigne
d
_
exp
r
: store it late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
function_ho
o
ks: fix val
i
dation/sm_compare15
.
c
h
andling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
Carpenter
locki
n
g: add new down_timeout() function
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
Da
n
C
ar
p
enter
fixup_kernel
.
sh: ignore some __vfs_write() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fixup_kernel:
update types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
Firo Yang
Makefile: elim
i
nate a l
l
vm-config build warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpe
n
ter
debug: im
p
rove
__smatch_states() output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan Ca
r
penter
flow: ignore
parenthesis in pr
e
v_express
i
o
n_
i
s_getting_a
d
d
r
ess()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Dan Ca
r
penter
unreacha
b
le: ignore netdev_
f
or_each_l
o
wer_d
e
v()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next