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
type_val: cast assignments to the correct type
2017-05-18
Dan Car
p
en
t
er
type_
v
a
l
: cast assign
m
ents to the correct type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
Dan Carpen
t
er
helper: fix get_
m
e
m
ber_name() hand
l
ing of unions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
Dan Carpenter
r
eturn_to_param
:
long to sh
o
rt should
never return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
D
a
n
Ca
r
penter
slist: reverse the
slist
order
i
n a way t
h
a
t no
o
ne
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
extra:
m
ake s
e
t
_extra_mod_helper() void a
n
d
static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
e
x
tra: make set_ex
t
ra_mo
d
() a
v
o
i
d
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carp
e
nter
extra: make
set_extr
a
_
e
xpr
_
mod() a v
o
id function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
D
a
n
C
arpent
e
r
generic_data: fix up so
m
e p
r
oject
r
ela
t
ed things for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
sm
d
b
.
py: fix summar
y
(it
w
as t
o
tally broken before)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-15
Dan Ca
r
penter
links, var_s
y
m:
allocate
fewer states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-15
Dan
C
arp
e
n
t
er
modif
i
catio
n
_
h
ooks: don't save so much
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-11
Dan Carp
e
nt
e
r
ret
u
rn_to_pa
r
am: don't modify m
e
mory on the stack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-11
Dan Ca
r
penter
e
xtra: h
a
ndle
in
t
ege
r
o
v
erflows
be
t
ter
f
or "in
t
_
foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Car
p
enter
build_gene
r
ic_data: se
v
eral imp
r
ovements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n
Carpenter
test
_
g
e
neric
.
sh:
like
test_kernel
.
s
h
but fo
r
generic
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan C
a
rpenter
generic_da
t
a: rename to
m
atch build_k
e
r
nel_data
.
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
gener
i
c
_info: allow people to build a specific director
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
unreachable: don't complain about stati
c
dec
l
ar
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n
Carpenter
index_ove
r
flow: si
l
ence
s
o
me
glib
c
false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
projec
t
: create a w
a
y
t
o
g
enerate smatch_d
a
ta for
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n Carpenter
co
r
e: improve Func
t
i
on t
o
o hairy calculation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carp
e
nter
helper
:
don'
t
crash so much on inv
a
li
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
C
arpen
t
er
com
p
arison: fix some memory leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arp
e
nter
d
b
/build_early_index:
b
uild another ind
e
x on
parameter_name
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
ter
db/k
e
rne
l
.
ret
u
rn_fixe
s
: atomic
_
read() returns t
h
e
va
l
u
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
pente
r
d
e
bug
.
c
: add some
n
ew (not ver
y
useful)
features
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
bu
f
_
c
omparison: fix build
a
nd add m
a
k
e
n
e
w cod
e
func
t
i
o
nal
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
f
r
e
e: fix
b
uild
e
rror
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carp
e
nte
r
err_pt
r
_deref
:
mak
e
err_ptr
_
m
i
n/max static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
f
ree: don't co
m
plain when peo
p
le
d
o fr
o
b(&fre
e
d_
v
ariable)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carpenter
kern
e
l_
p
rintf:
f
ix %p
G
test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
log
i
cal_instead_of_bit
w
ise
:
silence some false p
o
sitives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
unu
s
e
d
_ret: make warning messages consis
t
ent with ever
y
one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carp
e
nter
user_data2:
t
ag al
l
union mem
b
ers as untrusted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rp
e
nt
e
r
us
e
r_data2: if users can only
specify a single value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
extra:
use long t
o
sh
o
rt mappings
f
or PARAM
_
LIMIT and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
user_data2: handle "if (un
t
rusted !=
trust
e
d) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_comparison: clear ar
r
ay <-> s
i
ze
links bett
e
r on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
e
n
t
er
buf_co
m
parison: r
e
cord
if we
p
a
ss
a
n ARR
A
Y_SIZE
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
re
t
urn_to_param (mappings): map
regular assignme
n
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpe
n
ter
user_data2
:
handle inl
i
n
es
b
ette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
D
a
n
Carp
e
n
t
er
m
ath: prefer
r
eal absolutes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Da
n
Carpente
r
m
o
dificati
o
n_ho
o
ks: use lo
n
g to shor
t
ma
p
pi
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan C
a
rpenter
ret
u
rn
_
t
o
_param
:
h
a
ndle "
r
e
turn
g
et_foo(bar);"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
D
an Carpenter
expression: fix ex
p
r
_
g
et_parent_s
t
mt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
function_hooks: onl
y
add comparisons w
h
en nee
d
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpent
e
r
flow: fix some par
e
nt transition fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpen
t
er
f
l
o
w
: se
t
parent s
t
atem
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
co
r
e
: add expr_get/
s
et_parent_stmt() accessor functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: crea
t
e an accessor method expr_get_parent_
e
xpr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: r
e
name set_pare
n
t_s
t
mt() =>
st
m
t_set_
p
arent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan C
a
rpe
n
ter
flow: rena
m
e se
t
_p
a
re
n
t
_expr()
=> expr_se
t
_parent_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-26
D
a
n Ca
r
p
e
nt
e
r
re
t
urn_to_
p
aram: Use the DB return strings like
"
[
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
D
a
n
Carp
e
n
t
er
smdb
.
py:
t
ranslate m
o
re
p
aram
e
t
e
r
n
ames
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smdb
.
py: guess the param
e
ter na
m
e
s
e
v
en if the
file
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
sm
d
b
:
d
on't crash
if
the parame
t
e
r
n
a
mes aren't known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Car
p
enter
flo
w
: f
i
x
fake e
n
v
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpente
r
b
alanced: delete this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Ca
r
pe
n
ter
flow: add init_fake_env()/end_fake_env()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpent
e
r
stored_condition
s
: store as
e
xp
r
es
s
ion
poin
t
ers
i
n
s
tead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan
Carpenter
flow, db: fix ho
w
i
n
l
i
ne func
t
ion assignments are handle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carp
e
nter
flo
w
: remove some bu
g
g
y unused
c
od
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
f
l
ow: fix initialization of nested st
r
ucts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpente
r
d
b
: bu
i
ld an in
d
ex on t
h
e parameter names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpe
n
ter
math: imp
r
o
v
e
MOD handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Carpenter
para
m
eter_names: store parameter names in the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n
C
arp
e
nter
smdb
.
py: r
e
f
ormat call_i
n
fo output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Car
p
enter
Make
f
ile: use quiet
link to
link smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carp
e
nter
s
t
a
tes: fix handling
s
wi
t
ches inside conditions (fake_
c
ur_stree)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpent
e
r
stat
e
s: split upda
t
e_fake_stree_with_mer
g
ed
(
) a
n
d add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
type_val: sm
a
ll tweak for arrays
a
nd complicated lvalues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
an Carpenter
extra:
handle in
d
irection like "p = &foo; *p
=
42;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpen
t
er
extra: handle M
O
D c
o
nditio
n
s like "
i
f (a % 4
)
{" bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
D
an Carp
e
nter
mod
i
fication_hooks:
r
e
m
o
v
e u
n
used indirect modifica
t
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
D
a
n Car
p
enter
validation/skb
3
:
del
e
te som
e
accidental debug co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_dat
a
2: don't set p
a
ram
e
ters to user_
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpe
n
ter
user_dat
a
2: handle skb->data
m
a
t
h a little better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n Carpenter
user_data2
:
re-work handling of skb->data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpen
t
e
r
p
a
rse_call_math: work arou
n
d for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpenter
l
eaks:
don't c
o
mp
l
a
in
i
f we o
v
e
r
write NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
C
arp
e
nter
f
r
e
e
: ignore impossible c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an C
a
rpenter
shift_to_z
e
r
o: make the error me
s
sage m
o
r
e i
n
fo
r
mati
v
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
enter
test_bit: ad
d
test_and_cle
a
r
_
b
it
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpenter
s
m
db
.
py:
p
rint
t
h
e return_implies val
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
ter
db/fixup_
k
erne
l
.
sh: ignore d
o
_loop_r
e
a
dv_writev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
t
er
extra: set har
d
max if a
functio
n
i
s
called with a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
a
rpenter
e
x
tra: fix handling o
f
k
nown
c
onditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpente
r
param_limit: don
'
t
set
s
o
m
e unchanged
l
imits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an
Carpenter
db: prevent slow down
s
s
p
litting returns
apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
r
p
e
n
ter
db:
set
p
arse_error if the SQL fails
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
Da
n
Carpenter
buf_size: fix type_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
D
a
n
Carpenter
d
b
: filter point
e
r calls by fu
n
ction signatures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implie
d
: reve
r
t "tiny speed up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
as
s
ign_v
s
_compare: w
a
rn about "if (foo = &bar)
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
t
e
r
type: fix type_bits()
for arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
penter
shift_to_ze
r
o: do
a
s
mall clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
smatch
.
c:
r
emove a blank
l
ine
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Car
p
e
n
ter
db: split return st
a
tes by nu
l
l vs non-null paramet
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpe
n
te
r
extra: fi
l
te
r
PARA
M
_
VALUEs wi
t
h both
e
xtra and real_abso
l
ute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next