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
kernel: ERR_PTR() basically only returns negatives and the occasional NULL
2017-05-23
D
an Carpenter
kernel: ER
R
_PTR() basic
a
lly only returns negatives
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
Dan Car
p
e
nt
e
r
extra:
don't overwrite the
implications for useless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-19
D
a
n Carp
e
nt
e
r
db: fix a type
i
ss
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-18
Dan Carpenter
type_va
l
: c
a
st assignments to the cor
r
ect
t
ype
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
Dan Carpenter
helper: fix get_member_name() handling of uni
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
Dan Car
p
e
nter
return_to_pa
r
am
:
long
t
o s
h
ort shou
l
d never return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
Dan
Ca
r
penter
slist:
r
evers
e
t
he sli
s
t order
i
n a way
that no one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan
C
arpenter
extra: make set_extr
a
_mod_helper() void
a
n
d
static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
D
a
n Car
p
e
nt
e
r
extra: make
set_e
x
tra_mod()
a voi
d
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
D
an Carpenter
extra
:
make se
t
_extra_e
x
pr_mod() a void
f
unct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan C
a
r
p
enter
g
e
n
eric_dat
a
: fix up
some pro
j
ect re
l
ated things f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carp
e
nter
smdb
.
p
y: fix
s
u
mmary
(
i
t
was totally broken before)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-15
D
a
n Carp
e
nte
r
l
i
n
ks, var_sym:
all
o
cate fewer states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-15
Dan Carpen
t
e
r
modif
i
cation
_
hooks: do
n
't save so
m
uch data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-11
Dan
C
ar
p
enter
return_t
o
_para
m
: don't mo
d
ify memory on the s
t
ack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-11
Dan
C
arpe
n
ter
ex
t
ra: handle i
n
t
eger overf
l
ows bet
t
er for
"int
_
foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpent
e
r
build_generi
c
_data
:
seve
r
a
l
improvements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Da
n
Carpenter
te
s
t
_
g
ene
r
ic
.
sh:
l
ike t
e
st_kernel
.
sh
b
u
t
for ge
n
eri
c
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Da
n
C
a
r
penter
g
eneric_data
:
rename to match build_k
e
rnel_dat
a
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n C
a
rpent
e
r
gene
r
ic_info: allow
p
eople to b
u
ild a
s
pe
c
ific directory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n Carpenter
u
n
reachable: don't compl
a
in abo
u
t st
a
t
i
c declar
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpe
n
t
e
r
index_over
f
l
ow: silence some g
l
ibc false
p
ositi
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
project: create
a
way
to ge
n
erate smatc
h
_data for a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpente
r
core: improve Func
t
ion too ha
i
ry calculation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
h
elper: don't crash so much on i
n
v
alid cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
compar
i
son
:
f
ix som
e
memor
y
lea
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
db/bu
i
ld_ea
r
ly
_
index: build another index
o
n
paramete
r
_name
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an C
a
rpenter
d
b/k
e
rnel
.
retu
r
n_fixes:
atomic_read()
r
eturns the value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n C
a
rpenter
debug
.
c: add
s
ome new (not very us
e
f
ul) featur
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpent
e
r
buf_com
p
ari
s
on: fix
build and add
m
ake
n
ew co
d
e functional
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
r
p
e
n
ter
free: fix build error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
err_ptr_deref
:
make er
r
_ptr_min/
m
ax stati
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
free:
don
'
t c
o
mplain
w
hen people
do frob(&fr
e
e
d_v
a
riable)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
C
a
rpenter
kernel_prin
t
f: fix
%
pG
test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
r
penter
logic
a
l
_
instead_of_bitwise: silence som
e
false
positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpent
e
r
unused_ret: make warning messages consistent with everyone
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
user_d
a
ta2: tag all union mem
b
e
r
s
a
s un
t
rusted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
use
r
_data2
:
i
f user
s
can
only spec
i
fy a sin
g
le va
l
u
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpen
t
er
extra: use long to
s
ho
r
t m
a
p
pings for
PARAM_LIMIT
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
penter
u
s
e
r
_dat
a
2: handle
"if (untrus
t
ed != truste
d
) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rpenter
b
uf_compar
i
s
on:
c
l
e
ar
a
rray <-> s
i
ze
l
inks better
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
Carpenter
buf_comparison: record if w
e
pass a
n
ARR
A
Y
_
SIZE to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
retu
r
n_to
_
param (
m
appings): ma
p
regula
r
assig
n
ments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Ca
r
penter
user_data2: h
a
ndle inlines bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Da
n
Carpenter
math
:
p
r
efer
r
eal ab
s
olutes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan
Carp
e
nter
modificatio
n
_h
o
oks:
u
se long t
o
short mappi
n
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Da
n
C
a
rp
e
nter
r
eturn_to_param: ha
n
d
l
e "return get_
f
oo(bar)
;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
D
an C
a
rpen
t
er
e
x
p
r
ession: fix exp
r
_ge
t
_pa
r
e
nt_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Da
n
C
ar
p
enter
fu
n
ction_ho
o
ks: only
add comparisons when need
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flo
w
: fix
s
ome p
a
r
ent trans
i
tion fallou
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Da
n
Carpenter
flow: set parent statem
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Da
n
Carpenter
core:
a
dd expr_get/set
_
p
a
rent_
s
t
m
t() accessor
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpe
n
ter
flow: create an access
o
r method expr_get_p
a
ren
t
_expr
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
an Carpe
n
ter
f
low: re
n
am
e
set
_
par
e
nt_stmt() =
>
stmt
_
set_parent_
s
tmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Da
n
Carpenter
flow: rena
m
e s
e
t
_parent_expr() =>
expr_set_pare
n
t_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-26
D
a
n Carpenter
r
e
t
urn_
t
o_para
m
: Us
e
t
he DB re
t
urn string
s
l
i
k
e "[
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carp
e
nter
smdb
.
py:
translate more para
m
eter
names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan
Carp
e
nter
smdb
.
py: gues
s
the
paramete
r
names eve
n
i
f
t
he file
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan C
a
rpenter
smdb
:
don't crash if
the p
a
rameter n
a
mes aren'
t
known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
f
l
ow: fix fa
k
e env
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
D
a
n Carpenter
balan
c
e
d
:
delete
t
his check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpe
n
ter
flow: add in
i
t_fake_env
(
)/
e
nd_fake_env()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Da
n
Carpenter
stored_c
o
ndition
s
:
store as
e
xpress
i
on pointers instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpen
t
er
flow,
d
b: fix how in
l
i
ne fu
n
ction assignments are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpe
n
ter
flow: remove
some bu
g
gy unused code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
flow
:
fix ini
t
ializatio
n
of nested structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
D
an Carpent
e
r
db: build an
index on
t
he paramete
r
n
ames
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Da
n
Car
p
enter
math:
improve MOD handli
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
para
m
eter_names:
s
tore parameter
n
ames in the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
s
m
db
.
py: reformat c
a
ll_
i
nfo output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
Makefile: use quiet link to link smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
states: f
i
x
handling
switches i
n
side conditions (fake_c
u
r_stree
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n Carpenter
sta
t
e
s:
split
u
pdate_fa
k
e
_
stree_wi
t
h_merg
e
d
(
) and add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
an Ca
r
penter
type_val: small tweak for arrays a
n
d complicated
l
value
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
an Carpenter
extra: handl
e
indirection like
"p = &foo; *
p
=
42;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan
C
arpenter
extra: handle MOD conditions like "if (a % 4) {"
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Da
n
C
arpenter
modification_hooks: remove unused indirect
m
odifica
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
Dan
Carpen
t
e
r
validation/
s
kb3:
d
elete some accidental
debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
D
an Car
p
e
nter
user_data2:
d
on't set parameters to user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
D
an Carp
e
nter
user_data2
:
handle skb->data math a li
t
tle better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_data2: re-work handling
o
f
skb->data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpente
r
par
s
e_call_math: work arou
n
d for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
C
arpe
n
ter
leaks:
d
o
n't complain if we ov
e
rw
r
ite NULL po
i
nters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
r
p
e
n
ter
fr
e
e: ignor
e
i
m
possi
b
le c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an C
a
rpenter
shi
f
t_to
_
ze
r
o:
m
ake th
e
error message more informative
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arpenter
te
s
t_bit
:
add te
s
t_and_clear_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carp
e
nt
e
r
smdb
.
py:
print the return
_
i
m
plies value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db/fixup_kernel
.
sh:
i
gnore
d
o_loop_readv
_
writev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
extra: s
e
t hard 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
Dan C
a
r
p
e
n
t
er
ex
t
ra: fix handling of known c
o
nditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpent
e
r
para
m
_limit: don't s
e
t some unchange
d
limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carp
e
n
ter
d
b
: prevent slow dow
n
s s
p
litting returns a
p
art
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
Carpenter
d
b: set parse_erro
r
if the SQL
f
ails
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpenter
param_set: handle
if the pa
r
ent was set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carp
e
nter
buf_siz
e
:
fix t
y
pe_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
d
b
: filter
p
ointer call
s
by
f
u
n
ction signatur
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
C
arpenter
implied: reve
r
t "tiny speed up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
penter
assign_vs_compar
e
: warn about "
i
f (foo = &bar) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
type
:
fix
t
ype_bits()
for array
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpen
t
e
r
shift_t
o
_
zero:
d
o a small cl
e
an up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next