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
sparse: correctly handle "-D foo" and "-U foo"
2018-11-27
J
ohn L
e
von
sparse: correctly handle "-D foo" and "-U foo"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
L
uc V
a
n Oostenryck
fix:
s
paces in macro de
f
init
i
on on
th
e
comman
d
line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Int
r
oduce skipped_func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
J
ohn Levon
F
i
x escape_newlines
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John
Levon
sparse:
lib
.
c sho
u
ld handle being built 3
2
-bit, compiling
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
spars
e
: defi
n
e __x86_64; so
m
e so
f
t
w
ar
e
check
s
for
this
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levo
n
Allow add
i
tional CFLAGS t
o
be spec
i
fied, e
.
g
.
"CFLAGS
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-14
D
an Carpente
r
trin
i
ty: Proof of concept to a
u
to-generat
e
trinity
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan
Carpenter
user_dat
a
: rename
t
o smatch_kernel_user_data
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan
C
arpente
r
assigned_
e
xpr: rename to sm
a
tch_assigned
_
expr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpen
t
er
smatch: mak
e
the --
e
nab
l
e/disabl
e
opti
o
ns t
a
k
e stri
n
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
J
o
hn Le
v
on
c
l
ock() is
a
lready defined on illumo
s
, so r
e
na
m
e the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John L
e
v
on
Ignore "#
i
dent" as found
in so
m
e old sources
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John Levon
Use $(C
F
LAGS) when co
m
pili
n
g s
m
atch
.
c it
s
elf
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpen
t
er
smatch_nul_
t
erm
i
n
a
ted
:
fix compil
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan
Carpenter
u
nt
r
acked_pa
r
a
m
: fix a NULL
d
ereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Dan
Ca
r
penter
uni
n
itialized: fix a c
r
ashing bug parsing
"return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carpenter
nul_term
i
n
ator: t
r
ac
k
w
h
en strin
g
s
have a
N
UL termi
n
a
t
o
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpente
r
u
s
er_d
a
ta2:
f
i
x a ty
p
e
issue in
caller_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Car
p
e
n
ter
user_data:
i
nt
e
gers can't be de
r
eferenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n
Carpenter
comp
a
rison: make a buffer
larger t
o
make GCC
happy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
data_source:
t
rack assignments be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carpent
e
r
ext
r
a:
p
revent a divide by
z
er
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
an Carpenter
modification_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 sval_binop_overflows_no_sign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-28
Da
n
Carpenter
extra: u
n
do bogus unop chan
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan C
a
rpenter
a
rray
_
v
a
lues: fix up
a
nd
support two dimensi
o
nal local
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan
C
arpenter
param
_
set: don'
t
r
eco
r
d a param_s
e
t fo
r
p
++ changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Da
n
Carpente
r
function_h
o
o
k
s
: r
e
-hack
around moving
t
he fake paramete
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
array_value
s
: store
a
rra
y
values of struct member
a
rrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Ca
r
penter
func
t
ion_ho
o
ks: ha
c
k
around
fallout from mo
v
ing the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-24
D
an Carpenter
comparis
o
n
: don
'
t retur
n
inva
l
id params in get_mask
_
compari
s
on
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
p
e
n
ter
db
:
d
o
n't pr
i
nt "fa
i
le
d
to open" war
n
ings
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
nter
p
a
ram_set:
r
emove s
o
me dead cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
e
nter
m
t
a
g
: t
e
m
porarily di
s
able generati
n
g
mtag fo
r
k
m
al
l
oc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
expressions
:
don
'
t crash on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
e
xtra: fix a type b
u
g in insertin
g
info in
t
o
ca
l
ler_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
C
a
r
p
enter
kern
e
l:
d
on't insist th
a
t the par
a
meter
i
s
nam
e
d "
e
rror"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpen
t
er
extra: export is_impossible_variable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
flow
:
fix a cra
s
hing b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
function_hooks: do
the
f
ake
parameter
a
ssignment after
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
param_
l
imit: fix gen
e
rify_mt
a
g
_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
extra:
c
l
e
a
r_pointed_at_st
a
t
e
() is a nomod stat
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpente
r
param_s
e
t: handle
when
t
he stack
v
ariable was m
o
dified
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
pa
r
se_call_math: don't say the re
t
urn
i
s e
q
ual to
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
Carpenter
scope: fix is_ou
t
e
r_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
e
n
ter
sval
:
handle casting to bool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
ar
r
ay_
v
a
l
ues:
don't
c
rash on in
v
a
l
id code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
no_spec:
r
ecord when
functions have a bar
r
ie
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan C
a
r
pent
e
r
extra
/
ty
p
e: fix type o
f
return PARAM_ADD/
S
ET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpen
t
e
r
param_limit:
make mtag li
m
its mo
r
e generic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carpenter
pa
r
am_set: don't save if th
e
parent is
s
et
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpente
r
ato
m
ic_inc_dec: add a couple more f
u
nction
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Ca
r
pe
n
te
r
si
g
ned_integer
_
over
f
low: ignore this
f
o
r
the ker
n
el
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
m
ath:
handle
c
o
n
dit
i
onals like: "
a
= b?: c;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpe
n
ter
nos
p
ec:
don't fill t
h
e
DB up wit
h
garbage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
sizeo
f
: f
i
x NULL dere
f
erence parsing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Car
p
enter
strings: truncating large st
r
i
n
gs causes SQL problems
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n Carpen
t
er
type_va
l
: don
'
t
d
ouble record global
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
an
Carpenter
t
ar
g
e
t: man
s
size_t be un
s
igned long inst
e
ad of un
s
ign
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
extr
a
:
don't re
s
et impo
s
s
i
ble states after a condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-10
Dan Carp
e
n
ter
array: store possible array values
f
or simpl
e
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
mt
a
g:
H
A
CK: return false if the mt
a
g
is
zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Car
p
e
n
ter
flow: fake an assign stat
e
ment for global initial
i
z
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan
C
a
rp
e
nte
r
f
l
ow: tweak how func
t
ion tim
e
outs hap
p
en
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpen
t
e
r
db:
f
i
x
a type
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpente
r
s
m
atch_
f
low
:
don't
p
a
rse
i
nline functions after w
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carp
e
n
t
er
mtag: add string i
n
formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
D
an C
a
r
penter
f
low:
h
an
d
le
__buil
t
in_mul_overflow()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-29
Dan Carpenter
kernel_printf: silen
c
e "s
p
ec
i
fier i
s
cast from
p
o
inter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Da
n
Carp
e
nter
nos
p
e
c
: turn off specul
a
tion at rmb(), smb_rmb() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
D
an
C
arpenter
ch
e
c
k_sig
n
ed
:
ignore fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
mtag_data: clear c
a
che at start of fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpente
r
nos
p
ec: fix uninit
i
alized p
o
in
t
er
c
ras
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan
C
arpenter
h
e
lper: fake ca
l
l
s
a
r
e not equivalent to anything
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n Carpenter
c
o
mparison:
h
andle comparisons: if ((
f
oo
= frob(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
c
o
mpariso
n
: improve
"
f
oo = min(
.
.
.
);" assi
g
nment handl
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
comparison: hack aroun
d
so
m
e type bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpente
r
mtag_data: re
m
ove duplicate mtag_da
t
a an
d
r
a
ndom small
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
container_of:
f
ix a bu
g
in get_
s
h
ar
e
d_cnt(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan C
a
rpenter
check_check
_
deref: silence som
e
false positi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-18
Da
n
C
a
rpenter
nospec: sto
r
e
funct
i
o
n
s
that return nospec in
d
ex
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-15
Dan
Car
p
ente
r
nospec
:
handle CALL
_
NO
S
PEC
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-14
Dan Carpen
t
er
db: introduce th
e
--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
user_data2: use functi
o
n
r
e
turns in points_t
o
_us
e
r_
d
ata()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan Car
p
ent
e
r
files: check for sch
e
ma files
relative to the bin_dir
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Da
n
Carpen
t
er
s
m
atc
h
.
c: export bin_
d
ir to everyone
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-10
Dan Carpent
e
r
core: print th
e
full pa
t
h when --i
n
f
o
is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpenter
user_dat
a
: improve how returne
d
data is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
D
an Ca
r
p
enter
capped: set
return
e
d st
r
uct membe
r
s
t
o
cap
p
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-06
Dan Carpent
e
r
use
r
_
d
a
ta: fix
validation test for returned struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Car
p
enter
implied:
d
on't print
s
o many "tu
r
ni
n
g off
i
mplicatio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n
C
arpenter
mtag: delet
e
some
bogus code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Ca
r
penter
m
tag_da
t
a:
u
pd
a
t
e
mtag_data
t
o
use get_mtag
_
a
d
dr_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mta
g
:
fix ex
p
r_
t
o_mtag_off
s
e
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Car
p
e
nter
mtag: introduc
e
ge
t
_mtag_add
r
_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
par
a
m_to_mtag_data: renam
e
"data_name" -->
"name
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag: don't set
t
he name in
e
xpr_to
_
mta
g
_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan C
a
rp
e
nter
mta
g
_data: cache DB resu
l
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
e
xtra:
m
o
v
e
g
et_address
_
rl() o
u
t of get_extra_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next