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: make pointers unsigned
2019-02-07
Dan Carpenter
type:
make pointers
u
nsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Car
p
enter
extra: tig
h
ten
c
an
o
nical f
o
r loop handl
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Car
p
e
n
ter
extra
:
fix function comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carp
e
nte
r
ran
g
es: improve
casting
n
egatives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
D
a
n
Carp
e
nter
i
mp
l
ied: don
'
t us
e
incomple
t
e states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Ca
r
pe
n
ter
implications: remove a magic number
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan C
a
rpent
e
r
db: show c
o
mpariso
n
strings for c
o
ndi
t
ion
a
l retur
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
d
b: don
'
t store recursive struct membe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
typ
e
:
handle pointer
t
ype corr
e
ctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan C
a
r
p
enter
extra/u
n
tracked_para
m
: mark lost parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan
C
ar
p
en
t
er
address: return u
n
known
if
w
e
c
an't fig
u
re out the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-31
D
a
n Carpenter
implied: tweak
some
debug statemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
D
an C
a
r
p
e
nter
expr
e
ssions: parse "$0->foo
.
ba
r
"
correctly
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpe
n
ter
re
t
urn_to_param: use
i
d
ent->
l
e
n
instead of strlen
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Ca
r
p
e
nt
e
r
pa
r
am_set: hand
l
e m
t
ag assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
assigne
d
_expr:
m
ake it work for pa
r
ameter assi
g
nm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-25
Da
n
Carpenter
e
q
u
iv: use D
B
informati
o
n
to s
e
t e
x
tra s
t
ate in equi
v
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carpen
t
er
extra: improve ge
t
_othe
r
_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan
C
arpe
n
t
e
r
extra:
futz aroun
d
with get_other_name_s
y
m
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
helper: i
m
p
rove get
_
member_name()
for anon
y
mou
s
structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
db
:
escape new
l
ines in save
_
cache
_
data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Ca
r
p
enter
ranges: constify call_results_to_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan
C
a
rp
e
n
t
er
extra: f
i
lter really long unu
s
ed param value information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
ex
t
ra: use
ident->len
instead of calling str
l
e
n(
i
dent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Da
n
Carpenter
db: don't create
n
ew split
s
in split_positive_from_nega
t
i
ve()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
e
xtra: fix returned_struct_members()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
p
a
ra
m
_use
d
: fix handling of call
e
d functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
e
x
tra: expor
t
i
n
_warn_on_
m
acro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan
C
a
r
penter
t
y
pe:
m
is
c
small
c
l
e
anups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Car
p
enter
type
:
fix ge
t
_member_from_s
t
ring()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Ca
r
p
e
n
t
er
kpatch
.
sh: fix spelling s/ammen
d
/amend/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n Carpenter
type
:
add a short cut in get_real_base_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
D
a
n
Carpe
n
ter
implied: Preserve ->har
d
_max for
f
ake
h
i
sto
r
y states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan Ca
r
penter
extra: preserve h
a
rd_ma
x
after
c
omparisons to zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
D
an
Carpenter
slist:
m
ak
e
sm->children
a
s
m
aller
t
ype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
slis
t
: re
n
a
m
e
v
a
r
iables in __merge_
s
tree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
s
list:
h
andl
e
the fast path in __merge_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan C
a
r
penter
s
l
ist: simpl
i
fy _
_
mer
g
e_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-19
Dan Car
p
ent
e
r
n
ospec: don't record nospec p
a
rameter in
f
o which hasn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-14
Dan
Car
p
en
t
er
d
ma_mapping_error: update to o
n
ly complain about legacy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-07
Dan Carp
e
nter
s
m
atch: add a --succ
e
ed
opt
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
Dan Carpenter
d
b: make esca
p
e_newlines() take a const pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan
C
arpen
t
er
par
s
e
.
h: crea
t
e stmt_get_parent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
constraints: e
s
cape S
Q
L
s
tatements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
D
an Carpenter
sta
t
e
ment_count:
re
c
ord h
o
w ma
n
y
statements
t
here are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-30
Dan Car
p
enter
extr
a
/db: silence an
invalid SQL warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Da
n
C
a
r
p
e
nter
buf_size
:
fix
handling o
f
1 e
l
eme
n
t arra
y
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpen
t
er
d
b: sq
l
debu
g
mod
e
was executing the SQL twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpe
n
ter
tes
t
_bit:
add tes
t
_and_set_bit(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carp
e
nter
debug: int
r
oduce __smatch_mem(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
d
b: don
'
t save st
r
uct members fo
r
i
n
tegers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
im
p
lied: rem
o
ve a
n
un
n
ecessary
NULL chec
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
Carpenter
n
u
l_terminator: exp
o
rt the is_nu
l
_terminated() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Carpent
e
r
kpat
c
h
:
u
se
g
i
t instead of trying t
o
create diffs
by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
st
r
uct_assignme
n
t: handle u
n
ion
s
as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpente
r
mis
s
ing_break: tu
r
n
it of
f
by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
fr
e
e
_
strict: fix some false p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
R
evert "
L
ook a
c
ross
the entire comp
i
l
e
line for sm
a
tch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-14
Dan Carpenter
trinity: Pr
o
of of
conc
e
pt
to auto-generate tr
i
nity
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carp
e
nter
user
_
data: r
e
name t
o
smatch_
k
e
rnel_user_data
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
D
a
n
Ca
r
penter
assigned_ex
p
r:
rename to
sm
a
tch_assigned_expr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
smatch: make the --enable/disable
o
p
tions take st
r
ing
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
D
an Carpenter
smatch_nu
l
_termin
a
ted: fix
c
ompi
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan
C
a
r
penter
untracked_para
m
:
f
ix a NULL de
r
efer
e
nce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Dan
Carpenter
uninitial
i
zed: fix
a
crash
i
n
g bug parsing "r
e
turn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
Da
n
Carpenter
nul_termin
a
tor
:
trac
k
when
s
trings have
a
NUL t
e
rminator
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
user_data2: fi
x
a type issue in caller_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan
C
arpenter
u
s
er
_
data: i
n
teg
e
rs can't be dereferenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n Carpe
n
t
e
r
com
p
arison: ma
k
e a buff
e
r larger to make GCC happy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Ca
r
p
e
nter
data_
s
ourc
e
:
track assi
g
nments better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n Carpenter
extr
a
: prevent a divide by
z
ero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
an Carp
e
nter
mo
d
ification_hooks:
u
se th
e
DB fo
r
frob(&foo);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
s
v
al: introduce sval_binop_overflows_no_sign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-28
Dan C
a
rpenter
extra
:
undo bo
g
us
u
no
p
chang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
arr
a
y
_values: fix
up and support two d
i
mensional lo
c
a
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
D
a
n Carpenter
param_set
:
don't recor
d
a
param_set for p++ change
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpe
n
ter
funct
i
on_hooks
:
re-hack around moving th
e
fak
e
parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
D
an Carpenter
a
r
r
a
y
_values: st
o
r
e array valu
e
s of struct member a
r
rays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
function_hooks: h
a
ck a
r
ound fallout
from moving th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-24
D
a
n Car
p
enter
comparison:
don't return
i
nvalid
p
arams in
get_mas
k
_
comparison(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Car
p
ente
r
db:
d
on't print "f
a
iled to open" warni
n
gs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
t
e
r
param_set: remove som
e
dead
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
mtag: tem
p
orarily disable genera
t
i
ng
mta
g
for kmalloc
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
e
xpre
s
sions: don'
t
cras
h
on
i
nvalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Ca
r
penter
extra: fix a type
bug in inserting info into caller_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
kernel
:
don'
t
i
n
sis
t
that
t
h
e parameter is named "error"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
ex
t
r
a:
export is_i
m
possible_va
r
iable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
nt
e
r
f
low: fi
x
a crashing
b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
fu
n
c
t
i
o
n_hooks: do the fake parameter ass
i
gn
m
ent a
f
ter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpente
r
pa
r
a
m_li
m
it: fix generify_mtag_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
penter
extra: cl
e
ar
_
pointed_at_
s
tate()
is
a no
m
od state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpe
n
ter
param_set:
handle when th
e
stac
k
v
a
r
i
a
ble was
modified
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
C
a
rpent
e
r
parse_
c
all_
m
ath: don't say the return i
s
equal to a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpente
r
scope: fix is_outer_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
s
val
:
handle casting
to bo
o
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
array_values: do
n
't crash on i
n
val
i
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
no_
s
pec: record when functions have
a
ba
r
rier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
D
an
C
a
r
penter
extra/type:
f
ix
t
y
pe
o
f
r
eturn PARAM_ADD/
S
ET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan
C
arpenter
param
_
li
m
it
:
make mtag limits more ge
n
er
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-12
Dan
C
arpenter
param_set: don't save i
f
the pa
r
ent
is set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next