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
Ignore "#ident" as found in some old sources.
2018-10-31
Jo
h
n Levon
Ignore
"
#ident"
a
s
f
ound in some old sources
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
J
o
hn Levon
U
se $(CFLAGS) when
c
o
m
piling
smatch
.
c
itse
l
f
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan C
a
rpe
n
ter
smatch_nul_terminated: fix co
m
pile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carp
e
nter
u
n
tra
c
ked
_
param: f
i
x a NULL derefe
r
ence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Dan
C
arpenter
uninitialized:
f
ix a crashing b
u
g parsing
"
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carpen
t
er
nul_terminator: track wh
e
n
s
tri
n
gs have a NUL terminat
o
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
an Carpenter
user_data2: 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 Ca
r
p
e
n
ter
user_data:
i
n
t
egers ca
n
't be dere
f
e
re
n
ced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
p
e
nter
c
omparison
:
make a buff
e
r la
r
ger to make GC
C
h
a
ppy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n Carpenter
d
a
ta_sourc
e
: t
r
a
c
k assig
n
ments be
t
te
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
extra: prevent a
divide by zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
m
odification_hooks: use the DB for
f
r
ob(&foo)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Car
p
e
nter
sval: introduce sval_binop_
o
v
er
f
lows_n
o
_si
g
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-28
Da
n
Carpenter
e
x
tra:
u
ndo bogus unop c
h
ang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carp
e
nter
a
rray_va
l
ue
s
:
fix up and suppo
r
t two dim
e
nsional
local
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpen
t
er
param_set:
d
on't record
a
param_set for
p
++ changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan C
a
rpen
t
er
function_hoo
k
s
:
re-hack around
moving the fake p
a
rame
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan
Carpenter
array_values: sto
r
e array values
o
f struct m
e
m
ber arra
y
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan
C
arpenter
funct
i
o
n
_hooks: hac
k
around f
a
llout from mov
i
ng the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-24
D
a
n
Carpenter
c
o
mparison
:
don't re
t
urn
invalid par
a
ms i
n
get
_
ma
s
k
_
comparis
o
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
db
:
don't pr
i
nt "failed to o
p
en" warni
n
g
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Ca
r
p
enter
param_s
e
t:
r
emove some
d
ead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpe
n
t
e
r
mtag: temporarily disable ge
n
erati
n
g mt
a
g for kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
Carpent
e
r
expressio
n
s: don't crash on
inval
i
d
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
ex
t
r
a
:
fix
a typ
e
bug
in inser
t
ing inf
o
into
ca
l
ler_i
n
fo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
kernel: don't insist that
t
h
e
p
ara
m
e
ter is na
m
ed
"
error"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpen
t
er
e
xtra: export
is_impo
s
sible_variable(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
Carpent
e
r
flo
w
: fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
f
u
nctio
n
_
h
ooks: do the f
a
ke param
e
ter assignment aft
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpenter
p
aram
_
limit: fi
x
g
e
n
erif
y
_mtag_ra
n
ge()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpente
r
extra: clear_pointed_at_state() is
a
nomod sta
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_set: handle when
the st
a
ck variable wa
s
mo
d
ified
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
penter
pa
r
se_call_math: don
'
t say t
h
e
r
e
t
urn is
equal to a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an
C
a
r
p
e
nter
scope: fix is_outer_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
sval:
handle casting t
o
bo
o
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an
C
arpenter
array_values: don't crash on
invali
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an
Carpenter
no_spec: record when function
s
h
a
v
e a ba
r
ri
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan
C
arpe
n
ter
extra/type: fi
x
type of return PARAM_ADD/SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpent
e
r
param
_
limit
:
make mtag limits more generic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-12
D
a
n
Carp
e
nte
r
param
_
set: don't
s
ave
i
f
t
h
e
p
a
r
e
n
t is
s
et
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
atomic_inc_dec: add a couple more functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
signed_integer_
o
verfl
o
w:
ign
o
re
t
his f
o
r the k
e
r
n
el
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n
Carpenter
math
:
handle cond
i
tionals like: "a =
b
?: c;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n
Ca
r
penter
nosp
e
c:
d
o
n't fill t
h
e DB up with garbage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
s
izeof: fix NULL derefere
n
ce
parsing invalid cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Car
p
ente
r
strings: truncating large string
s
causes SQL p
r
oblems
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
ty
p
e_val: don't do
u
bl
e
re
c
ord global
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
ar
p
e
nt
e
r
t
arget: man ssiz
e
_t be u
n
s
igned long
i
n
s
tead of unsigned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
Carpen
t
er
extra
:
don't
re
s
e
t
i
mpossible state
s
afte
r
a conditio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-10
Da
n
Carpente
r
a
r
ray
:
store
possible array values for simple ar
r
ays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
m
t
ag: HA
C
K
:
retur
n
false if th
e
mtag is zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
D
a
n
C
a
r
p
e
n
ter
flow:
f
ake an assign
s
tatemen
t
f
or global initializers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
D
a
n
Car
p
e
n
ter
flow: t
w
eak how function tim
e
out
s
happen
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
D
an Ca
r
penter
db: f
i
x a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpen
t
er
sma
t
ch
_
f
low: don'
t
parse inline functions aft
e
r w
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan
C
arpen
t
er
mtag: add
string
i
nformation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan
Carpent
e
r
flo
w
:
handle __builtin_mul_ove
r
flow()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-29
Dan Carpente
r
kernel_printf
:
silence "specif
i
er is cast from pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan
C
arpenter
no
s
pec: tu
r
n off s
p
e
culation a
t
r
m
b()
,
sm
b
_rmb() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Da
n
Carpenter
che
c
k_signed: ignore
fa
k
e
a
s
sig
n
men
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan C
a
r
p
enter
mtag_data:
clear cache at
s
tart of function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan
C
arpen
t
er
nospec:
f
i
x
unini
t
ialized pointer cr
a
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
helper:
f
ake cal
l
s are
not equivalent to any
t
hing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
comparison: handle comparisons: if
((f
o
o = frob
(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
comparison: imp
r
o
v
e
"foo = mi
n
(
.
.
.
);" a
s
s
i
gnme
n
t handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
an C
a
rp
e
nter
compari
s
on: hack
a
round some type bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carp
e
n
ter
mta
g
_data:
remove dupl
i
cate m
t
ag_data and ra
n
dom s
m
all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
conta
i
ner_of:
fix a bug in get_shared_cnt
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpent
e
r
chec
k
_check_der
e
f
: silence so
m
e false pos
i
t
i
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-18
Dan Car
p
enter
nospec: store functio
n
s that return
n
o
spec indexes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-15
Dan Carpe
n
t
e
r
nospec: handl
e
C
A
LL_NOSPEC
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-14
Dan C
a
rpenter
db: i
n
troduce the -
-
d
b-f
i
le
=
/path/t
o
/sm
a
tch
_
db
.
s
q
lite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
D
an Carpenter
u
s
er_
d
ata2: use function returns in points_to_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Da
n
Carpen
t
er
files
:
check for schema f
i
les
relat
i
ve to the bin_dir
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan
C
a
rpenter
smatch
.
c:
export bin_dir
t
o
eve
r
yon
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-10
Dan Carpenter
core:
p
r
i
nt the full path when
--i
n
f
o is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan
Carpenter
user_
d
ata: improve how
r
e
t
urned dat
a
is
h
andled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Da
n
Carpenter
c
apped: s
e
t
r
eturned st
r
uct members to capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-06
D
a
n
Carpenter
u
ser_data: fix va
l
i
d
ation tes
t
for returned
struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpenter
implied: don't print so m
a
ny "t
u
rning off impli
c
a
tions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Carpenter
mtag: del
e
te some
bogu
s
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Car
p
enter
mtag_data: update mta
g
_data to u
s
e get_mt
a
g_addr_s
v
al(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpenter
mtag:
f
ix ex
p
r
_
t
o_mtag
_
offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpenter
mtag:
i
ntroduc
e
get_mtag_addr_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpenter
par
a
m_to_mtag_data: rename "data_name" --> "nam
e
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag: don'
t
set the name in expr_to_mtag_offse
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan C
a
rpe
n
ter
mtag_data: cache DB results
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
ext
r
a:
move get_
a
ddress_rl() out
o
f g
e
t_extra_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpente
r
implicit_dependencies:
white space chang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
implicit_dep
e
ndencie
s
: only en
a
bl
e
this w
i
th the -
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
implicit_de
p
endencies
:
fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
n
drew A
d
ay
s
a
ved no_Str
u
ct graph
a
nd begin arg fi
l
tering
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
Gene
r
at
e
json fo
r
without structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
Test: ig
n
ore str
u
ct fields
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
update implicit deps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
And
r
ew Ad
a
y
regen im
p
licit dep after
merging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
modified smatch to catch msync and similar funcs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
updat
e
readme and manuall
y
add deps f
o
r m
s
ync
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
ndrew Zhu
changed output to json,
b
l
a
cklis
t
file->fd
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andre
w
Aday
igno
r
e pyc
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next