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: make the --enable/disable options take strings
2018-10-31
Dan C
a
rpenter
smatch: make
the
-
-enable/disable
opt
i
ons
t
ake
strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Ca
r
penter
s
m
atc
h
_
n
ul_ter
m
inat
e
d
:
fix
c
omp
i
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpen
t
er
untracked_param: fix a NULL der
e
fer
e
nce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carpe
n
ter
uninitialize
d
:
fix a c
r
a
s
h
ing bug parsing "return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan
C
arpente
r
nu
l
_
t
ermin
a
tor: track when s
t
ring
s
h
a
ve a NUL
termina
t
or
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpente
r
user_d
a
ta2: fix a type
issue
i
n caller_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
Car
p
enter
u
ser_data: integers can't
b
e dereferen
c
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpente
r
comparison: make a buffer la
r
ger to
m
ake
GCC ha
p
py
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carp
e
nter
data_
s
ource: track assignments be
t
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpe
n
ter
extra
:
prevent a d
i
vide by
z
ero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
modific
a
tion_hook
s
: us
e
t
he DB for frob(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
C
a
r
penter
sval: introduce sval_binop_overflows_no_
s
ign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carp
e
nter
extra: undo bogu
s
un
o
p chan
g
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Da
n
Carpenter
array
_
va
l
u
e
s:
fix up
and support two dimensional local
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Car
p
ent
e
r
param_set: d
o
n't
record a param_set
f
or p
+
+
changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Da
n
Carpenter
f
unct
i
o
n
_hooks: re-h
a
ck around moving the fake parame
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
array_v
a
l
ues: store array v
a
lues of struct membe
r
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
D
an Carpenter
function_hoo
k
s:
hack around fallout from
m
oving the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
Dan Car
p
e
n
ter
co
m
par
i
son:
don't return i
n
valid
pa
r
ams in get_mask_c
o
m
p
aris
o
n
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
db: don'
t
prin
t
"failed to
o
p
en" warnings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpe
n
ter
param_set:
r
emove so
m
e dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
mtag: t
e
mp
o
rari
l
y disable genera
t
in
g
mtag
f
or k
m
a
l
loc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
expression
s
: don't cra
s
h on i
n
valid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra: fix
a type
bug in inserting inf
o
into cal
l
er_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
k
e
rn
e
l
:
don't insist t
h
at the parameter is n
a
med "error"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra: export is_im
p
ossible_var
i
able(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
a
rpenter
f
low: fix
a
cra
s
h
ing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carp
e
nter
function_hooks:
do the fake parameter assignment after
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpent
e
r
p
a
ram_limit: fix generify
_
mtag_rang
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Car
p
e
n
ter
ext
r
a: clear_pointed_at_state(
)
i
s
a
nomod state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_set: handle when the
stack
v
aria
b
le was mo
d
ified
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
parse_ca
l
l_math: don't say the re
t
urn is equa
l
to a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
C
arpenter
scope
:
fix is_outer_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
s
v
a
l: h
a
ndle castin
g
to bo
o
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpen
t
er
array_values: don't
cras
h
on
i
n
valid c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
no
_
spe
c
:
r
ec
o
rd wh
e
n functi
o
ns
have a barrier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Da
n
Carpenter
extra/type: fix
t
ype of return PARAM_
A
DD/SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan
Carpe
n
ter
param_li
m
i
t
: make mtag limits more generic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carpenter
param_set: do
n
't save if the
parent is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an Carpenter
atomic_inc_
d
e
c
: add a couple
m
or
e
functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an Ca
r
penter
si
g
n
ed_integer_overflow: ignore t
h
is for the kernel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpenter
m
ath: handle con
d
itionals like: "a = b?: c;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpen
t
er
no
s
p
e
c: don't fill t
h
e
DB up wi
t
h
g
arbage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Carpenter
s
i
zeof: fix NULL
d
ereference parsing inval
i
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Ca
r
penter
strings: truncat
i
ng
l
arge strings cau
s
es
SQL problems
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Ca
r
pente
r
t
ype_val: don't do
u
ble record glo
b
als
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n Carpenter
target: ma
n
ssize_t be uns
i
gned long
i
nstea
d
o
f
unsigne
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n
C
a
rpenter
extra: d
o
n
'
t
r
eset
i
mp
o
ssible states after a condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
D
a
n Carpenter
ar
r
ay: store possi
b
le a
r
ray
v
alues for simp
l
e arr
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carp
e
nter
mtag: HACK: return false if the mtag is zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Da
n
C
arpen
t
e
r
flow: fake a
n
assi
g
n
statement for
global
initializers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
fl
o
w: tweak how function timeouts happen
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
db: fix a t
y
pe bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan
Carpenter
s
ma
t
ch_flow: don't parse inli
n
e functions
a
fte
r
we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Da
n
Carpenter
m
t
ag: add string information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Ca
r
p
e
nte
r
flo
w
: ha
n
d
le __builtin
_
mul_overflow()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
Dan Car
p
enter
kernel_printf: silenc
e
"specifier
i
s
cast from pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan
Carpe
n
ter
nos
p
ec: t
u
rn off sp
e
c
u
la
t
ion
at
rmb()
,
s
m
b_rmb(
)
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan C
a
rpe
n
ter
check_signed: i
g
nore fake assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
m
t
ag_dat
a
: cl
e
ar c
a
ch
e
a
t st
a
rt of f
u
n
c
t
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Car
p
ente
r
nospec: fix uniniti
a
lized pointe
r
crash
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
Carp
e
nt
e
r
h
e
lper: fake calls
are
not equivalent to
anything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
C
arpenter
c
om
p
a
r
ison: handle c
o
mpa
r
isons
:
if ((
f
oo = frob
(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n Car
p
en
t
e
r
comparison: i
m
prove "foo = min(
.
.
.
);" assignment ha
n
dl
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
C
a
rp
e
nter
co
m
parison: hack
a
r
o
und some type b
u
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpente
r
m
t
ag_data:
remove
d
uplicate mtag_data and
r
a
ndom
s
mall
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
D
an Carpenter
c
o
ntainer_of: fix
a bug in get_shared_cnt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpe
n
ter
check_chec
k
_deref
:
s
ile
n
ce some fal
s
e posit
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-18
D
a
n
C
arpe
n
ter
nos
p
ec: store func
t
ions that return nosp
e
c
i
ndexes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-15
Dan Carpe
n
ter
nospec
:
handle CALL
_
NOSPEC
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-14
D
an
Carpenter
db: introd
u
ce t
h
e --
d
b-file=
/
path/to/smatc
h
_
d
b
.
sqlite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
D
a
n Carpente
r
us
e
r_data2
:
use function
returns in po
i
nts_to
_
u
s
e
r_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpenter
files: c
h
eck for schema files relati
v
e to
the bin_
d
ir
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan
C
arpenter
smatch
.
c: export bin_dir
to everyon
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-10
Dan Carpente
r
core: print
t
h
e full p
a
t
h
when --info is
u
sed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpente
r
u
ser_
d
ata: improve
ho
w
returned data is h
a
ndled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
Dan
Carpenter
cap
p
ed: set r
e
turn
e
d
struct members to capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-06
Dan C
a
r
p
enter
user_data: fix valid
a
tion test for
r
eturned struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
impli
e
d
:
don't pri
n
t
so
m
any "turning off implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Carpe
n
t
e
r
mta
g
: delete
some
bogus
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carp
e
n
t
er
m
t
a
g_data: update mtag_d
a
t
a
t
o
use get
_
mtag_addr_sval(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpe
n
ter
mtag: fix
e
xpr_to_mtag_o
f
fset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpen
t
er
m
t
ag
:
i
ntroduce
g
et_mtag_add
r
_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
arpenter
pa
r
a
m_to_mtag_data: rename "data_n
a
me" --> "name"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag: don
'
t set th
e
name i
n
expr_to_m
t
a
g
_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
arpenter
mtag_d
a
ta: cache DB r
e
s
ults
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Car
p
enter
ext
r
a: move
get_address
_
rl()
o
ut of get_extra_s
t
ate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
an Carpenter
i
mplici
t
_
d
epe
n
denc
i
e
s
: white
sp
a
ce changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
an Ca
r
p
enter
im
p
licit_dependenci
e
s:
o
n
ly ena
b
le this with the -
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
a
rpente
r
implici
t
_depende
n
cies
:
fix a
c
ra
s
hing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-30
Da
n
C
arpenter
imp
l
ied: improv
e
debugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
D
a
n Carpenter
mt
a
g
/
mtag_data:
re-
u
s
e
the same c
o
de to store data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan
C
arpe
n
ter
Revert
"container_of: r
e
move
s
ome
dupli
c
ative code"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
m
tag_data: split get_mtag
_
r
l() into two fu
n
c
t
i
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan
Carpen
t
er
mt
a
g:
r
en
a
me get_db
_
d
a
ta_rl
(
) =
>
get_m
t
a
g_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpenter
c
ontai
n
er_of: remov
e
some dupli
c
at
i
ve code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Ca
r
p
e
nt
e
r
mtag/container_o
f
: the fi
r
s
t s
t
ruct member can be a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag:
Use extr
a
state to get mtag
a
n
d
offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
nter
mtag: hoo
k
in the
mtag c
o
de to check_list
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
validation: fix the
new DB
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next