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
smatch_nul_terminated: fix compile
2018-10-31
Dan Carpenter
smatch
_
n
ul_termi
n
ated:
fix compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
untracke
d
_param: fix a NULL dere
f
erence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Dan C
a
rpenter
un
i
n
itia
l
ized: fix
a cr
a
shing bug parsing "return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
Dan C
a
rpenter
nul_t
e
rminator: trac
k
w
hen
st
r
ings have
a
NUL terminat
o
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpen
t
er
user_data2: fix a ty
p
e issue in caller_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
penter
us
e
r
_data: integers can't b
e
d
e
r
eferenc
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Car
p
ente
r
compar
i
son: m
a
ke
a
buffe
r
larger to make GCC happy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
d
a
ta_source: track
assign
m
ents
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carp
e
nter
extra: prev
e
nt
a
d
iv
i
de
by ze
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
mo
d
if
i
cation
_
hooks
:
use
t
he
D
B for frob(&f
o
o);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carp
e
nter
sval: introduce sval_binop_overflows_no_si
g
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carp
e
nter
ext
r
a
:
undo bogus
u
n
op
c
h
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Car
p
enter
array_valu
e
s
: fix up and support
t
wo dimension
a
l
lo
c
al
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Ca
r
penter
para
m
_
s
et: don't record a para
m
_se
t
for
p
++ changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpente
r
function_hooks: re-hack around moving the fak
e
parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpent
e
r
a
r
ra
y
_values: store a
r
ra
y
v
a
lue
s
of struct member arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan
Ca
r
penter
function_hooks: hack a
r
ou
n
d fallout from
m
o
ving
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-24
Dan C
a
rpen
t
er
com
p
arison
:
d
on't r
e
turn invalid params in ge
t
_mas
k
_
c
om
p
a
r
ison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
d
b
: don't
pri
n
t "fai
l
ed to ope
n
" warnings
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_set: remove som
e
d
e
ad code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
mtag: te
m
por
a
rily
d
isable g
e
ne
r
ating m
t
ag for km
a
lloc(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
expressions: don't crash
on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carp
e
nter
ext
r
a
:
fix a ty
p
e b
u
g in inserting info
i
nto cal
l
er_in
f
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an
Carpenter
kernel: don't
insist that the p
a
ramet
e
r is named
"error"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra:
e
xport is_impossible_vari
a
bl
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
f
low: fix a
c
rashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpenter
function_hooks: do the fake
paramete
r
assignment after
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpe
n
te
r
param_limit: fix g
e
nerify
_
mtag_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra: cl
e
ar_poin
t
ed_at_st
a
te() is a nomod sta
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
t
e
r
param_
s
e
t: handle wh
e
n the
stack variable was modified
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carp
e
nte
r
p
a
rse_call_math:
don't say
the
r
et
u
rn is equal to a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an
C
arpent
e
r
scope: f
i
x
is_outer
_
s
t
m
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpente
r
sval: ha
n
dl
e
c
a
st
i
n
g to
bool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
nter
array_values: d
o
n
'
t crash on
inva
l
id cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
no_spec: record when functions h
a
ve a barrier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan C
a
r
p
ente
r
extra/t
y
pe: fix type of return P
A
RAM_ADD/SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpenter
param_l
i
m
i
t
: m
a
ke
mt
a
g limits more ge
n
eric
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-12
Dan
C
arpente
r
param_set: d
o
n't save
if
t
he p
a
rent is set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n Carpe
n
t
er
atomic
_
inc_d
e
c: add a c
o
uple m
o
re functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
Carpen
t
e
r
signe
d
_integer_over
f
low: ignore this for
t
he k
e
rnel
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
math: han
d
le conditionals lik
e
:
"a = b?
:
c;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carp
e
nter
nospe
c
: don't fill the DB up
with ga
r
bage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
Carpenter
sizeo
f
: fix N
U
LL dereferen
c
e pars
i
ng inv
a
lid
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
s
tri
n
gs: truncating
large strin
g
s causes SQL probl
e
ms
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
t
ype_val: don't dou
b
l
e
rec
o
rd globals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
target:
man ssiz
e
_t
be unsigned
l
ong instea
d
of u
n
s
igned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
extra: do
n
't
reset i
m
possible states after a condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-10
Dan Carpent
e
r
array: stor
e
possibl
e
array
values for
si
m
ple arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Da
n
Ca
r
penter
mtag:
H
ACK: retu
r
n false i
f
the mt
a
g is zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpente
r
f
low: fake an
as
s
ig
n
s
tat
e
m
e
nt
for
g
lo
b
al initia
l
iz
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
D
an Carpenter
flow: twe
a
k
how funct
i
o
n
t
ime
o
uts
h
appen
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
db: fix a
type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan C
a
rpent
e
r
smatch_flow: do
n
't parse
i
nline functi
o
ns after we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
m
t
ag: add
s
t
ring
i
nfo
r
mation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan
C
a
r
penter
flow: ha
n
dle __builtin_m
u
l_overflow()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-29
Dan Ca
r
penter
kernel_pri
n
tf: sile
n
ce "specifi
e
r
is ca
s
t
from
p
ointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpen
t
er
nospec: tur
n
off sp
e
culation at rmb(),
smb_rmb() an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
D
a
n Car
p
enter
c
heck_si
g
ned: ig
n
ore fake assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
mtag_data: clear
cache at start of fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Car
p
ente
r
nos
p
ec:
f
ix un
i
nitialized pointer
crash
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Car
p
ent
e
r
h
el
p
er: f
a
ke call
s
are not equ
i
v
alent to anyth
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpente
r
comp
a
ris
o
n: handle compariso
n
s: if ((foo
=
frob(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
com
p
a
rison: improve
"foo
= min(
.
.
.
);" assi
g
nment h
a
ndling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n Ca
r
penter
comparis
o
n
: hack around some ty
p
e b
u
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n Ca
r
pente
r
mtag_data: remove dup
l
ica
t
e mtag_data and r
a
n
d
om sm
a
ll
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Ca
r
p
e
n
t
e
r
c
ont
a
iner_of:
f
ix
a bug in get_shared_cnt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n Carpenter
check_check
_
der
e
f: silence some false po
s
itiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-18
Dan Carpent
e
r
no
s
p
ec:
s
t
o
re functions
t
h
at return nospec indexes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-15
Dan Ca
r
penter
no
s
p
ec: handle CALL_NOSPEC
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-14
Dan Ca
r
penter
d
b: introdu
c
e the --db-file=/path/
t
o
/smatch
_
db
.
sqlite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan Ca
r
penter
user_data
2
:
use functio
n
returns i
n
points
_
to_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpenter
files: check for s
c
h
ema files
re
l
ative to the bin_
d
ir
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan Ca
r
pe
n
t
e
r
smatch
.
c:
e
xport b
i
n
_di
r
to everyone
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-10
Dan Carpenter
core:
print the
f
ull p
a
th when
-
-info is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpenter
user_dat
a
: impr
o
v
e
h
o
w returned
d
a
t
a
is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
D
an Carpenter
capped: set retur
n
ed struct
m
embers to capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-06
D
a
n Carpen
t
er
user_data:
fix val
i
dation test for re
t
urned
struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
i
m
plied:
d
o
n't print s
o
many "t
u
rnin
g
off implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Car
p
enter
mtag: delete so
m
e bogus code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag_data: upda
t
e
mtag
_
data t
o
u
s
e ge
t
_
mt
a
g_add
r
_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mta
g
: fix expr_to_mtag_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
C
arpenter
mtag:
introd
u
c
e
get_mtag_a
d
dr_sva
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Ca
r
pent
e
r
param_to_mtag_data: rename "data_name"
-->
"
name"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpent
e
r
mtag: don't set the nam
e
in
expr
_
t
o_mtag_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpent
e
r
mtag_data: ca
c
he DB res
u
lts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Carpenter
ext
r
a
:
move
get_address_rl(
)
out of get_extr
a
_st
a
te()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
implic
i
t
_
dependenci
e
s: whit
e
space change
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
a
r
pent
e
r
implicit_d
e
pendencies: only enable this with
t
he
-
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpe
n
ter
impl
i
cit_depe
n
dencies: fix a c
r
ashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-30
Dan Carpenter
i
mplied: im
p
rove debuggin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
D
an C
a
rp
e
nter
mtag/mtag_data: re-u
s
e the same c
o
d
e
to store data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan
C
a
r
pente
r
Re
v
e
r
t
"
conta
i
n
er_of: remove some du
p
licative code
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Ca
r
penter
mtag_data: split
get_
m
tag_rl() in
t
o
t
wo functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpe
n
ter
m
t
ag: rename
get_d
b
_data_r
l
(
)
=> get_mtag_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpe
n
te
r
con
t
ainer
_
of: remove some d
u
pli
c
a
t
i
ve code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Carpenter
mt
a
g/container_
o
f
:
the first str
u
ct member can be
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mt
a
g: Use extra
stat
e
to get mt
a
g and offset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Ca
r
penter
mtag: hook in
the
m
tag
cod
e
to check_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
a
rpent
e
r
validation: fi
x
the new DB
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mt
a
g:
i
mpr
o
ve ge
t
_mtag_
s
val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next