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
db: sql debug mode was executing the SQL twice
2018-11-29
D
an Carp
e
nter
db
:
sql d
e
bug mode was executing
the S
Q
L twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
Carpenter
t
e
st_bit: ad
d
t
est_and_set_bit(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
rpenter
de
b
ug: introduce __
s
matc
h
_mem
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpen
t
er
db: don
'
t s
a
ve struct members
for integers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpen
t
er
implied: remove an unn
e
cessary NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
nul_t
e
rminator: e
x
p
o
rt the is_n
u
l_termin
a
ted
(
) func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpenter
kpatch: use git
inste
a
d of trying to c
r
e
a
t
e
diffs by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpente
r
stru
c
t_ass
i
gnment
:
handle u
n
ions as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpenter
missing_break: turn
i
t o
f
f by defa
u
lt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpe
n
ter
fre
e
_str
i
ct
:
fix some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Car
p
e
nter
Rev
e
rt
"
Look a
c
ross t
h
e
en
t
ire
c
ompile line
for smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
Levon
Look across the enti
r
e compil
e
line for s
m
a
tch arguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
L
e
v
o
n
spars
e
: add
-Wem
p
ty-character
-
c
onstant
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn L
e
von
sparse:
a
d
d -Wbig-co
n
stants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Lev
o
n
sparse
:
add -Wno-non-ansi-fun
c
tion
-
decla
r
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
L
evon
sparse: correc
t
ly handle
"
-
D
foo" an
d
"-U foo
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Luc
Van Oostenryck
f
i
x: spaces in macro definition on t
h
e comman
d
l
ine
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
L
evon
Introdu
c
e ski
p
ped_functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
F
i
x
e
s
cape_newli
n
es()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
Le
v
on
sparse:
lib
.
c sho
u
ld hand
l
e being built 32-bit, compiling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levo
n
spa
r
se: defin
e
__x8
6
_64;
s
o
me soft
w
are c
h
eck
s
for this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Allow additional CFLAGS to be specified, e
.
g
.
"CFLAGS
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
Dan Carpen
t
er
tr
i
nity: Pro
o
f of concept to auto-gen
e
rate trinity
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpenter
user_data: rename to smatch_
k
e
r
nel_us
e
r_data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpenter
assigned_ex
p
r: ren
a
m
e
t
o sm
a
tch_assigned_exp
r
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
smatch: make the --enable/
d
isab
l
e options take strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Levon
clock() is alr
e
ady
d
efined o
n
illu
m
os,
s
o rename the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Levon
Igno
r
e "#ident"
a
s
found in some old
s
ources
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
J
o
h
n Levon
Use $(CFLA
G
S) when compil
i
n
g smatch
.
c itself
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan
Carpenter
smat
c
h_
n
ul_terminated: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpen
t
er
untrac
k
ed_
p
a
ram: fi
x
a NULL
d
ereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
Dan Car
p
e
nte
r
u
n
initial
i
ze
d
: fix
a
crashing
b
ug p
a
rsing
"return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carpent
e
r
nul
_
termina
t
or: trac
k
when string
s
have a NU
L
termina
t
o
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
an
Car
p
enter
user_data2: fix
a type
issue in caller_i
n
fo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpent
e
r
user_d
a
ta: integers can't be
derefer
e
nc
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
pe
n
ter
comparison:
m
ak
e
a buffer l
a
rger to
m
a
k
e GCC hap
p
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
an Carpenter
data_s
o
urce: track assignments
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
ext
r
a: prevent
a
divide by zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Car
p
en
t
er
modifi
c
ation_hooks:
use
the
DB for
frob(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
sval: introduce
s
val_binop_overfl
o
ws_no_sig
n
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Da
n
Carp
e
n
t
er
extra: undo bogus unop changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Da
n
Carp
e
nter
array
_
v
alues: f
i
x u
p
and
s
uppor
t
two d
i
m
e
n
s
ion
a
l local
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carp
e
nter
p
ar
a
m_set
:
do
n
'
t recor
d
a param_set for p++ changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan
Carp
e
nter
function_hooks: re-hack around
m
oving th
e
f
a
ke parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Car
p
enter
array_value
s
: stor
e
array values of
s
truct
member array
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carp
e
nt
e
r
fun
c
ti
o
n_
h
ook
s
: hack a
r
ound
fallo
u
t from moving the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
D
a
n Carpenter
c
o
mparison
:
d
o
n't re
t
u
rn
i
n
v
a
lid params in ge
t
_mask_compari
s
o
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
db: do
n
't print "fa
i
led to open" warnin
g
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
param_set: remove some dea
d
co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
mtag: tem
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 Carpenter
expressions: d
o
n't
c
rash on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Ca
r
penter
extra:
f
i
x a type bug i
n
inserting inf
o
i
n
t
o
caller
_
info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
penter
kernel: don't insist that th
e
parameter
i
s
nam
e
d "error"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpente
r
e
x
tra:
export is_imp
o
ss
i
b
l
e
_varia
b
le
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
flow:
fix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
C
arpenter
functi
o
n_hooks: do the
f
ake parameter as
s
i
gnment after
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpenter
param_limit: fix generify_m
t
ag_
r
ange()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
nter
e
x
tra: clear_poi
n
ted_at_state() i
s
a nomod state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Ca
r
p
enter
param_set: handle when
t
h
e stack vari
a
b
le
w
as
modified
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arp
e
nter
parse_call_ma
t
h: don'
t
say
t
h
e return
is equal to
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
nt
e
r
scope: fix is_outer_stmt
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
a
r
p
enter
sv
a
l: handle castin
g
to bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
arr
a
y
_values
:
d
on't
c
rash on inva
l
id code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
no_spec: record w
h
en f
u
ncti
o
ns h
a
ve a barri
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpenter
extra/type: fix type of
re
t
urn PARAM_ADD/SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan
C
arpen
t
e
r
param
_
limit: ma
k
e mtag lim
i
ts more gene
r
ic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carpe
n
te
r
pa
r
am_set
:
d
o
n't
s
a
ve
i
f the parent is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
atomic_inc_dec: a
d
d a
couple
mor
e
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
signe
d
_integer_overflow: ignore this for the kernel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carp
e
nter
m
ath: handle con
d
ition
a
ls like:
"
a =
b?:
c
;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an Carpenter
nospec: do
n
't fill the DB up
w
ith
g
arbage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpenter
sizeof: fix NULL
deref
e
rence parsing invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n Carpenter
stri
n
gs: tru
n
cating large strings causes SQL proble
m
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an
C
a
r
pe
n
ter
typ
e
_val: don't doubl
e
record glob
a
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
ta
r
get: man
s
s
i
ze
_
t be
unsigned
l
ong instea
d
o
f u
n
sig
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Carpe
n
ter
extra: do
n
't r
e
set im
p
o
s
sible 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
arra
y
: sto
r
e possible a
r
r
a
y va
l
u
es fo
r
simple arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan C
a
rpenter
mtag:
HACK: return f
a
lse if
the
mtag i
s
z
e
ro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Car
p
e
n
ter
flow: fak
e
a
n
assign statem
e
nt f
o
r global
initial
i
z
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan
Carpent
e
r
f
l
ow: tweak ho
w
funct
i
on
t
imeouts happen
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
db: f
i
x a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carp
e
nter
smatch
_
f
low: don'
t
pa
r
se inline
f
u
n
cti
o
n
s after we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carp
e
nter
mtag: add string informatio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Car
p
ente
r
flow: handle __builtin_m
u
l_overflow()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
D
an
C
arpenter
k
e
r
n
el_printf: silence "specifier is cast f
r
o
m
p
oint
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpenter
nospec: turn off speculation at rmb(
)
, smb
_
rm
b
() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
D
a
n
Carpenter
check_signed: igno
r
e fake ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Ca
r
penter
mtag_
d
ata: cl
e
ar cache at
s
tart o
f
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan
C
arp
e
n
ter
nospec: fix u
n
initialized
p
ointer crash
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
helper: fake calls are not eq
u
ivalent
to
a
n
y
thing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
C
arpen
t
er
com
p
arison: handle co
m
pari
s
ons: if ((foo = frob(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
Carpe
n
ter
comparison: imp
r
ove "foo
=
min(
.
.
.
);"
a
ssignment handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan C
a
rpenter
compari
s
on: hack around some type bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
Carpenter
mt
a
g
_
d
a
ta: remove
d
uplicate
m
tag_dat
a
and random
smal
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
Carpenter
container_of: fi
x
a b
u
g
in get
_
shared_c
n
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
Carpenter
check_check_deref: sil
e
nce some fal
s
e
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-18
Dan
C
a
r
penter
nospec
:
store fun
c
tions that return nospec indexes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-15
D
an Carpenter
nos
p
ec: handle CA
L
L_NOS
P
EC
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-14
Dan Carpenter
db: introduc
e
the --
d
b-f
i
le=/path/to/
s
match_
d
b
.
sql
i
te
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan
C
arp
e
nt
e
r
user_
d
ata
2
:
u
s
e fu
n
cti
o
n returns in points_to_user_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next