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
nospec: don't record nospec parameter info which hasn't changed
2018-12-19
Da
n
Car
p
ent
e
r
nospec:
d
o
n
'
t record nospec para
m
e
t
e
r info which hasn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-14
Dan Carpenter
dma_
m
apping_e
r
r
or:
u
p
d
ate to only compl
a
in
a
bout legac
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-11
John
Lev
o
n
R
emo
v
e -Wempty-charac
t
er-co
n
stant
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-07
D
a
n
Carpenter
smatch: a
d
d a --succeed op
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John
L
evon
Add illumos p
r
ojec
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John
Levon
Convert
s
o
m
e sm_msg
(
) into mo
r
e
spe
c
ific re
p
o
rting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Con
v
ert sm_msg() with an
e
rror: pr
e
fix into sm_error
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Conve
r
t
all sm_msg
(
"w
a
rn:
.
.
"
i
nto sm_warning()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Reg
u
larise er
r
or re
p
o
r
ting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
Dan C
a
rpen
t
e
r
db:
m
ake e
s
cape_new
l
ines
(
) take a const po
i
nter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
parse
.
h: create
s
tmt_g
e
t_paren
t
_
stm
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
constraints: escape SQL statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
D
an Carpenter
statemen
t
_co
u
nt:
r
ecord how
m
any statem
e
nts there are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-30
Dan Carpenter
ext
r
a
/db:
silence an invali
d
SQ
L
warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan
Carpe
n
t
er
buf_size: f
i
x handlin
g
of 1 element
a
rrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpente
r
db: sql
d
ebug mode was executing th
e
SQL
twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n
C
arpenter
test
_
bit:
add test_and_s
e
t_b
i
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
debug
:
introduce __
s
match_me
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpen
t
er
db: don't save s
t
ruct me
m
bers for
i
nte
g
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
implied: re
m
ove an unnecessary NULL
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Car
p
ente
r
nul_t
e
rminator: export the is_nul_
t
er
m
i
n
ated
(
) functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Carpe
n
ter
kpatch: use git instead of trying
to create di
f
fs by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpente
r
s
truc
t
_assignm
e
nt: handl
e
unions as
we
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpe
n
te
r
miss
i
ng_brea
k
: turn it
off by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
free_stric
t
: fix some false
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpent
e
r
Re
v
er
t
"Loo
k
across the entire
c
ompile line for smat
c
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n
Lev
o
n
Look across the entire co
m
pile line for smatch
a
r
gum
e
nt
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
s
parse: add -Wempty-character-constant
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
ohn Levon
sparse: add -Wb
i
g
-constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
L
e
v
on
s
p
arse: ad
d
-Wno-non-ansi-functi
o
n-declaration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
o
h
n Levon
sparse
:
correctly handle "-D foo" and "-U foo"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Luc Van Oostenryck
fix:
s
paces
i
n macro definition on the command line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn Levon
I
ntrodu
c
e skipped_functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n L
e
von
Fix escape_
n
ewlines()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Le
v
on
sparse:
l
ib
.
c should
h
an
d
le being
b
uilt 32-bit,
compi
l
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
Levon
sparse: defi
n
e __x86_64; some
software ch
e
cks f
o
r
this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Allow additi
o
nal CFLAGS to be specified, e
.
g
.
"CFLAGS
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
Dan Carp
e
nter
t
r
i
nity: Proof of conce
p
t to auto-generate trinity
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan
Car
p
e
nter
user_data: rename to smatch_kernel_us
e
r_da
t
a
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpenter
a
s
sig
n
ed_ex
p
r: rename
t
o sma
t
ch_assigned_expr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan
C
arpenter
s
m
a
t
ch: make the --enab
l
e
/
disable options take
s
trings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Jo
h
n Levon
clock()
i
s
a
l
ready defined on illumos, so rename
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Le
v
o
n
I
gnore "#ident"
as found in some old so
u
rc
e
s
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Levon
Use $(CFLAGS) when
co
m
pi
l
ing smat
c
h
.
c
itself
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
smat
c
h_n
u
l_te
r
minate
d
: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
D
a
n Carpenter
untra
c
ked_param: f
i
x
a NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
D
an Carpenter
uninitializ
e
d:
f
ix
a
cra
s
hing bug pa
r
s
ing "
r
etu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carpenter
nul_termi
n
ator
:
track when s
t
ring
s
have a NU
L
terminator
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan C
a
rpenter
use
r
_data2:
f
i
x a t
y
pe issu
e
i
n
ca
l
ler
_
info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
use
r
_data: in
t
egers can't
b
e
der
e
fe
r
en
c
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
comparison:
m
ake a b
u
ffer la
r
ger to make
G
CC hap
p
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpent
e
r
data_source: tr
a
ck assignments better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n Ca
r
penter
ex
t
r
a
: preve
n
t
a
divide by zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
an
C
arpenter
m
odification_hooks: use the DB fo
r
frob(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
pe
n
ter
sval: introduce sval_binop_
o
v
e
r
flows_no_s
i
gn()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carpenter
ex
t
ra: undo bogus unop cha
n
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpent
e
r
array_value
s
:
fix up and
s
upport
tw
o
dimensional local
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpen
t
er
para
m
_set: don't record a param_set
f
or p+
+
chan
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Da
n
Carpe
n
t
er
fu
n
ction_hoo
k
s: re-hac
k
a
r
oun
d
mo
v
ing
t
he fake p
a
r
a
mete
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpen
t
er
array_va
l
ues: store
ar
r
ay values
o
f struct member array
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
function_hooks: h
a
ck around
f
allout
f
rom
m
o
v
i
n
g
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
Dan
Carpen
t
er
c
omparison:
don't r
e
tur
n
invalid
p
arams in get_mask_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
d
b:
don't print "fail
e
d to open"
wa
r
nings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
p
aram_se
t
:
r
e
move some
d
e
ad code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpente
r
m
t
ag: temporarily disable
gene
r
a
t
ing mtag for kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Ca
r
penter
e
x
pre
s
sions: don't crash on inva
l
id cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
ter
extra: fix a type bu
g
i
n inserting i
n
fo int
o
c
aller_
i
nfo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
kernel:
don
'
t
insist that the
p
arameter is named "e
r
ro
r
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
e
x
tra: exp
o
rt
is_impossi
b
le_variable
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpente
r
flow: fix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpente
r
functi
o
n_hooks:
d
o the fake parameter assign
m
ent after
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_limit: fix generif
y
_mtag_ra
n
ge()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpente
r
e
x
tra: clear
_
pointed_a
t
_state() is
a
nomod state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_set: handle when th
e
s
t
ac
k
varia
b
le was
m
o
d
i
fied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
parse_call_math: don't say
t
he r
e
t
urn is equal to a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
sc
o
pe: fix is_outer_stmt(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpent
e
r
sval: handle casting to
b
o
ol
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an
Carpenter
array_va
l
ues: don't c
r
ash on invalid
c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpent
e
r
no_spec: recor
d
when fu
n
ction
s
have a barrier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpenter
extra/typ
e
:
f
ix t
y
pe of retur
n
PARAM
_
ADD/SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Ca
r
penter
pa
r
am_limit: make m
t
a
g
limits more ge
n
eric
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
Dan
C
a
rpenter
p
a
r
am_set: don't
s
ave if th
e
pa
r
ent is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan C
a
rpenter
atomic
_
inc_dec: add
a coupl
e
more fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
signed
_
i
n
teger_overflow: ignore thi
s
fo
r
the kernel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpen
t
er
ma
t
h: hand
l
e
c
o
nditio
n
als li
k
e:
"
a
= b
?
:
c
;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arp
e
nter
nospec:
d
on't f
i
ll the D
B
up with garbage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carp
e
nter
sizeof: fix NULL dereference
p
arsing invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an C
a
rpen
t
e
r
strings: tru
n
cating large stri
n
gs causes
SQL problems
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpente
r
type_v
a
l: don't double
re
c
or
d
g
l
obals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
target: man s
s
ize_t be unsigned long ins
t
ead of uns
i
gn
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n Carpenter
e
x
t
r
a: don't
r
ese
t
impossible states after a conditi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
D
an Carpent
e
r
a
rray:
s
t
o
r
e possibl
e
a
r
ray values for simple arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Car
p
en
t
e
r
mtag: HACK: return
f
al
s
e
if t
h
e
m
tag is zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Car
p
e
nter
flow
:
fake an assig
n
statement for global i
n
itializer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpent
e
r
fl
o
w
:
tweak how fun
c
tion ti
m
e
o
u
t
s
hap
p
en
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
an Carpent
e
r
d
b
: fix a ty
p
e bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
an
Carpent
e
r
smat
c
h_flow: don't parse inline functi
o
ns after we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan C
a
rpenter
mtag: add str
i
ng informa
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
D
an Carpenter
flow: handle
_
_buil
t
in_mul_overflow()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
D
an Carpente
r
kernel_printf:
s
ilence "spec
i
fier is cast from po
i
nter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next