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
pointer_math: don't complain if a pointer math operation is within bounds
2015-03-15
Dan Carp
e
nter
side
_
effects:
t
he iter
a
t
e
_all_k
i
nds
(
)
macr
o
h
a
s
s
i
de
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
u
n
reachable
:
don
'
t
com
p
lain abo
u
t i
t
erate_a
l
l_kinds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan
C
arpenter
f
l
o
w:
fix "foo += !bar;" as
s
ignm
e
nt
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan Car
p
enter
lib:
han
d
l
e
-fu
n
sig
n
ed-
c
har option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan
C
a
rpenter
kernel
.
ignore_side_effects: add some macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
indenti
n
g:
all
o
w "break; case
X
XX:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan C
a
rpenter
user_data2:
m
a
rk ssc
a
nf()
output as u
s
er data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
mat
h
, rl: fix handing division involving negative numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
s
val:
f
i
x sval
_
binop
_
o
ver
f
lows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Ca
r
penter
preced
e
nc
e
:
compla
i
n
about "foo <<
b
ar - baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
flow: ha
n
d
l
e
struct initia
l
ization
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpe
n
ter
es
t
ate: add a NULL check in estate
s
_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Da
n
Carp
e
nter
p
aram_
u
sed: store when a parameter is used
s
o we don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
Ca
r
penter
e
x
tra: ignore
m
ore __
i
n_fake_assign data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan
C
arp
e
nter
comparison:
fix a
crash
i
ng b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
type: add an e
x
pr_signed
(
) func
t
ion that matches expr_unsig
n
ed(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n Carp
e
nter
s
m
db
.
p
y: add
f
unctions to show functions i
m
p
l
ementing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Car
p
enter
ex
t
ra: handle temporary shorthand point
e
rs be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan C
a
rpenter
dereferences
_
par
a
m
: l
o
ok for point
e
r
s
u
sed
a
s an array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Da
n
Carpenter
check_i
n
denting: warn about missing curly braces and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Car
p
enter
pa
r
am_cleared: ad
d
a comme
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan
C
a
rpenter
validat
i
on: cor
r
ec
t
so
m
e
o
u
t
p
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
A
ar
o
Kos
k
inen
bui
l
d: allow use of PK
G
_
CONFIG to ove
r
ride pk
g
-config
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpen
t
er
db: build indexes faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
D
an Carpenter
s
l
i
s
t: fix compile breaka
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan C
a
rpenter
kernel_printf: si
l
en
c
e s
o
me
f
a
l
s
e
positives
using sm
a
t
c
h_st
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan
Carpe
n
ter
st
r
ings: r
e
cord
w
hich stri
n
gs
a
re
being used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
us
e
r_d
a
ta2: turn on skb->d
a
ta tagg
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
db:
rename FILTER_VALUE
,
L
IMITED_VALUE, and
A
DDED_VA
L
UE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Ca
r
p
e
nter
ker
n
el_prin
t
f: si
l
ence some
"str
u
ct sockaddr
"
fa
l
se
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan
Carpenter
type: add
unions t
o
type_
t
o_
s
tr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Car
p
enter
ty
p
e_val
u
e:
s
peed
u
p loa
d
ing t
h
e databas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
D
an Carpe
n
ter
*new* return_cast: complain about return -EINVAL
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
format_str
i
ng: delete this becau
s
e check_kernel_
p
r
i
n
t
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
function_hooks: ad
d
some debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
p
e
n
ter
ext
r
a
: cleanup db_p
a
ram_add_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpenter
extra
:
separ
a
te PARAM
_
LIMIT
and PARAM_FILT
E
R
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
func
t
ion_hooks: don't take a short
c
ut for "n
e
edl
e
ss
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
r
p
en
t
er
he
l
per: intro
d
uc
e
alloc_sta
t
e_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
math: handle "i
f
(li
k
e
l
y
(
1
))
{
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
math: fi
x
/cleanup do
_
co
m
parison
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
n
t
er
capped:
d
on'
t
re
c
ord sing
l
e v
a
lue
s
as capped in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arp
e
nter
db: exp
o
rt get_st
a
t
ic_filter()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
user
_
data2: w
r
ong pa
r
ameter tagged
as user data
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
p
e
nte
r
rosenb
e
rg:
d
e
le
t
e so
m
e code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Ca
r
p
enter
rosenber
g
:
strip away some cas
t
ing
(
el
i
minates a fa
l
se
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
r
o
s
enber
g
:
do
n
't
s
ave
unn
e
eded stat
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
te
r
b
u
f_size:
d
on't save usele
s
s information in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
struct
_
assignment: ignore
m
ore fake
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
slist: fix
d
ebugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
C
arpenter
p
a
r
am_cleare
d
, rosenberg: add under
s
cored m
e
ms
e
t
/
cpy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n
Car
p
enter
param
_
filte
r
/set: don't reco
r
d
fake ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpe
n
t
e
r
slist, de
b
ugging: don't print ->po
s
sible l
i
st if
the
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpent
e
r
type_val: add more stuff to ignor
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rpen
t
er
db/reloa
d
_parti
a
l
.
sh:
c
hange d
a
t
ab
a
se
info for
on
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Silvan Jege
n
Do
c
umentatio
n
fi
x
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Da
n
Car
p
enter
kernel_print
f
:
p
ut
lots of sin
g
le qu
o
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carp
e
nter
M
e
rge branc
h
'
d
evel3'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
us Ville
m
oes
check_kernel_pr
i
n
t
f
.
c
: All
o
w
c
on
s
t char[
]
format arguments
commit
|
commitdiff
|
tree
2015-02-12
R
a
smus Vil
l
emoes
check_kernel_p
r
intf
.
c: Hand
l
e 'fmt ?
: "
d
efau
l
t"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
ch
e
ck_kernel_print
f
.
c
:
Simplify recursive c
a
lling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
check_kernel_pr
i
ntf
.
c: Sim
p
lif
y
recursive calling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Car
p
enter
kernel_
p
rintf: allow '\b'
if it'
s
t
h
e first
charact
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpente
r
v
a
l
idation/sm
_
rose
n
berg
.
c: d
o
n't pa
s
s an uninitialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpen
t
e
r
kernel_p
r
in
t
f: ad
d
some more quotes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
arpente
r
kernel_pr
i
n
tf:
move a warning
u
n
d
e
r the
-
-spa
m
my flag
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_
p
rintf: add some quotes
a
round the function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan
Carpe
n
ter
kerne_p
r
intf: '%pb
'
is val
i
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
check_
k
ernel_printf
.
c:
Fix brai
n
o
commit
|
commitdiff
|
tree
2015-02-11
R
asmus
V
i
l
l
emoe
s
check_kernel_pri
n
tf
.
c
:
Strip parenthe
s
es
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
check_kernel_
p
rintf
.
c: Handl
e
c
o
n
di
t
io
n
als
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vil
l
e
m
oes
smatch: Check
t
h
e kernel's %p form
a
t
extens
i
ons
commit
|
commitdiff
|
tree
2015-02-11
R
as
m
us Villemoes
smatch: Ad
d
--e
n
able opti
o
n
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s Villemoes
smatch: Imp
l
emen
t
--show-che
c
ks
commit
|
commitdiff
|
tree
2015-02-11
R
asmus Vil
l
e
m
o
e
s
smatch: Add du
m
my
e
l
ement to reg_f
u
ncs
commit
|
commitdiff
|
tree
2015-02-11
Luc Van Oo
s
t
enryck
Avoid reus
e
of string buffer when
co
n
catening adjacent
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
D
a
n
C
a
r
p
enter
wrong_siz
e
_arg: warn
abo
u
t "if (me
m
cmp(foo,
bar, s
i
zeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
s
t
ruct_assig
n
m
ent:
r
e
m
ove
a b
l
ank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
sval: h
a
n
dl
e
LEFTS
H
I
FTs
i
n
sval_binop
_
o
v
erf
l
ow
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
s
v
al: ca
s
t the result
in sv
a
l_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
type_v
a
l
:
update to
h
andle P
A
RAM_SET from the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
t
ype_val: ign
o
re kma
l
loc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
type_val: ignore all t
h
e "fo
r
_
each
"
ma
c
ros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n Ca
r
penter
user_data2:
remove some
debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-29
Dan
C
arpenter
hel
p
e
r: introdu
c
e invert_op
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
D
a
n Car
p
enter
ranges
:
break the ra
n
ge list pars
i
ng int
o
a separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
ranges:
prepare to chan
g
e
a string to an estate
i
nstea
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan C
a
rpenter
modification_hooks: ad
d
PARAM_SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpent
e
r
p
aram_cleared: clear
i
ng a m
e
mber
i
s not clear
i
ng a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpenter
type
_
val:
i
gnore fake member a
s
signments from
u
n
c
asted
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Da
n
Car
p
enter
type_value:
l
ist_
e
ntry is safe as w
e
ll
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan
Carpenter
db:
use
sa
v
ed
r
eturn
estat
e
instead of searching the
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
D
an Carp
e
nte
r
d
ebug: int
r
od
u
ce __smatch
_
known()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
D
a
n Ca
r
p
e
nter
db, extra: use PARAM_SET if the parameter is totally
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-15
Dan
Carpenter
frees
_
pa
r
am
:
modify m
e
ans it
'
s not freed anymore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-15
Dan Carpenter
slist
:
f
ix
"
stack not empty" e
r
ror
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-12
Dan Ca
r
penter
silence: add __read_once_size(
)
t
o
ker
n
el
.
s
i
lenced_functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan
Carpenter
com
p
ar
i
son: hand
l
e preops lik
e
"if (++a == b)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
D
an Carpen
t
er
flow: do
n
't inline functions which
a
re over 2
0
lines
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Ca
r
penter
f
unction_ptr
s
: handle S
Y
N_NODE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next