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
test_bit: add test_and_set_bit()
2018-11-28
Dan Car
p
e
nter
test_bit: a
d
d
test_and_set_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
an Car
p
enter
debug: introduc
e
__smatch_mem()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
db:
don'
t
save
str
u
c
t members for
i
n
tegers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
an
C
a
r
pe
n
ter
i
mpli
e
d: remove an unnecessary NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
n
ul_terminator:
e
xp
o
rt th
e
i
s
_nul_terminated() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n
Ca
r
penter
kpatch: us
e
git instead of
t
rying to create diffs b
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpe
n
ter
s
truct_
a
s
signmen
t
: handle unions as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Carpen
t
er
m
issing_break: tur
n
it
o
ff by def
a
ul
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carpenter
f
r
ee_strict
:
fix
some fal
s
e
posit
i
ves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
Revert "Look across th
e
entire compile line for smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Look ac
r
oss the ent
i
re
co
m
pile lin
e
for smatch arguments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John
Levo
n
spa
r
s
e:
a
dd -Wempty-character-constant
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John
L
evon
spar
s
e
:
a
dd -Wbig
-
co
n
s
t
ants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John
Levon
spar
s
e:
a
d
d
-Wno-non-ansi-function-de
c
laratio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
J
ohn L
e
von
sparse: correctly hand
l
e "
-
D f
o
o" and "-U foo"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Luc Van Oostenryck
fix: spaces
in macro definition on the command line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levo
n
Introduce skipp
e
d
_
fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Le
v
on
Fix escape_n
e
w
lines
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse: lib
.
c sho
u
ld han
d
le b
e
in
g
built 32-bi
t
, compi
l
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse: define __x86
_
64;
s
o
me so
f
tware che
c
ks for this
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
J
o
h
n Levo
n
Allow addit
i
o
n
al CFLAGS to
be specified, e
.
g
.
"CFLAGS
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-14
Dan
C
arpente
r
trinity: Proo
f
of c
o
ncept t
o
a
u
to-g
e
nerate trinit
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
D
a
n Carpenter
us
e
r_data: re
n
ame to
smatch_kernel_user
_
data
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
D
a
n Carp
e
nter
assigned_expr: rename to smatch_assigned_exp
r
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Da
n
Carp
e
nter
sm
a
tch:
make the --enable/d
i
s
a
ble options take st
r
in
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
J
o
h
n
Levon
clock(
)
is already defined on illumos, so re
n
a
me
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John Le
v
on
Ignore "#ident"
a
s found i
n
s
ome old s
o
ur
c
es
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John Levo
n
Use $(CFLAGS) when compiling sma
t
ch
.
c itself
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
D
a
n Carpenter
smat
c
h_nul_
t
erminated: fix compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carp
e
nt
e
r
untracked_param: fix a NUL
L
dere
f
e
r
ence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carpe
n
ter
un
i
n
itialized
:
f
i
x a crash
i
ng bug parsing "
r
e
t
u
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carpenter
nul_term
i
nator: t
r
ac
k
w
h
e
n strings
h
a
v
e
a NUL terminator
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpent
e
r
u
ser
_
data2
:
f
ix a type
i
ssue in caller_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
us
e
r_dat
a
:
integers
c
an't be dereference
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan
Carpenter
compar
i
son
:
make a buffer larger to make GCC happy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carpenter
d
a
ta_
s
ou
r
ce: track
assignments bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n
Ca
r
pent
e
r
extra: p
r
e
v
ent
a
d
ivide by zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpe
n
ter
mod
i
ficati
o
n_hooks:
u
se the DB for frob(
&
foo)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpente
r
sva
l
: in
t
r
o
d
u
ce sval_binop_over
f
lows_n
o
_
sign
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carpenter
ext
r
a: un
d
o
b
ogu
s
unop chan
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan C
a
rpen
t
er
a
r
ray
_
valu
e
s: fix up and
support two dimensional local
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
D
an Carpenter
para
m
_
set: d
o
n't record a p
a
ram_set for p++ chang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpente
r
function_h
o
o
ks: re-hac
k
a
r
ound moving th
e
fak
e
par
a
m
et
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan
Carpenter
array_values: store array values
o
f struct member array
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
fun
c
tion_ho
o
ks
:
hack arou
n
d
f
a
ll
o
ut from
m
oving the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-24
D
a
n C
a
rpente
r
comp
a
ri
s
on:
d
on't return invalid
params in get_mask_c
o
mparis
o
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
db: don't print "fa
i
led to open" wa
r
nin
g
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
a
rpenter
para
m
_
s
e
t
: remo
v
e
s
ome dea
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
m
tag: temporarily disabl
e
g
ener
a
t
i
n
g mtag
for
k
mallo
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
expr
e
ssions: don't
c
rash on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
e
x
tra: fix a type bug
i
n
i
nserting info into
c
alle
r
_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
e
r
ker
n
el: don't insist th
a
t the parameter is
named "err
o
r"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
e
xtra:
e
xport is_i
m
possible_variable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Car
p
enter
flo
w
: fix a crashing
b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
function_
h
ooks: do the fake p
a
r
a
me
t
e
r
assignm
e
nt aft
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
par
a
m
_limit: fix gen
e
rify_mtag_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
ter
extr
a
: cl
e
ar_pointed_at_state
(
) is a nom
o
d state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
p
a
ram_set: h
a
nd
l
e
when the stack
v
ariable
w
as
m
odifi
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
pars
e
_call_math: don't say the return is e
q
ual to a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
sc
o
p
e: fix is_outer_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpent
e
r
sval: handle
casting to
bool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
penter
a
rray_
v
alu
e
s: don't
c
rash on in
v
a
lid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
no_spec: r
e
cord when
functions have a barrie
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpe
n
ter
ex
t
ra/type: fix type of return PARAM_ADD/SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan
C
a
rpenter
pa
r
am_lim
i
t: make mta
g
limits more generic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carpenter
param_se
t
: don't sa
v
e if the
p
a
rent is
set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
Carpente
r
atomi
c
_inc
_
dec: add a coupl
e
more functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
signed_i
n
teg
e
r_overflow: ignore this for the kernel
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Car
p
e
n
ter
m
a
th
:
handle con
d
itionals like: "a = b?: c;
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n
Carpenter
nospec
:
don't fill the
DB up wi
t
h garbage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpen
t
e
r
siz
e
of: fix NULL de
r
eference pars
i
ng inval
i
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpent
e
r
strings: truncating larg
e
s
trings causes SQL problems
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
an
C
arpenter
type_v
a
l
:
d
on't double record g
l
obals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
targ
e
t: man
s
size_t b
e
unsigned
long inste
a
d
of
unsi
g
ned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
extra: don't r
e
set
i
mpossible states aft
e
r a
c
o
ndition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-10
D
a
n Carpenter
array: store p
o
ssib
l
e array va
l
ues for simple a
r
rays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
mtag:
H
ACK:
r
eturn fals
e
if t
h
e
m
tag is zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpen
t
er
flow: f
a
ke an assign statement for g
l
obal initializers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan
C
arpenter
flow: t
w
eak how function time
o
u
t
s happen
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan C
a
rpen
t
er
d
b: fix
a
type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carp
e
nter
smatc
h
_
flow: don't
parse inline
f
unct
i
ons after we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
D
a
n Carpenter
m
t
ag: add string
i
nform
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Da
n
Carpente
r
flow: handl
e
__builtin_
m
ul
_
o
verf
l
ow()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-29
Da
n
Carp
e
n
t
er
k
ernel_printf:
s
ilence "spec
i
fi
e
r is cast from pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
D
an Carpenter
n
o
spec: tu
r
n off specul
a
tion at rmb
(
), smb
_
r
mb(
)
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan Car
p
enter
check_si
g
ned: igno
r
e fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpente
r
mt
a
g
_da
t
a: cle
a
r cache
a
t
start of fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
n
ospec: fix uninitializ
e
d
p
o
inter
c
rash
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpe
n
t
e
r
h
e
l
per: fake calls
are
n
ot e
q
uival
e
nt to anythin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
compa
r
ison:
h
andle compa
r
is
o
ns: if
(
(f
o
o = f
r
o
b
(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan
Carpenter
compa
r
ison: improve "foo =
m
in
(
.
.
.
)
;" assignment
h
andli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n Carp
e
nter
comparison: hack around some
type bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n Ca
r
penter
mt
a
g_data: r
e
mov
e
duplicat
e
mta
g
_data and random small
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
co
n
tainer_of: fix a bug in get_shared_cn
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
an Ca
r
p
e
n
ter
check_
c
heck
_
deref: silence some false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-18
Dan Carp
e
nte
r
nospec
:
store f
u
ncti
o
ns that return
nospec index
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-15
Dan
Car
p
e
nter
nospec: hand
l
e C
A
LL_NOSPEC
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-14
Dan Carp
e
nt
e
r
db: introduce the --db-file=/path/to/smatch_db
.
sqlite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpe
n
ter
u
s
er_data2: use function retu
r
n
s
i
n
points_to_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan
Ca
r
pe
n
ter
files: che
c
k for schema files relative to the b
i
n_dir
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next