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: don't save struct members for integers
2018-11-28
Dan Car
p
enter
db
:
don't save str
u
ct mem
b
ers fo
r
integers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Car
p
enter
implie
d
: re
m
ove
a
n unnec
e
ssary NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
n
ul_terminator: expo
r
t the is
_
nul_ter
m
inated()
func
t
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
kpatch: use git instead
of tryi
n
g to c
r
eate diffs by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n C
a
r
p
e
n
ter
stru
c
t_assi
g
nment: handl
e
unions as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
missing_break: turn
i
t off by
d
e
fa
u
lt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
free_
s
t
rict: fi
x
s
o
me false posit
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
an
Carpenter
Re
v
e
rt "Look across
t
he entire
c
ompile line for sm
a
tc
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
Dan Carpenter
t
r
inity: Proof of
c
o
ncept to
auto
-
generate
t
r
inity
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan
Carpenter
u
ser_
d
ata: rename to
s
match_ker
n
el_use
r
_
d
a
ta
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan Ca
r
pe
n
ter
assigned_e
x
p
r
: rename to
smatch_assigned_expr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpente
r
smatch: make
the -
-
enable/disable options take
s
tr
i
ngs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Da
n
Carpenter
smatch_nul
_
term
i
nated: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
D
a
n Carpenter
untracked_param:
f
ix a NUL
L
dereferen
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carpenter
u
n
i
nitialized: fix a crashing bug pa
r
sing
"
return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carp
e
nt
e
r
nul_termina
t
or:
t
rack when strings hav
e
a NU
L
terminator
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
user_data2:
fix a type issue in caller_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpente
r
u
ser_d
a
ta: integ
e
rs c
a
n't be d
e
referenced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
an Carpenter
co
m
parison: make
a buffe
r
l
a
rger to make GCC happy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
C
arpenter
data_source: track assignments b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
extra: prevent a divide by
ze
r
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Car
p
enter
mo
d
ification_hooks
:
use th
e
DB
for frob(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
an C
a
rpent
e
r
sval: intro
d
uce
sval_binop_
o
ve
r
flows_no_sig
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carpe
n
ter
extra: undo bogus unop changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
D
an Carpenter
a
r
r
ay_values: fix up and support two d
i
mensional l
o
c
a
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carp
e
nter
param_s
e
t: don't record a p
a
ram_set
f
or p++ cha
n
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
function_
h
o
oks:
r
e-hack arou
n
d moving the fake parame
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan
C
arp
e
nter
array_val
u
es: s
t
ore arr
a
y v
a
lues
o
f
s
truct
member arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Car
p
e
nter
function_hooks
:
hack
a
round fallout
from movi
n
g the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
Dan
C
ar
p
enter
comparison: don't
return
invalid par
a
ms in ge
t
_mas
k
_compar
i
son()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpente
r
db: don't pri
n
t
"failed t
o
open
"
warnings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
en
t
er
par
a
m_set: remove some de
a
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
m
tag: temporarily disable gener
a
ting mtag for kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
expr
e
s
s
i
ons: don't crash on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an C
a
rpenter
e
x
tra: fix
a
type bug in
i
nse
r
ting info into cal
l
er_i
n
fo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
k
ern
e
l
:
don't
i
nsis
t
that the
p
a
ramete
r
is named "e
r
ror"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
ex
t
r
a
: export is_impossible_variable
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
flow: fix a cras
h
i
ng b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carp
e
n
t
er
function_hooks: do the fa
k
e pa
r
amete
r
assig
n
me
n
t
after
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpen
t
er
param_lim
i
t:
f
i
x
gen
e
rify_m
t
ag_ran
g
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
extra: clear_p
o
inte
d
_at_state
(
) is a nomod st
a
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
p
a
ram
_
se
t
:
h
andle when the stack var
i
a
ble
w
as modi
f
i
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
Carpen
t
er
pa
r
s
e_call_mat
h
: don't say the retu
r
n is e
q
ual to a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpente
r
scop
e
: fi
x
i
s
_outer_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
sval: han
d
le ca
s
ting to boo
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpente
r
a
r
r
ay
_
val
u
es: don't
cr
a
sh on invali
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n C
a
rpen
t
er
no_spec: record when
functions have
a
ba
r
rier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Da
n
Ca
r
penter
extra/type: fix
t
y
p
e o
f
r
e
turn P
A
RAM_AD
D
/SE
T
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
D
an C
a
rpenter
p
aram_
l
im
i
t: make m
t
ag li
m
its
m
o
re
g
ener
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
Dan
C
arpenter
param_s
e
t: don
'
t save if
t
he parent is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
a
tomic
_
in
c
_
dec: add a couple more functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan C
a
rpe
n
ter
signed_integer_overflow:
ignore this for the kernel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpen
t
e
r
math: handle
c
ondi
t
ionals like: "a = b?: c;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
nospec
:
don't fi
l
l the
D
B up with g
a
rb
a
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
sizeof: fix NULL
d
e
reference parsing inval
i
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
strings: trunc
a
ting large str
i
ngs caus
e
s
S
Q
L pr
o
blems
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an Ca
r
p
ente
r
t
ype_va
l
: don't double
re
c
ord globals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
targ
e
t: man ssiz
e
_t be unsigned long instead o
f
unsigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an Carpente
r
extra: don't reset
i
mpossible
states a
f
ter a con
d
ition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
Da
n
Carpent
e
r
arr
a
y: store po
s
s
i
ble array values for simple arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
a
n Carpent
e
r
mtag: HACK: retur
n
false if the mtag is zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Ca
r
penter
fl
o
w: f
a
k
e an
ass
i
gn st
a
tement for global initiali
z
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
flo
w
: tweak
how f
u
nction timeout
s
h
a
ppen
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
a
n
C
a
rp
e
n
te
r
db: fix
a ty
p
e
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
smatch_flow
:
d
on't parse i
n
l
i
ne fun
c
tions afte
r
we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
mta
g
: add
string informatio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan
C
arpenter
flo
w
: handle
_
_builtin_mu
l
_over
f
low()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
Dan Carpen
t
er
kernel_prin
t
f
:
silence
"sp
e
cifier is
c
ast from pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpe
n
ter
nospec: 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
Dan Carpenter
ch
e
ck
_
signed: ign
o
re fake assignm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
D
a
n Carpente
r
mtag
_
data
:
c
l
ear ca
c
h
e at start o
f
funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Car
p
enter
nos
p
e
c: fix un
i
nitial
i
zed poi
n
ter crash
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
C
a
rpenter
helper:
f
ake ca
l
ls
a
re not equiv
a
l
e
nt
t
o anything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpe
n
ter
compari
s
on:
handle comparisons:
if ((foo = frob(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpen
t
er
compa
r
ison: improve "
f
oo
=
min(
.
.
.
)
;
"
assignment handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
C
arp
e
n
ter
comparison: hack around some type bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpent
e
r
mtag_da
t
a: rem
o
ve dupli
c
ate mtag_data and
ran
d
o
m
small
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
C
arpenter
conta
i
ner_of: fix a bug in
g
et_shared_cnt
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
check_ch
e
c
k
_deref: silen
c
e
some false po
s
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-18
Dan Carpe
n
te
r
nospec: stor
e
fu
n
ctions t
h
at
return nospec indexes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-15
Dan Ca
r
p
e
nter
nospec
:
han
d
le CALL_NOSPEC
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-14
Da
n
Carpenter
db: introduce the --db-file=/p
a
th/to/sma
t
ch_db
.
s
q
lite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carp
e
nter
u
s
e
r
_data2: use f
u
n
c
tion returns in
point
s
_to_user_
d
ata()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpen
t
er
files: check f
o
r schema files re
l
ative to the b
i
n_dir
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpen
t
er
smatch
.
c: exp
o
rt bin_dir to ever
y
one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-10
Dan Carpenter
core: print the full path when -
-
info is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
D
an Ca
r
pente
r
user_data: improve how retur
n
ed
d
at
a
is
h
andl
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpe
n
ter
capped: set returned
s
tr
u
ct
mem
b
er
s
t
o c
a
pped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-06
D
an
C
arpenter
user_
d
a
t
a: fix
v
alidat
i
o
n t
e
st for returned stru
c
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpe
n
ter
implied: don't print so many "t
u
rning off
i
mplications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag: delete some
b
o
gus code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag_data: up
d
ate mta
g
_data to use g
e
t_mtag_addr_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
arpen
t
er
mtag: fix expr_to_mt
a
g_o
f
f
s
e
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
arpenter
mtag: in
t
roduce get_mtag_addr_sval
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan C
a
r
pent
e
r
param_to_mta
g
_data: rename "data_name" --
>
"name"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag: don't se
t
the name
in
e
xp
r
_to_mtag_offse
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
arpen
t
er
mtag_data: cache DB results
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpenter
e
x
tra: move get_address_
r
l() out of
g
et_e
x
tra
_
s
t
a
te
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
an Carpente
r
implicit_depend
e
ncies: white space changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
arpenter
impli
c
it_dependencies: only
e
na
b
le
this
w
i
t
h th
e
-
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next