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 static declarations
2017-05-10
Dan
C
arpe
n
ter
unrea
c
hable:
do
n
't co
m
p
la
i
n about static declara
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
index_o
v
erflow:
silence
s
ome glibc
f
alse positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carp
e
nter
proj
e
ct: create a way to gen
e
rate
s
m
a
tch_data for
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Da
n
Carpenter
c
ore: impr
o
v
e Functio
n
to
o
hairy
c
alculation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpen
t
er
h
e
lper: do
n
't crash so much on invalid
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an Ca
r
pe
n
ter
compariso
n
:
fix some memory
l
eaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
db/build_early_index: build another
index on parame
t
er_name
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
db/kernel
.
r
et
u
r
n
_fixes:
a
tomic_read()
r
et
u
rns the
v
a
lue
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
debug
.
c:
a
d
d some new (not
v
ery useful
)
features
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf
_
compari
s
on: f
i
x b
u
ild
a
nd add make new code functional
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
fre
e
: fix build error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an
Ca
r
pent
e
r
err_ptr_der
e
f: ma
k
e
err_ptr_min/max static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rpent
e
r
f
ree: don't co
m
plain wh
e
n pe
o
pl
e
do frob(&freed_variable)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
kernel_
p
rintf: fi
x
%pG test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arp
e
nter
logical_inste
a
d_of_bitwise:
s
ilen
c
e some fal
s
e
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arp
e
nter
unused_ret
:
ma
k
e warning messages consistent with everyone
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpen
t
e
r
user_d
a
ta2: tag all union mem
b
e
r
s as un
t
ruste
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carpenter
user_data2
:
if users can only
s
p
ecify a single valu
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
extra: use
l
ong to short mappi
n
gs for PARAM_LIM
I
T and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
user
_
dat
a
2:
h
andle "if (untruste
d
!= trust
e
d)
{
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpenter
bu
f
_co
m
parison: clear array <-> size links better on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_
c
omparison: record
i
f
we pa
s
s an A
R
RA
Y
_SIZE to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
ret
u
r
n_to_param (mappings): map regular a
s
signm
e
nts
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan
Ca
r
penter
use
r
_da
t
a2: handl
e
inl
i
nes
be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
D
an Car
p
e
nter
math: prefe
r
real a
b
solut
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Da
n
Carpente
r
modific
a
tion_hoo
k
s: u
s
e long to sh
o
rt map
p
ings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Da
n
Ca
r
penter
ret
u
rn_to_p
a
ram: h
a
ndle "return get_f
o
o(bar);"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
D
an Carpent
e
r
expression: fix expr_ge
t
_parent_stmt
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
D
a
n Carpenter
function_hooks:
o
nly add comparisons when needed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpenter
flow: fix s
o
me
paren
t
transit
i
on
fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n C
a
r
p
ent
e
r
flo
w
: set
parent
sta
t
eme
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan
C
a
rpenter
core: add expr_
g
et/set_paren
t
_stmt() accessor functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan C
a
rpenter
fl
o
w: cr
e
a
t
e
an accessor
m
ethod expr_
g
e
t_parent_expr(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: re
n
a
m
e set_pare
n
t_stmt() => stmt_set_parent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: rename set_pa
r
ent_expr() => expr_set_pa
r
ent_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-26
Dan Ca
r
penter
re
t
urn_to_param
:
Us
e
the DB return strings like "[
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
s
m
db
.
p
y: transl
a
t
e more parameter names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpente
r
smdb
.
py: gues
s
t
h
e parameter names even if the file
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Ca
r
penter
s
m
db: don't crash if the parame
t
e
r
n
ames aren't
known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan
C
arpent
e
r
flow: fi
x
f
ake env
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
balan
c
ed: delete this che
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
flow: add
i
ni
t
_fak
e
_en
v
()/e
n
d_
f
ake_env()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
D
an Carpenter
sto
r
ed_conditions: store as exp
r
essio
n
pointers instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
D
a
n Carpenter
flow
,
d
b: fix how inline function
assi
g
nmen
t
s
a
r
e
ha
n
dled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
f
low:
r
emove
some buggy u
n
used code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
f
l
o
w: f
i
x initialization of
n
e
s
t
e
d
s
t
r
ucts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Ca
r
pen
t
er
db: bu
i
ld an index on the paramet
e
r names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan
C
a
rp
e
nter
math: improve MOD ha
n
dling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
pa
r
ameter_names: store
parameter names in the
DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
smdb
.
py: reformat call_inf
o
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
Makefi
l
e:
use
q
u
i
et li
n
k
t
o l
i
n
k sm
a
tch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
rpenter
s
tates:
f
ix
h
andl
i
ng
s
witches
i
nsid
e
condi
t
i
o
ns (fake_cur_
s
tre
e
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpe
n
ter
states:
s
plit update_fake_stree_with_merged() and add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Car
p
enter
type_
v
al:
s
mal
l
tweak for arrays
a
nd
complicated
l
value
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
extra: handle indi
r
ec
t
ion like
"p = &f
o
o;
*p = 42;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpente
r
extra: h
a
ndle
MOD c
o
nditions like "if (
a
% 4) {" bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
m
odific
a
tion_hooks: remo
v
e unused indirect mod
i
fi
c
a
tio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
D
an
Carpenter
validation/skb3: delete some acci
d
ental debug c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
D
an
C
a
r
pent
e
r
u
ser_d
a
t
a
2: don'
t
set paramet
e
rs to user_
d
at
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_data2:
handl
e
skb->data math
a
l
i
t
tle better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_data2:
r
e
-wo
r
k handling of skb
-
>data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpenter
parse
_
c
a
ll_math:
w
or
k
around for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
a
rpenter
le
a
ks: don't compl
a
in i
f
we ove
r
w
r
i
te
N
ULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
f
r
ee:
i
gnor
e
impossible cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
sh
i
ft_t
o
_zero: make the error mes
s
age more inf
o
rmative
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arpent
e
r
test_bit: a
d
d
test_and_
c
lear_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
Carp
e
nte
r
smdb
.
py
:
p
rint the return_im
p
lies val
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Ca
r
p
enter
db/f
i
xup_kerne
l
.
sh:
i
g
nore do_
l
oop_readv_
w
ritev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpente
r
extra: set ha
r
d max if a function
is called w
i
th a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
Carpenter
extra: fix handling of known con
d
i
tion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
par
a
m_l
i
mit: don't set
s
ome un
c
hanged li
m
its
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arpent
e
r
db:
p
revent
slow downs spli
t
ting returns apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpenter
db: set parse_error i
f
the
S
Q
L fails
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
Dan C
a
rpent
e
r
param_set: handle if
the
p
arent was s
e
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan C
a
r
p
enter
b
uf_size: fix type_
b
ytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpe
n
t
er
db: filter pointer
c
alls by function sig
n
a
t
ure
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
i
m
pli
e
d: rev
e
rt "tiny spee
d
up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpen
t
er
a
ssig
n
_vs_compa
r
e
:
w
arn
a
bout
"
if (
f
oo = &b
a
r) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpenter
type: fix type_bits() for arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
sh
i
f
t_to_z
e
r
o
: do a
s
m
a
l
l clean
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
s
m
atch
.
c: remove a
bl
a
nk line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
db: spli
t
ret
u
rn
st
a
t
e
s by null vs non-null parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
e
xtra:
f
i
lter PA
R
AM_VALUEs with both extra and r
e
al_absolute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
m
a
t
h
:
handle -foo be
t
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
helper: i
n
troduce get struct
and member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
implied:
t
i
ny s
p
eed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
imp
l
ied
:
small cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
Carpenter
ranges: handle b
i
twise AND opera
t
ions better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpenter
re
a
l_abso
l
u
t
e
:
introduce get_rea
l
_absolute_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Car
p
e
n
t
e
r
a
vl: a
d
d a s
h
ort c
u
t for
w
h
e
n there
a
re no sta
t
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
ter
ty
p
e_va
l
: handle |= typ
e
assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
Dan Carpenter
db: rename "function_type_info" table
t
o
"
function_type"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
user_data2
:
if a
u
ser_data
is equal to non-u
s
er dat
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpe
n
ter
pr
e
-process: try f
i
nd
any
include
that looks lik
e
it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Car
p
enter
comparison: remove
s
ome
l
o
c
al_debug
information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
db/fixup_kernel
.
sh: writ
e
to the t
e
mporary DB instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
penter
e
x
tra: fix type issue ha
n
d
ling
+
+= and --= ope
r
a
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math: remove u
n
c
ommitted function call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Car
p
enter
math:
f
ix handling of sizeof() __
l
e16 types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math: h
a
ndle real_
a
b
solute var
i
ables mo
r
e ac
c
urately
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next