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
comparison: don't return invalid params in get_mask_comparison()
2018-09-24
D
an Carp
e
nt
e
r
comparison: don't return inv
a
lid params in get_ma
s
k_comparis
o
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
db: don't print "fa
i
l
ed to open" warnings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
param_
s
et
:
remo
v
e some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpe
n
ter
mtag:
t
emporar
i
ly disabl
e
generating mtag
for kmalloc
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
e
x
p
ression
s
: don't crash
on inval
i
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carp
e
nter
extra:
f
i
x a
type
b
ug i
n
i
nserting info
i
n
t
o caller_in
f
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
kernel: don't insis
t
that
t
he p
a
ramet
e
r i
s
named "error"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra: export
is
_
impos
s
ible_v
a
riabl
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
f
low: fix a c
r
a
s
h
i
ng bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
C
arpen
t
er
functio
n
_hooks: do
the
f
ake par
a
meter assignment afte
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an
C
arpenter
param_limit: fix ge
n
e
r
i
f
y
_
m
t
a
g_r
a
nge()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arp
e
nter
extr
a
: clear_point
e
d_
a
t_sta
t
e() is a nomod st
a
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
param_set: handle whe
n
the stack variab
l
e was modifie
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
a
rp
e
nter
pa
r
se_call_math:
d
on't say t
h
e r
e
t
urn is e
q
u
al to a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
scope: fi
x
is_
o
uter_s
t
mt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
C
a
r
p
enter
sv
a
l: handle casting to bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carp
e
n
ter
ar
r
ay_value
s
: don't crash on inv
a
lid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
n
o
_spec: record when functions hav
e
a barrier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
D
an Carpenter
ex
t
ra/type:
fix ty
p
e of return PARAM_ADD/SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpenter
param_
l
imit:
make mtag limits mor
e
gen
e
r
ic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
Da
n
C
a
rpenter
param_set:
d
o
n't
save if
the parent is
s
et
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n
Carpenter
atomic_inc_dec: add a couple
more func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Car
p
e
nter
signed_integer_overflow: ignore this for the kerne
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n C
a
r
penter
math: handle conditiona
l
s like: "a = b?
:
c;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an Carpenter
nospec: don't fill the
DB up with garbage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpen
t
e
r
sizeof: fix NULL dereference
p
arsing invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Car
p
en
t
er
strings: tru
n
c
ating l
a
r
g
e str
i
n
g
s causes
SQL probl
e
ms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
type_val: don't d
o
uble record glo
b
al
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n Carpenter
target: man ssize_t be unsigned long instead of unsigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpen
t
er
extra: don't
r
e
set impossibl
e
states after a condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
Dan Ca
r
penter
array: store possible array values for simple array
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
mtag:
H
A
CK:
r
e
turn
f
als
e
if the mtag is zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
f
low: fake an
a
ssi
g
n state
m
ent for global initializer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
an Carpenter
fl
o
w: tweak how fun
c
tion time
o
uts happen
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
d
b
: fix a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Da
n
Ca
r
p
enter
sm
a
tch_f
l
ow: d
o
n
'
t
p
ars
e
i
n
lin
e
fu
n
ction
s
after we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpe
n
ter
mtag: add string information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Ca
r
penter
flow: ha
n
dle
_
_
buil
t
in
_
mu
l
_overflo
w
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
Dan Car
p
enter
ker
n
el_printf
:
silen
c
e "s
p
ecifier is
c
a
st fr
o
m poi
n
te
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpenter
nospec: tu
r
n off spe
c
ulati
o
n at rm
b
(), s
m
b
_
rm
b
(
)
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpen
t
er
check_sign
e
d:
ignore fake
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Car
p
enter
mtag_
d
ata: c
l
ear cac
h
e at start of func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
nosp
e
c: fix uninitial
i
zed pointer crash
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
helper:
f
a
ke
ca
l
ls are
n
ot equivalent to anything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
compariso
n
: handle comparisons: if ((foo =
f
r
o
b(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
D
an C
a
rpenter
comparison: im
p
rove "foo = min(
.
.
.
);"
a
ssignment handlin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
Carpenter
compa
r
ison: hack aroun
d
some typ
e
bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
mtag
_
data: remove duplicate mta
g
_data and random s
m
all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpent
e
r
c
o
nt
a
in
e
r_of
:
f
i
x
a
bug in g
e
t_shared_cnt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan C
a
r
p
en
t
er
check_check_d
e
ref: sile
n
ce
so
m
e
false
pos
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-18
D
a
n Carpenter
nos
p
ec:
store functio
n
s
t
h
a
t retu
r
n nosp
e
c
in
d
exes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-15
D
a
n
C
ar
p
en
t
er
nospec: ha
n
dle CALL_N
O
SP
E
C
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-14
Dan Carpen
t
er
db: i
n
tro
d
uce the
--db-file=/
p
ath/to/smatch_db
.
sqlite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpenter
user_da
t
a2: use function returns in points
_
to_user_
d
ata()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Da
n
Carpenter
files: check for schema files relati
v
e to th
e
b
in_dir
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan C
a
rpenter
smatch
.
c: export bin
_
di
r
to everyone
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-10
Da
n
Carpenter
core: print
th
e
full path when --i
n
fo is
used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpente
r
user_data: impr
o
v
e how returne
d
d
a
ta is handle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
Da
n
Carpenter
capped: set returned struct m
e
mb
e
rs
t
o capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-06
Dan Car
p
ent
e
r
user_data: f
i
x validation test for re
t
u
rned struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
implie
d
: don't pri
n
t so many
"
turnin
g
off implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag:
d
e
l
e
te s
o
me
bogus code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpent
e
r
mta
g
_data: update
m
tag_data to use get_mtag_add
r
_sval(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpen
t
er
mtag:
fix expr_t
o
_mtag_off
s
et()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
m
t
a
g
: introduce get_mtag_a
d
dr_
s
v
al
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Ca
r
pe
n
ter
param_to_mtag_dat
a
: re
n
ame "data_name" --> "name"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
arpenter
mtag: don't set
the
name
i
n
expr
_
to_mtag
_
offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpenter
mtag_data: cache DB
results
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
ex
t
ra: move get_a
d
d
ress_rl() out of
get_extra_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpenter
implicit_de
p
endencies: white space change
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Car
p
ent
e
r
i
mplicit_dependencies: o
n
l
y
enable th
i
s with the -
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpent
e
r
implicit
_
dependenc
i
e
s:
f
ix a
crashin
g
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-30
Dan
C
arpenter
im
p
l
i
e
d
: i
m
prove debugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpen
t
er
mtag/mtag_data: re
-
use
the sam
e
code to sto
r
e data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
D
an Carpenter
Revert "container_of: remove some dup
l
icative c
o
de"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
mtag_
d
ata: s
p
li
t
get_mtag_rl() into
t
wo
f
unct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan
C
arpenter
mtag: rename g
e
t_d
b
_data_rl() => get_mt
a
g_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
conta
i
ner_
o
f
:
remove some
duplicative code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpe
n
ter
mta
g
/cont
a
iner_of: t
h
e f
i
rst stru
c
t member can be a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpent
e
r
mtag: Use e
x
tra st
a
te to
get
mtag and
o
ffse
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpenter
mtag: hook in
t
he mtag cod
e
to check_list
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
nter
val
i
d
ati
o
n: fix the new D
B
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: improve g
e
t_mtag_
s
va
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
m
t
ag
/
math: use mt
a
g in
f
orm
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
mtag:
m
ake
get_mtag_
o
f
f
s
et() give both an
m
tag and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpente
r
mtag/math/extra
:
s
t
art using mtags a
s
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: make the na
m
e
p
arameter in exp
r
_
t
o_m
t
ag_name_offset
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Carpenter
mtag: mask out the low bits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
r
p
enter
mtag: tur
n
off mt
a
g stuff for 32 bit builds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpente
r
container_of: cl
e
anup
s
et_param_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Ca
r
penter
container_
o
f/mtag: fi
x
ha
n
dling of passed value
s
(as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n
Carpenter
validat
i
on:
add some m
t
ag tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
con
t
ain
e
r_of/mtag: use con
t
ain
e
r_of information
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan
C
arpen
t
er
container_of: re-write code
t
o reco
r
d caller_
i
nfo containe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan
C
ar
p
enter
ra
n
ges: allow svals t
o
be printed
in hex
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
ranges:
f
ix parsing of ul
o
ng_max and ptr_m
a
x (not currently
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carp
e
nter
container_of
:
fli
p
t
h
e p
a
ram and the va
l
ue around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Da
n
Carpent
e
r
a
d
dress: fix add_offset
_
to_pointer()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
t
ype:
i
ntroduce get_final_
t
y
p
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpe
n
ter
sval: handl
e
p
ointer m
a
th better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next