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 Carp
e
nter
parse
.
h: create stmt_get_parent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
D
an Carpenter
c
o
nstrai
n
ts: esc
a
pe S
Q
L statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
s
tatement_count:
r
ecord how
m
any s
t
atem
e
nt
s
t
he
r
e are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-30
Dan Carpenter
extr
a
/db: s
i
lence
a
n inva
l
id
SQL warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
D
a
n Car
p
enter
b
u
f_size
:
fix handl
i
n
g of 1
e
leme
n
t arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpenter
db: sql debug
m
ode was exec
u
ti
n
g the
SQL twi
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carp
e
nter
test_b
i
t: add test_and_se
t
_bi
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
rpent
e
r
deb
u
g: introduce __smatch_mem()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
p
en
t
e
r
d
b: don't save struc
t
m
e
mbers for
i
ntegers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpenter
implied: remove an unnecessary N
U
L
L c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Car
p
enter
nul
_
terminator: export
t
he
is_nul_terminat
e
d() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
k
p
atch: use git inste
a
d of trying
to create di
f
fs by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
Carpent
e
r
str
u
c
t_assi
g
nment:
handle unions as we
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
missing_break: turn it o
f
f by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
f
r
ee_stri
c
t: f
i
x
s
ome false posit
i
v
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
R
e
ver
t
"Look
a
c
r
oss the enti
r
e compile l
i
n
e for smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Lev
o
n
L
o
o
k across th
e
en
t
i
re compile l
i
n
e
f
o
r
smatc
h
a
r
guments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sp
a
rse: add
-
Wem
p
ty-characte
r
-const
a
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
s
parse:
a
dd
-
Wbig-con
s
tants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
L
e
v
on
sparse:
a
dd -Wn
o
-
n
o
n
-ansi-functi
o
n
-
declaration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse: correctly handle "-D f
o
o" and "
-
U
foo"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Luc Van Oo
s
tenryck
fix: spac
e
s in ma
c
ro definition o
n
the c
o
mmand
line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n
Levon
Introduce
s
kipped_functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn Levon
F
i
x escape_newl
i
nes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
L
e
von
sparse: lib
.
c should
h
a
ndle be
i
ng
built
3
2
-
bit, co
m
piling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
Levo
n
sparse: define __
x
86_64; some software checks for this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
All
o
w a
d
ditional CFLAGS to be spec
i
fi
e
d,
e
.
g
.
"C
F
L
A
GS
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
D
an Carpente
r
t
r
inity: P
r
oof of conce
p
t
to auto-generate trinity
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carp
e
n
ter
user_dat
a
: rename to smatch
_
kernel_user_dat
a
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Da
n
Carpenter
a
s
signed_expr: rename
t
o smatch_a
s
signed_
e
xpr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Da
n
Carpenter
smatch: m
a
ke the --enable
/
dis
a
ble op
t
ions take strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Lev
o
n
clock(
)
is alread
y
defined on
i
llumos, so re
n
ame the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Joh
n
Levon
Ign
o
re "#ide
n
t" as f
o
und in some old sou
r
ces
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
J
o
h
n Levon
Use $(C
F
LAGS) when c
o
mpiling
s
match
.
c it
s
el
f
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan
Carpen
t
er
smatc
h
_nul_terminate
d
: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Ca
r
pente
r
untracked_param:
fix a NULL
d
e
reference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
Dan
Carpe
n
ter
uninitialized: f
i
x
a
crashing bug parsing "
r
eturn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan
C
a
r
penter
nul_
t
e
r
minator:
track when strings have
a NUL t
e
rm
i
nator
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
C
arpenter
user
_
da
t
a2: fi
x
a
t
y
p
e issue in call
e
r_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan C
a
rpe
n
ter
user_data: integers can't b
e
derefe
r
en
c
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpen
t
er
comparison: make a bu
f
fer la
r
ger to make GCC h
a
p
p
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
Carpente
r
data_source: tr
a
c
k
assign
m
en
t
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpe
n
ter
e
xtr
a
:
preve
n
t
a
d
i
vide
by zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpe
n
ter
modification_hooks: use th
e
DB
f
or frob(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
sval: introduce sv
a
l_binop_ov
e
rflows_no_sign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carpenter
ex
t
ra: undo bogus u
n
op chang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
D
a
n Carpenter
a
rray_
v
alue
s
: fix
u
p and
s
upport
t
wo dimensional local
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpen
t
er
para
m
_s
e
t:
d
on'
t
record a
p
aram_set for p++ changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
D
a
n Ca
r
penter
functi
o
n_hooks: re-hack around
mov
i
ng
th
e
fake pa
r
ame
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
D
a
n Ca
r
pent
e
r
a
rray_values: store a
r
r
a
y val
u
es of struc
t
member arr
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Ca
r
pen
t
er
function_h
o
oks: hack ar
o
und f
a
llou
t
from moving
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
Dan Ca
r
penter
co
m
parison: don't return invalid params in get_mask_com
p
arison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
d
b
: don't print "failed
t
o open" war
n
ings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
p
a
ram_set
:
remove so
m
e
dead
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
C
a
rpenter
mtag: t
e
mporarily disable gener
a
ti
n
g m
t
ag for kmall
o
c
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Ca
r
pen
t
er
e
x
pre
s
s
i
o
ns: don
'
t crash o
n
invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
a
rpenter
e
xtra: fix a type bu
g
i
n inserting info into caller_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpente
r
kernel: don't insist
t
h
at the parameter
i
s named "e
r
ror"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
extra: export is
_
imposs
i
b
le_v
a
r
i
a
b
l
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
C
ar
p
enter
flow:
fix a c
r
ashing bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
function_hooks
:
do
t
h
e fake parameter assignment after
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpent
e
r
p
a
r
a
m
_lim
i
t: fix gener
i
fy_mtag_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
extra: clear_pointed_at
_
st
a
te()
is a nomod st
a
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
param_set: hand
l
e
when the stack
v
ari
a
bl
e
was modified
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
parse_call_math: don
'
t
say the return is equal to a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
scope: fi
x
is_outer
_
stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
sval: handle ca
s
ting
t
o
b
ool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
arra
y
_
v
alues:
don't crash on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carp
e
nter
no_spec: rec
o
rd when
f
unctions have a barrier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpenter
extra
/
type: fix t
y
pe of ret
u
rn PA
R
AM_A
D
D/S
E
T
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpent
e
r
param_lim
i
t: make mt
a
g li
m
its more generic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
D
an C
a
rpenter
param_s
e
t: don't save if
t
h
e
parent is s
e
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
atomic_inc_d
e
c:
a
dd a coup
l
e more
f
un
c
t
i
on
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpen
t
er
signed
_
integer_overflow:
ignore t
h
is for
the kernel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Ca
r
penter
math: handle conditi
o
nals like: "a = b?: c;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpenter
nospec: don't
f
ill the DB up with
g
arbage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpent
e
r
s
i
zeof:
f
i
x
NU
L
L dereference parsing invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
string
s
: truncating lar
g
e
strin
g
s causes
SQL
p
robl
e
m
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
type
_
val: do
n
't double re
c
o
r
d globa
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
Carpenter
t
a
rget: man ssize_t be unsigned long inste
a
d of u
n
signed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan C
a
rpenter
ex
t
ra: don't
r
ese
t
im
p
ossible states after a condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
Dan C
a
rpent
e
r
a
rray
:
store possib
l
e array valu
e
s for simple arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carp
e
nt
e
r
mt
a
g: HACK: re
t
u
rn fa
l
s
e if the mta
g
is zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
flo
w
: fak
e
an assign s
t
atement
for
g
lobal initiali
z
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan
Carpenter
flow: tweak h
o
w function
t
imeou
t
s ha
p
pen
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
db: fix
a
t
ype bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan C
a
rpenter
smatch_flow: don't parse
inline functions after we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Ca
r
p
enter
mtag:
add stri
n
g information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan
Carpenter
flow: handle __builtin
_
mul_overflow()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
D
a
n Carpenter
k
e
rnel_print
f
: silence "s
p
ecifier is cast from
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan
C
arpenter
nospec: t
u
r
n off
specula
t
ion at rmb
(
), smb_rmb() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpen
t
e
r
check_s
i
gne
d
:
i
gn
o
r
e
fake
a
s
signment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpente
r
mtag_dat
a
:
c
lear ca
c
he a
t
start
of f
u
ncti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpen
t
er
nosp
e
c: fix uninitialized poin
t
e
r cr
a
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
he
l
per: fak
e
c
alls are not equivalent to anything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
Carpent
e
r
compari
s
on:
hand
l
e compari
s
o
n
s
:
if ((f
o
o
=
frob(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Ca
r
penter
compari
s
on
:
imp
r
ove "foo = m
i
n(
.
.
.
)
;" a
s
signment
h
a
n
dling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpe
n
ter
comparison: hack aro
u
nd so
m
e type bug
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan C
a
rpenter
mtag_data: remove
d
uplicate mt
a
g_dat
a
a
nd random smal
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan C
a
rpenter
container_of: fix a bug in get_shared_cnt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next