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
avl: define clone_stree avl_clone()
2013-12-06
Dan Carpenter
s
t
rlen
:
introduce ge
t
_implied_strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
C
arpenter
math:
r
ever
t
accide
n
t
ally committed c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
enter
buf_size: read a rang
e
_list f
r
o
m the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n C
a
rpenter
buf_size: store ty
p
e_size in two tables
t
he same as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_si
z
e: make size_from_db() w
o
rk
a
gain
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpenter
buf_si
z
e
, strlen: separate buf_size and strlen into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
overf
l
ow: us
e
fu
z
zy_max
to warn about
array
o
v
erflows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
Carpenter
math
:
fix get_fuz
z
y_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
Car
p
enter
b
u
f_
s
i
z
e: represent buffer
size as
a ran
g
e list ins
t
e
ad
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpe
n
t
e
r
b
u
f
_
size:
h
and
l
e pl
a
ces that dyna
m
ically alocat
e
s
o
me
t
imes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan
C
a
rpenter
fl
o
w: intr
o
duc
e
__in
_
func
t
ion_def
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan
Carp
e
n
ter
extra, ma
t
h
: rewo
r
k
ho
w
fuz
z
y max i
s
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpen
t
er
b
u
f_size: handle devm_k
m
alloc
(
) alloc
a
tio
n
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
Carpenter
ke
r
n
el
.
i
g
n
ored_ma
c
ros
:
add RT_AS
S
E
R
T
and SKD_ASSERT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Ca
r
p
e
n
ter
sm
d
b: improve "where
"
outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Carpente
r
r
a
nges: introduce rl_has_s
v
al()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan C
a
r
penter
helper: work around crashing
b
u
g
in get_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
local_values
:
p
ul
l
cod
e
in one in
d
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carp
e
nter
check_signed: i
g
nor
e
things with
ne
g
at
i
ve
n
umber
o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
flow: ignore structs an
d
unions in
set_
u
n
s
et_to_zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
arpenter
m
odificat
i
on_hooks: de
l
ete a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
enter
recurse: introduce has_inc_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n
Carpe
n
t
er
type
_
val: fix a build
w
a
r
ning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
C
a
rpent
e
r
typ
e
_val: ac
t
ually
r
un th
e
c
o
de
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carp
e
nter
smatch: a couple cr
a
shing bugs on invalid co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
rpenter
allow char
to be unsign
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpent
e
r
helper: i
m
prove is_error_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Car
p
enter
type_val: introduce storing s
t
ruct m
e
mbe
r
limit
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n C
a
rpenter
data_source: load
wher
e
data comes from
i
nto
the
datab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
an Carpente
r
.
gitigno
r
e: ignore bak
.
smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Ca
r
penter
d
b
: fixup_kernel
.
sh: s
a
y th
a
t we only have
64 CPUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Ca
r
penter
d
b: preserve
u
n
m
erged states in the ->possible b
e
t
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
d
b: group
functio
n
p
o
int
e
r retu
r
n states toget
h
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpen
t
er
db: order the return_states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db: fixup_kernel
.
sh: ignor
e
time
r
_
l
ist f
u
n
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Da
n
Carp
e
nter
db
:
fixup_kernel
.
s
h
: remove some
U
S
E
R_DATA
cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan C
a
rpenter
db:
improve database
debu
g
ging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan Carpenter
s
matc
h
.
h
:
shift some struct m
e
mbers around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpenter
flow
:
clear_buffer: revert part
of commit that uses
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan C
a
rpenter
flow: re-w
r
ite
ho
w
struct members are initiali
z
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan
Ca
r
p
e
nter
smatc
h
_clear_buffer: memcpy() s
h
o
uld set the destination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan
C
arpente
r
sm
a
tch_clear_bu
f
fer: make a funct
i
on static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan
C
arpe
n
ter
smatch_data/kernel
.
clears
_
argu
m
ent: remove memset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Dan C
a
rpenter
flo
w
: introduce outside_of
_
f
u
nction() to fi
x
g
l
obal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carp
e
nt
e
r
d
b: kernel: ignore i40e_d
b
g_netdev_ops_write()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan C
a
rpent
e
r
f
low
:
set
m
emb
e
rs to zero b
y
de
f
a
u
lt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
an Carpente
r
db, ex
t
ra, user_data: handle: *x = 1; return
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
_data: rem
o
v
e
kmemdu
p
_use
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
user
_
data: make a f
u
nction
stati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Car
p
enter
container_of:
p
e
o
p
le ch
e
c
king the return value of nla_data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
D
a
n C
a
rpe
n
ter
he
l
per: fix crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan Car
p
en
t
er
u
s
er_data: m
a
ke a function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n Carpe
n
t
e
r
mat
h
: expo
r
t get_const
_
va
l
ue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan C
a
rpenter
math: h
a
ndle bit
w
i
s
e OR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Da
n
Carpenter
math: handle LEFT_SHIFT (a <<
b
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpent
e
r
math:
r
em
o
ve an im
p
ossi
b
le con
d
itio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan Carpenter
Fix --no
-
d
ata so it doesn't spew databas
e
errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
extra: fix a crash parsing in
v
al
i
d cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Ca
r
pente
r
s
i
zeo
f
: fix typo in err
o
r
m
e
ssage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n Car
p
enter
sizeof: compl
a
in if code does sizeo
f
(4)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan
Carpente
r
ty
p
e: let get
_
real_base_
t
y
pe() take NULL pa
r
ameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
D
a
n Carpen
t
er
db: renam
e
ad
d
_returned_state_c
a
l
l
b
ack() => add_split_return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Ca
r
p
enter
ros
e
nberg inf
o
l
e
aks: check
__c
o
py_to_us
e
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n Car
p
ent
e
r
rosenberg info leaks: us
e
PARAM_CLEA
R
ED
data from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenberg
i
nfo
leaks: use stripped data
f
rom
copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpe
n
t
er
rosenb
e
r
g
info le
a
ks: mak
e
check_member
s
_initialize
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Ca
r
pente
r
ext
r
a:
handle "if (a
&
0x1)" conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpen
t
er
flow: fake assigns bet
t
er for nested str
u
cts a
n
d array
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan C
a
r
p
e
nter
help
e
r: ge
t
_member_nam
e
() could store un
i
ons (sort of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_data: fix cras
h
ing bug
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Carpe
n
ter
math: improve how casts are hand
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math: intr
o
duce get_
a
bsol
u
te_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math
:
i
m
pr
o
ve how bitw
i
se ANDs are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
kernel data/:
upda
t
e to recent l
i
nux-nex
t
(3
.
11-rc
1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpent
e
r
d
b: d
e
clare strnl
e
n() as returning "0-s
3
2
m
ax[<
=
p1]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
u
s
er_data: expor
t
is_us
e
r_macro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_d
a
ta: mark ntohl()
data as u
s
er_da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carp
e
nter
us
e
r_data
:
improve tracking set vs passe
d
in user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-10
Dan Carpenter
implied:
remove some u
n
used c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-08
Dan C
a
rpente
r
che
c
k_overflow: si
l
ence som
e
"not allocating enough
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
Dan Carpenter
com
p
arison:
w
hite space cl
e
anup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
D
an Carpenter
e
xtr
a
: handle binop comparisons better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-05
D
an Carpe
n
te
r
db/fixup
_
kern
e
l
.
s
h: filter ->read/write
(
) functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-05
Dan
Carpenter
fu
n
ction_ptr: handle sc
o
pe
o
f
f
u
n
c
t
ion pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-04
Da
n
C
a
rp
e
nter
s
m
atch: add --debu
g
=check_name o
p
tion to debug
o
nly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
D
an Carpen
t
er
com
p
aris
o
n: f
i
x breakage caus
e
d b
y
m
oving
to var_sym_
l
i
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
Da
n
C
arpen
t
er
comp
a
r
i
son
:
cleanup first_sym
(
) a
n
d
re
n
ame t
o
vsl_to_sy
m
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
D
a
n Car
p
en
t
e
r
compariso
n
:
cleanu
p
: get ri
d
o
f sym pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-02
Dan Carpenter
co
m
parison
:
track modifications better using var_sym_l
i
sts
commit
|
commitdiff
|
tree
2013-07-02
Dan
C
a
r
penter
var_sym: introduce some helper functions for han
d
lin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Da
n
Carpen
t
er
deb
u
g: add __smatch_states
(
"r
e
gister_c
o
mparison")
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Dan Carpenter
deb
u
g
:
update debug
to h
a
n
d
l
e
t
he new
compar
i
son fea
t
u
res
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Dan
Car
p
enter
comparis
o
n: inherit
links
when the
comparison is se
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Dan Carpenter
comparison
:
partially fix ho
w
links
a
re updated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Da
n
Carpenter
db: track so
m
e more ==p1 return values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan Carpenter
com
p
ariso
n
:
s
ave correct link name
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan
C
a
rpenter
help
e
r: export append()
funct
i
o
n
(it's
the same as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan Carpen
t
e
r
co
m
p
a
ri
s
on: fix bu
g
handling mi
n
_t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan
Ca
r
p
e
nter
comparis
o
n
: ignore assig
n
s like
+=
o
r /= for now
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan C
a
rpenter
rang
e
s: pr
o
blems parsing "
s
32min
-
(-1)
[
<=p2]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next