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
return_to_param: long to short should never return a longer version
2017-05-17
Dan Carp
e
nt
e
r
return_to_param: l
o
n
g to short sho
u
ld never return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-17
Dan Ca
r
pent
e
r
slist: reverse the sli
s
t order in a way that no
o
ne
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
extra: make s
e
t_extra_mod_helper
(
) v
o
id and static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpent
e
r
ext
r
a
:
m
a
ke set
_
ext
r
a_mod() a void function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpen
t
er
e
xtra: make set_extra
_
e
xpr_mod() a void function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan
C
a
rpenter
generic_
d
ata: fix up
some proje
c
t rela
t
ed things for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan
C
arpen
t
e
r
smdb
.
py: fi
x
summary (it was totally
broken before)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-15
Dan Car
p
enter
links, var_s
y
m: allocate fewer s
t
ates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-15
Dan
Carpenter
modific
a
tion_hooks
:
don't save so much dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-11
Dan
C
a
rpen
t
er
r
e
turn_to_
p
a
r
am:
do
n
't mo
d
i
f
y memo
r
y on the stack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-11
D
an Carpent
e
r
extra: handle integer overflows better for "int_foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan C
a
r
p
enter
build_
g
eneric_data: several improvements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpent
e
r
te
s
t_gener
i
c
.
sh: like
test
_
k
e
rne
l
.
sh but for generic
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
generic_da
t
a: rename to m
a
tch build_k
e
rne
l
_d
a
ta
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
D
an Carpenter
gener
i
c_
i
nfo: allow people to build
a speci
f
ic directory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
D
an Carpe
n
ter
unreachable
:
don't co
m
plain
a
bout static declara
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan
C
arpenter
index_
o
verflow:
silence some
g
libc f
a
lse positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan C
a
rpenter
projec
t
:
create a way to
g
e
nerate smatch_data f
o
r
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpe
n
te
r
co
r
e:
i
mp
r
ove
Function too hai
r
y
c
a
l
culation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpente
r
helper: don't c
r
a
sh so much on
i
nvalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an Carpent
e
r
compari
s
on: f
i
x so
m
e memor
y
leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
db/build_early_index: build anot
h
e
r index
o
n
p
a
r
a
mete
r
_na
m
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
d
b/kernel
.
return_fixes: atomic_re
a
d() returns
t
he v
a
lue
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpenter
debug
.
c:
a
d
d
some ne
w
(
n
o
t
very u
s
eful) feat
u
res
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_comparison:
f
ix buil
d
and
a
dd make ne
w
code functional
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
penter
free
:
fix
b
uild
e
r
r
or
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
Carpenter
e
r
r_ptr_deref: make err_ptr_
m
in/m
a
x st
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
free:
d
o
n't complain when peo
p
l
e do frob(&freed_variable)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
ke
r
nel_pr
i
nt
f
: fix %pG
t
e
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
lo
g
ic
a
l_instead_of_bitwise: s
i
le
n
ce some fa
l
se positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpen
t
er
unused_
r
et: make warning message
s
consistent
w
ith e
v
e
ryone
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
u
s
er_data2: tag all union me
m
bers as untrusted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
us
e
r
_
data2:
if us
e
rs ca
n
only sp
e
cify a
s
in
g
l
e val
u
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
extra
:
use long t
o
short mappings for PARAM_LIMIT an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carp
e
n
ter
user_da
t
a2: hand
l
e "if (un
t
rusted != t
r
usted)
{"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Ca
r
penter
buf_comparison: c
l
ear ar
r
ay <-> size links b
e
tter on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carp
e
nter
b
u
f_co
m
pa
r
ison: re
c
ord if we pa
s
s
an ARRAY
_
S
I
Z
E
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpen
t
er
r
e
t
urn_t
o
_param (mappings): map regular assignments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
D
an
C
arp
e
nt
e
r
user_data2: handle
i
nlines better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
D
a
n
C
arpent
e
r
math: pre
f
e
r
real absol
u
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpe
n
ter
modifi
c
ation_hooks: use long to short
mappings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan
Carpenter
re
t
urn_to
_
para
m
: han
d
le "retur
n
g
et_foo(bar);"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
D
a
n
Carpenter
exp
r
e
s
sio
n
: fix
e
xp
r
_ge
t
_paren
t
_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan
Car
p
e
n
ter
f
unction_h
o
o
k
s
: o
n
ly ad
d
comparisons when needed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: fix s
o
me par
e
nt transition fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: set pa
r
ent statemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
core:
a
d
d
expr_get/se
t
_parent_
s
tmt(
)
accessor fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: create an
ac
c
essor met
h
od expr
_
get_parent_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpente
r
flow: rename set_pare
n
t
_
stmt() =>
st
m
t
_
set_
p
arent_
s
t
m
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: rename
s
et_parent_expr()
=
> expr_set_pare
n
t_
e
x
pr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-26
Dan
Ca
r
penter
return_to_param: Use the DB return
s
trings like
"[
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpe
n
ter
s
m
db
.
py:
t
ranslat
e
m
ore parameter nam
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carp
e
n
ter
smdb
.
py: guess the param
e
ter names ev
e
n if the file
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpe
n
ter
smd
b
: d
o
n't
c
rash
i
f the par
a
met
e
r na
m
es ar
e
n't known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Da
n
Carpenter
fl
o
w: fi
x
fake
e
nv
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carp
e
nter
b
a
lanced
:
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
n
it
_
fake_
e
nv()/end
_
fake
_
env(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan
Carpenter
stored_conditions: stor
e
as expression pointers inste
a
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
D
an Carpente
r
f
l
ow, db:
fix how inline function assignments are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carp
e
nter
flow: remove so
m
e buggy unuse
d
co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpent
e
r
f
l
o
w:
fi
x
initializati
o
n of nested struc
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan C
a
r
penter
db: build an index on the
parameter names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
a
n Carpen
t
e
r
math: impr
o
ve MOD handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpe
n
ter
param
e
ter_names
:
st
o
re pa
r
ameter
n
a
m
es in
the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpente
r
s
md
b
.
py: refor
m
at call_info ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpent
e
r
M
akefile: use quiet link to link smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
states: fix han
d
ling s
w
itc
h
es inside con
d
itions (fake_cur_stree)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
arpenter
states:
s
p
lit up
d
a
t
e
_
fake_stree_with_merge
d
()
and add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
D
an
Carpenter
ty
p
e_val: small tweak for arr
a
ys
and complica
t
ed lvalues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
extra:
h
andle indir
e
ction like
"p
=
&foo; *p = 42;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
extra
:
hand
l
e MO
D
con
d
itions
l
ik
e
"if (a % 4) {" bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
modific
a
tion_hooks: re
m
ove unused indirect
m
odi
f
icati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
D
a
n Carpe
n
t
e
r
validat
i
on/skb3: del
e
te some
a
cci
d
e
n
tal debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan
Carpenter
us
e
r_
d
ata2: don't set p
a
r
amet
e
rs
to user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Da
n
Carpenter
user_data2:
h
a
n
dle skb->data math a l
i
tt
l
e
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan C
a
rpente
r
u
s
er_dat
a
2
:
r
e-work
h
a
n
dling of skb-
>
da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Ca
r
penter
parse_call_
m
ath: wo
r
k around for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
leaks: don't complain if
w
e
o
v
erwrite NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpenter
free: igno
r
e impos
s
ible code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpe
n
ter
shi
f
t_to_z
e
ro: make
the error me
s
sage mo
r
e in
f
o
rmative
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
r
p
enter
t
e
st_bi
t
: add test_and_clear_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Ca
r
pen
t
er
smdb
.
py
:
p
rint the return_implies val
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db/fixup
_
ker
n
el
.
sh
:
ignore do_loo
p
_readv
_
w
r
itev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
extra: set h
a
rd max
i
f
a
f
unction
is cal
l
ed with a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
extra: f
i
x handling of known conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
param_limit: don't
s
et some
unchanged
l
imits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
d
b
: preve
n
t slow down
s
sp
l
itt
i
ng retu
r
ns
apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db: set pa
r
s
e_error if the SQL fa
i
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpenter
param_set: ha
n
dle if the parent was set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpen
t
er
buf_size: fix type_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan C
a
rpente
r
db: filter poi
n
ter call
s
by funct
i
on signatures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
C
a
rp
e
nter
implied: revert "tiny speed up"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an
Ca
r
p
e
nter
assign_v
s
_
compar
e
: warn about "if (foo = &bar) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
type: fix type_bits() for arra
y
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carp
e
nter
shift_to_zero: do
a small clean
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
smat
c
h
.
c: remove a bla
n
k line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
pe
n
ter
db:
split
r
e
turn states by null vs no
n
-
n
ull para
m
eter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
extra:
f
il
t
er
PARAM_VALUEs with both extra and real_abso
l
ute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpent
e
r
math: handle -foo better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
h
e
lper: i
n
troduce
get s
t
ruct
a
nd member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next