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
estate: add a NULL check in estates_equiv()
2015-03-03
Dan Ca
r
penter
esta
t
e:
ad
d
a N
U
LL check i
n
estat
e
s_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
param_
u
sed: s
t
ore when a par
a
meter i
s
used so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpen
t
er
extra
:
ignore more __in_fake_assign data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carp
e
nter
comparis
o
n: fix a c
r
ashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Car
p
enter
type:
a
dd an expr_signed() function that matche
s
expr_un
s
igned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Da
n
Car
p
enter
smdb
.
py:
a
dd functions to s
h
ow
functions implementing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Car
p
enter
extra: handle t
e
mpora
r
y shorth
a
nd poin
t
ers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carp
e
nter
der
e
fer
e
nc
e
s_param: look for point
e
rs
used as
an
a
rray
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n
Carpenter
ch
e
ck_indenting: warn abo
u
t miss
i
ng curly braces and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan
C
arp
e
nter
param_cl
e
ared: add a comme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
v
a
lida
t
ion: co
r
r
e
c
t
some output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Koski
n
en
build:
a
ll
o
w use
of
P
K
G_CONF
I
G to override pkg-config
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
an Carpenter
db: build i
n
dexe
s
faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carp
e
nter
slis
t
: fix
compile
breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Da
n
Carpente
r
kern
e
l_printf: si
l
ence
s
ome false positives
u
s
in
g
smat
c
h_st
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Car
p
enter
strin
g
s: record
w
hich strings are being used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
C
a
r
pente
r
user_d
a
ta2:
t
urn on skb-
>
data tag
g
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpe
n
ter
db: renam
e
F
ILTER_VALUE,
LI
M
ITED_VALUE, and ADDED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n Carpenter
kernel_prin
t
f: silence
so
m
e "struct so
c
kaddr " fa
l
se
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan
Carpenter
type: add union
s
to type_to_
s
t
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpe
n
t
er
type_val
u
e
: spe
e
d up
load
i
ng the data
b
ase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Da
n
Carpe
n
ter
*new* ret
u
rn_ca
s
t: complain ab
o
ut return -
E
INV
A
L i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpen
t
er
format_st
r
i
ng
:
del
e
te this becau
s
e
check_kernel_printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
func
t
ion_hooks: add some deb
u
g output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extra: cleanup
db_
p
aram_add_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
extra: sepa
r
a
te PARA
M
_LIMIT and PARAM_FILTE
R
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nte
r
function_hooks: don
'
t
take
a
s
hort
c
ut fo
r
"n
e
edless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
rpente
r
helper: int
r
od
u
ce alloc_state
_
st
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nt
e
r
math: handle "if
(l
i
kely
(
1)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
m
a
th: fix
/
cleanup do_com
p
ari
s
on()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
n
ter
capped: don
'
t record si
n
gl
e
v
alues as ca
p
p
ed in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpe
n
t
er
db
:
export get_static
_
filter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
Carpen
t
er
user_
d
ata2: wrong parameter
tagged as u
s
er data i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
rosenberg:
delete s
o
me code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rose
n
berg
:
strip awa
y
some
c
asting (eli
m
inates a fa
l
se
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpen
t
er
r
o
s
en
b
erg: do
n
't save unneeded st
a
te
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
Carpenter
buf_size: d
o
n
't
save useless informat
i
o
n in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
s
tru
c
t_assignme
n
t: ignore more f
a
k
e
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
slist: fix d
e
bugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param_clea
r
ed, rosenberg
:
ad
d
und
e
rsco
r
e
d mems
e
t/c
p
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carpenter
para
m
_
f
ilt
e
r/s
e
t
: don'
t
rec
o
r
d
fake assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
s
l
ist, debugging: don'
t
p
rint -
>
possible list
if there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
type_val: add
mor
e
s
t
uff
to ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
d
b
/reload_p
a
rtial
.
s
h: ch
a
nge database info for one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Sil
v
a
n Jegen
Documen
t
ation fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
kernel_print
f
: put l
o
ts of single
q
uotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
Merge branch 'de
v
el3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus
Vi
l
lemoes
check_k
e
rnel_printf
.
c: Allow const ch
a
r[] format ar
g
uments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check
_
kerne
l
_
p
rintf
.
c: Hand
l
e
'f
m
t ?
:
"def
a
ult"'
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
us Villem
o
es
check_kernel_printf
.
c: Simpli
f
y
recursive
c
alling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Ca
r
penter
check_kernel_printf
.
c:
Sim
p
lify re
c
ursive ca
l
ling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel
_
pri
n
tf: allow '\b' if it's
th
e
f
irst character
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpen
t
er
validation/sm
_
rosenberg
.
c
: don't pass
a
n uninitialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n
Carpenter
kern
e
l_printf: add
so
m
e
mor
e
quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
C
ar
p
e
n
ter
k
e
rnel_pr
i
ntf
:
mov
e
a warning u
n
der t
h
e --spammy
f
lag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rpenter
kernel_print
f
:
a
d
d so
m
e quotes a
r
ou
n
d the fun
c
t
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Car
p
enter
kerne_
p
rintf: '%pb' is
val
i
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Ville
m
oes
check_kernel_printf
.
c: F
i
x
braino
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
illemoe
s
check_kernel_
p
rintf
.
c:
Strip parentheses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
che
c
k_kernel_printf
.
c: H
a
ndle conditionals
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vil
l
emoes
smat
c
h
: Check th
e
kernel'
s
%p format extensions
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vi
l
lemoes
s
m
a
tch: Add --enable o
p
t
i
on
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch: Implement
--s
h
ow-chec
k
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Vill
e
moes
smatch: Add
dum
m
y
elemen
t
to reg_
f
un
c
s
commit
|
commitdiff
|
tree
2015-02-11
Luc Va
n
Ooste
n
ryck
Avo
i
d
reu
s
e of string buffer w
h
en concatening adj
a
c
e
nt
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Da
n
Car
p
en
t
er
wrong_size_arg: warn abou
t
"if (m
e
m
cmp(foo
,
bar,
s
i
z
eof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
struct_assignment:
r
emove a blan
k
lin
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
sval: handle L
E
FTSHIF
T
s i
n
sv
a
l_binop_ove
r
flows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
arp
e
nter
sval: ca
s
t the result in sva
l
_binop
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpent
e
r
type_val:
update to handle
PARA
M
_SE
T
from the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Car
p
enter
type_val
:
igno
r
e kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
a
r
penter
type_v
a
l: ignore all the "for_each"
macro
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
u
se
r
_data2
:
rem
o
ve some debu
g
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-29
Dan Carpenter
helper
:
i
ntroduce invert_op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
ra
n
ge
s
: break t
h
e ran
g
e
list p
a
rsing into a separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
D
an Ca
r
pente
r
ranges: prepare to change a string to an estate instea
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
mod
i
ficati
o
n_hook
s
: add PARAM_SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Dan Ca
r
penter
pa
r
am_cle
a
red: clearing a member is
not clearing a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
D
a
n
C
arpen
t
er
type_val:
i
gnore fake member assignments fr
o
m
uncasted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
typ
e
_value: lis
t
_e
n
t
r
y
is safe as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
db:
u
se saved
return e
s
t
a
te inste
a
d of searching the
db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
debug:
i
ntroduce __smatch_kno
w
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
D
a
n
Ca
r
penter
db, ex
t
ra: 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_param:
m
odi
f
y means it's not freed any
m
ore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
D
an Carp
e
nter
slist: fix "stack not
e
mpt
y
" errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-12
Dan
C
a
r
pe
n
ter
silen
c
e: a
d
d
__read_once_size() to k
e
rnel
.
silence
d
_functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Car
p
enter
comparis
o
n: handle
preops lik
e
"if (++a == b
)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Car
p
e
nter
flow:
d
on't
i
nline functions
which
are
over
20 li
n
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
functio
n
_ptrs:
handle SYN_NODE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
D
a
n C
a
rpenter
he
l
p
er: improve
get_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
D
a
n
Carpenter
u
ser_data2: start re-
w
r
ite o
f
u
s
er_d
a
ta (not
u
sed
y
et)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan
Carp
e
nter
math: introduce cus
t
om_g
e
t_
a
bso
l
ute
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
db: i
m
prove mem-
d
b debuggi
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
db:
m
ember_info
c
al
l
back sho
u
ld
pass the sm_state ins
t
ead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Da
n
C
arpente
r
sm
a
tc
h
.
h: silence
some compi
l
e warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carp
e
nter
free:
b
ring ba
c
k the double free
warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
extra,
f
ilt
e
r: FILTER_VALUE is not a mod
i
fica
t
i
o
n ac
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan
C
arpenter
param_f
i
lter: total re-wr
i
te
w
ith bug
f
ixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
extra: improve parent_is_null_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
D
an Carpen
t
e
r
db, function_hooks:
c
ull i
m
p
ossible
paths o
n
fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next