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
slist: rename variables in __merge_stree()
2019-01-08
Dan Carpenter
slist: rename variables in
__merge_str
e
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
slist:
h
andle
t
h
e
fas
t
pa
t
h in __
m
erge_
s
tree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
slist: simplif
y
__merge_stree
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-19
D
a
n Ca
r
p
e
n
ter
nospec: don
'
t r
e
cord nos
p
ec parameter info which hasn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-14
Dan
C
arpenter
dma_mappi
n
g
_error: updat
e
to only
comp
l
ain abou
t
l
egacy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-07
D
a
n C
a
rpent
e
r
smatch: add a --succeed
option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
D
a
n Carpenter
d
b: make
e
s
cape_newlines() t
a
k
e
a
const p
o
int
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
D
an Carpent
e
r
parse
.
h: c
r
eate stmt_get_parent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpen
t
er
constraint
s
: escape SQL statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Ca
r
penter
statement
_
count: record how many sta
t
e
m
ents there
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-30
D
a
n C
a
r
penter
extra/db: s
i
l
e
nce an in
v
al
i
d S
Q
L wa
r
ning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Da
n
Ca
r
pen
t
er
buf_
s
ize: fi
x
handling
of 1 ele
m
ent arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpenter
db: s
q
l debug mode was executi
n
g the SQL
twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
r
penter
test_bit: add te
s
t_and
_
set_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
Carpenter
debug: introduce __sma
t
c
h
_mem()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
r
p
en
t
er
db
:
d
o
n't save st
r
uct memb
e
rs for inte
g
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
an Car
p
enter
implied: remove
a
n
unnecessary NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
nul_ter
m
inator: expo
r
t the is_n
u
l_terminated() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpente
r
kpatc
h
: use g
i
t
i
nstead of
tryi
n
g to create
d
iffs by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpent
e
r
s
t
ruct_assignment
:
h
a
ndle unions as
we
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carp
e
n
t
e
r
missing_break: turn it off by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carpenter
free_s
t
ri
c
t:
f
i
x some false
p
ositi
v
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
Reve
r
t "Lo
o
k acr
o
ss
t
he
entire comp
i
le lin
e
for smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
D
an C
a
rpenter
trini
t
y: Proof of
concept to auto-generate
t
rinity
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
D
a
n Carpenter
user_data: rename to sm
a
tch_kernel_use
r
_data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpe
n
te
r
a
ssigned_expr: renam
e
t
o
smatch
_
a
s
s
igned_expr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan
Ca
r
penter
sma
t
ch: make
t
h
e --e
n
able/disable optio
n
s take s
t
rings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
smatc
h
_nul_termi
n
ated: fix compil
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan
C
a
r
penter
untr
a
cked_
p
aram: fix a NU
L
L dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carpente
r
uninitialize
d
:
fix a cras
h
ing bug par
s
i
ng "r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
D
an Carpent
e
r
nul_terminator: track
w
h
e
n
strings have a
NUL ter
m
inator
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
penter
user_data2:
f
i
x
a
type issue in caller_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
an
C
arpenter
user_data: integers can't be d
e
referenced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
compa
r
ison: make a b
u
ffer l
a
r
g
er
to make GCC
h
appy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
Carpenter
data_sourc
e
: track a
s
signments bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpent
e
r
extra:
pr
e
vent a divide by ze
r
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n Car
p
enter
modific
a
t
i
on_
h
o
o
k
s: us
e
the D
B
for frob(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpent
e
r
sval:
i
nt
r
o
d
uce sv
a
l_binop_over
f
lows_no_
s
ign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Da
n
Carpenter
extra: undo bog
u
s
unop changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpe
n
ter
array_values: fi
x
up and suppor
t
t
wo dimensional local
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
D
an Carpenter
param_
s
et: don't r
e
c
o
rd a para
m
_
s
et for
p
++ change
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carp
e
nte
r
fu
n
ct
i
on_hooks:
re-hack
around movi
n
g the fake para
m
eter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
array_values: s
t
o
r
e arr
a
y values of struct member arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Ca
r
penter
functio
n
_hook
s
: hack around fa
l
lout from moving the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
Dan Car
p
enter
comp
a
rison: don't re
t
u
r
n invalid p
a
rams in get_mask_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Ca
r
penter
db: do
n
't
p
r
int "failed to open" warnings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
param_set: remove
s
ome
d
ead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
mta
g
:
t
em
p
orarily disable generating mtag for kma
l
loc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpente
r
expressions: don't c
r
a
s
h
on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
Carpente
r
extra:
f
ix a
t
ype bug in inse
r
ting info into caller_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
pente
r
ke
r
nel: don't insist th
a
t
the
p
a
r
a
meter
is named "er
r
or"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
extra: export is_impossible_
v
ariable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
Carpen
t
er
flow: fi
x
a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
fun
c
tion_
h
ooks: do the fake paramete
r
assi
g
nm
e
nt af
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
r
penter
param_limit: fix gen
e
rif
y
_
m
tag_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
ext
r
a:
clear_poin
t
ed_at_sta
t
e() is a n
o
mod state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
param_set: hand
l
e w
h
en the
s
t
ack variab
l
e was modif
i
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
n
t
er
pars
e
_call_math: don'
t
s
a
y th
e
r
e
t
urn i
s
equa
l
t
o a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Car
p
enter
scope
:
fix is_outer_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpente
r
s
v
al:
h
andle casting to boo
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
arr
a
y_values: don't crash on invalid c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
n
o_spec: record whe
n
f
uncti
o
ns have a barrie
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan
C
arpen
t
er
extra/type: fix type of retu
r
n PARAM
_
ADD/SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpente
r
param_
l
imit: make mtag
l
imi
t
s
more
generic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carpe
n
t
er
param_set:
don't save
i
f
the parent
is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an Car
p
ente
r
atomic_inc_d
e
c: add a co
u
ple more functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
si
g
ned_integer_overfl
o
w: ignore t
h
i
s for the ke
r
ne
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan C
a
r
p
enter
m
ath:
h
andle c
o
nditional
s
like:
"
a = b?:
c
;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Ca
r
penter
nospec:
d
on't fill
t
he DB up with garbage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
sizeof: fix NULL dereference p
a
r
sing invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carp
e
nter
str
i
ngs: trun
c
ating large
strings causes SQL pro
b
lems
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
Ca
r
p
enter
typ
e
_val
:
don't double record globals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Car
p
enter
t
arget: man ssize_t be
u
nsigned long i
n
s
t
ead of un
s
igned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Carpenter
ex
t
ra: don'
t
res
e
t
im
p
ossi
b
l
e st
a
tes after a
condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
D
an Carpenter
array: stor
e
possible arr
a
y
v
alues
f
or
s
imple arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Da
n
Carpent
e
r
m
t
ag: HACK: retu
r
n fa
l
s
e
if the mtag is z
e
ro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
an Carpent
e
r
f
low: fa
k
e
a
n
assign statement for global initializers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
an Carpente
r
f
low: tweak h
o
w fun
c
tion time
o
u
ts
h
appen
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
an Carpen
t
e
r
db: fix
a
type bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
a
n
C
a
rpenter
sm
a
tch
_
f
l
ow: don't
pa
r
se inli
n
e functi
o
ns after we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
mtag: add
s
t
ring
infor
m
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Ca
r
p
ente
r
f
l
ow: handle __bui
l
tin_m
u
l
_
ov
e
rflow()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
Dan
C
arpen
t
er
kern
e
l_printf: si
l
ence
"
speci
f
ier is cast from p
o
inter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Car
p
e
n
ter
no
s
pec
:
t
u
rn off speculation
at
r
mb(), smb
_
rmb()
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpenter
check_si
g
ned:
i
gnore fake assi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
mtag_data:
c
l
ear cache
at star
t
o
f fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
nospec: fix uninit
i
a
lized p
o
in
t
er c
r
a
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
help
e
r: fake calls are not equi
v
alent to anything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
C
arpenter
c
om
p
ar
i
son:
handle comparisons: i
f
((foo = f
r
ob(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
Carpen
t
e
r
compa
r
ison
:
improve "foo = min
(
.
.
.
);" assignmen
t
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
C
arpenter
comparison: h
a
ck around
s
o
me type
bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
mtag
_
d
a
t
a: remove duplicate mtag_data
a
nd ra
n
dom smal
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n C
a
r
pe
n
ter
c
ont
a
i
ner_o
f
:
fi
x
a bug in get_share
d
_cnt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
D
an Car
p
en
t
er
check
_
check_deref:
sile
n
ce some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-18
Dan Carpenter
nosp
e
c:
s
tore f
u
nctio
n
s that return nospe
c
indexes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-15
Dan Carpe
n
ter
nospec: han
d
le
CALL
_
N
OSPEC
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-14
Dan
C
arp
e
nter
db: introduce the --db-fi
l
e
=/
p
a
th/to/
s
m
atch_db
.
sqlite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpenter
user
_
data2: use fun
c
tion returns
i
n points_to_
u
s
e
r_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan
Carpent
e
r
f
i
les
:
check f
o
r schema files rela
t
ive
t
o the bi
n
_dir
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpenter
smat
c
h
.
c: expo
r
t bin
_
d
i
r
to
everyon
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next