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
deref_check: ignore arrays
2015-03-20
Dan Carpenter
deref_check: igno
r
e a
r
rays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Car
p
ente
r
type: m
a
ke sval_type_max() de
f
ault to "long long"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
t
ype: don't return
S
YM_NODE types from get_real_base_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan
C
arp
e
nt
e
r
side_effects: the iterat
e
_all_kinds() macro
h
as side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
D
an Carpenter
unreachable:
d
on'
t
com
p
lain about iterate
_
all_k
i
nds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan C
a
rpenter
flow
:
fix
"
foo
+
=
!
bar;" assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Da
n
C
a
r
p
ent
e
r
lib: handle -funsigned-char opti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpen
t
e
r
ke
r
nel
.
ignore_si
d
e_effects: add some mac
r
os
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
i
ndenting: a
l
low "break; case XX
X
:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
user_data
2
: m
a
rk ssc
a
nf()
o
utput as
u
ser
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
arpente
r
math, rl: fix
handing di
v
ision involvin
g
nega
t
ive n
u
mbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
sv
a
l: f
i
x
s
val_bin
o
p
_
o
v
e
rflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n Carpente
r
p
re
c
ed
e
nce:
c
omplai
n
abou
t
"fo
o
<< bar - baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
D
an Carpenter
fl
o
w: handle struct
i
ni
t
ialization bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carp
e
nter
estate: add a N
U
L
L check in estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpe
n
ter
pa
r
am_us
e
d: st
o
re
when a
p
a
rame
t
er is us
e
d so we
d
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
extra: ignore mor
e
__in_fake
_
a
ssig
n
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
D
an Car
p
enter
co
m
parison: fix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
type
:
add an expr_signe
d
() f
u
nction t
h
at match
e
s expr_unsigned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
sm
d
b
.
py: add functi
o
ns to sho
w
f
un
c
tions implementi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan
Ca
r
penter
ex
t
ra: handle tempo
r
ary shortha
n
d pointers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Ca
r
pen
t
er
der
e
f
e
rence
s
_param
:
look for
p
ointers used as an array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
check_indenting
:
w
a
rn ab
o
ut missing
curly braces a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan
C
a
r
p
enter
param
_
cleare
d
: a
d
d a com
m
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
D
a
n Carpenter
validation: c
o
r
r
ect so
m
e out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Koskinen
build: allow use
o
f
P
KG_CONFIG to override
p
k
g-config
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpent
e
r
db
:
build indexes
faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
slist
:
fi
x
c
ompile break
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n Car
p
enter
kernel_printf:
s
ilence some f
a
ls
e
positiv
e
s usi
n
g smatc
h
_str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carp
e
nter
string
s
:
record wh
i
c
h
strings are being used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan
C
arpenter
user
_
da
t
a2:
turn o
n
skb->data tagging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carp
e
nter
db: r
e
name FILT
E
R_VALUE, LIMI
T
E
D
_VALUE, and ADDED_VA
L
UE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
Carpenter
kernel_pr
i
n
t
f: silence some "struct sockaddr " false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpent
e
r
type: add unions to type_to_s
t
r
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpen
t
er
type_value: speed up loading th
e
d
atabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
D
a
n C
a
rpenter
*ne
w
* return_cast: complain about return -EINV
A
L
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
format_string: delete this because check_
k
er
n
e
l
_p
r
in
t
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
func
t
i
o
n_ho
o
ks: add some debug out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extra: clean
u
p db_param
_
add_set(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an
C
a
rpenter
e
xtra: separa
t
e
PARA
M
_LIMIT and PARA
M
_
FILTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
function_hooks: do
n
't take a shortcut for "needless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
h
e
l
p
er
:
i
n
t
r
oduc
e
alloc_state_s
t
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
ma
t
h: handle
"if
(
likely(1)) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an
C
arp
e
n
ter
ma
t
h: fix/cleanup do_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Ca
r
penter
capped: don't record single values as ca
p
ped in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
db: export g
e
t
_static_filt
e
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
use
r
_data2: wrong parameter t
a
gged as user data i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
rosenberg: delete some code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
rosenber
g
: s
t
ri
p
away some
c
asting (eli
m
i
nates a false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an C
a
rpenter
rosenberg: do
n
't s
a
ve unneeded s
t
a
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
buf_s
i
z
e
: don't
sav
e
useless information in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
r
pen
t
er
struct_assignment: ign
o
re more fake assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
e
r
slist: fix debuggin
g
out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
p
aram
_
cleared, rosenberg:
a
dd undersco
r
ed memset/cpy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carp
e
nter
param_filter/set
:
d
on't
r
ecord fake as
s
i
g
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Ca
r
p
e
nter
slist, de
b
ugging: do
n
't print ->p
o
ssible list if
there
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
t
ype_
v
al: add mo
r
e s
t
u
f
f to ignore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpent
e
r
d
b/reload
_
partial
.
sh: c
h
ange
d
atabase
info
f
or one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Silvan Jegen
Doc
u
mentation
fi
x
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
kernel_pr
i
ntf: put
lot
s
of single quotes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
D
an Carpenter
Mer
g
e branch 'devel
3
'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Vill
e
moes
chec
k
_
kernel
_
p
rintf
.
c: Allow const cha
r
[] format
argume
n
ts
commit
|
commitdiff
|
tree
2015-02-12
Ra
s
mus Villemoes
check_kernel
_
printf
.
c: Handle '
f
mt ?
:
"default"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_kernel_printf
.
c: Simplify rec
u
rsive
calling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpe
n
ter
c
heck_kern
e
l
_
pr
i
ntf
.
c: Simplify
r
ecursive
c
alling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpenter
k
e
rnel_printf: all
o
w
'
\b' if
i
t's the f
i
rst character
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
pen
t
er
val
i
d
a
tio
n
/sm_ro
s
enberg
.
c:
don't pass an uninitialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
k
e
rnel_pri
n
tf: ad
d
some more quotes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpen
t
er
k
ernel_printf: mov
e
a war
n
ing
under t
h
e
--
s
pa
m
my flag
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Carp
e
nte
r
kernel_printf: add
s
o
m
e
quotes arou
n
d t
h
e funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carp
e
nte
r
kerne_printf: '%pb' is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus Villemoes
ch
e
ck_ke
r
nel_printf
.
c:
F
ix braino
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s Villem
o
es
check_kernel_p
r
intf
.
c
: Str
i
p parentheses
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
us Villemoes
check_kernel_printf
.
c: Handle con
d
ition
a
l
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villem
o
e
s
s
m
atch: Check the kernel's
%
p fo
r
mat ex
t
ensi
o
ns
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch: Add --enable option
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
u
s
Villemoes
smatch
:
Impl
e
ment --sh
o
w
-chec
k
s
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s
V
ill
e
moes
smatch: Add
dummy elem
e
nt to reg_funcs
commit
|
commitdiff
|
tree
2015-02-11
Luc Va
n
Oostenryck
Avoid reuse of string buffer when conc
a
tening
a
djacent
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Dan Carpenter
wrong_size_arg: war
n
about "if
(
memcmp(
f
oo, bar, sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan C
a
rpent
e
r
struct_assignme
n
t: rem
o
ve a blank li
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpent
e
r
sval: hand
l
e LEFTSH
I
FTs i
n
sval_bi
n
op_ov
e
rflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpente
r
sval: c
a
st
t
he result
i
n sval_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Ca
r
penter
ty
p
e_val:
update to
h
a
n
dle PARAM_SET from
the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n Carpenter
type_val: ignore kmall
o
c
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
type
_
v
al
:
igno
r
e
all
th
e
"
f
o
r_each" macro
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan
Carpenter
user_
d
ata2:
r
e
m
ove
s
o
me de
b
ug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-29
Dan C
a
rpen
t
er
h
elper: introduce invert
_
op()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan Car
p
enter
r
anges: break the range list pars
i
n
g
into a separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
D
a
n Carpenter
ranges: pr
e
pare to chan
g
e a string to an estat
e
instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
D
a
n
Carpenter
modification_hooks: add PARAM_SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpente
r
param_c
l
e
a
r
ed: cl
e
ari
n
g a
m
ember is
not clearing a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
Dan Ca
r
pent
e
r
t
y
pe
_
v
a
l:
i
gn
o
re fake member as
s
ign
m
ents from uncas
t
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpente
r
t
y
p
e
_value: list_
e
ntry is safe as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
db: use s
a
v
e
d retur
n
estate ins
t
ead of se
a
rchi
n
g the
d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carp
e
n
t
er
debug: introduce __
s
matc
h
_known
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan
Carpe
n
ter
db, extra: use PARAM_SET if
t
he paramete
r
is totally
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-15
Dan Carp
e
nter
frees_param: modify means it's
not f
r
eed anymore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-15
Dan Carp
e
nter
slist: fix
"
s
t
ack n
o
t empty"
err
o
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-12
D
a
n
C
a
rp
e
nter
s
i
len
c
e: add __read_
o
nce_size() to
k
ernel
.
silenced_functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next