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
unreachable: don't complain about iterate_all_kinds()
2015-03-15
Dan C
a
rpenter
unreachable: don't complain about iterate_all_kinds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
D
an Carpenter
flow: f
i
x "
f
oo += !bar;
"
ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan Car
p
enter
l
i
b: hand
l
e -funsi
g
ned-char optio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan C
a
rpenter
ke
r
nel
.
i
gnore_side_ef
f
e
cts
:
add some macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Da
n
Carp
e
n
t
er
i
ndenting
:
allo
w
"break; case
XXX:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
a
r
pente
r
use
r
_data2:
m
ark sscanf() output as user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpen
t
er
math, rl:
fix handing divi
s
ion involving negative n
u
mbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Car
p
en
t
er
sval: fix sval_bin
o
p_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Carpente
r
precedence:
co
m
pl
a
in about "foo <
<
bar - baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
D
an
C
arpenter
flow: ha
n
dle struct initialization better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
D
a
n
C
a
rpenter
estate: add a NULL
ch
e
ck i
n
estates_equiv
(
)
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
param_used: store
w
hen a para
m
e
t
e
r is
u
sed so
w
e don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpent
e
r
extra
:
i
g
nore more __in_fak
e
_assi
g
n data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
Carpenter
c
omparison: fi
x
a crashing
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
typ
e
: add
a
n
expr_signed(
)
function that match
e
s expr_unsign
e
d
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
s
m
db
.
py: a
d
d function
s
to show func
t
ions impl
e
menting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpe
n
ter
extra: ha
n
d
le tempor
a
ry short
h
and pointers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan
Carpent
e
r
der
e
feren
c
e
s_para
m
:
l
o
o
k f
o
r pointers used as
an array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
ch
e
ck
_
inden
t
in
g
:
w
arn abo
u
t mi
s
sing curly brace
s
an
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
param_cleared
:
a
d
d a comm
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
validation: correct
so
m
e output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Aa
r
o
Kosk
i
nen
build
:
allow use of PKG_CONFIG to ov
e
rride pkg-co
n
fi
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan
Carpen
t
er
db: build
i
ndexes
fa
s
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
sli
s
t
:
fix com
p
i
l
e break
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan
Ca
r
penter
k
e
rn
e
l_printf: silence
so
m
e fa
l
s
e positives using
smatch_str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
arp
e
nter
strings
:
r
ecord whi
c
h strings ar
e
being used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n
Ca
r
penter
use
r
_data2: t
u
r
n
on sk
b
->dat
a
tagging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
Carpe
n
t
e
r
db: rena
m
e FILTER_VALUE, LIMI
T
ED_V
A
LUE, and A
D
D
E
D_VALUE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Car
p
enter
k
e
r
n
el_printf: s
i
lence some "
s
t
r
uct soc
k
addr
" false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
type: add
unions to
type_to_
s
tr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carp
e
nter
type
_
value: spe
e
d up lo
a
d
i
n
g the
d
a
t
a
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Ca
r
penter
*
n
ew*
return_cast: c
o
m
p
lain
a
bout re
t
u
rn
-
EINVAL in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Ca
r
penter
format_stri
n
g: delete this
b
ecause check_kernel_printf
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
funct
i
o
n_hook
s
: add some debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpe
n
ter
extra:
c
leanu
p
db_p
a
ram_add_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extra: separ
a
t
e PAR
A
M_LIMIT and
P
ARAM_FILT
E
R
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
fu
n
ction_
h
ooks: don't take a shortcut for
"
nee
d
l
e
s
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
he
l
per: i
n
troduce alloc_
s
tate_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an C
a
rpente
r
math: h
a
ndle "if (l
i
kely(1)) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
math: fix/
c
leanup do_compar
i
s
o
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpent
e
r
capped: don't record single va
l
ue
s
a
s
capped in th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an C
a
rpente
r
db: expor
t
g
e
t_static_
f
ilter()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rp
e
n
t
er
us
e
r
_
data2:
w
rong parameter
tagged as
u
ser data in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carp
e
nter
rosenbe
r
g: delete
s
om
e
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenberg
:
st
r
ip away some casting (e
l
imin
a
tes a
f
a
lse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpe
n
ter
r
o
s
enberg: do
n
't
s
ave un
n
e
e
ded states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
buf_size:
d
o
n'
t
s
a
v
e usel
e
s
s
informat
i
on i
n
the
d
a
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
C
a
r
p
e
n
te
r
struct_assignment:
i
gnore more fake
assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
s
l
is
t
: fix
debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Ca
r
penter
param_cleared
,
r
osenberg: add underscor
e
d memset/cpy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n Carpenter
param
_
filter
/
s
e
t
:
don't rec
o
rd
fake
assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rpenter
sl
i
s
t,
d
ebug
g
ing: don't print
->po
s
sible list if there
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n Carp
e
nter
t
ype_val: a
d
d
mo
r
e s
t
uff to ignore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan
C
a
rpenter
db/reload
_
partial
.
sh: chan
g
e
d
atab
a
s
e
info
for one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Silvan Jegen
Documentat
i
on fi
x
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
kernel_printf: put lots of sing
l
e quotes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
D
a
n
Carpenter
Merge branch 'devel3'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_kerne
l
_print
f
.
c: Allow const
cha
r
[] format
a
rgumen
t
s
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_kernel_
p
rintf
.
c: Handle 'fmt ? : "default"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus
V
ille
m
oes
che
c
k_kernel_printf
.
c
:
Simpl
i
f
y
recursive callin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n Carpenter
check_kernel_printf
.
c:
S
i
mpl
i
fy recur
s
ive calli
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
penter
kernel_printf: al
l
ow '\b' if it's the first character
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n Carpente
r
validation/sm_rosenberg
.
c: do
n
't pa
s
s an uninitialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
ke
r
ne
l
_
printf: add s
o
me
m
o
r
e
q
u
otes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
pen
t
e
r
ker
n
el_printf: move a war
n
ing under th
e
--spammy flag
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
D
an C
a
rpenter
ke
r
nel_printf
:
a
dd
s
o
m
e quo
t
es a
r
o
u
n
d
the
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
arpenter
kerne_printf: '%pb' is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
check_k
e
rnel_printf
.
c
:
F
i
x b
r
aino
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
us Vill
e
moe
s
check_ke
r
nel_printf
.
c
: Strip parentheses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
check_kerne
l
_p
r
i
n
tf
.
c: Handle
co
n
di
t
i
o
nals
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoe
s
s
match:
Check the kernel's
%
p format extensions
commit
|
commitdiff
|
tree
2015-02-11
Rasmu
s
V
illemoes
smatch: Add
--
e
n
able opt
i
on
commit
|
commitdiff
|
tree
2015-02-11
R
asmus
V
illemoes
smatch: Implement --show-c
h
ecks
commit
|
commitdiff
|
tree
2015-02-11
R
a
sm
u
s Villem
o
es
smatch: Add
d
u
mmy
el
e
ment to reg_funcs
commit
|
commitdiff
|
tree
2015-02-11
Luc Van Oostenr
y
ck
Avoid reuse of string
b
uffer
w
hen concate
n
ing adjacen
t
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Dan Carpen
t
er
wrong_size_arg: warn about "if (mem
c
m
p
(foo, bar, sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
ar
p
enter
s
t
r
uct_assig
n
ment:
re
m
ove a bla
n
k line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
sv
a
l: handle LEFTSH
I
FTs in sval_binop_over
f
lows
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
sva
l
: cast the
result in
s
v
al_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
a
rpenter
type_val: upda
t
e to handle PARAM_SET from the
d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
D
an Carpenter
type_val: igno
r
e
kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Da
n
C
arpenter
t
y
pe_val: ig
n
ore all the "for_each" macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan C
a
rpe
n
ter
user_da
t
a2:
r
e
move some
d
ebug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-29
Dan Carp
e
nter
helper: i
n
troduce invert_op()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Da
n
Carpente
r
ranges: br
e
ak the range list parsing into a separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpe
n
t
e
r
ranges:
p
repare
t
o c
h
a
n
ge
a string to an es
t
ate instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
D
an Carpenter
mod
i
fi
c
ation_h
o
oks: add
P
ARA
M
_S
E
T
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
Dan C
a
r
p
e
nter
param_cl
e
ar
e
d: clearing a member is not
c
learing a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpenter
type_val: ignore f
a
ke member as
s
ig
n
ments
f
rom uncast
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
D
an Carpenter
type_value: list_entry
is safe as
w
ell
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
db: use
s
aved re
t
urn e
s
tate inste
a
d of s
e
arching
the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
D
a
n
Carpenter
debug: introduce __smatch_kno
w
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
D
an Carpenter
db, extra:
u
s
e PARAM_SET if the
p
arameter is totally
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-15
Dan Carpenter
frees_param: m
o
dify m
e
ans i
t
'
s
not freed anymore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-15
Dan Carpenter
slist: fix
"stack not empty
"
errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-12
Dan C
a
rpenter
s
ilence: add __read_once_size()
t
o
kernel
.
silenced_functi
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
compariso
n
: ha
n
dle pre
o
ps lik
e
"if (++a
== b)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
D
an Carpent
e
r
fl
o
w:
d
on
'
t inline fu
n
c
tio
n
s
whic
h
are over 20 li
n
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carp
e
nter
function_ptrs: handle SYN
_
NODE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan
C
ar
p
en
t
er
helper: improve ge
t
_m
e
mber_
n
ame()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next