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
Carpen
t
er
unreachabl
e
:
d
o
n't co
m
plain about
ite
r
ate_all_kinds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Da
n
Carpenter
flow: fix "foo +
=
!bar;
"
a
s
si
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpenter
l
ib: h
a
nd
l
e
-
f
uns
i
gned-c
h
ar option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpe
n
ter
kerne
l
.
ignore
_
side_effects: add
some
m
acros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan
Carpenter
indenting: allow "bre
a
k; ca
s
e XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Car
p
enter
use
r
_data
2
: mar
k
ssc
a
nf() output as us
e
r data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Carpe
n
ter
math
,
rl
:
fix handing division
i
nvolving negative
nu
m
bers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan C
a
r
pente
r
sv
a
l: fi
x
s
v
al_
b
i
n
op_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
precedence: complain
a
bout "
f
oo << bar - baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
D
an Carpe
n
ter
flow: h
a
ndl
e
struc
t
initialization better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan
Carpen
t
er
estate: add
a
N
ULL check in estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
D
a
n Carpenter
pa
r
am_used: sto
r
e
when a parameter is used so we
d
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpente
r
e
xtra: ignore more _
_
in_f
a
ke_assign data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Ca
r
p
e
nter
c
omparison: fix a crashin
g
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
type
:
ad
d
an expr_signed() fun
c
ti
o
n th
a
t matches
expr_unsigned
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
sm
d
b
.
py: add func
t
ion
s
to show functions implementi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpen
t
e
r
extra: han
d
le temporary
s
h
o
r
than
d
pointers b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Car
p
ent
e
r
d
e
r
e
f
eren
c
e
s
_par
a
m: 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
arn about missi
n
g curl
y
braces and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
p
aram_
c
leare
d
:
a
dd a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
validation: co
r
rect
some output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
A
a
r
o
Ko
s
kinen
build: allow use of P
K
G_C
O
NFIG to ove
r
rid
e
pkg-config
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
arpe
n
t
e
r
db: build
i
ndexes faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Ca
r
pe
n
ter
s
l
ist
:
fix compi
l
e
breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
Carpenter
kernel_pri
n
tf:
s
ile
n
ce some false
p
o
s
iti
v
es using smatch_
s
tr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
s
trings: reco
r
d which s
t
r
i
ngs
a
r
e
being
used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n Carpenter
us
e
r
_
dat
a
2:
t
urn on skb->d
a
ta tagging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n
Carpenter
db
:
rename FILTE
R
_VALUE, LIMITED
_
V
AL
U
E, and ADDED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpent
e
r
kernel
_
p
r
intf: silence some
"
s
tru
c
t sockadd
r
" false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
t
y
pe: add unions to type_to_str(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carp
e
nter
type_value: speed up loading the datab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Da
n
Car
p
enter
*ne
w
* retur
n
_cas
t
:
c
ompla
i
n abou
t
ret
u
rn -EINVAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Ca
r
p
e
nter
f
ormat_string:
d
elet
e
this
b
ecause check_
k
e
rnel_printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
function_hoo
k
s:
a
dd
s
ome debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
e
x
t
r
a
: cl
e
a
n
up db_pa
r
am_a
d
d_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
ext
r
a
: separate PARAM_LIMIT
a
nd PARAM_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
function_
h
ooks: don't
take a shortc
u
t for "needless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
helper: introduce alloc_state_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
Carpenter
mat
h
: handle
"
if (likely(1)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
math:
f
ix/clea
n
up do_comparison(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
Carp
e
nter
capped: don't record single val
u
es as
c
appe
d
in th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
db: ex
p
ort
g
et_static_filter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
ar
p
en
t
er
user_da
t
a2:
w
r
o
ng paramet
e
r
tagged as
u
s
er data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpe
n
ter
rose
n
b
e
rg:
d
elete som
e
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenberg: strip away so
m
e castin
g
(eliminates a false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
rosenbe
r
g:
don't
s
ave un
n
eeded st
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
pe
n
t
er
buf_size
:
don't save useless infor
m
atio
n
in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
e
n
te
r
struct_as
s
ignment: ignore more fak
e
assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpent
e
r
slist: fix
debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n Carpenter
param_cleared
,
rosenberg: ad
d
unders
c
o
red memset/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carp
e
nter
p
aram_filter/se
t
:
don
'
t record fak
e
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
slist, debu
g
ging: don't print -
>
poss
i
ble list
i
f
t
h
ere
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Car
p
e
nter
type_val: add
more stuff to i
g
nore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan
C
arpe
n
ter
db/re
l
o
ad
_
partia
l
.
sh: change database info for on
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
S
i
lvan J
e
gen
Docu
m
e
n
tation f
i
xes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
kerne
l
_printf:
put lots of sing
l
e
q
uotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan C
a
rpen
t
er
M
erge br
a
nch '
d
evel3
'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Ra
s
mus Villemoes
check_kernel_p
r
in
t
f
.
c: Al
l
ow cons
t
char[] format arg
u
me
n
ts
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_kerne
l
_printf
.
c: Handle 'fmt
?
:
"d
e
fau
l
t"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmu
s
V
i
llemoes
check_kernel_printf
.
c: S
i
mplify recurs
i
v
e
cal
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n Car
p
e
nter
che
c
k_kernel
_
prin
t
f
.
c: Simplify recu
r
sive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
k
e
rnel_
p
rintf:
a
l
l
ow '
\
b' i
f
it's the
f
i
rst ch
a
r
acte
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
arpenter
validation/sm_ro
s
enbe
r
g
.
c: don't pass an uninitialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpente
r
kerne
l
_
printf: add some more
q
uotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpenter
kernel_printf: mo
v
e a
w
ar
n
ing under the --spammy
flag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
pen
t
er
kernel_printf
:
add some quotes
a
round
the fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carp
e
nt
e
r
kern
e
_printf: '%pb' i
s
v
alid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
us
V
i
llemoes
c
heck_kernel_prin
t
f
.
c: Fix brain
o
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vi
l
l
emoes
c
heck_kernel_pri
n
t
f
.
c: Strip parenth
e
ses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Ville
m
oes
c
hec
k
_kerne
l
_print
f
.
c
: H
a
nd
l
e condit
i
o
n
als
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vill
e
moes
sma
t
c
h
: Check t
h
e kern
e
l
'
s %p
f
orma
t
extension
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vi
l
lemoes
s
mat
c
h: Add --enable option
commit
|
commitdiff
|
tree
2015-02-11
Rasmus V
i
llemoes
smatch: Implement --
s
h
o
w-checks
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch: A
d
d dummy element to reg_func
s
commit
|
commitdiff
|
tree
2015-02-11
Luc Va
n
Oostenry
c
k
A
void reu
s
e o
f
string buff
e
r when concatening ad
j
a
cent
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Dan Carpente
r
wrong_size_arg: warn about "if (memcm
p
(foo, bar, sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
s
truct
_
a
s
signment
:
remove a
blank
l
i
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
an Carpent
e
r
sval: ha
n
dle LE
F
TSHIFTs in
s
val_binop_o
v
erflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Da
n
Carpenter
s
val:
c
a
s
t
the result in sval_binop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n Carpenter
ty
p
e_val: update to handle PA
R
AM_SET from the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
an Carpenter
type_val
:
ignore
k
m
alloc
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Da
n
Carpe
n
ter
type_val: ignore all t
h
e "f
o
r_each" macr
o
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Ca
r
penter
user_data2: remove some deb
u
g cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-29
D
a
n C
a
rpenter
help
e
r: intr
o
d
u
ce inv
e
rt_op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
ranges: break the
rang
e
l
ist
p
ar
s
ing into a
separa
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
ra
n
ges: prepare to change a
s
tring to an estate instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpent
e
r
m
odificat
i
on_hooks: add P
A
R
AM_SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Da
n
Carpenter
param_clea
r
ed: clearing a member is not cleari
n
g
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
D
a
n
Carpen
t
er
typ
e
_val: igno
r
e fake me
m
ber
ass
i
gnments from
uncasted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Ca
r
p
ente
r
ty
p
e_value:
l
ist_en
t
ry is safe
a
s well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
db: use s
a
ved return estate i
n
stead o
f
searching the
d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
debu
g
: introd
u
ce __sm
a
t
ch_known()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpen
t
er
d
b,
e
xtra:
use
P
A
R
AM
_
S
ET if the parame
t
er is totally
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
D
a
n
Carpenter
frees_param: modify m
e
ans it's
n
ot fre
e
d anymore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
Da
n
Carpenter
slist: f
i
x
"
stack not empty"
error
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-12
D
an Carpen
t
e
r
silence: a
d
d _
_
r
ead_
o
nce_size() to kernel
.
s
i
lence
d
_f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carp
e
nter
compariso
n
: handle
preops like "if (++
a
== b)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Da
n
C
a
rpenter
f
low: don't inline fun
c
tions whi
c
h a
r
e over 20 lines
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
D
an Carpenter
function_ptrs:
handle SYN_NODE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
D
an Carpenter
helper:
i
mp
r
ove get_
m
ember_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next