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
smdb.py: add functions to show functions implementing a function pointer
2015-02-26
D
a
n Carpenter
sm
d
b
.
py: add
functi
o
ns to sho
w
functions implementing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpen
t
e
r
extra: handl
e
temporar
y
short
h
a
nd pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpe
n
ter
der
e
ferences_param: lo
o
k for pointers used as an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Da
n
Carpent
e
r
ch
e
ck_indentin
g
: w
a
r
n about missing curly braces an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan C
a
rpenter
p
aram_clear
e
d:
ad
d
a c
o
mmen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
validation: cor
r
ect
some out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aa
r
o Koskinen
bui
l
d: allow
u
s
e
of PKG_CONFIG to over
r
ide
p
kg-conf
i
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Ca
r
p
ente
r
db: b
u
i
l
d in
d
exes
faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n C
a
rpenter
slist: fi
x
compile brea
k
age
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Car
p
en
t
er
kern
e
l_prin
t
f: silence
some false
pos
i
tives using
s
match_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
strings: rec
o
r
d which
s
trings
are bei
n
g used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n
C
arpenter
user_data2: t
u
r
n on skb->data tagging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
db: re
n
ame
F
I
LTER_VALUE,
LIMITED_VALUE, and ADDED_
V
ALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpente
r
k
e
rnel_printf: si
l
e
n
ce some "struc
t
soc
k
addr "
false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan
C
arp
e
nter
type: add unions to ty
p
e
_t
o
_s
t
r
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Da
n
Carpenter
t
y
p
e
_va
l
ue: speed
u
p
loading the dat
a
ba
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpen
t
er
*
n
ew* return
_
cast: compl
a
in a
b
out re
t
urn -EI
N
VAL
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpe
n
te
r
format_strin
g
:
d
e
l
et
e
this becaus
e
check
_
kern
e
l_prin
t
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
f
u
nction_hook
s
: add
some d
e
b
u
g outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extra: cleanup db_param_add_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extra: sepa
r
ate PARAM_LIMI
T
and P
A
RA
M
_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
function
_
hoo
k
s
:
don't take a shortcut for "needless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
h
e
lper: introdu
c
e all
o
c_
s
tate_st
r
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpente
r
math: h
a
ndle "if (likely(1
)
) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpent
e
r
mat
h
: fix/c
l
eanup do
_
comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
capped: don'
t
record sing
l
e values
a
s ca
p
ped in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
d
b: export ge
t
_static_filte
r
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
user_d
a
ta2: wron
g
parameter tagged as us
e
r dat
a
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
rosen
b
erg
:
del
e
te some code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpenter
ros
e
nberg: strip
away s
o
m
e casting (eliminates
a
false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
rosenbe
r
g: don'
t
save unneeded state
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
buf_size: don't sa
v
e useless information in the datab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
n
ter
s
t
ruct
_
ass
i
gnment: ignore more fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Car
p
enter
sl
i
st: fix debugging
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
an Car
p
enter
p
aram_clea
r
ed, r
o
senberg: add undersc
o
red memset/
c
py
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan
Carpente
r
p
aram_
f
ilter/set: don'
t
rec
o
rd fake ass
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n Ca
r
penter
slist, de
b
ugging: don't print ->
p
ossible l
i
st if there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
t
y
p
e_val: add more stuff to igno
r
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n
C
arpenter
db/re
l
oad_parti
a
l
.
sh: chan
g
e
dat
a
base info for on
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Silvan J
e
g
e
n
Doc
u
menta
t
ion fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Da
n
Carpenter
kernel_
p
r
i
n
t
f
: put lots of
s
i
n
g
le quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Da
n
Carpente
r
Merge b
r
anch
'devel3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
us
Villemoes
c
he
c
k_kernel_p
r
int
f
.
c: Allow co
n
st char[] format arguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmu
s
Vi
l
lemoe
s
check_kernel_p
r
i
ntf
.
c: Handle 'fm
t
?
: "
d
efault
"
'
commit
|
commitdiff
|
tree
2015-02-12
Ra
s
mus Vi
l
lemoes
check_kern
e
l
_
p
rintf
.
c: Simplify recursiv
e
calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carp
e
nte
r
c
heck_kernel
_
p
r
in
t
f
.
c:
Simplify recursive callin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
penter
k
ernel_prin
t
f: allow '\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 Carpenter
validation/
s
m_ros
e
nberg
.
c: do
n
'
t
p
a
ss an uni
n
itialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rpen
t
e
r
k
e
rne
l
_printf: add so
m
e mo
r
e
qu
o
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Car
p
enter
kernel_printf: move a warni
n
g un
d
e
r the
-
-spammy flag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpen
t
e
r
kernel_printf:
a
d
d
some
q
uotes around t
h
e funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n
Carpenter
kerne_printf: '%pb'
is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
u
s
V
i
llemoes
check_k
e
r
n
el_printf
.
c:
Fix braino
commit
|
commitdiff
|
tree
2015-02-11
R
asmus Villemoes
c
h
eck_kern
e
l_printf
.
c: Strip parenthe
s
es
commit
|
commitdiff
|
tree
2015-02-11
R
a
s
m
us
V
illemoes
check
_
ker
n
el_printf
.
c: Handle conditionals
commit
|
commitdiff
|
tree
2015-02-11
Rasmu
s
V
illemoes
smatch: Check t
h
e kernel's %p format ex
t
ensions
commit
|
commitdiff
|
tree
2015-02-11
R
asmus V
i
llemoe
s
smatch:
A
d
d
--enable opt
i
on
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vil
l
e
m
oe
s
s
m
at
c
h:
I
m
p
le
m
ent -
-
show-
c
h
e
cks
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
illemoes
smatch: Add dummy e
l
eme
n
t to re
g
_funcs
commit
|
commitdiff
|
tree
2015-02-11
Luc Van
Oos
t
enryck
Avo
i
d
reuse o
f
s
t
r
ing bu
f
fer
when concatening a
d
jac
e
nt
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Dan Carpenter
wron
g
_size_arg: warn a
b
out
"
if (memcmp(foo,
bar, s
i
zeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
struct_assignment: remove
a
blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
sval
:
handle LE
F
TSHIFTs in sval_binop_overflows
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
s
val: c
a
st the result in sval_binop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
ty
p
e
_val:
u
pdate to
handle PAR
A
M_SET f
r
o
m
the
db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n Carpenter
type_val
:
i
gnore kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carp
e
nter
t
y
pe_val: igno
r
e
all th
e
"for_each" macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
u
ser_data2: re
m
o
ve s
o
m
e
d
ebug co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-29
Da
n
Car
p
enter
helper: introduce invert_op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Ca
r
penter
ranges: break t
h
e r
a
n
ge list
parsing into
a separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
D
a
n C
a
r
p
enter
ranges: prepare to cha
n
g
e a str
i
n
g
to an estate instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
m
odificatio
n
_hooks: a
d
d PARAM_SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpenter
param_
c
leared: cleari
n
g a mem
b
er
is not
cl
e
aring a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
D
a
n
Carpenter
type_val:
ignore fa
k
e
member assignmen
t
s
from unc
a
sted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
t
ype_va
l
u
e: l
i
st_entry is safe as we
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpent
e
r
db:
u
s
e
s
a
v
ed re
t
urn
estate instead of s
e
arch
i
ng the d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpent
e
r
debug: intr
o
du
c
e __
s
m
atch_kn
o
wn()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpente
r
db, extr
a
: use PARAM_SET if
the parameter is totally
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
Dan Carpe
n
t
e
r
frees_param: modify means it'
s
not freed anymore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
Dan Ca
r
penter
slist: fix "st
a
c
k no
t
empty" e
r
r
ors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-12
Dan C
a
rpente
r
silence: add
__
r
ead_once_size(
)
to k
e
rnel
.
silen
c
e
d
_functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
comparison: handl
e
preops like "if (++a == b)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan C
a
rp
e
nter
fl
o
w: don't i
n
l
i
ne
functi
o
n
s w
h
ich
a
r
e ove
r
20 lin
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan C
a
r
p
enter
f
u
nction_p
t
rs: hand
l
e S
Y
N_NODE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
D
a
n Carpenter
helper: improve
g
et_member_nam
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan
C
arpent
e
r
user_data2: start
r
e-write o
f
user_data (not
used
y
e
t
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Da
n
Ca
r
penter
math:
i
ntroduce custom_get_absolute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
D
an Carpenter
db: improve
m
em-
d
b debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
db:
me
m
ber_i
n
fo cal
l
b
a
c
k
shou
l
d pass the sm
_
s
tate instea
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Ca
r
penter
smatch
.
h: silence some co
m
pile warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Da
n
Carpenter
fre
e
:
bring
bac
k
the
d
o
ub
l
e
free warn
i
ngs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
D
a
n Carpenter
e
x
tra, fil
t
er: FILTER_VAL
U
E is not a modification action
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpent
e
r
param_filter: total re-w
r
ite wit
h
bug
f
ixe
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpen
t
er
extra: improve parent_is_nu
l
l_var_sym(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
db, function_
h
oo
k
s: cull
i
mpossible paths on fun
c
t
i
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
extra:
handle code like fo
o
= &bar->x
.
y
.
z; foo->a = 1;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
hooks: allocat
i
ng
1
too
m
uch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Ca
r
penter
math:
f
ix OR handli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Ca
r
p
enter
ranges:
apply r
a
nge limit toget
h
er with call
m
ath
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
type_val:
a
dd a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next