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
comparison: unsigned can not be less than zero
2015-03-26
Dan
Ca
r
pen
t
er
co
m
p
arison:
u
nsign
e
d
c
an not be les
s
t
h
an
z
ero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
Carpenter
f
l
ow: set __
c
ur
_
st
m
t
and __p
r
ev_st
m
t i
n
s
i
de
f
or loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Car
p
e
nter
c
o
mpa
r
ison
:
merging eq
u
ivale
n
t s
t
a
t
es is not undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpent
e
r
compa
r
i
s
on:
f
i
x an i
n
dent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpenter
functio
n
_hooks: f
i
x
u
p
db_compare_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
ter
function_hooks, debug: print impossible re
t
u
r
ns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
helper: d
o
n't s
t
rip ca
s
ting in
g
et_ar
r
a
y
_offse
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpente
r
links:
export m
e
rge_link_states
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
helper: m
a
ke expr_to_str() pri
n
t fo
r
ced cas
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Ca
r
penter
t
ype:
m
ake type_to
_
str
(
) retu
r
n a sname()
b
uffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
C
arpente
r
modification_ho
o
k
s
: set a variable as m
o
dif
i
ed when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
e
n
t
er
user_
d
ata2: tag it
i
f a function se
t
s
p
aram
e
ter
s
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
stack: c
l
e
a
nup a function prototype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
deref_che
c
k: ignore arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Ca
r
penter
type
:
make sval_type_m
a
x(
)
de
f
au
l
t
to
"
long long
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Da
n
Carpente
r
t
ype
:
d
o
n
't return
S
YM_NODE typ
e
s from get_real_bas
e
_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Car
p
enter
s
i
d
e
_effect
s
: the iterate_all_kinds
(
)
macro has s
i
de
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
unreachab
l
e
: don't complain about iterate_all_
k
inds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpe
n
ter
f
low: fix "foo
+
=
!
b
a
r;" a
s
si
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carp
e
nter
lib: handle -funsi
g
ned-char op
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Da
n
Carpenter
kernel
.
igno
r
e_side_effects: add s
o
me m
a
cros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
i
n
dentin
g
:
a
ll
o
w "break; ca
s
e XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpente
r
us
e
r_da
t
a
2
: mark ssc
a
nf(
)
outp
u
t as user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carp
e
nter
mat
h
, rl
:
f
ix handing divisi
o
n
involving negati
v
e num
b
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
sva
l
:
f
ix sval_b
i
no
p
_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpent
e
r
p
r
ece
d
ence: complain a
b
out "f
o
o <<
bar - baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
flow: handl
e
struct ini
t
ialization bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Ca
r
p
e
nter
es
t
ate:
add
a
NULL
ch
e
ck
in estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan C
a
rpen
t
er
param
_
u
s
ed: stor
e
when a para
m
e
t
e
r is used so we do
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan
C
arpe
n
ter
ext
r
a
:
ignore more __in
_
fake_assig
n
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
Carpe
n
ter
co
m
p
a
r
i
s
on: fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Ca
r
penter
type: add an
expr_sig
n
ed() function that
match
e
s
expr_uns
i
gne
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n
Carpenter
smd
b
.
py:
add functions to show
f
unctions implementing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
an Carpenter
ex
t
r
a
: hand
l
e te
m
pora
r
y shorthand
pointers be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
an
C
arpen
t
er
derefer
e
nces_param: look
for pointers us
e
d as an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan C
a
r
p
e
nter
check_inde
n
t
i
ng: warn about
missing c
u
rly braces and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
D
a
n Carpent
e
r
par
a
m_cleared: ad
d
a com
m
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
va
l
idation: correct some outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aaro
K
oskinen
bui
l
d
: allo
w
use of PKG_CO
N
FIG
to
override
pkg-config
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
a
r
p
e
n
ter
db: buil
d
indexes fas
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carp
e
nter
slist: fix compil
e
b
r
eakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
kernel_
p
r
intf: silence some
f
als
e
p
os
i
tives using
smatch_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpent
e
r
s
t
r
ings: record
w
hich
s
trin
g
s
a
r
e
being
u
s
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
user
_
data2: turn
on skb-
>
data ta
g
ging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan
C
arpenter
d
b: r
e
name F
I
LTE
R
_
V
ALU
E
, LIMITED_VALUE, and ADDED_
V
ALU
E
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpent
e
r
ker
n
el_printf: silence some
"struct sockaddr " false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Ca
r
pe
n
t
e
r
type
:
add unio
n
s to type
_
to_
s
tr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan
C
arpente
r
type_
v
al
u
e: speed up loading th
e
dat
a
b
as
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan
Carpente
r
*new*
return
_
cast: complain about retur
n
-EINVAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
t
e
r
f
o
r
mat_s
t
ring:
delete this because check
_
k
e
r
nel
_
pri
n
tf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
functio
n
_hooks: add some debug outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpent
e
r
e
x
tra: cleanup
d
b_param_add
_
set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extra
:
sep
a
r
a
te
PARAM_
L
IMIT and
PARAM_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
fu
n
ction_hooks: don't ta
k
e a s
h
ortc
u
t
for "need
l
ess
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
C
a
rpe
n
ter
helper: in
t
roduce alloc_state_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
math:
h
and
l
e
"
if (likely(1
)
) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
math
:
fi
x
/cl
e
anup do_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
capped: don'
t
record
single values as capped in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
d
b
: export
g
et_sta
t
ic_filter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpe
n
t
er
u
ser_data2: wrong para
m
eter t
a
g
g
ed
as
user data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
n
t
er
rosenbe
r
g: delete some code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
ro
s
enberg: str
i
p aw
a
y so
m
e cast
i
ng (eliminates a f
a
lse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
ente
r
rosenberg:
don't
s
ave unneeded states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
buf_si
z
e: don'
t
sa
v
e useless information
in t
h
e
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
e
nter
struct_assi
g
nment: ignore more fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nte
r
sli
s
t: fix debugging
ou
t
p
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan
Carpenter
param_cle
a
red
,
rosenberg: add u
n
derscor
e
d memse
t
/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rpenter
par
a
m
_filter/set
:
don'
t
record fake assignm
e
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
s
l
i
s
t
,
d
ebugg
i
ng: d
o
n't print ->
p
ossible li
s
t if th
e
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
ty
p
e_val: add more stuff to ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
an Carpenter
db/relo
a
d
_
part
i
al
.
sh: chang
e
database inf
o
for one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Silva
n
J
egen
Documentation fi
x
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Car
p
e
n
ter
kernel
_
p
rintf: put
l
ots of single q
u
otes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
Merge branch 'de
v
el
3
'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
c
h
eck_kernel_print
f
.
c: A
l
low c
o
nst char[] format a
r
guments
commit
|
commitdiff
|
tree
2015-02-12
Rasm
u
s Vill
e
moes
c
h
eck
_
k
ern
e
l_pri
n
t
f
.
c: Hand
l
e
'fm
t
? : "default"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
ch
e
ck_ke
r
ne
l
_print
f
.
c
:
Simp
l
i
fy recursiv
e
calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpen
t
er
c
h
e
c
k_ke
r
n
e
l_printf
.
c: Si
m
plif
y
recursiv
e
calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
k
e
rnel
_
pri
n
tf: allow '\b' if it's the first
c
h
aracter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
C
arpent
e
r
valida
t
ion/sm_rosenberg
.
c:
don't pa
s
s an u
n
initializ
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
k
e
r
nel_printf
:
a
d
d some more quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
penter
k
e
r
nel_printf: move a warning und
e
r the
--sp
a
m
my fla
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
k
erne
l
_printf:
a
dd some quote
s
arou
n
d t
h
e func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpent
e
r
kerne_p
r
i
n
tf: '%pb' is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vil
l
emoes
ch
e
ck_kernel_
p
rintf
.
c
: Fix
b
r
ain
o
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus Villemoes
che
c
k
_
ker
n
el_printf
.
c: Strip pare
n
theses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villem
o
es
check_k
e
rne
l
_printf
.
c: Handle conditionals
commit
|
commitdiff
|
tree
2015-02-11
R
asmus Villemoes
smatch: Check the kernel's %p format extensi
o
ns
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
s
match: Add --enable optio
n
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus
V
i
llemoes
s
m
atch
:
Impleme
n
t --s
h
ow
-
ch
e
c
ks
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Villemoes
smatch: Add dummy e
l
ement to reg_f
u
ncs
commit
|
commitdiff
|
tree
2015-02-11
Luc
Van Oostenry
c
k
A
v
o
id reus
e
o
f
s
t
ring
bu
f
fer when conca
t
en
i
ng adjacent
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Dan Ca
r
pent
e
r
wrong_s
i
z
e_a
r
g: warn a
b
out
"if (memcmp(fo
o
, bar,
s
iz
e
of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carp
e
nt
e
r
s
t
ru
c
t
_assign
m
ent: remov
e
a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan C
a
rpenter
sval
:
handle L
E
F
T
SHI
F
Ts
i
n sval_bi
n
op_over
f
lows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
s
v
al: ca
s
t the r
e
sult in sval_
b
inop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Car
p
enter
t
yp
e
_
val: update to handle PAR
A
M
_SET from the
db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
t
ype_val: ignore
kma
l
lo
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
t
y
pe_val: ignore all the
"
for_each
"
macr
o
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
an Car
p
enter
u
s
er_data2: remove some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next