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_size, strlen: move strlen() handling to smatch_strlen.c
2015-08-17
Dan Carpenter
buf_size, str
l
en:
m
ove s
t
rle
n
() h
a
ndl
i
ng t
o
smatch
_
strlen
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carpenter
ext
r
a: tr
a
ck
a
rray values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carpe
n
ter
s
tored_conditons: stor
e
the chun
k
as well as t
h
e var_sym_list
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-15
D
a
n Car
p
enter
rang
e
s: add a mi
s
sing
c
a
s
t in add_range_t(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-14
Dan Carp
e
n
ter
validati
o
n
: don't
use u
n
initializ
e
d da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-14
Dan Carpenter
m
odification
_
hook: r
e
c
o
r
d
t
he mo
d
ification expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-12
S
u
d
ip Mukh
e
rjee
kchecker: b
u
ild a
l
rea
d
y built
directory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carp
e
nter
s
match: remov
e
the "l
o
op c
o
uld be
r
eplaced with if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
D
a
n Carp
e
nter
buf_s
i
ze: unbreak this f
e
a
t
ure
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpente
r
t
e
st_kerne
l
.
s
h
: print where the warnings are sa
v
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
Dan
C
arpe
n
ter
buf_size, db
:
only store type_size if it is a pointe
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpe
n
te
r
stored_c
o
n
ditions, implied: us
e
implication
s
o
f previous
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpent
e
r
implie
d
: re-orde
r
wh
e
re we ca
l
culate imp
l
ications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-08
Dan Carp
e
nt
e
r
overflow: silence
glibc strcmp f
a
lse pos
i
tives w
i
th
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpenter
implied, ranges: u
s
e type promotion fo
r
comparis
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpente
r
ra
n
ges: use NULL instea
d
of zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-04
Dan Ca
r
penter
de
r
ef_check, check_deref: only consider pointer
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpenter
s
t
ored_conditions: rename match
_
modify() to match_
l
ink
_
m
o
dify()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpent
e
r
math: fix an out
o
f mem
o
ry issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
D
a
n C
a
rp
e
nter
math: r
e
tur
n
a
b
it ea
r
lier
i
n
handle_binop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
D
a
n
Car
p
e
nter
implied: we h
a
ve to make the fal
s
e s
t
ates match as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpent
e
r
e
r
r_ptr: use
t
h
e
actual values to silence false positive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
an Carpenter
compa
r
ison: fix an oops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Ca
r
penter
f
i
x
u
p_
k
ernel
.
sh: t
r
ack
kmalloced
(
) vs
.
text
data bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carp
e
n
t
e
r
extr
a
: don't try to r
e
cord the state for literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Ca
r
penter
flow:
a
dd
a
->
p
ar
e
nt mem
b
er to statement structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan
C
ar
p
e
nte
r
ranges: don't
all
o
w
s
o many inverted rang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carp
e
nte
r
type: i
m
prove get_memb
e
r_ty
p
e_from_key()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan C
a
rpenter
extra: handle arrays be
t
ter using the chunk code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Car
p
enter
type: make type_to_str() handle arra
y
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Ca
r
p
e
nter
help
e
r
:
t
i
ny
c
lea
n
up i
n
get_complicatio
n
_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
D
a
n Ca
r
penter
implied
:
fix bug
handling unmatc
h
ed imp
l
icati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
extra: fi
x
chunk handling a
b
it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Ca
r
penter
validation:
f
i
x
a tes
t
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
deref_c
h
eck: silence so
m
e false positi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
D
an C
a
r
penter
deref
_
check: remove u
n
nece
s
sary call
t
o gett
i
n
g
_addres
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Da
n
C
arpenter
fi
x
u
p
_kerne
l
.
s
h: fix the rtlwifi hack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-25
Dan Ca
r
penter
unco
n
stant_macros: add MAP_UNINITIALIZED
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
Da
n
Carpen
t
er
ptrlist: reading de
l
e
ted items
in
N
EXT_PTR_LIST()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpent
e
r
rang
e
s: f
i
x
h
o
w some ranges are joined together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan C
a
rpenter
rang
e
s:
a
v
oid a
possible int
e
ge
r
ove
r
flow problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n
C
arpenter
pointer_math:
ALIGN is not by
t
es, but offsetof(
)
an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
an Carpenter
poi
n
ter_math: don'
t
complain if a p
o
inter math opera
t
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n Carpenter
poi
n
ter_math:
s
ilence false a
ton o
f
false
p
ositives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
D
a
n C
a
rpenter
c
h
unk: improve
e
xpr_to_
c
h
unk_sym_vsl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan
C
a
rpenter
hel
p
er: improve get_c
o
mplicatio
n
_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan
Car
p
enter
helpe
r
:
export get
_
complication_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Car
p
e
n
ter
t
ype:
e
x
po
r
t is_local_variable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
D
a
n Carpenter
chunk: ch
a
nge the
API a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpenter
extra: st
a
rt tracking "
c
hunks" in
s
tead of just var
i
ables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carpent
e
r
math
:
giv
e
up if calcul
a
ting a va
l
u
e
is
t
oo comp
l
icat
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpenter
implied: turn off
d
ebu
g
messages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Da
n
C
ar
p
enter
check_li
s
t
.
h:
move stor
e
d_con
d
i
tion_links
ne
x
t
to stored_
c
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
flow: ignor
e
array
s
with
ove
r
a
10
0
0 e
l
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Dan C
a
r
penter
db/fixup_
k
ernel
.
sh: hack
around slow r
t
lw
i
fi tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
c
apped: use FOR_EACH_MY_
S
M()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpent
e
r
user_data2: add skb_net
w
ork_header()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
rpenter
user_data2: handle
p
ointers to user data b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Carp
e
nter
user_data: add kmap
_
atomic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Car
p
enter
user_
d
ata: s/kmemdup_user/m
e
mdup_user/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
an C
a
rpen
t
er
test_bit: add set_bit() and cl
e
ar_bit() fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpent
e
r
check_deref: r
e
m
o
v
e
call t
o
g
etting_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
estat
e
: ma
k
e clone_es
t
ate() take a
NULL
p
o
in
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Ca
r
p
enter
white
s
pace: change so
m
e spaces to tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
deb
u
g: add
s
ome to
o
ls
fo
r
develop
i
ng the db parser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
D
a
n
C
arpe
n
t
e
r
buf_size: improve resizabl
e
st
r
uct
h
andl
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Ra
s
mus Villem
o
es
elim
i
nate some cats
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n Carpenter
db: fix a bu
g
in
s
plit re
t
ur
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n
Car
p
enter
extra: intro
d
uce ge
t
_extra
_
s
tat
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n Carp
e
nt
e
r
s
m
atch: change all remaining refere
n
ce
s
from warns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Ville
m
oes
prefix sma
t
ch
generated fi
l
es by
s
match_
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
test_kern
e
l
.
sh:
c
l
ean up
.
c
.
smatch files a
f
ter cat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Ras
m
us
V
illemoes
Documentat
i
on:
m
ake
m
e les
s
confus
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
trace_
p
arams
.
pl: fix hash/
h
a
sh
r
efer
e
nce confusion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
D
a
n Carpenter
kernel
.
ignored
_
m
a
cros: add SNIC_
B
UG_O
N
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan C
a
rpent
e
r
unreachable:
i
gnore li
s
t_
f
or_each_e
n
try_contin
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
extra: handle x = (u8)y;
correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
implied
:
f
ix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
type:
h
an
d
l
e typeof()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
math
:
handle __smatch_
i
mplie
d
(&foo->bar) a
l
ittle better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
an Ca
r
penter
a
ssigned_expr: store it lat
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Carpen
t
er
fu
n
c
tio
n
_
h
oo
k
s
:
fix
vali
d
ation/sm_compare15
.
c
ha
n
dlin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpent
e
r
lo
c
king: a
d
d new
down_
t
imeou
t
(
)
func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
Carpenter
sm
a
tch_address: fix compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n Carpente
r
f
ixup_kernel
.
s
h
: ignore some __vfs_write() call
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fixup_kern
e
l: update
type
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-05
Firo Yan
g
Ma
k
efile:
e
li
m
inate a
l
l
v
m-config build warnin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpe
n
ter
deb
u
g: improve __sma
t
c
h
_
sta
t
es()
ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpe
n
t
e
r
flow: ignore parent
h
e
sis
i
n
pr
e
v_
e
x
p
ression_is_gett
i
n
g_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Dan Car
p
enter
unreachable: i
g
nore netdev_for_each_lower_
d
e
v()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpenter
flow: cleanup p
r
ev_expression_is_
g
ettin
g
_
ad
d
ress()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
D
a
n Carpenter
flow: "&
f
oo->bar
"
is no
t
a
d
ereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan C
a
r
penter
sma
t
ch_ad
d
ress: separate things o
u
t into
.
bss and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
D
an Carpenter
*new* check_test_b
i
t:
check
f
or test_bit(BIT(0)
,
&foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan C
a
rpenter
type: speed
up
get_type
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan
Ca
r
penter
t
yp
e
:
improve ge
t
_bino
p
_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
D
a
n Ca
r
pent
e
r
flo
w
: add
a
new
expr->pa
r
ent struct member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fixup_kernel:
h
ard co
d
e __s
p
i_s
y
nc()
returns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fixup_kernel: kmalloc()
can allo
c
ate
more dat
a
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Drokin
check_lock
i
ng
.
c
: Fix annoy
i
ng
i
nvisible read
_
unlock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next