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
*new* check_array_condition.c: arrays can't be NULL
2013-12-19
D
a
n Carpenter
*new* check_array_condition
.
c:
arrays can't be NU
L
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carp
e
nter
buf_size: s
t
ore
rang
e
s in the
d
atabase instead of
s
ingle
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
p
enter
s
t
r
len: remove some bla
n
k l
i
nes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
Carpenter
un
r
eachable code: d
o
n't
w
arn about unrea
c
hable break
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
Carpenter
unr
e
achable code: don
'
t warn abou
t
empt
y
statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
an Carpenter
debug: introduce __sm
a
t
c
h_buf_size_rl() wh
i
ch is mo
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carpente
r
deb
u
g: add __s
m
atch_member
_
name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpente
r
ke
r
n
el, db: add hweight() funct
i
ons to the datab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Car
p
e
nter
k
e
rnel, db:
consider x =
h
tonl(10) a
n
d x = 10 equi
v
alent
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
pe
n
te
r
intro
d
u
c
e: sma
t
ch_d
a
ta/kernel
.
no_inline
_
func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-18
Dan Carpent
e
r
*new* add smatch_data/kernel
.
silenced_func
t
i
o
ns
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan C
a
rpenter
c
o
mmon_f
u
n
c
tions
.
c:
han
d
le strlen() and s
t
r
nlen()
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan C
a
r
p
e
nter
a
cces
s
_ok_math: restrict this check to --spa
m
my output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
D
an Car
p
enter
*new*
c
heck
_
cas
t
_
assign
.
c: check casting a smaller
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
Dan C
a
rpente
r
chec
k
_debug: f
i
x
crashing bu
g
on pri
n
t
i
ng non
-
e
x
i
s
tant
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan
C
arpenter
buf
_
size: buffer allocations in t
h
e same
f
ile are n
o
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
b
uf
_
size: ignor
e
u
n
k
n
own array size
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carp
e
n
t
er
strlen:
r
ecord stri
n
g
l
engths across functio
n
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
enter
strlen: record assigned strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpe
n
ter
s
t
rlen:
a
dd a
c
omment
a
n
d rename some
things
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
strl
e
n
: handle stri
n
g liter
a
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpe
n
t
e
r
d
e
bug: introduce
_
_smat
c
h_strlen(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
enter
strlen: introduce get_impl
i
ed_str
l
en()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
m
ath: revert accidentally
c
o
mmit
t
ed code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpe
n
t
e
r
buf_s
i
ze: read a range_list from the
d
atab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carp
e
nter
buf
_
size: s
t
ore type_size in
t
w
o tables
the sa
m
e as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
buf_size:
m
ak
e
siz
e
_from_db() work again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpe
n
ter
buf_si
z
e,
s
t
r
len:
s
eparate bu
f
_size
and
s
t
rlen into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpe
n
ter
overf
l
ow: use fuzzy_max to warn about array o
v
e
rf
l
ows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpe
n
ter
mat
h
: fix get_fuzzy_min/max
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
Carp
e
n
ter
buf_s
i
ze: repres
e
nt buff
e
r size as a r
a
nge l
i
st i
n
stead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
b
uf_size: handle p
l
aces that dynamically alo
c
at
e
so
m
e
times
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
flow:
introduce __in_functi
o
n_def
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carp
e
n
t
er
extra, ma
t
h: rework how fuzzy max is h
a
nd
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
b
u
f_size: handl
e
d
evm_k
m
alloc() al
l
ocations
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Carpenter
ker
n
el
.
ig
n
ored_macros: add RT_ASSERT and
S
KD_A
S
S
E
RT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Carpenter
s
m
db: im
p
rove
"
w
h
ere" outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpente
r
ran
g
es: introduce rl_has_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Carpenter
h
e
l
p
er: work around crashing bug in get_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
local_
v
alues: pull
code i
n
o
n
e
i
ndent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpe
n
ter
c
h
eck_signed: ignore
th
i
ngs with neg
a
tive number of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
Carpent
e
r
flow: ignore str
u
cts and unions in set_unset_to_z
e
ro
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
mo
d
ification
_
hooks: delete
a
blank
l
ine
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
e
nter
rec
u
rse: introduce has_inc_dec(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan C
a
rpenter
type_val: f
i
x a build warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpente
r
type_val:
actu
a
l
ly run the cod
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
smatch
:
a co
u
ple crashing bugs on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpenter
al
l
ow c
h
a
r
to be unsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
enter
helper: improve is_er
r
or_return(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carp
e
n
t
er
typ
e
_
v
al:
i
ntroduc
e
stori
n
g struc
t
member limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carp
e
nte
r
data_s
o
urce: load where
data
comes
from into
t
he d
a
tabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carpenter
.
gi
t
ig
n
ore
:
igno
r
e
b
a
k
.
smatc
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpenter
db: fixup_kernel
.
sh: s
a
y
that we
onl
y
h
a
ve 64 CPUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
d
b
: preserve unmerged state
s
in the
-
>possi
b
le bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: group function poi
n
ter return
sta
t
es together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpen
t
er
db:
o
rder the retur
n
_st
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db
:
fixup_k
e
rnel
.
s
h
: ignore timer_li
s
t fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
D
a
n Carpenter
d
b:
f
ixup_
k
ernel
.
sh:
r
emove
s
ome USER_DATA calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Da
n
Carpenter
db: improve database
debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Da
n
Carp
e
nter
s
m
a
t
ch
.
h
:
s
hift some struct member
s
ar
o
und
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan
C
arpenter
flow: clear_bu
f
f
e
r
: revert part of com
m
it
that uses
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
flow:
re-write how struct me
m
bers are in
i
tiali
z
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
sma
t
ch_clear_buffer: memcpy
(
)
s
hould se
t
the destinatio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Car
p
enter
smatch
_
clear_buf
f
e
r
: make a
f
unction
stat
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
smatch_dat
a
/kerne
l
.
clear
s
_argument: remove memset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Dan Carpente
r
flow: int
r
oduce outside_
o
f_fu
n
ction()
to
fix gl
o
bal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpenter
db: kernel
:
ignore i40e_dbg_net
d
ev_ops_write()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
an Carpenter
f
lo
w
: set m
e
m
b
ers to zero
by def
a
ult
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Car
p
enter
d
b, extra, us
e
r_data
:
handle: *x = 1; return x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpent
e
r
user
_
d
ata: remove kmemdup_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpente
r
u
s
e
r_dat
a
:
make a
f
u
nction st
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
co
n
tain
e
r_of: p
e
ople c
h
eckin
g
the
r
eturn
value of nla_data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpenter
helper: fix
cras
h
i
n
g
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan
Ca
r
penter
user_data: make a
function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Ca
r
pe
n
ter
m
a
th: export get_con
s
t_value(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan
C
a
rpe
n
ter
ma
t
h: hand
l
e
b
i
twise OR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carp
e
nter
math: han
d
le LEFT_SHIFT (a << b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan C
a
rpenter
math: rem
o
ve an im
p
ossible condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan Carpenter
Fix
--no-data so it doesn'
t
spe
w
dat
a
b
ase
errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan C
a
r
p
e
n
t
er
extra: fix
a
crash parsing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Da
n
Carpenter
sizeof:
fix typo in error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n Carpenter
sizeof
:
complain if code does size
o
f(4
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
t
y
pe: let get_r
e
al_
b
ase_type() take
N
ULL par
a
meters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Dan Car
p
enter
db: ren
a
me add
_
retur
n
ed_state_cal
l
back
(
) =
>
add_spl
i
t_return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n Carpenter
rosenberg info leaks: c
h
e
c
k
__copy_to
_
user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Carpenter
rosenberg info leak
s
: use PARAM_CLEARED data from
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenberg info
leaks:
u
se strippe
d
data from co
p
y_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan
Carpenter
rosenberg i
n
fo leaks: ma
k
e c
h
eck_
m
embers_initialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Ca
r
p
enter
extra: handle "if (a &
0
x1)"
c
onditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n
Carpente
r
flow:
fake
a
s
s
i
gns better
for nested structs a
n
d array
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpen
t
er
hel
p
er: ge
t
_me
m
ber_name(
)
cou
l
d store unions
(sort of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
an Carp
e
nter
user_data
:
fix
c
r
a
s
h
i
n
g b
u
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
a
rpenter
math: improve how cast
s
are hand
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n
Carpenter
math: introduce get
_
ab
s
olute_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Carpenter
ma
t
h: improve how bitwis
e
AND
s
are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
ent
e
r
kernel data/: update to recent linux-next (3
.
11-rc1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Carpente
r
db: declare
s
trn
l
en(
)
as return
i
ng "0-s32max[<=p1]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Carpenter
user
_
da
t
a:
export is_us
e
r_macro
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
en
t
er
user_data: mark n
t
o
h
l() data as user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_data
:
improve track
i
ng set vs passed in user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next