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
Dan Car
p
enter
b
u
f_c
o
mpa
r
iso
n
:
split the co
d
e
up
and m
o
ve it around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-18
Dan C
a
rpenter
extra
,
db:
don't use PARAM_VALUE for re
t
urn states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan
C
arpe
n
ter
buf_size: add kmap()
a
nd get_zeroed_
p
age()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Da
n
Carpenter
buf_si
z
e
,
str
l
en: do
n
't u
s
e
s
tr
l
en(
)
to d
e
t
e
r
mine the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan Ca
r
pe
n
ter
str
l
en
:
cle
a
nup in
g
e
t
_impl
i
ed_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan
Carpenter
b
u
f_size,
s
t
r
len: move str
l
en() handling to smatch_st
r
len
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carpenter
extra: tr
a
ck array va
l
ues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan
C
arpenter
stored_conditons: store the chunk
as wel
l
as the var
_
sy
m
_list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Da
n
Carpenter
r
a
nges:
a
dd a missing cast in
add_range_t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan
Carpenter
v
alidation:
d
o
n
't use uninitializ
e
d data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan C
a
rpenter
modificat
i
on_ho
o
k: r
e
c
o
rd
t
he modifi
c
ation express
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-12
Su
d
ip Mukh
e
rjee
kch
e
cker: build a
l
ready bu
i
lt directory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
D
a
n Ca
r
pente
r
smat
c
h: remove the "loop could be r
e
placed
w
ith if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan C
a
rpenter
buf_siz
e
: unbreak this
f
eat
u
re
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpe
n
ter
test_kernel
.
sh: print wh
e
re th
e
wa
r
nings are saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Da
n
Carpenter
buf_size,
d
b:
only
store type_size if it is a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpenter
s
to
r
ed
_
condi
t
ions, impli
e
d: us
e
implications o
f
pre
v
ious
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpenter
im
p
lied: re
-
o
r
der
w
here we calculate
implicatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-08
Dan Carpenter
overflow: silence glibc strc
m
p
f
alse
p
o
sitives
with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpenter
implied, r
a
n
ges: use type
promot
i
on for comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpent
e
r
r
ange
s
: use NULL inst
e
ad of zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-04
Dan Carpenter
deref_ch
e
ck, check_de
r
ef
:
o
nly consider poin
t
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
D
an Carpe
n
t
e
r
stored_conditions: rename match_modify() to m
a
tch_link_modify()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpenter
math: f
i
x
an out of
memory issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Da
n
Ca
r
penter
m
a
th: return a
b
it earlier
i
n
h
an
d
le_
b
inop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpe
n
ter
implied: we
h
a
ve to
mak
e
the fals
e
state
s
m
atch as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
Da
n
Carpenter
err_ptr
:
use the actual values to silence false p
o
sitiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpen
t
er
c
o
mpa
r
ison:
fix an
oop
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n Ca
r
pente
r
f
i
xup_kernel
.
sh: track kmalloced() vs
.
text data
b
e
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
Carpenter
extr
a
: don'
t
try to record the
s
tate f
o
r literals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpent
e
r
flow: add
a
->
p
arent member to statement st
r
ucts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
range
s
: do
n
't allow so
many i
n
v
erte
d
ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
t
y
p
e: impro
v
e get_member_type_from
_
key
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carp
e
n
t
er
extra: handle
a
r
rays
b
etter using the chunk code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carpe
n
te
r
t
y
pe
:
make type_to
_
st
r
(
)
handle arrays better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
D
a
n
Carpenter
helper:
t
i
n
y
cleanup
in
get_complication_
s
core
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan C
a
r
p
enter
im
p
lied: fix bug handlin
g
unma
t
c
hed
i
m
pli
c
ati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Da
n
Carp
e
nter
extra: f
i
x chunk
handl
i
ng a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan
Ca
r
penter
validation:
f
ix a test a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan
Carpen
t
er
d
e
r
ef_chec
k
: s
i
le
n
ce some
false posit
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
d
e
ref_che
c
k: remove unnecessar
y
call to getting
_
ad
d
ress(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carp
e
nter
fixup_kernel
.
s
h
: fix th
e
rtlwifi
h
ack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-25
Dan Ca
r
pen
t
er
unconstant_m
a
cros: add MAP_UNINITIALIZED
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
Dan Carpenter
ptrlist
:
reading del
e
ted i
t
e
ms in
N
EXT_
P
T
R_L
I
S
T
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
r
anges: fix ho
w
some ranges are joined together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpent
e
r
ranges: avoid a
p
o
s
sible integer over
f
low problem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
p
o
i
nter_math: ALIGN is not by
t
es, bu
t
offsetof() a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
point
e
r_math: don't complain if a pointer
m
a
t
h
o
peration
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpe
n
t
er
po
i
nter_math: silence false
a t
o
n of false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpent
e
r
chunk: improve expr_to_
c
hunk_sym_vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan
Carpenter
helper: improve get_c
o
mplica
t
ion_scor
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
D
an Carpe
n
ter
h
e
lp
e
r: export get_complication
_
score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carp
e
nt
e
r
typ
e
: e
x
port is
_
local_
v
ariable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
D
an Carpent
e
r
c
h
unk: ch
a
nge the
API a b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
D
a
n Car
p
enter
e
xtr
a
:
start trackin
g
"chunks" instead of just
v
ariables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan
C
arpen
t
e
r
ma
t
h
:
give up if calculat
i
n
g
a value
i
s too compl
i
cated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
Da
n
Carpenter
implied: turn off debug
m
essages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Da
n
Carpenter
c
heck_list
.
h: mov
e
stored_cond
i
tion_links next to
s
tored_co
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpe
n
t
e
r
fl
o
w: i
g
nore arrays with ove
r
a 1000 elements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carpenter
db/fixup_
k
ernel
.
sh: hack aroun
d
s
l
o
w
r
tlwifi
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpent
e
r
c
a
p
p
ed: use FOR_EACH
_
M
Y
_SM()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
Carp
e
nter
use
r
_
d
ata2: add skb_network_header()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carp
e
nter
user_data2: handle p
o
inters to user data better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arpent
e
r
u
s
er_data:
a
dd
k
m
ap_atomic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpe
n
ter
user_data:
s/kmemdup_user/memdup_user/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
test
_
bit: add se
t
_bit() and clea
r
_bit() functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
an
Carpenter
check_d
e
ref: remove
c
a
ll to get
t
ing_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpente
r
estate: m
a
ke clone_estate() take a NULL po
i
nter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan
Carpenter
whitespace: change
some spaces to
t
abs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
debug: add some tools for developing th
e
db parser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
buf_size: improve res
i
zable str
u
ct handl
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Ra
s
m
u
s
Vi
l
lemoes
eliminat
e
some cats
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
db
:
f
i
x a
b
ug in
s
p
l
i
t r
e
turns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
extr
a
: int
r
oduce get_extra_state(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Car
p
enter
smat
c
h: change all remain
i
ng
references from
w
a
rns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
R
asmus Villemoes
pre
f
ix smatch generated files by smat
c
h_
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
test_kernel
.
sh: clea
n
up
.
c
.
smatc
h
f
iles after ca
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
R
a
smus Villemo
e
s
D
ocumentation:
m
ake
me
less confused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vill
e
m
oes
t
r
ace_
p
a
rams
.
pl: fix
h
a
s
h/hash refere
n
c
e
confusion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
D
a
n Carp
e
nte
r
kernel
.
ignore
d
_m
a
cro
s
: add SNIC_BUG_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
D
an Carpenter
unre
a
chable: ign
o
r
e list_for_ea
c
h_entr
y
_continue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Ca
r
penter
extra: handle x
= (u8)y; correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
a
r
pe
n
ter
i
mplied: fi
x
a lea
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
type: handle typeof()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carp
e
n
te
r
math: ha
n
d
le __
s
ma
t
ch_implied(&foo->bar) a lit
t
le better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
assigned_expr: store it
l
a
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
an Carpenter
function_hooks: fix validation/sm_comp
a
re15
.
c
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
an C
a
rpe
n
ter
locking: ad
d
new down_timeout(
)
fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n C
a
rpenter
smat
c
h_address: fix
c
ompile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fixu
p
_
ker
n
el
.
sh
:
ignore some __vfs_write() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
Carpente
r
f
i
xup
_
k
ernel: update types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
Firo Yang
Makefile:
e
l
i
mi
n
ate a llvm-config b
u
il
d
w
a
rning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
D
a
n
Carpenter
d
e
bug: improve __smatch_stat
e
s
()
o
utp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan
C
ar
p
enter
flow: ig
n
ore p
a
rent
h
esis in prev_exp
r
e
ssio
n
_is_g
e
tt
i
ng_ad
d
ress()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
D
a
n
Carp
e
nter
unr
e
a
c
ha
b
le: ign
o
re net
d
e
v
_for_each_lower_
d
ev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpenter
f
low: cleanup prev_expres
s
ion_is_getting_address()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carp
e
nter
flow: "&
f
oo->bar" is not
a derefere
n
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
D
an
C
ar
p
enter
smatch_a
d
d
ress: separate things out in
t
o
.
bss and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
D
a
n Ca
r
penter
*ne
w
* check_test_bit: check f
o
r test_
b
it(BIT(0
)
, &fo
o
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
typ
e
: speed
up get_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next