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
sval: fix sval_binop_overflows()
2015-03-05
Da
n
C
arpen
t
er
sval:
f
ix sva
l
_
b
inop_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
prec
e
dence: complai
n
about "fo
o
<< bar - baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Ca
r
penter
flow: handl
e
s
truct initialization better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
D
an
C
arpen
t
er
estate: add
a
NULL
check in esta
t
es_equi
v
()
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
param
_
u
se
d
:
store when a parame
t
er is used s
o
we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
extra: ignore more __in_f
a
ke_assign
d
a
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n Carpe
n
t
e
r
c
o
mparison: fix a cras
h
ing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
an Ca
r
penter
type: add an e
x
pr_sign
e
d() functio
n
t
h
at m
a
tches expr_
u
nsi
g
ned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
s
m
db
.
py: add functions to show fu
n
ctions impleme
n
ting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n
Carpenter
extra: handle temporary shorthand
p
ointe
r
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpen
t
e
r
dereference
s
_
p
ar
a
m: lo
o
k fo
r
pointers used as an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
check
_
indenting: warn about m
i
ssing curl
y
b
ra
c
es and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
D
a
n Carpe
n
te
r
p
a
ra
m
_cl
e
ar
e
d: add a
c
omment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan
Carpenter
validation: correct some
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
A
a
ro Koskinen
b
u
ild: allow use of PKG_CON
F
IG t
o
o
verride pkg-config
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
db:
b
uild indexes faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
Ca
r
penter
slist: f
i
x compile break
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
a
rpenter
kernel_printf: silence some
fal
s
e po
s
i
t
i
ves using sm
a
tch_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n
Carpenter
strings: rec
o
rd whi
c
h
string
s
are being used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
Carpen
t
e
r
user
_
data2: turn o
n
s
kb->data tagging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
rpe
n
ter
d
b
:
rename FILTER_
V
ALUE, LIM
I
TED_
V
ALUE, a
n
d ADDED_
V
ALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
Carpen
t
er
kernel_printf:
s
il
e
nce some "str
u
ct sock
a
ddr " false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
an C
a
rpenter
type:
add
u
nions to type
_
t
o_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
D
a
n C
a
rpent
e
r
t
yp
e
_
v
alue: sp
e
ed up loading
the
d
at
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carp
e
nter
*new*
return_cast: complain about return -EINVAL
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
format_s
t
ring: del
e
te this
b
ecause c
h
eck_kernel_printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
f
u
n
cti
o
n_hooks: add some debug
outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carp
e
n
ter
extra: cleanup db_pa
r
am
_
a
d
d_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpent
e
r
extra: sepa
r
ate
P
ARA
M
_L
I
M
IT and PARAM_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
fu
n
ction_hooks: don't t
a
ke a shortcu
t
for "needles
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpen
t
er
helper: introduce alloc_
s
t
ate_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
ma
t
h: handle "if (likely(1)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
math: f
i
x/cle
a
nup do_compa
r
ison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
c
ap
p
ed: d
o
n'
t
re
c
ord sin
g
le value
s
as capped in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
db: e
x
p
o
rt get_static_filter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
user
_
dat
a
2
: wrong
parameter
t
agge
d
as
u
ser data
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
rosen
b
erg
:
delete
so
m
e code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
rosenberg: s
t
ri
p
away some casti
n
g (elimi
n
ates a false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpent
e
r
rosen
b
e
r
g
: don't s
a
ve
unneeded st
a
t
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
buf_size: don't sa
v
e useles
s
information in
t
he database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
s
t
ruct_assignment:
i
gnore more
f
ake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Car
p
enter
slist
:
fix debu
g
ging ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param_cleared, rosenbe
r
g: add
underscored memset/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param_filter/se
t
: d
o
n't record fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n
Car
p
enter
slist, debugging: don't print ->possible list
if there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
t
ype
_
val: add more s
t
uff to ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carpenter
db/reload_partial
.
sh
:
ch
a
n
g
e
d
atabase info for one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Silvan J
e
gen
Documentati
o
n fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
kernel_printf: put lots
of
single quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Ca
r
pente
r
Merge
b
r
anch '
d
evel3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
R
a
smus V
i
llemoes
check_
k
e
r
nel_
p
r
in
t
f
.
c:
Allow const cha
r
[] fo
r
m
a
t arguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villem
o
es
check_
k
ernel_printf
.
c
:
Handle
'fmt ? : "default
"
'
commit
|
commitdiff
|
tree
2015-02-12
Ra
s
mu
s
V
i
llemoes
c
heck_kernel_printf
.
c: Simplify
rec
u
rsive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carp
e
nter
check_kernel
_
printf
.
c
: Simplify recursi
v
e c
a
lling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpe
n
ter
kern
e
l_printf: all
o
w '\b'
i
f
i
t
'
s
t
he fir
s
t character
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
validation/sm_r
o
senberg
.
c: don't pass an u
n
init
i
alize
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n
Carpenter
ke
r
ne
l
_printf: add s
o
m
e
more
quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
arp
e
nter
ker
n
e
l_printf: move a warni
n
g under the --spammy f
l
ag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_printf: a
d
d som
e
quotes
a
round the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rpent
e
r
kerne_printf
:
'%pb' is
v
al
i
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus Vi
l
lemoes
check_kernel_pri
n
t
f
.
c
: Fix bra
i
no
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
check_k
e
rnel
_
pr
i
ntf
.
c:
S
trip pare
n
th
e
ses
commit
|
commitdiff
|
tree
2015-02-11
R
asmu
s
Villemoes
c
h
eck_kernel_printf
.
c: H
a
ndle
c
on
d
it
i
o
nals
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
sma
t
ch: Check
t
he
kernel's %p
f
ormat extensions
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s Villemo
e
s
smatch:
A
dd --enable
o
ption
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch: Implement --sho
w
-chec
k
s
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s Villem
o
es
s
m
atch:
A
dd
d
umm
y
element
t
o
reg_fu
n
c
s
commit
|
commitdiff
|
tree
2015-02-11
Luc
Van Oost
e
n
ryck
Avoid
r
euse of string buffer when c
o
nc
a
t
e
ning adjacent
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
D
a
n Carpenter
wro
n
g_size_ar
g
:
w
ar
n
about "if (
m
e
m
c
m
p(foo, bar, siz
e
of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
s
truct_ass
i
gnment: remove a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carp
e
nter
sval: handle LEFT
S
HIFTs in sval_binop_o
v
erfl
o
ws()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carp
e
nt
e
r
sval: cast the result in sval_
b
inop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan C
a
r
penter
type_va
l
: upda
t
e to
h
andl
e
P
A
RAM
_
SET from the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
arp
e
nter
typ
e
_val:
i
g
nore kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Ca
r
pente
r
type_v
a
l:
i
gnore all the "
f
or_each" m
a
cr
o
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
an Carpenter
u
s
e
r
_data2: remove some debug
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-29
D
an Carpenter
helpe
r
: introduce inv
e
rt_op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan
Carpenter
ranges: break the
r
ange
l
ist pa
r
s
ing into a separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carp
e
nter
ranges: prepare to change a string t
o
an e
s
tate i
n
stead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
D
an Carpenter
modification_hooks:
a
d
d PARAM_SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpe
n
te
r
p
a
r
a
m_cleared: cleari
n
g
a
m
e
m
b
er is n
o
t
clearing a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpenter
type_
v
a
l: ign
o
re fake m
e
mbe
r
a
s
signments
f
rom uncasted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
type
_
v
alue: list_
e
ntry
is s
a
fe as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
db: use sav
e
d
r
eturn
estate instead
o
f searching the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carp
e
n
ter
d
e
bu
g
: introduce __smatch_known
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpent
e
r
db, extra:
u
se PARAM_SET if the par
a
meter
i
s
t
ot
a
l
l
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
Dan
C
arpenter
fre
e
s_param: m
o
dify me
a
ns it's no
t
f
r
eed anymore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
D
a
n Ca
r
penter
slist: fix
"stack not empty" errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-12
Dan Carpenter
sil
e
nce: add __
r
ead_once_siz
e
()
t
o
k
ernel
.
silence
d
_fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Da
n
Ca
r
penter
comp
a
rison: handle preops li
k
e "
i
f (++a == b)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Da
n
Carpenter
flow: don't in
l
ine fu
n
c
t
io
n
s whi
c
h are o
v
er
2
0 lines
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpen
t
er
function_ptrs: han
d
le SYN_NODE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Da
n
Carpenter
helper: improve g
e
t_mem
b
e
r_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
user_d
a
t
a
2: s
t
art re-wr
i
te of user_da
t
a (no
t
u
s
e
d yet
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Ca
r
penter
math:
i
ntroduce c
u
s
tom_get_abso
l
ute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Car
p
e
n
t
er
db: im
p
r
ove mem-db
debugg
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Da
n
Carp
e
n
ter
db: me
m
ber_info callback sh
o
uld pa
s
s
t
h
e sm_s
t
ate ins
t
ead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
D
a
n Carp
e
nter
sm
a
tch
.
h: sil
e
n
c
e s
o
m
e
compile
wa
r
nings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpen
t
er
free
:
b
r
in
g
b
ack the double
f
r
ee warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
extra, fi
l
ter: FIL
T
ER
_
VALUE
i
s not a
modifi
c
ati
o
n act
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next