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
common_functions.c: handle strlen() and strnlen() better
2013-12-17
Dan
C
a
rpe
n
te
r
co
m
m
on_f
u
nctions
.
c: handle
s
trlen() and strnlen() bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carp
e
nter
a
c
cess_ok_math: restrict this che
c
k
to --spammy output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Da
n
Carpe
n
t
e
r
*new* check_cast_assign
.
c:
c
h
e
c
k
casting a s
m
aller
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
D
a
n Carpe
n
t
er
che
c
k_debug: fix cr
a
shing bug on
p
rinting n
o
n-exi
s
t
a
n
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
buf_siz
e
: b
u
ffer allocations
i
n
the s
a
me file
are not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Car
p
en
t
er
buf_siz
e
: ignore
unknown array sizes better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
D
a
n Carp
e
nter
strlen: record string l
e
ngt
h
s across f
u
nction
c
a
lls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strl
e
n: record assigned st
r
ings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
pe
n
ter
st
r
len:
add a
c
o
m
ment and rename so
m
e t
h
ings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
nter
s
t
rl
e
n: handle str
i
ng literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Car
p
enter
debug:
introduce __sm
a
t
c
h_strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpent
e
r
strlen: introduce get_implied_strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
math: re
v
ert accidentally committed code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
b
uf
_
size:
r
ead a range_list from the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size
:
store t
y
p
e_siz
e
in
two tables the same
a
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_siz
e
: make size
_
from_db
(
) work again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size,
s
tr
l
en: s
e
parate buf_size and strlen into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
overflow: use fuzzy_
m
ax to warn
a
bout a
r
r
ay ov
e
rflows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
n
t
er
math: fix
get_fuzzy_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size: repres
e
n
t buffer size as
a range list instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
b
uf_
s
ize: handle p
l
ac
e
s that dynamicall
y
alocate sometimes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpent
e
r
flow
:
introduce __in_f
u
nctio
n
_def
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
extra, math: rewor
k
how
f
uzzy max is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
buf
_
size: ha
n
dle devm
_
k
malloc() alloc
a
tions
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
an Car
p
enter
kernel
.
ignor
e
d_macros: ad
d
RT_A
S
SERT and
S
KD
_
AS
S
ERT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
an Carpen
t
er
smdb:
i
mprove
"
where" output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n
C
arpenter
ranges: int
r
oduc
e
rl_has_
s
val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpen
t
er
helper: w
o
rk aroun
d
crashi
n
g bug
i
n get_member_name(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan C
a
rpenter
local_values:
p
ull code in one inden
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
c
h
eck_signed:
i
gnore
t
h
i
n
gs with
n
egative number of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
an
C
arpenter
flow: ignore structs and unions in set_unset_to_
z
ero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n Car
p
e
n
ter
modification_h
o
o
ks: delete a blank li
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
arpenter
recurs
e
: int
r
oduce has_i
n
c_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
er
type_val:
f
ix a build
w
arn
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
Carpenter
type_va
l
:
a
ctually run the code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
smat
c
h: a couple crashing b
u
gs on
i
n
v
alid c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
a
llow
char to be unsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpen
t
er
helper: improve is_error_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
an Carpenter
t
y
pe_val: introduce
s
t
orin
g
s
t
ruct
m
e
mber lim
i
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
an
Carpenter
data_source:
l
o
ad whe
r
e
data comes from i
n
to t
h
e
d
a
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
.
git
i
gnor
e
:
i
gnore bak
.
smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carpenter
db:
f
ixup_kernel
.
sh: say that we only h
a
ve 64 CPUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpente
r
db: preserve unmerged states in the ->possible better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpe
n
ter
db: group
function point
e
r return s
t
ates
toge
t
her
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
d
b
: o
r
der the return
_
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db: fixu
p
_
k
e
r
nel
.
sh: igno
r
e tim
e
r
_
list functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan
Carpent
e
r
db:
f
ixup_kernel
.
s
h
: r
e
move some USER_D
A
TA
c
alls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
D
a
n Carpenter
db:
i
mprove database debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan Ca
r
penter
s
m
atch
.
h:
s
hift some struct
memb
e
rs aroun
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpente
r
f
l
ow:
c
lear
_
b
uffer
:
reve
r
t part
of commi
t
that uses
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
flow: re
-
w
rite how struct m
e
m
be
r
s are initial
i
zed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Ca
r
p
e
nter
smatch
_
clear_buf
f
e
r: memcpy(
)
should set the destin
a
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Da
n
Carp
e
n
t
er
smatch_clear_buffer: make a function
s
tatic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan C
a
rpenter
smatch_data/kern
e
l
.
clears_a
r
gument: remove mem
s
et()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
D
a
n
C
arp
e
nte
r
flow: introdu
c
e out
s
ide_of_fun
c
t
ion()
to fix global
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
D
an Car
p
ente
r
db: kernel: ignor
e
i40e_dbg_
n
etde
v
_op
s
_write()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
fl
o
w: set
members to zero
b
y default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan C
a
r
p
e
nter
db, ex
t
ra, user_data: hand
l
e: *x = 1; r
e
tur
n
x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n Carpent
e
r
u
s
e
r_d
a
ta: r
e
mov
e
kme
m
dup_use
r
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
an Carpent
e
r
user_data: make a function st
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arpen
t
er
container_o
f
: people checking t
h
e r
e
turn
v
al
u
e of nla_data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpent
e
r
he
l
per: f
i
x cras
h
ing b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carpenter
user_d
a
ta: m
a
ke a
f
unction
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n
Carpenter
math
:
e
x
por
t
get_const_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Da
n
C
arpe
n
t
e
r
math: ha
n
dl
e
bitw
i
s
e OR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: h
a
n
d
le LEFT_SHIFT
(a
<< b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
D
an Carpen
t
e
r
ma
t
h: remove an imp
o
ssi
b
l
e condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan
Carpen
t
er
Fix -
-
no-da
t
a s
o
it
doesn't
sp
e
w
databa
s
e
e
rror
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan
C
ar
p
en
t
er
extra: fix a crash
p
arsing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
sizeof: f
i
x
t
ypo in
e
r
ror mess
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpent
e
r
siz
e
of: complain if code does sizeof(
4
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpent
e
r
type: let
get_real_base
_
type(
)
take
N
ULL
parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
D
a
n Carpenter
db:
r
ename
add_returned_st
a
te_callb
a
ck() => add_split_return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
r
osenberg info leaks: check __copy_to_user
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenberg info leak
s
: u
s
e PARAM_C
L
E
ARED
d
a
t
a
f
r
om the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
ro
s
enberg
info
l
eaks: u
s
e stripped data from cop
y
_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
an Carp
e
nter
rosenbe
r
g info
l
eaks: make check_
m
embe
r
s
_initialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Car
p
enter
extr
a
:
ha
n
dle "if (a
&
0x1)" condi
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Ca
r
penter
f
l
ow
:
fake ass
i
gns better for
nested structs and array
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
an Ca
r
penter
helper: ge
t
_member
_
nam
e
() co
u
ld sto
r
e unions (sort of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpen
t
e
r
user_data: fix crashin
g
bug
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
an Carpen
t
er
m
ath
:
improve how casts
a
r
e handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
ma
t
h: int
r
oduce
g
e
t
_absolute_r
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math: impr
o
ve
h
ow bitwis
e
A
N
Ds are
ha
n
dled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n C
a
rpenter
k
ernel data/: update to
r
e
cent linux
-
next (3
.
11-r
c
1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
db: declare
s
trnlen() as retur
n
ing
"
0
-
s3
2
max[<=p
1
]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpenter
user_data:
export
is_user_macro
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpent
e
r
user_data: mark ntohl()
d
a
t
a as u
s
er_da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpe
n
ter
user_d
a
ta:
i
mprove tracking set vs passed in user d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-10
Dan C
a
rpenter
implied: remove
som
e
unused code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-08
D
a
n Carpe
n
t
e
r
check_
o
verflow: sile
n
ce some "n
o
t allocating enough
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
Dan Carpent
e
r
c
o
m
p
ar
i
son: white space cleanu
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
Dan Ca
r
penter
extra: hand
l
e bino
p
compariso
n
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-05
Dan C
a
rpen
t
e
r
db/fixup_k
e
rnel
.
s
h
: filter
->
r
e
ad/write(
)
fu
n
ct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-05
Dan Carpe
n
ter
functi
o
n_ptr: hand
l
e scope of funct
i
on
p
ointe
r
s be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-04
Dan Carpenter
smatch: ad
d
--
d
ebug=check_n
a
me optio
n
to debug only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
Dan Carpente
r
comparison: fix b
r
eakage cau
s
ed by
movi
n
g
t
o var_sy
m
_
l
ists
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
D
an
C
a
rpenter
comparison: cl
e
a
nup
first_sy
m
(
)
and rename
to vsl_to_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
D
an
C
arpenter
compa
r
iso
n
: cleanup: get rid of sy
m
p
ointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-02
D
an Carpente
r
comparison: track modification
s
be
t
ter using
var_sy
m
_lists
commit
|
commitdiff
|
tree
next