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
implied: tweak some debug statements
2019-01-31
Dan Carpent
e
r
impli
e
d
:
tweak some debug
s
tatements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan Ca
r
penter
expressions: parse "$0->foo
.
bar" corr
e
ctly
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
return_
t
o_pa
r
am: use ident->len instea
d
of
s
trlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan
Carpenter
param_set: h
a
n
d
le m
t
ag a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Da
n
Carpenter
a
ssigned_expr:
m
ake
i
t work for parameter assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-25
Da
n
Carpe
n
ter
eq
u
iv: use DB infor
m
ation to se
t
extra sta
t
e in e
q
u
i
v
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carpenter
extra:
i
mprove
g
et_other_name
_
sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carpenter
extr
a
: futz around with get_other_name_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Da
n
Carp
e
nt
e
r
help
e
r: improve
g
et_me
m
ber_na
m
e() for
anonymous str
u
cts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Da
n
Carpe
n
ter
db: escape new l
i
nes in
save_cac
h
e
_
data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Da
n
Carpenter
ranges: constify call
_
results_
t
o_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpen
t
er
extra: filter really long unused
param value information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carp
e
n
t
e
r
e
x
tr
a
: us
e
ident
-
>
len instead of calling st
r
len(ident
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan
C
a
rpenter
db: don't create
new splits in split_positive_from_negative
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n C
a
rp
e
n
ter
e
x
tra: fix
returned_
s
truct_members()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
param_use
d
:
fix handli
n
g
of called functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
extra
:
ex
p
o
r
t
in_warn_o
n
_macro()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
D
an Carpenter
type: misc
s
ma
l
l cle
a
n
u
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan C
a
r
penter
t
ype: fix get_member_from_
s
tring()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
k
p
a
t
ch
.
s
h
:
fix
spelling s/amme
n
d/a
m
end/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
t
ype: add a sho
r
t cut in get_real_ba
s
e
_
type(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
Dan C
a
rpenter
implie
d
: Pres
e
rve ->h
a
rd_max for
fak
e
history
s
t
a
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpenter
extr
a
: preserv
e
ha
r
d_max afte
r
comparisons to ze
r
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carp
e
n
t
er
s
lis
t
: make sm->children
a
smalle
r
typ
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Da
n
C
arpenter
s
list:
r
e
nam
e
variables
in
_
_merge_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
D
a
n
Carp
e
nter
slist: handl
e
t
he fast path in __merg
e
_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
slist:
s
implify __merge_
s
t
r
e
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-19
Dan C
a
rpenter
nospec: don't
r
e
cord no
s
pec parameter info whic
h
h
a
sn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-14
Dan
C
arpenter
dma_mapp
i
ng_error:
update t
o
only 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 --succeed opt
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
Dan
C
arpenter
db: make esc
a
pe_new
l
ines() ta
k
e a c
o
nst poi
n
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan
C
a
r
penter
parse
.
h:
c
reate stm
t
_
g
et_parent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Da
n
C
arpenter
constraints:
e
scape SQL s
t
atements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
statement_count
:
record how many st
a
tements
t
her
e
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-30
Dan Carpenter
extra/d
b
:
sil
e
nce an i
n
valid SQL warn
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpen
t
er
buf_si
z
e
:
fix handlin
g
of
1 element arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
D
an Carpente
r
db:
sql
d
ebug mode was ex
e
cuting the SQL twic
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carpenter
tes
t
_bi
t
: add test_an
d
_set_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpenter
d
e
bug: introduce __sma
t
ch_me
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpent
e
r
db
:
don't s
a
v
e stru
c
t
members for
i
n
tegers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpen
t
er
im
p
lied: re
m
ov
e
a
n
unn
e
cessary NUL
L
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
nul_terminator:
e
xport the is_n
u
l
_
terminated() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
an
C
a
rpe
n
ter
kpat
c
h
:
use git instead of t
r
ying to create
diffs by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Ca
r
penter
struct_assi
g
nment: ha
n
dle
u
nions a
s
well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpent
e
r
missing_brea
k
:
t
ur
n
it off by
d
efault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpen
t
er
f
ree_strict: fi
x
s
o
me fal
s
e
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n
Carpenter
Rever
t
"Loo
k
a
c
ross the entire compile line
for
smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
D
an Carpen
t
e
r
trinit
y
: Proof
of concept to auto-genera
t
e trinit
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan
Carpenter
user_data: rename
to smatc
h
_
k
ernel_user_dat
a
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan C
a
rpenter
assigned_
e
xpr: rename to s
m
atch_assigned_expr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan C
a
rpent
e
r
smat
c
h: make the --enable/disab
l
e options ta
k
e stri
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
sma
t
ch_nul_
t
erminat
e
d: fix
c
ompile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Ca
r
penter
unt
r
acked
_
par
a
m:
f
ix a NULL dere
f
ere
n
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
Dan
Carpenter
uninitializ
e
d
:
fix a crashing
bug pa
r
si
n
g "retur
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carpenter
nul_terminator: track
when string
s
hav
e
a NUL termina
t
or
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
an
C
arp
e
nter
user
_
data2: fix a
ty
p
e i
s
sue in caller_i
n
fo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carpen
t
er
user_
d
ata: in
t
egers c
a
n't be dereferenced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Ca
r
pe
n
ter
compar
i
son
:
make a buffer
larger
t
o
make GCC happy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
C
arpenter
data_
s
ou
r
ce: track assi
g
nments b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
extra: preven
t
a
d
i
vide
by
z
e
ro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carpe
n
te
r
modific
a
t
i
on_hooks: us
e
the DB
for frob(&f
o
o);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
sval
:
introduce sval_
b
i
n
op_overflows_no_sign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Dan C
a
rpenter
extra: undo
bogus unop c
h
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
array_
v
alu
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 Carpenter
param_
s
et: don't rec
o
rd a param_set for p++ changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
functio
n
_
h
ooks: re-hack around moving the
fake parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan C
a
rpenter
array_value
s
:
store 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
Da
n
Ca
r
penter
function_hooks
:
hack a
r
ound
fallout from mo
v
ing
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
Dan Carpenter
comparison: don't return in
v
ali
d
params
in get_mask_comparison(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpen
t
er
db: don't pri
n
t "failed to open" warnings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
p
a
r
a
m_set
:
remove some dead c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
mtag
:
te
m
porarily d
i
sable ge
n
e
r
ati
n
g mtag for kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an
C
arpe
n
ter
exp
r
essions: don't crash o
n
in
v
a
l
i
d co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
ex
t
r
a
:
f
ix a t
y
pe b
u
g
i
n
inser
t
ing
i
n
fo
i
n
to caller_inf
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
a
r
p
enter
kern
e
l: don
'
t insist th
a
t
t
he
p
arameter is n
a
m
ed "error"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
ter
extra: exp
o
rt
i
s
_imp
o
ssible_varia
b
l
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
penter
flow: fix
a
crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Car
p
enter
functi
o
n_hoo
k
s
:
d
o
t
h
e f
a
ke
p
a
ramete
r
assignment after
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
ter
param_
l
imit: fix
ge
n
erify_mtag_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
extr
a
: clear_poin
t
ed_at_s
t
a
te() is a
n
o
mod state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
param_set:
handle when the stack variable
was mo
d
ifie
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpente
r
pa
r
se_ca
l
l_math: don't sa
y
the return
is equal to
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
scope: fix is_
o
uter_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
sval: hand
l
e c
a
sting t
o
b
o
ol
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpen
t
e
r
a
rray_values: d
o
n'
t
crash on i
n
v
a
lid
c
od
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
n
o_spec:
record when f
u
ncti
o
n
s
have a barrier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
D
an Carpen
t
er
extra/type
:
fix type of return PARAM
_
A
D
D/SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
D
a
n Carpenter
param_limit:
m
ake mtag li
m
its more ge
n
er
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carp
e
nter
param_set:
d
on't save if
t
he parent is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan C
a
rpenter
a
tomic_in
c
_
d
e
c: add a coup
l
e more fu
n
ctio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an
C
ar
p
enter
signe
d
_integ
e
r
_o
v
erf
l
ow: ignore t
h
is
f
or the ke
r
nel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Carpenter
math
:
handle cond
i
t
ionals li
k
e
: "a = b
?
:
c;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
Carpen
t
er
nospec: don't
f
ill the DB up
with garbage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n Carpente
r
s
i
zeo
f
: fix
NULL
d
eref
e
rence parsing invalid co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
s
trin
g
s: t
r
uncating large
st
r
ings c
a
uses SQL
p
roblem
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
type_
v
a
l
: don'
t
doub
l
e record g
l
o
b
als
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Carpe
n
t
er
targ
e
t: man
ssize_t be unsigned l
o
n
g instead of unsigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpente
r
e
x
t
ra: don't
reset impossible states a
f
t
e
r a condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
Dan Carpen
t
er
array: store possib
l
e
a
rr
a
y
values for sim
p
l
e
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carp
e
n
ter
mtag: HAC
K
: return fals
e
if
t
he mtag is zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next