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
constraints: escape SQL statements
2018-12-04
Dan Carp
e
nte
r
constra
i
nts: es
c
ape
SQL stateme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
statement_count: reco
r
d how
m
any
stat
e
ments th
e
re a
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-30
Dan Carpenter
ex
t
ra/db:
sil
e
nce an
invalid SQL wa
r
ning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Ca
r
pent
e
r
b
u
f_size:
fix
h
andli
n
g of 1 element arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpen
t
er
db: s
q
l debug
m
ode was executing the S
Q
L twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
test_bit
:
add test_and_se
t
_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
Ca
r
pent
e
r
d
eb
u
g: introd
u
c
e __smatch_
m
em()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpent
e
r
d
b: don't
s
ave
struct
m
e
m
ber
s
for integers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
implied: remove a
n
unneces
s
ary NULL ch
e
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpen
t
er
nul_terminat
o
r:
export the is_nul_
t
ermi
n
ated() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
pent
e
r
k
p
atch: use gi
t
instead of trying to cre
a
te
di
f
fs
by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carpen
t
er
struct_ass
i
gnment: han
d
le unions
as w
e
ll
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
pe
n
ter
m
i
ssing
_
break: turn it off
b
y default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n
Carpenter
free_strict:
f
ix so
m
e fals
e
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpe
n
ter
Revert "Look
a
c
ross t
h
e
e
n
t
ire comp
i
le line for smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n
Levon
Lo
o
k
a
cro
s
s the entire compile l
i
n
e for
s
match arguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse:
a
dd -
W
emp
t
y
-character-con
s
tant
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n
Levon
sparse: a
d
d -Wbig-const
a
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
L
evon
sp
a
rse: add -Wno-non-ansi-function
-
declarati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
ohn Levon
s
p
a
rse: 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
V
an Oo
s
t
e
n
r
y
ck
fix: spac
e
s
i
n ma
c
ro definition
o
n the
c
omma
n
d line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
L
evo
n
In
t
roduce skipped_fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Fix es
c
ape_newlines()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Le
v
on
s
p
arse: lib
.
c s
h
ould handle
b
e
ing
built 32-
b
it, compiling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n Levo
n
sparse: d
e
fine __x86_64; so
m
e
s
oftware checks for this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Allow addi
t
ional CFLAGS t
o
be
s
pecified, e
.
g
.
"CFLAGS
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
Dan Carpenter
tr
i
nity: Proo
f
of concept to
a
u
t
o-generate trinity
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Da
n
C
a
rpenter
user_data: rena
m
e to smatch_kernel_user_data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan Car
p
enter
as
s
i
g
n
e
d_expr: rena
m
e to smatch_assigned_expr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpente
r
sm
a
tch: make the --en
a
ble/disable optio
n
s ta
k
e
strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Le
v
on
clock() is already def
i
ned on il
l
um
o
s, so rename the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Levon
Ignore "#ident" as foun
d
in some old sources
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Joh
n
Levon
U
se $(CF
L
AGS) when compi
l
i
n
g
smatch
.
c itself
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
D
a
n Carpenter
s
m
atch_nul_termin
a
ted:
fi
x
compi
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
u
n
tracked_par
a
m:
f
ix a N
U
LL
dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carpen
t
er
uninitialized
:
f
i
x a crash
i
n
g
b
u
g parsing "re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carpenter
nul_t
e
r
minator
:
tr
a
ck when strings hav
e
a
NUL
terminator
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
C
arpenter
us
e
r_da
t
a2:
f
i
x
a type issue in call
e
r_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
pent
e
r
us
e
r_data: i
n
tegers c
a
n't b
e
dere
f
ere
n
ced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carpenter
c
omparison: make a
b
uffer larger to
make GCC
h
appy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
data_source
:
track
a
ssig
n
me
n
ts better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpente
r
extr
a
: prevent a
d
i
v
ide
b
y zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
modifi
c
ation_h
o
o
ks: use the DB for frob(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan C
a
rp
e
nter
sval: in
t
r
o
duce sval
_
binop_ove
r
flows
_
n
o
_
s
i
gn()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carpenter
extra: undo bog
u
s
u
nop ch
a
n
g
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
a
r
ray_
v
alues
:
f
i
x up
and
support two d
i
m
e
nsional local
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Ca
r
p
enter
par
a
m_set: don't record
a param_se
t
for p+
+
c
h
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carp
e
nte
r
function_hooks: re-hack around movin
g
the fake p
a
rameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
arra
y
_va
l
ues: stor
e
a
rray v
a
lues
of struct member
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpen
t
e
r
function_hooks: hack around fallout from m
o
v
ing the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
Dan Carpe
n
ter
c
o
m
p
arison:
don't r
e
turn invalid para
m
s in ge
t
_m
a
sk_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
db: don't
pr
i
nt "fa
i
led
t
o ope
n
" warni
n
gs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
C
arpenter
param_set: remo
v
e so
m
e
d
ead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rp
e
n
t
er
mtag: tem
p
orarily disa
b
le gene
r
ating mtag for kmalloc(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
exp
r
essions: don't
crash on invali
d
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
e
xtra:
f
ix
a ty
p
e bug in
i
n
serting info in
t
o caller_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
kernel
:
don't insist tha
t
the parameter is named "error"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
extr
a
:
export
i
s
_impossible_v
a
riable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
C
a
rpent
e
r
f
l
ow: fix a c
r
ashing
b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
e
nter
function_hooks: do
the fake
param
e
ter assignment after
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_limit: fi
x
g
enerify_mta
g
_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
e
xtra: cle
a
r
_poin
t
ed_at_
s
t
a
te() is a nomod state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_se
t
:
handle when t
h
e stack variable was mod
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 the r
e
tur
n
is equ
a
l t
o
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
C
a
r
penter
s
c
o
p
e: fix is_o
u
ter_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
sval: handle cas
t
ing to bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
array_va
l
ue
s
: don'
t
cr
a
sh
on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
no_spec:
record when functions have
a
b
arrier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpenter
extra
/
type: fix typ
e
o
f
re
t
ur
n
P
A
RAM_ADD/S
E
T
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan C
a
rpente
r
par
a
m_limit: m
a
ke mtag limits more gene
r
ic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
Dan
Carpenter
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
Dan Carp
e
n
ter
a
tomi
c
_
i
nc_dec: add a couple m
o
r
e
functi
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
signed_int
e
ger_overflow: ignore
thi
s
for the kernel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
math: handle conditiona
l
s
like:
"a = b?: c;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
nospe
c
: don't fill the DB up with
garbage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Ca
r
p
e
nter
sizeof
:
fix NU
L
L d
e
r
eference
p
arsin
g
invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
strings: truncati
n
g large st
r
ings causes
SQL
p
r
oblems
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpen
t
er
t
ype_val:
don't double record globals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
a
r
p
ent
e
r
target: ma
n
s
s
i
ze_t be unsi
g
ned long instead of
u
nsigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
extra:
d
on't reset impossible
states after a condi
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
Dan Carpenter
array
:
store po
s
s
i
b
l
e arra
y
values for simple a
r
rays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
mtag: HACK: return
f
als
e
i
f the
m
tag is zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan
C
ar
p
ent
e
r
fl
o
w: fake an assign s
t
at
e
ment for global i
n
itializers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpe
n
ter
flow:
t
weak
h
ow fu
n
c
t
ion timeout
s
ha
p
pen
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Da
n
Carpenter
db: fix a
t
ype bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
an Carpenter
smatch
_
flow: don't parse inl
i
ne f
u
nctions after we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Da
n
Carpenter
m
t
ag: add string informa
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Ca
r
penter
flow
:
handle __buil
t
in_mul_overflow
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
D
a
n Carpenter
ke
r
nel_printf: s
i
lence "specifier is cast
f
r
o
m point
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpenter
nospe
c
: t
u
rn off
s
pec
u
lat
i
on at rmb(), s
m
b
_
rm
b
() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpenter
ch
e
ck_signed: i
g
nore fake
assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Ca
r
p
enter
mtag_da
t
a: clear cache at
s
t
a
rt
o
f fun
c
ti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Da
n
Carpenter
n
ospec: f
i
x uninitialized pointer 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 not equivale
n
t
to
a
nythi
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
comparison: hand
l
e comp
a
risons:
i
f
(
(foo = f
r
ob(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
compari
s
on:
i
m
prove "foo
= min(
.
.
.
);" a
s
si
g
nment handli
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
comparison: ha
c
k around some
type bu
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
mtag_
d
ata:
r
emove d
u
plicate
m
ta
g
_data and random
small
.
.
.
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_share
d
_cnt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpen
t
er
chec
k
_check
_
d
e
ref: silence some
f
alse positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next