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
constraints: remove debugging and use the stripped() expression
2019-02-07
D
a
n Ca
r
penter
constraints: re
m
ove debugging
a
nd use the stripped
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpe
n
ter
db: i
m
prove recording comparisons to parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
implied
:
rem
o
ve some
d
u
p
licate debu
g
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
arpent
e
r
real_abs
o
lute: d
o
n't store
da
t
a
for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpe
n
t
e
r
s
v
a
l
: re
m
ove an
e
x
tra space character
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Ca
r
penter
type:
m
ake point
e
rs
un
s
igne
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n Car
p
ent
e
r
extra: tig
h
te
n
ca
n
onic
a
l for
l
oop ha
n
dli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Ca
r
p
e
nter
extra: fix fu
n
ction
c
omparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
D
an Ca
r
pent
e
r
ran
g
es: impr
o
ve casting
negative
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpenter
implied
:
d
on
'
t
use
i
nc
o
m
p
l
ete
s
t
a
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
D
a
n Carpenter
implications: remove a magic nu
m
ber
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
db: sh
o
w compar
i
s
on
strings f
o
r condi
t
i
o
n
al ret
u
rns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Da
n
Carpent
e
r
db: don't
s
t
o
re
recur
s
ive
s
truct m
e
mbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Car
p
en
t
er
type: handle p
o
inter
t
ype correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan C
a
rpenter
extra/untracked_param:
m
a
rk los
t
para
m
eters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpente
r
addre
s
s: return
unknown if
w
e can't figure out the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-31
D
a
n Carpenter
impl
i
ed: tw
e
ak s
o
me de
b
ug statemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
D
an Car
p
enter
ex
p
r
e
s
s
ions:
parse "$0->f
o
o
.
bar" corr
e
c
t
ly
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Da
n
Carpenter
re
t
urn_to_param: use iden
t
->len instea
d
of st
r
len()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan C
a
rpe
n
ter
param_set: ha
n
dle mtag assignme
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan C
a
rpenter
assigne
d
_
e
xpr:
m
ak
e
it work fo
r
para
m
eter assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-25
Dan
C
a
rpenter
equiv:
u
se DB info
r
m
a
t
ion to set extra state
in equiv
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carpente
r
extra: improve g
e
t_
o
the
r
_
name_
s
y
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carpe
n
ter
extra: futz a
r
ound with get_other_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan
Carpenter
h
elp
e
r
: impro
v
e get_
m
embe
r
_name
(
) for
an
o
n
y
mous structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpe
n
t
e
r
db: escape new lines
i
n save_cache_da
t
a()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan C
a
rpenter
rang
e
s:
con
s
tify call_
r
esults_to_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Car
p
enter
ext
r
a: filter
r
eally long u
n
used param value
i
nf
o
rmation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
extra: use ident
-
>
len
i
nste
a
d
of ca
l
ling strlen(ident
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
db: do
n
't create n
e
w
splits
in sp
l
i
t_positive_fro
m
_negative()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpen
t
e
r
extra:
fix returne
d
_struct_members(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Ca
r
penter
param_u
s
ed: fi
x
handling of calle
d
functi
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
extra: export in_warn_on_mac
r
o()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
t
y
p
e: mi
s
c small cleanu
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpente
r
type: fix get_member_from
_
string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan C
a
rpente
r
kpat
c
h
.
sh: fix spelli
n
g s
/
am
m
end/amen
d
/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
type
:
a
dd a short
cut in get
_
re
a
l
_
base_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpenter
implied: Prese
r
v
e ->h
a
rd_max for fake h
i
story s
t
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
D
a
n Carpenter
extra: prese
r
ve hard_m
a
x after comparisons t
o
zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan C
a
rpente
r
sl
i
st: make sm->children a
s
malle
r
type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
D
a
n
C
a
rpenter
sl
i
st: rena
m
e variables
i
n
_
_merge_stree(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Ca
r
pen
t
er
slist: handle
t
he fast path in __m
e
rge_str
e
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpe
n
ter
slist
:
simplify
__me
r
ge_s
t
ree(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-19
Dan Carpenter
nospe
c
: don't record nos
p
ec par
a
meter info which hasn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-14
Dan Car
p
enter
dma_mapping_error: upda
t
e to only complain about legacy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-07
Da
n
Carpenter
smatch: add a --succeed option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
Dan Ca
r
penter
db:
mak
e
escape_n
e
wlines()
t
a
k
e a const pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
p
arse
.
h
: create st
m
t_get_parent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpen
t
er
const
r
aints
:
escape SQL statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
D
a
n
Carpe
n
t
e
r
state
m
ent_cou
n
t: record how many s
t
a
tements ther
e
are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-30
D
a
n Carpenter
extra/db: silence
a
n i
n
valid SQL warni
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpent
e
r
buf_
s
ize: fix handli
n
g of 1
element
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpenter
db: sq
l
d
e
bug mode was executi
n
g
the SQ
L
twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpenter
test_bit: add test_a
n
d_set_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpent
e
r
d
ebug: int
r
oduc
e
__smatc
h
_mem()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
db: d
o
n't
save struct
members for integers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Ca
r
penter
implie
d
:
r
emove an unnecessary NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpent
e
r
nul_te
r
minator
:
export the is
_
nul_terminated() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Car
p
e
n
te
r
kpa
t
ch:
u
s
e git instead
o
f trying to create di
f
fs by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
Carpenter
stru
c
t
_
a
ssignment: hand
l
e unions a
s
we
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carpenter
missing
_
b
r
ea
k
:
t
urn i
t
o
f
f by defaul
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Car
p
enter
f
r
ee_strict:
f
i
x
s
ome
f
a
lse pos
i
tives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpe
n
ter
R
e
vert "Look acro
s
s the
e
ntire compile
line for smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-14
Dan Carpenter
trini
t
y
:
P
r
o
of of concept to auto
-
generate
trin
i
ty
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpenter
use
r
_data: rename to smatch_kernel_
u
s
e
r
_data
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
D
an Carpe
n
ter
assigned_expr: rename to
smatch_assigned_
e
xp
r
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carp
e
nter
smatch: make
the
--enabl
e
/disable options tak
e
strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
D
an Carpent
e
r
smatch_nul_te
r
min
a
ted: f
i
x compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan
C
arpenter
un
t
racked_
p
ara
m
: fix a NU
L
L derefer
e
n
ce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carpe
n
ter
unini
t
ia
l
ize
d
: fix a
crashing bu
g
p
arsing "return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
Dan Ca
r
penter
n
u
l_te
r
minator: track
wh
e
n strings
ha
v
e a NU
L
termi
n
ator
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Car
p
enter
u
s
er
_
d
ata2: fix a type i
s
sue in caller_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carpente
r
user_data: inte
g
ers can't be dereferenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
com
p
arison
:
m
ake
a buffer l
a
rger to make GCC happy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
an C
a
rpenter
data_sou
r
ce: trac
k
assignments
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
extra: prevent a divide
b
y zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan C
a
rpenter
modific
a
t
i
on
_
hooks: use the DB for frob(&fo
o
);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
an
C
arpenter
sval: introduce s
v
al_binop_overflows_no
_
sign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-28
D
an Carpenter
extra: undo bog
u
s unop changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan
C
arpente
r
array_
v
alues: fi
x
up an
d
support t
w
o
dimen
s
ion
a
l local
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
pa
r
am_set: don
'
t reco
r
d a param
_
s
et for p
+
+ changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
D
a
n Ca
r
penter
function_
h
ooks:
r
e-ha
c
k a
r
ou
n
d
m
oving the
fake paramete
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
ar
r
a
y_va
l
ues: store array values of stru
c
t member a
r
rays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
f
u
nction_hooks: hack around fal
l
o
u
t from movin
g
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-24
D
a
n Carpenter
compa
r
ison: don'
t
return in
v
a
lid params in
get_mask
_
c
o
mpariso
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
d
b
: don't print
"failed
t
o open"
warnings
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_set: remove some dea
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
mt
a
g: te
m
porarily disable generating mtag for kmalloc
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
e
xpressions:
d
on't crash on i
n
vali
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpente
r
extra: fix a
t
ype
b
ug
in insert
i
ng info into c
a
ller_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
n
t
er
kernel:
d
o
n
't insist that
t
h
e paramet
e
r
is n
a
med "error"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra
:
expo
r
t is_impos
s
ible_variabl
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
flow
:
f
i
x a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
f
unction_ho
o
ks:
d
o the fa
k
e
parameter as
s
ignment aft
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an
Carpe
n
ter
param_
l
imit: fix generify_mtag_
r
ange(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
e
x
t
ra: clear_p
o
inted_
a
t_state() is a nomod s
t
ate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_set: hand
l
e wh
e
n th
e
stack
variable was mo
d
ified
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
pars
e
_
c
all_math: don't say
t
h
e
return is equal to a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
e
r
scope: fix i
s
_o
u
ter_stm
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
sval: handl
e
casting
to bool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next