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
Add illumos projects
2018-12-06
Joh
n
Levon
Add
ill
u
m
os
pro
j
ects
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Convert some
sm
_
ms
g
() i
n
to more specific reporting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
J
ohn Levon
Co
n
ver
t
sm_msg() with an error: pre
f
ix into sm_
e
rror()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John Le
v
o
n
Conv
e
rt all sm_msg("
w
arn:
.
.
"
into sm_w
a
rn
i
ng
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
J
o
hn L
e
v
on
Regularise error repor
t
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
D
a
n
Carp
e
n
t
er
db:
m
a
ke escape_new
l
ines()
take a const
point
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpe
n
ter
pars
e
.
h: c
r
eate stmt_get_p
a
r
ent_
s
tmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carp
e
nte
r
constr
a
ints:
es
c
a
p
e
SQL s
t
atements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
s
tatem
e
nt_co
u
nt: r
e
cord how man
y
statements there
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-30
Da
n
C
a
rpenter
ex
t
r
a
/db:
silence an i
n
valid
SQL warn
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpe
n
ter
buf_size: fix hand
l
ing of 1 ele
m
e
n
t
a
rrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpenter
db
:
sql debug
m
ode was executing the SQL twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Car
p
ent
e
r
test_bit:
a
d
d test_
a
nd_set_
b
it()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpen
t
er
debug
:
i
n
troduce __sm
a
tch_me
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpenter
db: don'
t
s
ave struc
t
members for integers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
rpenter
implied: re
m
ov
e
an unnecessary NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
nul_terminator:
exp
o
rt th
e
is_nul_te
r
mina
t
e
d() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpen
t
er
kpatch: use git inste
a
d of trying to c
r
ea
t
e dif
f
s
by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
r
p
enter
struct_assignment: handle unions as
we
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Car
p
enter
missing_
b
re
a
k:
turn
i
t
off by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
f
r
ee_strict: fix
s
o
m
e
fals
e
positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
Revert "Look
across the entir
e
compile l
i
ne for
smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
L
o
ok ac
r
oss
the entire comp
i
le line for smatch arguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
Lev
o
n
spa
r
se: add
-
Wempty-chara
c
ter-
c
ons
t
a
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
spar
s
e: ad
d
-Wb
i
g-constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sp
a
rse: add -Wno-non-ansi-function-declara
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
s
p
arse: correc
t
l
y
h
a
ndle "-D foo" and "-U foo"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Luc Van
O
ostenryck
fix: spac
e
s in ma
c
ro d
e
finiti
o
n on the comma
n
d l
i
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n Levon
Introduce skipped
_
functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Fix escape_newlines
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
ohn Levon
sparse: lib
.
c
s
hou
l
d handle being bui
l
t 32-bit
,
compiling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse: def
i
ne __x86_64; some software checks f
o
r this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Lev
o
n
A
l
low
a
dditional
C
FLA
G
S to be specif
i
ed, e
.
g
.
"CFLA
G
S
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
Dan Carpente
r
trinity:
P
roof
of concept to auto-generate tr
i
nity
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan Ca
r
pe
n
t
er
user
_
data: rename to s
m
atch_kernel
_
u
s
e
r
_data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
D
a
n
C
arpenter
assigne
d
_ex
p
r
: 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
rp
e
nter
s
match:
m
ake the --enabl
e
/disable
optio
n
s ta
k
e strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
J
o
hn
Levon
clock() is alr
e
ady defined on illum
o
s
,
so
r
ename the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Jo
h
n Levon
Ignore
"
#ident" as
found i
n
some old
sources
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Levon
U
se $(CFLAGS) when compiling sma
t
ch
.
c
i
tself
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan C
a
rpen
t
er
smatch_nul_terminated: fix
c
ompile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan
Carpen
t
er
untr
a
cked_
p
aram: fix
a NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carpenter
uninitialized:
f
ix a c
r
a
s
hing bug parsing "return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carpenter
nul_
t
erm
i
n
a
tor
:
track
w
hen strin
g
s have a NUL termina
t
or
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan C
a
rp
e
nter
user_data2: f
i
x a
typ
e
i
s
sue in caller_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan C
a
rp
e
nter
u
s
er_data: inte
g
ers can't be dereference
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
comp
a
r
ison: make a buffer larger to m
a
ke GCC happy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
an Carpe
n
t
e
r
data_source:
tra
c
k assig
n
ments better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
C
a
rpenter
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
rpent
e
r
m
o
dification_hooks: use the
D
B
for
f
rob(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
an C
a
r
p
enter
sval: introduc
e
sval
_
binop_overflows_no_s
i
gn()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Dan Ca
r
penter
e
xtra:
un
d
o
bogus uno
p
changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Da
n
Carpenter
array
_
values: fix up
an
d
support two
dim
e
n
s
i
o
nal lo
c
a
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
D
an
C
a
r
pent
e
r
param_
s
et: don't
record a param_s
e
t f
o
r p+
+
changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpen
t
e
r
f
u
ncti
o
n
_
hooks: re-h
a
ck aro
u
n
d
moving th
e
fake parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan
C
arp
e
nter
a
r
r
ay
_
val
u
es:
store ar
r
ay values of struc
t
member arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpen
t
er
func
t
ion_
h
ooks: h
a
ck
a
rou
n
d
f
allo
u
t
f
r
om moving t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
Dan Car
p
ent
e
r
comparison: don't retu
r
n
invalid params i
n
g
et_mask_co
m
parison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
ter
d
b
: don'
t
print "failed to open" warnings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n 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: t
e
mporar
i
ly disable genera
t
ing
m
tag for kmall
o
c()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
e
xp
r
essions: don'
t
crash on
in
v
a
lid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
e
x
tra: fix a type bug
i
n inser
t
ing info into caller_
i
nfo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
en
t
er
kerne
l
: don't i
n
sis
t
t
hat
t
h
e parameter is
n
a
m
ed "error"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra: export i
s
_i
m
possible_v
a
riable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
C
ar
p
enter
flo
w
: fix a
crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Car
p
enter
function_hooks: do the fake
parameter ass
i
gnment after
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
param_limit: fix generi
f
y
_
m
t
a
g_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
C
arpe
n
ter
extra: cle
a
r_pointed_a
t
_state(
)
is a nomod state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
pente
r
param_
s
et: handle when t
h
e
s
tack va
r
iable was m
o
dified
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpenter
parse_c
a
ll_m
a
t
h
:
d
o
n
'
t say
the return is equal
to a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carp
e
nt
e
r
scope: fix i
s
_outer
_
stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
sval: handle casting to boo
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
a
r
r
ay_values: don't crash on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
no_spe
c
: reco
r
d
when fun
c
tions
have a barrier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Ca
r
penter
extra/type:
fix
t
y
pe
o
f return PARAM_ADD/SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan
Car
p
enter
param_limit:
make mtag
l
im
i
ts more generic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carpenter
p
a
r
am_set:
d
on't sa
v
e if t
h
e parent is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
a
r
penter
a
to
m
ic_in
c
_
d
e
c: ad
d
a coupl
e
more
f
unctio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
signe
d
_integer
_
overf
l
o
w: i
g
nore this for
the kernel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpent
e
r
math:
h
andle co
n
diti
o
nals like: "a = b?: c;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an
C
arpe
n
te
r
nospec: don't f
i
ll
the DB up
w
ith garbage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Carpenter
sizeof
:
fi
x
NULL dereference parsi
n
g in
v
al
i
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
st
r
ings: tru
n
cating large
s
tri
n
gs c
a
uses SQL probl
e
m
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
ar
p
enter
t
ype_
v
al: don't double
record glob
a
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpen
t
e
r
targe
t
: man
s
s
i
ze_t b
e
unsigned
long instead
o
f
unsigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an C
a
rpen
t
e
r
extra:
don't
r
es
e
t
i
m
p
o
ssibl
e
s
tate
s
a
f
ter
a
condi
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
Dan Carpenter
arr
a
y: store p
o
ssibl
e
a
r
ray values for
simple array
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Car
p
e
nt
e
r
mtag: HACK
:
r
e
t
u
rn false if the mtag i
s
zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
an
C
a
rpenter
fl
o
w: fake an assign statement for global
i
nitia
l
izers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Ca
r
p
e
nter
flow:
t
we
a
k how function timeouts
h
ap
p
en
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
db: fi
x
a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpent
e
r
smatch_flow:
d
on't parse in
l
ine f
u
nctions
after we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
mtag: add
s
tring in
f
o
rmation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpe
n
ter
flow: ha
n
dle __builtin_mul_overfl
o
w()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
Dan C
a
r
penter
ker
n
e
l
_printf:
silenc
e
"s
p
ecifie
r
i
s
cast
f
rom pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpen
t
er
nospec: turn of
f
s
peculation at rmb(), smb_
r
mb() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpenter
ch
e
c
k
_signe
d
:
i
gnore f
a
ke assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpe
n
ter
mtag
_
data
:
clear ca
c
he a
t
start o
f
fun
c
ti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
D
a
n Car
p
enter
nospec: fix uninitialized pointer cra
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next