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
parse.h: create stmt_get_parent_stmt()
2018-12-04
Dan Carpe
n
t
e
r
p
a
rse
.
h:
c
reate
s
tmt_get_pare
n
t_s
t
mt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
D
a
n Carpe
n
ter
co
n
stra
i
nts: escape
S
QL
statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
D
a
n Carp
e
nter
s
t
a
t
em
e
nt_
c
o
u
nt: record ho
w
many statements the
r
e
a
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-30
Dan Ca
r
pe
n
ter
extra/db: silence an invali
d
SQL 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 han
d
ling of 1
elem
e
n
t arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpenter
db: sql debug mode was executing the
S
QL twi
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
test_bit: add test_and_se
t
_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Car
p
ente
r
debug:
i
ntr
o
duce __smat
c
h_mem()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
db: don't save stru
c
t me
m
bers for integers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Car
p
enter
implied: r
e
m
ove an unnece
s
sa
r
y N
U
LL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n
Carpenter
nul_terminator:
e
xport the is_
n
u
l
_
t
erm
i
nated() functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
rpente
r
kpatch:
u
se
git instead of trying to
c
reate d
i
ffs b
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
struct
_
assig
n
m
ent: hand
l
e unions as
w
ell
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
p
e
nt
e
r
miss
i
ng_b
r
eak: turn it off
b
y def
a
u
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpenter
f
r
ee_s
t
rict: f
i
x some false
posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
Carpenter
R
e
v
e
r
t "Lo
o
k acros
s
the
ent
i
re compile line for smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-14
D
a
n Ca
r
p
enter
trinit
y
: Proof of con
c
e
pt
t
o auto-gene
r
ate
trinity
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan
C
a
r
penter
user_data:
r
e
name to smat
c
h_ke
r
nel
_
user_dat
a
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpenter
assigned_expr: renam
e
to smatch
_
assigned_expr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Da
n
C
arpenter
smatch: m
a
ke t
h
e --enable/disab
l
e
options take s
t
rings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpente
r
smat
c
h_nul_
t
erminated:
fix
c
ompile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
untracked_param: fix
a
NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carpenter
uninitializ
e
d
:
f
ix a
c
rashing bug
p
ars
i
ng "r
e
turn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
D
an Car
p
enter
nul_terminator: track wh
e
n
strings have a NUL ter
m
i
nator
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Car
p
enter
use
r
_data2: fix a type issue in cal
l
er_inf
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpent
e
r
u
ser_data: integ
e
rs
can't be dere
f
erenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpent
e
r
comparison
:
make a
b
uffer large
r
to
make
G
C
C happy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
data
_
source: track as
s
ignments be
t
te
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
ex
t
ra: prevent
a divide by zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
penter
modification_hooks
:
u
se the DB for
f
r
ob(&foo);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
an Ca
r
pe
n
t
e
r
sval
:
intro
d
u
ce
sval
_
binop_overflow
s
_no_sign(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carpente
r
extra: un
d
o bogus unop changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Da
n
C
a
rp
e
nte
r
arr
a
y
_
val
u
es: fix up an
d
s
u
pport two
d
i
mensional lo
c
al
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan
C
a
rpenter
param_set: don't recor
d
a param_set
for p++ c
h
anges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
function_
h
o
oks: re-
h
ac
k
around
m
oving the
fake parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan
C
ar
p
enter
array_values: s
t
ore a
r
ray valu
e
s
of struct member
a
r
ray
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Da
n
Carpenter
function_hooks:
h
ack arou
n
d
f
allou
t
from
m
oving the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-24
Dan Ca
r
p
e
nter
com
p
a
rison:
do
n
't
return invali
d
pa
r
ams in ge
t
_mask_compariso
n
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
db: don't print "failed to op
e
n"
warn
i
ngs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
p
a
ram_set:
r
em
o
v
e some dea
d
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
mtag:
temporarily
di
s
able gene
r
ating mtag for k
m
alloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
express
i
ons: don'
t
c
r
a
sh on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
e
x
tra:
f
i
x
a
type bug in ins
e
rtin
g
info int
o
c
aller
_
inf
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an
C
a
rpente
r
kernel: don't insist that
the parameter is named "error"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
ext
r
a: export
is_impossible_va
r
iable(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
flow: fix
a
crashing bu
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
nter
funct
i
on_hooks:
d
o
the
fake parameter ass
i
gnment after
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_li
m
it:
fix gen
e
rify_mtag
_
rang
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arp
e
nte
r
e
xt
r
a: clear_po
i
nted_a
t
_
state() is
a
nomod st
a
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an C
a
rpenter
para
m
_
s
et: h
a
ndle
when the
s
t
a
c
k variable was mo
d
ified
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
n
t
er
parse_call_ma
t
h: don't say the retur
n
is equa
l
to a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
r
p
enter
scope: fix is_outer_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
sval: han
d
le
c
asti
n
g to bool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Ca
r
penter
arr
a
y_v
a
lu
e
s: do
n
't crash on
i
n
v
alid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
n
t
er
no_spec: r
e
cord w
h
en functions have a barrier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan
C
a
rpenter
extra/
t
y
p
e: fix type of return P
A
RAM_A
D
D/SE
T
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan
C
ar
p
enter
par
a
m_
l
imit:
m
ake mtag limits more ge
n
eric
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-12
D
a
n Ca
r
penter
param
_
set:
don't save
i
f the
p
arent
is
set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
an Carpenter
atomic_inc_dec: add
a c
o
uple
more
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan C
a
rpente
r
s
ig
n
ed_inte
g
er_over
f
low: ignor
e
t
his for the kernel
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carp
e
nter
math: h
a
n
d
le
c
ondi
t
ionals like: "a
=
b?: c;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan C
a
rpe
n
te
r
nospec:
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 C
a
rpenter
s
i
zeof
:
fi
x
NULL deref
e
rence
p
a
r
sing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
Carpenter
strings
:
truncatin
g
large
strings cau
s
e
s S
Q
L problems
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Carpenter
type_val: don't double record globals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpent
e
r
tar
g
et
:
man ssize_t
be unsign
e
d long in
s
tea
d
of u
n
signed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpenter
e
x
tra: don't reset imposs
i
ble state
s
after a cond
i
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-10
Dan Ca
r
penter
ar
r
a
y
: store possible array
v
a
l
u
es for simple arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
D
an Carp
e
nter
mtag: HA
C
K: r
e
turn
f
alse
i
f the mtag is zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan C
a
rpenter
fl
o
w: fake an assign statement for global init
i
alizers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
flow: tweak
h
ow function time
o
uts happen
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
D
an Carpenter
db
:
fix a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Da
n
Carpenter
smatch_flow: d
o
n't p
a
rs
e
inline functions after
we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
D
an Car
p
enter
mtag: add string information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
D
a
n Ca
r
penter
flow: han
d
l
e __builtin_mul_overflow()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-29
Dan Carpen
t
er
kernel_
p
rintf: sil
e
nce "speci
f
i
er is cast from po
i
nter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan
Carpen
t
er
n
o
s
p
ec: turn
o
ff specul
a
tion at
r
m
b
(), smb_rmb() a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpe
n
ter
c
heck
_
signed:
ignore
fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
mtag_da
t
a:
clear cache
a
t s
t
a
r
t
o
f
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
nospe
c
: fix unin
i
t
i
a
lized
p
ointer cras
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
helper: fake
c
a
lls are n
o
t equivalent to anything
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
an
Car
p
enter
compari
s
o
n:
handle comparisons:
i
f ((foo = frob(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
Carpenter
comparison:
i
mprove
"
foo
=
min
(
.
.
.
);"
assignment ha
n
dling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
comparison: hack around so
m
e type bu
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
an C
a
rpenter
mtag_data:
r
emove duplic
a
te mtag_da
t
a a
n
d
r
andom small
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
c
ontainer_of:
fix a
bug
in get_shared_cnt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Car
p
ente
r
check_check_deref:
s
ilence so
m
e
fals
e
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-18
Dan Carpente
r
nospec:
store functions
that return nospec inde
x
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-15
Dan Ca
r
pe
n
t
e
r
nospe
c
: handle CALL_NOSPEC
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-14
Dan Carpenter
db: introduce
the --db-file
=
/
path
/
t
o
/sm
a
tc
h
_db
.
sqlite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpenter
user_data2: use function returns
i
n points_to_use
r
_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpe
n
ter
files: ch
e
c
k for
schema
files rel
a
tive to the bin_d
i
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan
C
arpente
r
sma
t
ch
.
c: export
bin_dir
to ever
y
o
ne
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-10
D
an
Carp
e
nter
core
:
print the full path when --info i
s
used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
D
a
n C
a
rpen
t
er
us
e
r
_
data:
i
mprov
e
how returned data is han
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpent
e
r
ca
p
p
e
d: s
e
t
ret
u
r
n
ed s
t
ruct member
s
t
o cappe
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-06
Dan Carpenter
user_data:
fix vali
d
ation te
s
t for ret
u
r
n
ed struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpe
n
ter
implied: don't print so man
y
"turn
i
ng off impl
i
ca
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
m
ta
g
: delete some bogus code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carp
e
nter
m
tag_data: upd
a
te mtag_
d
ata t
o
use get
_
mt
a
g_addr_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next