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
db: don't create new splits in split_positive_from_negative()
2019-01-16
D
a
n
C
arpenter
db: don't c
r
eate
new
s
plits in split_po
s
itive_f
r
om_negati
v
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carp
e
nter
ext
r
a: fix retu
r
ned_struct_mem
b
ers
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan
Ca
r
penter
p
aram_used
:
fix han
d
ling of called funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpe
n
t
er
extra: export
i
n_warn_on_macro()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n Ca
r
pent
e
r
typ
e
: misc small cleanup
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
D
an Carpenter
type: fix get_m
e
mber_fr
o
m_str
i
ng()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
D
an
Carpente
r
kpa
t
ch
.
sh: fix
s
pelling
s
/ammend
/
amen
d
/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
type: add
a short cut in g
e
t_rea
l
_b
a
se_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
Da
n
Carpenter
implied
:
Preserve ->h
a
rd_max for fake his
t
o
r
y
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
D
a
n
Carp
e
nter
extra: pre
s
erve hard_max after comparisons to
zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan
C
arpenter
slist: make
sm->ch
i
ldr
e
n
a
s
maller t
y
pe
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
D
an Carpe
n
t
er
slist: rena
m
e
variables
i
n __merge_s
t
ree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
D
an Carpe
n
ter
slist
:
h
a
ndl
e
t
he fast
pa
t
h i
n
__merge_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Ca
r
penter
slist:
si
m
plify
_
_
merge_stree
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-19
Dan Carpenter
nospec: don't re
c
ord
n
osp
e
c p
a
rameter in
f
o which hasn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-14
Dan Carpenter
d
m
a
_mappin
g
_
error: update to onl
y
complain about
l
egac
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-07
Dan Car
p
e
n
t
er
sm
a
tch: add
a
--succeed option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
Da
n
Carpenter
db: make escape_
n
ew
l
ines()
t
ake a cons
t
p
ointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
parse
.
h
:
c
reate stmt_get_p
a
rent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
constraints: e
s
cape SQL statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan
Carpenter
state
m
en
t
_coun
t
: r
e
c
ord how many statement
s
th
e
re are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-30
Dan Carpenter
extra/db:
s
i
l
ence an invalid S
Q
L warni
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Car
p
enter
buf_siz
e
: fix ha
n
dling of 1
element ar
r
ays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpen
t
er
db: sql debug
m
ode
was exec
u
ting th
e
SQL
twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Car
p
enter
t
est_bi
t
: add t
e
s
t
_and_set_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
debug: introdu
c
e __smatch_me
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n
Carp
e
n
t
er
db: don
'
t sa
v
e st
r
uct members for i
n
tegers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
imp
l
ie
d
: remov
e
an unne
c
essary NU
L
L
c
he
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpente
r
nul_term
i
nator:
e
x
p
o
rt the is_nul_terminated() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
a
rpenter
kpa
t
ch: use git inst
e
ad
o
f
tr
y
ing
t
o creat
e
d
iffs by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
s
t
ru
c
t_assignment:
h
a
ndle un
i
ons a
s
well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carp
e
n
t
e
r
m
i
ssing_
b
reak: tur
n
i
t
o
f
f by d
e
faul
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n
C
a
rpenter
free_strict: fix some
f
al
s
e positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
pen
t
er
Reve
r
t "Look acro
s
s
the entire compile l
i
ne for sma
t
c
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
Dan Car
p
enter
trinity: Proof of concept to auto-gener
a
t
e trinity
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
D
an
C
arpenter
user_data: rename to sm
a
tch_ke
r
nel_user_data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
D
a
n Ca
r
pent
e
r
assigned_expr:
r
e
name to s
m
at
c
h_assigned_exp
r
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
smatch: make the --
e
nab
l
e/disable option
s
take strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Da
n
Carpenter
smatch_nul
_
terminated
:
fi
x
compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Da
n
C
a
r
penter
un
t
ra
c
k
e
d_param: fix a NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
Dan Car
p
enter
uninitiali
z
ed: f
i
x a crashing bug
p
arsing "retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan Ca
r
p
ent
e
r
nul_term
i
n
a
tor: track
when strings
h
a
v
e
a NUL
terminator
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
Ca
r
p
en
t
e
r
u
ser_d
a
ta2: fix a type issue in ca
l
ler_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
user_dat
a
: integers
c
an't
be
derefere
n
ce
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan C
a
rp
e
nt
e
r
com
p
arison: make a
buffer larger to mak
e
GCC happy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
an Carpenter
data_s
o
u
rce: track assig
n
ments
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
e
x
tra: prevent a
d
ivi
d
e by
zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
an
C
arpenter
m
odif
i
cation_hoo
k
s: use the
DB for
f
r
ob(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n
Carpe
n
ter
sv
a
l: int
r
oduce sval
_
binop_o
v
erflows_no_sign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carpenter
extra
:
undo bogus unop changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
array_v
a
lues: fix up and support two
dimensional local
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Da
n
Carp
e
nter
param_
s
et: don't record a
param_set for p++ chang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Da
n
Carpenter
funct
i
o
n_hooks:
r
e
-h
a
ck around
moving t
h
e
fake parame
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpen
t
er
a
r
ray
_
values: stor
e
array values of struct
membe
r
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Car
p
enter
function_hoo
k
s: hack
around
fallo
u
t from moving
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
Dan Carpenter
com
p
ariso
n
: don't r
e
turn invalid p
a
rams in
g
e
t
_ma
s
k_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carp
e
n
ter
db: don'
t
p
r
int "failed
t
o op
e
n" warnings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_set: remove some
dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
ter
mtag: temporarily disable genera
t
ing mtag f
o
r
kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
ex
p
ressions: don't crash on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpen
t
er
extra: fix a type bug in inserting info in
t
o
c
al
l
er_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
e
n
te
r
kernel:
don't insist
that th
e
parameter is na
m
ed "erro
r
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
extr
a
: ex
p
ort is_impos
s
ible_v
a
riable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
flow: fix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
ar
p
en
t
e
r
functio
n
_hooks:
d
o
t
he
fake
parameter assign
m
e
nt af
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_limit: fix gen
e
rify_mtag_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
ter
ex
t
r
a
:
clear_
p
o
int
e
d_at_state
(
) is a n
o
mod state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_set: handle whe
n
the stack
variable wa
s
modified
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an C
a
rpente
r
parse_call_
m
ath: do
n
't say the return i
s
e
q
ual to
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpent
e
r
scope: fix is_outer_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
sval:
handle casti
n
g to
b
ool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
arr
a
y_valu
e
s: don't crash on
invalid
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an
Carpenter
no_spec: record w
h
e
n functions have a bar
r
i
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpente
r
extra/type: fix type of ret
u
rn PARAM_A
D
D/SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Ca
r
penter
param_limit: ma
k
e mtag limits more generic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carpenter
pa
r
am_
s
et: don't save if
the parent is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Car
p
e
nt
e
r
atom
i
c_inc_dec:
a
d
d a couple more fun
c
tio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
sign
e
d_integer_overfl
o
w: ignore th
i
s
f
or the kernel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n Carpenter
math: handle
c
ondition
a
ls l
i
ke
:
"a
=
b?: c;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
n
o
spec: don't fill
the DB up
w
ith garbage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
Carpen
t
er
sizeof:
fix NULL dereference par
s
ing
i
nvalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpen
t
er
s
t
rings: truncating lar
g
e s
t
rings causes SQL problems
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpent
e
r
type_val:
d
o
n
't double record
g
lobals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carp
e
nter
target: man
ssize_t be unsign
e
d long instead
o
f u
n
signed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
a
r
penter
extra: don't
r
es
e
t
impos
s
ible
s
tates a
f
t
e
r a condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
Da
n
Carpenter
array: store
possible
a
rray values for
s
imple ar
r
ays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan
C
a
rpen
t
er
mtag:
HAC
K
: retu
r
n false if
the mtag is z
e
ro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
flow: fake an
a
ssign statement f
o
r
glob
a
l in
i
ti
a
lizers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan
Carpenter
flow: twe
a
k h
o
w func
t
ion time
o
uts happen
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan C
a
rpe
n
ter
db: fix a t
y
p
e
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan C
a
rpenter
smatch
_
flow: don't parse in
l
in
e
f
un
c
tions af
t
er we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
mtag: ad
d
s
t
ri
n
g information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan
Carpenter
flow: handle _
_
built
i
n
_mul_overflow()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
D
a
n Carpenter
kernel_printf:
s
ilence "s
p
ecifi
e
r
is cast fr
o
m
p
o
int
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpen
t
e
r
nospec:
t
urn
off speculatio
n
at rmb()
,
smb_
r
m
b
()
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Da
n
Carpenter
check_sign
e
d: ignore f
a
ke assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Car
p
enter
m
tag_data: clear cache at
s
tart of function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpe
n
ter
nospec: fix un
i
nitialized
p
o
inter cras
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
Carpen
t
er
helper: fake calls are not equ
i
val
e
n
t
to anything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Car
p
e
n
ter
comp
a
r
i
son: handle comparis
o
ns: if ((
f
oo = frob(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next